题目分析:最大密度子图问题。
这里图的密度的定义是边数除以点数,最大密度子图就是边数除以点数最大的子图。
我们知道要选择一些点一定要选他的两个端点,那么,我们可以把每条边视为一个点,向他的两个端点建边无穷大,源点向表示边的点建边,容量为1,汇点向端点建边,容量为x。
那么x应该为多少呢?这个我们可以通过二分求得。设x = numE / numV,那么设g(x) = numE - x * numV,当g(x)>0时,x还可以增大,改变下界,当g(x)等于0时,改变上界。会不会有g(x)<0的情况存在?由于网络流求解g(x)的特殊性,是不可能存在g(x)<0的。特别要注意的一点是,二分完以后还要用下界在去求一次网络流,因为l一定是合法的可行解,而且在二分的时候是可能丢掉最优解的哦~
写的时候真的是hard life了。。。。精度问题都忘记了。。。
代码如下:
#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std ;
#define REP( i , a , b ) for ( int i = a ; i < b ; ++ i )
#define REV( i , a , b ) for ( int i = a - 1 ; i >= b ; -- i )
#define FOR( i , a , b ) for ( int i = a ; i <= b ; ++ i )
#define FOV( i , a , b ) for ( int i = a ; i >= b ; -- i )
#define CLR( a , x ) memset ( a , x , sizeof a )
#define CPY( a , x ) memcpy ( a , x , sizeof a )
typedef double type_c ;
const int MAXN = 1105 ;
const int MAXQ = 1105 ;
const int MAXE = 10005 ;
const double INF = 1e15 ;
const double eps = 1e-8 ;
const double lim = 1e-4 ;
struct Edge {
int v , n ;
type_c c , rc ;
Edge () {}
Edge ( int v , type_c c , int n ) : v ( v ) , c ( c ) , rc ( c ) , n ( n ) {}
} ;
struct Net {
Edge E[MAXE] ;
int H[MAXN] , cntE , cntEE ;
int d[MAXN] , num[MAXN] , pre[MAXN] , cur[MAXN] ;
int Q[MAXQ] , head , tail ;
int s ,t , nv ;
type_c flow ;
int n , m ;
bool vis[MAXN] ;
int sgn ( double x ) {
return ( x > eps ) - ( x < -eps ) ;
}
void init () {
cntE = 0 ;
CLR ( H , -1 ) ;
}
void addedge ( int u , int v , type_c c ) {
E[cntE] = Edge ( v , c , H[u] ) ;
H[u] = cntE ++ ;
E[cntE] = Edge ( u , 0 , H[v] ) ;
H[v] = cntE ++ ;
}
void rev_bfs () {
CLR ( d , -1 ) ;
CLR ( num , 0 ) ;
head = tail = 0 ;
Q[tail ++] = t ;
d[t] = 0 ;
num[d[t]] = 1 ;
while ( head != tail ) {
int u = Q[head ++] ;
for ( int i = H[u] ; ~i ; i = E[i].n ) {
int v = E[i].v ;
if ( ~d[v] )
continue ;
d[v] = d[u] + 1 ;
num[d[v]] ++ ;
Q[tail ++] = v ;
}
}
}
type_c ISAP () {
CPY ( cur , H ) ;
rev_bfs () ;
flow = 0 ;
int u = pre[s] = s , i , pos , mmin ;
while ( d[s] < nv ) {
if ( u == t ) {
type_c f = INF ;
for ( i = s ; i != t ; i = E[cur[i]].v )
if ( f > E[cur[i]].c ) {
f = E[cur[i]].c ;
pos = i ;
}
for ( i = s ; i != t ; i = E[cur[i]].v ) {
E[cur[i]].c -= f ;
E[cur[i] ^ 1].c += f ;
}
u = pos ;
flow += f ;
}
for ( i = cur[u] ; ~i ; i = E[i].n )
if ( sgn ( E[i].c )&& d[u] == d[E[i].v] + 1 )
break ;
if ( ~i ) {
cur[u] = i ;
pre[E[i].v] = u ;
u = E[i].v ;
}
else {
if ( 0 == -- num[d[u]] )
break ;
mmin = nv ;
for ( i = H[u] ; ~i ; i = E[i].n )
if ( sgn ( E[i].c ) && mmin > d[E[i].v] ) {
mmin = d[E[i].v] ;
cur[u] = i ;
}
d[u] = mmin + 1 ;
num[d[u]] ++ ;
u = pre[u] ;
}
}
return flow ;
}
void build ( double mid ) {
REP ( i , 0 , cntE )
E[i].c = E[i].rc ;
REP ( i , cntEE , cntE )
E[i ++].c = mid ;
}
void dfs ( int u ) {
vis[u] = 1 ;
for ( int i = H[u] ; ~i ; i = E[i].n )
if ( sgn ( E[i].c ) && !vis[E[i].v] )
dfs ( E[i].v ) ;
}
void solve () {
if ( m == 0 ) {
printf ( "1\n1\n" ) ;
return ;
}
int u , v ;
init () ;
s = 0 ;
t = n + m + 1 ;
nv = t + 1 ;
FOR ( i , 1 , m ) {
scanf ( "%d%d" , &u , &v ) ;
addedge ( s , i + n , 1 ) ;
addedge ( i + n , u , INF ) ;
addedge ( i + n , v , INF ) ;
}
cntEE = cntE ;
FOR ( i , 1 , n )
addedge ( i , t , 0 ) ;
double l = 0 , r = m ;
while ( r - l > lim ) {
double mid = ( r + l ) / 2 ;
build ( mid ) ;
if ( sgn ( m - ISAP () ) > 0 )
l = mid ;
else
r = mid ;
}
build ( l ) ;
ISAP () ;
CLR ( vis , 0 ) ;
dfs ( s ) ;
int cnt = 0 ;
FOR ( i , 1 , n )
if ( vis[i] )
++ cnt ;
printf ( "%d\n" , cnt ) ;
FOR ( i , 1 , n )
if ( vis[i] )
printf ( "%d\n" , i ) ;
}
} e ;
int main () {
while ( ~scanf ( "%d%d" , &e.n , &e.m ) )
e.solve () ;
return 0 ;
}