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], 原来的边 ...
随机推荐
- Exception in thread "main" java.lang.NoClassDefFoundError: org/jaxen/NamespaceContext
使用dom4j的xpath查询节点,报如下错误: Exception in thread "main" java.lang.NoClassDefFoundError: org/ja ...
- Service官方教程(7)Bound Service示例之1-同进程下直接继承Service
Extending the Binder class If your service is used only by the local application and does not need t ...
- IOS应用开发版本控制工具之Versions使用,iosversions
Versions版本控制工具破解版(Versions.zip)下载请见本博文附件.下载后在MAC安装完以后,图标是莲花状.见下图: 双击运行如下图: 点击Repository,连接SVN服务器R ...
- Python 相关疑问
1. 如果我的脚本error handling 做的好,在ctrl+c退出的时候是不是不应该有任何traceback log? 2. repr() str() eval() 之间的区别? 3. 参数传 ...
- 配置maven环境变量cmd控制台提示:mvn不是内部或外部命令,也不是可运行的程序或批处理文件
配置maven环境变量cmd控制台提示:mvn不是内部或外部命令,也不是可运行的程序或批处理文件 首先maven环境变量: 变量名:MAVEN_HOME 变量值:E:\apache-maven-3.2 ...
- 移动web开发填坑(一)
上周开始接触移动web开发,默默的掉进了很多坑里面.本文主要总结本周遇到的坑以及如何填坑. 1.px与rem换算. 设计稿的宽度一般是640px,而iphone是320px,所以测量设计稿的结果首先要 ...
- jsp 访问文件夹中的图片,tomcat配置虚拟目录
1.配置hosts文件 找到C:\Windows\System32\drivers\etc\hosts.txt 文件 添加127.0.0.1 www.image.com 在dos 命令中执行 pi ...
- css选择器的对比样式代码精简
通常就分为这三大类:* 选定所有对象.通配选择符(Universal Selector)通常不建议使用通配选择符,因为它会遍历并命中文档中所有的元素,出于性能考虑,需酌情使用一.标签选择器,以开始标签 ...
- 第2节 hive基本操作:11、hive当中的分桶表以及修改表删除表数据加载数据导出等
分桶表 将数据按照指定的字段进行分成多个桶中去,说白了就是将数据按照字段进行划分,可以将数据按照字段划分到多个文件当中去 开启hive的桶表功能 set hive.enforce.bucketing= ...
- GPS坐标转化距离(短距离模型公式)
下面是C#计算方法: class Program { const double EARTH_RADIUS = 6378.137; static void Main(string[] args) { d ...