/*
最大密集子图子图裸题
解法:设源点s和汇点t
根据胡波涛的<最小割模型在信息学中的应用>
s-每个点,权值为原边权和m,
每个点-t,权值为m+2*g-degree[i],
原来的边u-v ,权值为原权值
最小割f;
flow=m*n-f;
二分g得到flow 逼近0;
*/
#include<stdio.h>
#include<string.h>
#include<math.h>
#include<stdlib.h>
#include<queue>
using namespace std;
#define eps 1e-6
#define inf 0x3fffffff
#define N 110
#define NN 1100
struct node {
int u,v,next;
double w;
}bian[NN*8],f[NN];
int yong,head[N],dis[N],work[N];
void init() {
yong=0;
memset(head,-1,sizeof(head));
}
void addedge(int u,int v,double w) {
bian[yong].v=v;
bian[yong].w=w;
bian[yong].next=head[u];
head[u]=yong++;
}
int degree[N];
void build(int m,double mid,int n) {
int i;
init();
for(i=1;i<=n;i++) {
addedge(0,i,m);
addedge(i,0,0);
addedge(i,n+1,1.0*m+2*mid-degree[i]);
addedge(n+1,i,0);
}
for(i=1;i<=m;i++) {
addedge(f[i].u,f[i].v,1);
addedge(f[i].v,f[i].u,1);
}
return ;
}
int bfs(int S,int T)
{
queue<int>q;
memset(dis,-1,sizeof(dis));
dis[S]=0;
q.push(S);
while(!q.empty())
{
int u=q.front();
q.pop();
for(int i=head[u];i!=-1;i=bian[i].next)
{
int v=bian[i].v;
if(bian[i].w>0&&dis[v]==-1)
{
dis[v]=dis[u]+1;
if(v==T)
return 1;
q.push(v);
}
}
}
return 0;
}
double dfs(int S,double a,int T)
{
if(S==T)return a;
for(int &i=work[S];i!=-1;i=bian[i].next)
{
int v=bian[i].v;
if(bian[i].w>0&&dis[v]==dis[S]+1)
{
double tt=dfs(v,min(a,bian[i].w),T);
if(tt>0)
{
bian[i].w-=tt;
bian[i^1].w+=tt;
return tt;
}
}
}
return 0;
}
double dinic(int S,int T)
{
double ans=0;
while(bfs(S,T))
{
memcpy(work,head,sizeof(head));
while(1) {
double tt=dfs(S,inf,T);//割出来的可能是负值
if(tt<eps)break;
ans+=tt;
}
}
return ans;
}
int vis[N],ans[N],len;
void dfs1(int u) {
int i;
vis[u]=1;
for(i=head[u];i!=-1;i=bian[i].next) {
int v=bian[i].v;
if(!vis[v]&&bian[i].w>0) {
ans[++len]=v;
dfs1(v);
}
}
return ;
}
int cmp(const void *a,const void *b) {
return *(int *)a-*(int *)b;
}
int main() {
int n,m,i,s,t,dd;
double st,en,mid,flow;
while(scanf("%d%d",&n,&m)!=EOF) {
if(!m) {
printf("1\n1\n");
continue;
}
memset(degree,0,sizeof(degree));
for(i=1;i<=m;i++) {
scanf("%d%d",&f[i].u,&f[i].v);
degree[f[i].u]++;
degree[f[i].v]++;
}
s=0;t=n+1;
st=0;en=m;//dd=0;
while(en-st>1.0/n/n) {
mid=(st+en)/2;
// printf("%.2f\n",mid);
// dd++;
// if(dd==12)break;
build(m,mid,n);
flow=dinic(s,t);
// printf("%.2f\n",flow);
flow=1.0*m*n-flow;
if(flow>eps)
st=mid;
else
en=mid;
}
init();
build(m,st,n);
dinic(s,t);
memset(vis,0,sizeof(vis));
len=0;
dfs1(s);
qsort(ans+1,len,sizeof(ans[0]),cmp);
printf("%d\n",len);
for(i=1;i<=len;i++)
printf("%d\n",ans[i]);
}
return 0;}

poj 3155 二分+最小割求实型最小割(最大密集子图)的更多相关文章

  1. zoj 2676 二分+ISAP模板求实型参数的最小割(0-1分数规划问题)(可做ISAP模板)

    /* 参考博文:http://www.cnblogs.com/ylfdrib/archive/2010/09/01/1814478.html 以下题解为转载代码自己写的: zoj2676 胡伯涛论文& ...

  2. zoj 2676 dinic模板求实型最小割(可做dinic模板)

    #include<stdio.h> #include<string.h> #include<stdlib.h> #include<queue> #inc ...

  3. POJ 3398 Perfect Service(树型动态规划,最小支配集)

    POJ 3398 Perfect Service(树型动态规划,最小支配集) Description A network is composed of N computers connected by ...

  4. poj 2195 二分图带权匹配+最小费用最大流

    题意:有一个矩阵,某些格有人,某些格有房子,每个人可以上下左右移动,问给每个人进一个房子,所有人需要走的距离之和最小是多少. 貌似以前见过很多这样类似的题,都不会,现在知道是用KM算法做了 KM算法目 ...

  5. 最小割(zjoi2011,bzoj2229)(最小割树)

    小白在图论课上学到了一个新的概念--最小割,下课后小白在笔记本上写下了如下这段话: "对于一个图,某个对图中结点的划分将图中所有结点分成两个部分,如果结点\(s,t\)不在同一个部分中,则称 ...

  6. 【bzoj2229】[Zjoi2011]最小割 分治+网络流最小割

    题目描述 小白在图论课上学到了一个新的概念——最小割,下课后小白在笔记本上写下了如下这段话: “对于一个图,某个对图中结点的划分将图中所有结点分成两个部分,如果结点s,t不在同一个部分中,则称这个划分 ...

  7. bzoj 2229 [Zjoi2011]最小割(分治+最小割)

    [题目链接] http://www.lydsy.com/JudgeOnline/problem.php?id=2229 [题意] 回答若干个关于割不超过x的点对数目的询问. [思路] [最小割最多有n ...

  8. 不同的最小割(cqoi2016,bzoj4519)(最小割树)

    学过图论的同学都知道最小割的概念:对于一个图,某个对图中结点的划分将图中所有结点分成 两个部分,如果结点\(s,t\)不在同一个部分中,则称这个划分是关于\(s,t\)的割.对于带权图来说,将 所有顶 ...

  9. POJ 2135 Farm Tour (网络流,最小费用最大流)

    POJ 2135 Farm Tour (网络流,最小费用最大流) Description When FJ's friends visit him on the farm, he likes to sh ...

随机推荐

  1. C++ <string> 里面的size_type

    string::size_type string的 str.size() 返回值是一个unsigned,实际上返回的是size_type类型的值. string类和其他的大多数标准库类型都定义了几套配 ...

  2. ASP.NET相关事件及JS的执行顺序

    实验代码: ASPX: <%@ Page Language="C#" AutoEventWireup="true" CodeBehind="We ...

  3. MFC技术积累——基于MFC对话框类的那些事儿5

    4. 菜单 4.1 弹出菜单 本节主要讲解如何在主对话框的指定区域内通过鼠标右击来弹出一个菜单选项.最终效果图如图4.1. 如图4.1鼠标只能在指定区域(图中深色区域)内右击时弹出菜单,在指定区域外点 ...

  4. 使用Eclipse进行PHP的服务器端调试

    最近工作需要对PHP的服务器端代码进行远程调试,涉及到Eclipse里环境的设置.在网上找了很多资料,大多不全,或者缺少配图,于是把自己做的过程中遇到的问题记录了下来,希望对需要的朋友们有所帮助. 首 ...

  5. Eclipse被卡死了或者失去响应了后分析根源的一个小技巧

    提升程序员工作效率的工具/技巧推荐系列 推荐一个功能强大的文件搜索工具SearchMyFiles 介绍一个好用的免费流程图和UML绘制软件-Diagram Designer 介绍Windows任务管理 ...

  6. centos7 系统安全加固方案

    一.密码长度与有效期 默认配置: [root@i-1y3we23j ~]# cat /etc/login.defs |grep PASS_ |grep -v '#' PASS_MAX_DAYS PAS ...

  7. ERROR: HHH000091: Expected type: java.sql.Timestamp, actual value: java.lang.Integer

    在将MySql的数据对应到Java的实体类的时候, 遇到了错误 关键点: Hibernate从mysql数据库查出来的Timestamp类型的数据, 会被Hibernate(或者是数据库连接池Drui ...

  8. 使用Auto Layout中的VFL(Visual format language)——代码实现自动布局

    本文将通过简单的UI来说明如何用VFL来实现自动布局.在自动布局的时候避免不了使用代码来加以优化以及根据内容来实现不同的UI. 一:api介绍 1.NSLayoutConstraint API NSL ...

  9. luogu P1238 走迷宫--DFS模板好(水)题

    题目描述 有一个m*n格的迷宫(表示有m行.n列),其中有可走的也有不可走的,如果用1表示可以走,0表示不可以走,文件读入这m*n个数据和起始点.结束点(起始点和结束点都是用两个数据来描述的,分别表示 ...

  10. 条款7:为多太基类声明virtual析构函数

    NOTE: 1.polymorphic(多态性质的)base classes 应该声明一个virtual 析构函数.如果class带有任何virtual函数,它就应该拥有一个virtual析构函数. ...