zoj 2676 二分+ISAP模板求实型参数的最小割(0-1分数规划问题)(可做ISAP模板)
/*
参考博文:http://www.cnblogs.com/ylfdrib/archive/2010/09/01/1814478.html
以下题解为转载代码自己写的:
zoj2676
胡伯涛论文《最小割模型在信息学竞赛中的应用》中详细介绍了分数规划思想的应用。经典的有最优比率生成树。 对于分数规划的应用中,常用的就是0-1分数规划,即解向量X = {x1, ……,xi, ……}, 对于∀xi∈{0,1}。 主要求解过程是,首先将原分式优化问题,转换成非分式优化问题,利用单调的性质,用二分逼近的方法找到最优解。
题目要求最后能够截得信息,即求某个割,使得c/k最小。 这一题可以将问题转化为最小割,求c/k的最小值,即求sum(xi * ci) / sum(xi * 1)的最小值,(xi == 0 || xi == 1) 设ans = sum(xi * ci) / sum(xi * 1) 则 sum(xi * ci) - ans * sum(xi * 1) = 0 即 sum(xi * (ci - ans)) = 0; 令F(x) = sum(xi * (ci - ans)); 对于一定值ans,函数为单调递减的。 对于正解ANS, F(x) = 0; 则可以推出: 如果 F(x) = 0 那么 ans = ANS 如果 F(x) < 0 那么 ans > ANS 如果 F(x) > 0 那么 ans < ANS 用二分的方法逼近答案,令COST = ci - ans,作为第i条边的新花费,求得最小割ans进行验证即可。
*/
#include<stdio.h>
#include<string.h>
#include<stdlib.h>
#include<queue>
#include<math.h>
using namespace std;
#define eps 1e-6//二分1e-10超时
#define inf 0x3fffffff
#define N 410
struct node
{
int u,v,next;
double w;
}f[N],bian[N*4];
int yong,head[N],cur[N],q[N],gap[N],dis[N];
void init()
{
yong=0;
memset(head,-1,sizeof(head));
}
void addedge(int u,int v,double w)
{
bian[yong].u=u;
bian[yong].v=v;
bian[yong].w=w;
bian[yong].next=head[u];
head[u]=yong++;
}
void bfs(int start,int endl)//建立到汇点的距离层次图存在dis[]数组中
{
int rear=0,i,j;
memset(dis,-1,sizeof(dis));
memset(gap,0,sizeof(gap));//gap[x]记录dis[i]=x出现了多少次
dis[endl]=0;
gap[dis[endl]]=1;
q[rear++]=endl;
for(i=0;i<rear;i++)
{
for(j=head[q[i]];j!=-1;j=bian[j].next)
{
int v=bian[j].v;
if(dis[v]==-1)
{
++gap[dis[v]=dis[q[i]]+1];
q[rear++]=v;
}
}
}
}
double SAP(int start,int endl,int n)
{
double ans=0;
bfs(start,endl);
int cur[N];//代替head数组
memcpy(cur,head,sizeof(head));
int stack[N],top=0;//建立手工栈
int u=start,i;
while(dis[start]<n)
{
if(u==endl)//当搜到终点时即找到从原点到汇点的增光路,正常处理即可
{
double mini=inf;
int tep;
for(i=0;i<top;i++)
{
if(mini>bian[stack[i]].w)
{
mini=bian[stack[i]].w;
tep=i;
}
}
for(i=0;i<top;i++)
{
bian[stack[i]].w-=mini;
bian[stack[i]^1].w+=mini;
}
ans+=mini;
top=tep;
u=bian[stack[top]].u;//此时的u为变容量为0的u
}
if(dis[u]&&gap[dis[u]-1]==0)//出现了断层,没有增广路
break;
for(i=cur[u];i!=-1;i=bian[i].next)//遍历与u相连的未遍历的节点
{
int v=bian[i].v;
if(dis[v]!=-1)
{
if(bian[i].w>eps&&dis[u]==dis[v]+1)//层次关系找到允许路径
break;
}
}
if(i!=-1)//找到允许弧
{
cur[u]=i;
stack[top++]=i;
u=bian[i].v;
}
else//无允许的路径,修改标号 当前点的标号比与之相连的点中最小的多1
{
int mini=n;
for(i=head[u];i!=-1;i=bian[i].next)
{
if(fabs(bian[i].w)<eps)continue;
int v=bian[i].v;
if(mini>dis[v])//找到与u相连的v中dep[v]最小的点
{
mini=dis[v];
cur[u]=i;//最小标号就是最新的允许弧
}
}
--gap[dis[u]];//dep[u] 的个数变化了 所以修改gap
++gap[dis[u]=mini+1];//将dep[u]设为min(dep[v]) + 1, 同时修改相应的gap[]
if(u!=start)//该点非源点&&以u开始的允许弧不存在,退点
u=bian[stack[--top]].u;
}
}
return ans;
}
int a[N],len,vis[N];
void dfss(int u) {
int i;
// printf("%d\n",u);
for(i=head[u];i!=-1;i=bian[i].next) {
int v=bian[i].v;
if(bian[i].w>eps&&!vis[v]) {
vis[v]=1;
dfss(v);
}
}
}
int main()
{
int n,m,i;
double st,en,mid,flow;
while(scanf("%d%d",&n,&m)!=EOF)
{
for(i=1; i<=m; i++)
scanf("%d%d%lf",&f[i].u,&f[i].v,&f[i].w);
st=0;
en=10000001;
while(st<en+eps)
{
mid=(st+en)/2;
init();
flow=0;
for(i=1; i<=m; i++)
{
// printf("%.2f %.2f\n",f[i].w,mid);
if(f[i].w<mid+eps)
flow=flow+f[i].w-mid;
else
{
addedge(f[i].u,f[i].v,f[i].w-mid);
addedge(f[i].v,f[i].u,f[i].w-mid);
}
}
double k=SAP(1,n,n);
flow+=k;
// printf("%.2f\n",k);
if(flow>eps)
st=mid+eps;
else
en=mid-eps;
}
//printf("mid=%.10f\n",mid);
memset(vis,0,sizeof(vis));
vis[1]=1;
dfss(1);
len=0;
for(i=1;i<=m;i++) {
// printf("%.10f %.10f\n",f[i].w,mid+eps);//&&vis[f[i].u]+vis[f[i].v]==1
if(vis[f[i].u]+vis[f[i].v]==1||f[i].w<eps+mid)//如果是负边或者割边
len++;
}
printf("%d\n",len);
int ok=0;
for(i=1;i<=m;i++)
if(vis[f[i].u]+vis[f[i].v]==1||f[i].w<mid+eps) {//如果是负边或者割边
if(ok)
printf(" ");
printf("%d",i);
ok=1;
}
printf("\n");
}
return 0;
}
zoj 2676 二分+ISAP模板求实型参数的最小割(0-1分数规划问题)(可做ISAP模板)的更多相关文章
- 【题解】 [HNOI2009] 最小圈 (01分数规划,二分答案,负环)
题目背景 如果你能提供题面或者题意简述,请直接在讨论区发帖,感谢你的贡献. 题目描述 对于一张有向图,要你求图中最小圈的平均值最小是多少,即若一个圈经过k个节点,那么一个圈的平均值为圈上k条边权的和除 ...
- Yougth的最大化(好题,二分查找 0 1分数规划)
Yougth的最大化 时间限制:1000 ms | 内存限制:65535 KB 难度:4 描述 Yougth现在有n个物品的重量和价值分别是Wi和Vi,你能帮他从中选出k个物品使得单位重量的价 ...
- POJ2728 最小比率生成树/0-1分数规划/二分/迭代(迭代不会)
用01分数规划 + prime + 二分 竟然2950MS惊险的过了QAQ 前提是在TLE了好几次下过的 = = 题目意思:有n个村庄,村庄在不同坐标和海拔,现在要对所有村庄供水,只要两个村庄之间有一 ...
- zoj 2676 dinic模板求实型最小割(可做dinic模板)
#include<stdio.h> #include<string.h> #include<stdlib.h> #include<queue> #inc ...
- cogs 2652. 秘术「天文密葬法」(0/1分数规划 长链剖分 二分答案 dp
http://cogs.pro:8080/cogs/problem/problem.php?pid=vSXNiVegV 题意:给个树,第i个点有两个权值ai和bi,现在求一条长度为m的路径,使得Σai ...
- POJ2976 题解 0/1分数规划入门题 二分
题目链接:http://poj.org/problem?id=2976 关于 0/1分数规划 参见 这篇博客 实现代码如下: #include <cstdio> #include < ...
- POJ 2976 Dropping tests【0/1分数规划模板】
传送门:http://poj.org/problem?id=2976 题意:给出组和,去掉对数据,使得的总和除以的总和最大. 思路:0/1分数规划 设,则(其中等于0或1) 开始假设使得上式成立,将从 ...
- ZOJ - 2676 01分数规划 浮点ISAP
题意:求最小割集\(C\),使得\(\frac{\sum_{i∈C} cost_i}{|C|}\)最小 模型就是01分数规划\(\frac{\sum_{i=1}^{m}cost_i*x}{\sum_{ ...
- poj 3155 二分+最小割求实型最小割(最大密集子图)
/* 最大密集子图子图裸题 解法:设源点s和汇点t 根据胡波涛的<最小割模型在信息学中的应用> s-每个点,权值为原边权和m, 每个点-t,权值为m+2*g-degree[i], 原来的边 ...
随机推荐
- 对dynamic和lambda的学习
var, object, dynamic的区别以及使用 dynamic(2) – ExpandoObject的使用 .NET中的Lambda表达式与匿名方法
- Statistics gathering and SQL Tuning Advisor
1. https://www.pythian.com/blog/statistics-gathering-and-sql-tuning-advisor/ Our monitoring software ...
- [译]curl_multi_add_handle
NAMEcurl_multi_add_handle - add an easy handle to a multi session添加easy handle到multi session中 SYNOPS ...
- 移动端如何定义字体font-family
移动端如何定义字体font-family 中文字体使用系统默认即可,英文用Helvetica /* 移动端定义字体的代码 */ body{font-family:Helvetica;} 参考<移 ...
- [转]强制取消TFS2008中其它成员的签出文件
本文转自:http://www.cnblogs.com/georgehu/archive/2010/10/23/1859573.html 有个项目,以前的成员离职了,刚好又签出了一个文件在TFS中并且 ...
- css靠左,靠右
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/ ...
- AJPFX简述java语言现状和发展
作为一种最流行的网络编程语言之一,java语言在当今信息化社会中发挥了 重要的作用.Java语言具有面向对象.跨平台.安全性.多线程等特点,这使得java成为许多应用系统的理想开发语言.java应用在 ...
- HTML标签,简单归纳
列表标签 有序列表: <ol><li></li></ol> 无序列表: <ul><li></li></ul&g ...
- Eclipse打包多渠道包(库工程版)
请先移步多渠道打包http://www.cnblogs.com/bhm666/p/6438776.html 自从上次使用了Gradle打渠道包后,遇到了各种各样的问题,不过也是小问题,仍然在几个项目上 ...
- SQL转Java代码小工具
工作中使用SQL的时候很多,当使用hibernate的时候,经常遇到多行的SQL,通常在PL/SQL或其他地方写好SQL,测试没问题后,需要将SQL写到程序代码中,多行SQL需要拼接字符串,手动一行行 ...