poj3155:http://poj.org/problem?id=3155

题意:最大密度子图的模板题。

题解:直接看代码。

 /*
题意简述一个公司有n个人,给出了一些有冲突的人的对数(u,v),所有为了公司更好的发展,公司的
总裁决定裁人,那么总裁现在裁要裁掉冲突率最高的哪些(冲突率=人数/在这些人中存在的冲突数
分析;很明显的一个求最大密度子图的题目,求最大密度子图的方法有两种不同的模型可以求解,
一种是采用了转换为最大权闭合图的模型来求解,而另一种则是通过补集转换的思想来求解,
现在就最大权闭合图的模型来谈论以下:设max g = f(x)= |E‘|/|V’| ,找一个子图的边数与点数
的比值达到其中的最大,我们通常都是构造一个函数max h(g)= |E'|-g*|V'|,当h(g)为0的时候,
g的值即为最优(证明见Amber论文),h(g)>0 时 g<最优值, h(g)<0时,g>最优值;
那么首先来解释为什么要是该函数的值尽量大?因为如果最大值大于0那么我们就可以继续增加
g的值来减小h(g),若最大值都小于0了,那么g不可能增加只可能减少!
注意观察h(g),边和点有依赖关系,就边依赖点,边存在的必要条件是点的存在,那么这样以后,
如果我们将边看成点,那么这不就符合最大权闭合子图了么,现在h(g)的求法就可以通过
求新图的最大权闭合子图的值来求解,但是这里有个问题,建图之后你可以发现当求出来的值和
h(g)原本应该为值不对应(具体为什么不怎么理解),可以这样理解,当最小的一个g使得
h(g)为0的时候该解即为最优解,因为h(g)是以个单调递减函数,就该函数来看只可能存在一个
g使得h(g)=0;然而通过求最大权闭合子图是子图权值和为0的有很多中g,当最小的一个g使得
h(g)为0之后,如果g继续增大那么虽然通过最大权闭合子图的值求出来依旧为0,但是真正的
h(g)< 0 了,所以要使得最优的一个解就是使得最大权闭合子图的权值和为0的最小的一个g值!
这样求解之后从点点流到汇点为满流的边即为最大密度子图中的点
注意精度的控制! ////////////
第二种模型的建图: 源点到各个点连接一条有向边权值为U,各个点到汇点连接一条边权值为U+2*g-d,
原来有关系的点连接两条有向边(u,v),(v,u)权值为1(U可以取m,U的目的是用来使得2*g-d的值
始终为正),这样以后求最小割,那么h(g)= (U*n-mincut)/2;二分找到最优值即为mid ,
但是如果要求图中的点则需要用left来从新图求最大流之后然后从源点开始dfs遍历, 这里再补充一点编程时需要注意的地方:这个题目是利用分数规划进行二分求解的,但这个问题的
分数规划和我之前的见过的很多分数规划是不同的,之前的分数规划表达式很多都是在给定区间
内只有一个零点的单调函数。但这个题目不同,因为MiniCut=U*n-Maxmize{f(n)},而MiniCut& lt;=U*n是
恒成立的,所以Maxmize{f(n)}>=0恒成立,及Maxmize{f(n)}函数会先递减,然后一直为0,
我们的目标是找出第一个零点。 */
#include<iostream>
#include<cstring>
#include<algorithm>
#include<cstdio>
#include<queue>
#include<cmath>
using namespace std;
const int N=;
const double INF=1000000000.0;
const int M=;
struct Node{
int v;
double f;
int next;
}edge[M];
int n,m,u,v,w,cnt,sx,ex,top;
int head[N],pre[N],deg[N];
int xx[M],yy[M],ans[M];
bool vis[N];
void init(){
cnt=;
memset(head,-,sizeof(head));
}
void add(int u,int v,double w){
edge[cnt].v=v;
edge[cnt].f=w;
edge[cnt].next=head[u];
head[u]=cnt++;
edge[cnt].f=;
edge[cnt].v=u;
edge[cnt].next=head[v];
head[v]=cnt++;
}
bool BFS(){
memset(pre,,sizeof(pre));
pre[sx]=;
queue<int>Q;
Q.push(sx);
while(!Q.empty()){
int d=Q.front();
Q.pop();
for(int i=head[d];i!=-;i=edge[i].next ){
if(edge[i].f&&!pre[edge[i].v]){
pre[edge[i].v]=pre[d]+;
Q.push(edge[i].v);
}
}
}
return pre[ex]>;
}
double dinic(double flow,int ps){
double f=flow;
if(ps==ex)return f;
for(int i=head[ps];i!=-;i=edge[i].next){
if(edge[i].f&&pre[edge[i].v]==pre[ps]+){
double a=edge[i].f;
double t=dinic(min(a,flow),edge[i].v);
edge[i].f-=t;
edge[i^].f+=t;
flow-=t;
if(flow<=)break;
} }
if(f-flow<=)pre[ps]=-;
return f-flow;
}
double solve(){
double sum=;
while(BFS())
sum+=dinic(INF,sx);
return sum;
}
double ok(double mid){
init();
sx=,ex=n+;
for(int i=;i<=n;i++){
add(sx,i,m*1.0);
add(i,ex,m*1.0+*mid-1.0*deg[i]);
}
for(int i=;i<=m;i++){
add(xx[i],yy[i],1.0);
add(yy[i],xx[i],1.0);
}
return solve();
} void DFS(int u){
for(int i=head[u];i!=-;i=edge[i].next){
int v=edge[i].v;
if(!vis[v]&&edge[i].f>1e-){
vis[v]=;
DFS(v);
}
}
}
int main() {
while(~scanf("%d%d",&n,&m)){
memset(deg,,sizeof(deg));
for(int i=;i<=m;i++){
scanf("%d%d",&u,&v);
xx[i]=u,yy[i]=v;
deg[u]++;
deg[v]++;
}
double bt=1.0/(n*1.0*n);//这是有定理得出的。
double l=,r=;
while(abs(r-l)>=bt){
double mid=(r+l)/;
double temp=(n*m*1.0-ok(mid))/;
if(temp>=1e-){//注意这里的精度,精度小了,就会wa
l=mid;
}
else{
r=mid;
}
}
if(m==){//注意特判
puts("1\n1");
continue;
}
ok(l);
memset(vis,,sizeof(vis));
vis[]=;
DFS();
top=;
for(int i=;i<=n;i++){//要求是输出的点数,能够从源点访问的点都是结果集中的元素
if(vis[i])
ans[++top]=i;
}
printf("%d\n",top);
for(int i=;i<=top;i++)
printf("%d\n",ans[i]);
}
return ;
}

随机推荐

  1. 通过ApplicationContextAwareSpring实现手工加载配置的javabean

    在做一个多线程的数据采集器实现的过程中,由于框架是集成srping,因此希望统一使用原有的数据库配置信息,但是需要手工获取数据库配置bean.我们可以通过继承ApplicationContextAwa ...

  2. 关于Ubuntu修改默认运行级别

    第一种方法:(内核级别的)   Sudo vi /etc/default/grub 修改GRUB_CMDLINE_LINUX_DEFAULT=”quiet splash” 为:GRUB_CMDLINE ...

  3. Java反序列化

    一.序列化和反序列化的概念       把对象转换为字节序列的过程称为对象的序列化. 把字节序列恢复为对象的过程称为对象的反序列化. 对象的序列化主要有两种用途: 1) 把对象的字节序列永久地保存到硬 ...

  4. android 6.0特性翻译 --渣渣

    所有关于Android 6.0 棉花糖的知识 上下文帮助 1.现在按压:不需要离开你正在运行的app或者访问的网站就可 获取帮助,仅仅触摸和按下Home按钮.(长按Home键,可以在 android ...

  5. dbforge studio for mysql 怎样破解

    下载好dbforge studio压缩包有两个exe,dbforge.studio.for.mysql.6.0.315-loader.exe ,和dbforgemysql.exe,安装后目录在C:\P ...

  6. iOS--检测野指针

    定位野指针除了使用Malloc Scribble(内存涂鸦)外,还可以使用僵尸对象.所谓的僵尸对象,就是将被释放的对象标记为僵尸,系统不会回收这些对象的内存,并让这些内存无法被重用,因而也就不会被覆写 ...

  7. ZIP压缩文件夹中上个月的文件,并将备份文件拷贝到服务器

    遍历文件夹的子文件夹下的所有文件,将上个月的文件集中到一起,然互压缩,并copy到服务器的映射磁盘. static void Main(string[] args) { //原始文件存放的位置 Dir ...

  8. 关于cnpm的一点小bug

    在实际工作中,一个项目完成后,在上线前,常常需要把代码进行压缩,一般是用gulp或者 webpack 进行压缩.(小妹是用gulp) gulp是运行在node 环境下的. 所以首先,下载并安装了nod ...

  9. HDU 1300 Pearls (DP)

    题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=1300 题目大意:珠宝店有100种不同质量的珍珠,质量越高价钱越高,为了促进销售,每买一种类型的珍珠,要 ...

  10. .net闭包的应用

    这里体现出闭包的数据共享 , , , , , , , , , }; ; ; values.ToList().ForEach(s => result1 += s); values.ToList() ...