HDU3592取log转化为差分约束系统
Posted hesorchen
tags:
篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了HDU3592取log转化为差分约束系统相关的知识,希望对你有一定的参考价值。
题目
思路
根据题意,有
L < = C i j ∗ a i b j < = U L<=\\frac{C_{ij}*a_i}{b_j}<=U L<=bjCij∗ai<=U
得
L ∗ C i j < = a i b j < = U ∗ C i j L*C_{ij}<=\\frac{a_i}{b_j}<=U*C_{ij} L∗Cij<=bjai<=U∗Cij
要转化为差分约束系统,变量之间的关系必须是差的关系。可以取log将除法转化为减法
l o g ( L ∗ C i j ) < = l o g a i − l o g b i < = l o g ( U ∗ C i j ) log(L*C_{ij})<=loga_i-logb_i<=log(U*C_{ij}) log(L∗Cij)<=logai−logbi<=log(U∗Cij)
因为题目只要求是否存在满足条件的a、b数组,因此只要有满足条件的 l o g a i 、 l o g b i loga_i、logb_i logai、logbi即可,也就是
l o g ( L ∗ C i j ) < = S k − S l < = l o g ( U ∗ C i j ) log(L*C_{ij})<=S_k-S_l<=log(U*C_{ij}) log(L∗Cij)<=Sk−Sl<=log(U∗Cij)
即
{ l o g ( L ∗ C i j ) < = S k − S l S k − S l < = l o g ( U ∗ C i j ) \\begin{cases} log(L*C_{ij})<=S_k-S_l\\\\\\\\ S_k-S_l<=log(U*C_{ij}) \\end{cases} ⎩⎪⎨⎪⎧log(L∗Cij)<=Sk−SlSk−Sl<=log(U∗Cij)
利用最短路或最长路求解都可以。
不过因为本题卡常,有两个疑点
- 建图部分用邻接表能过,用链式前向星超时了。(发现是G++卡了链式前向星的后缀++)
- 很多网上的AC代码都是对SPFA进行优化,或者玄学地判断负环的时候降低入队最大次数(取根号)过的。理论上来说SPFA的优化都会被卡掉、而降低入队最大次数也没看到证明。
代码
#include <iostream>
#include <cmath>
#include <cstdio>
#include <queue>
using namespace std;
const int N = 550;
int n, m, L, U;
int C[N][N];
struct node
{
int v;
double w;
};
vector<node> Edge[N * 2];
void add(int u, int v, double w)
{
Edge[u].emplace_back(node{v, w});
}
int cnt[N * 2];
double dis[N * 2];
bool vis[N * 2];
bool spfa(int beg)
{
int uptime = sqrt(n + m);
dis[beg] = 0;
queue<int> q;
q.push(beg);
while (q.size())
{
int u = q.front();
for (auto it : Edge[u])
{
int v = it.v;
double w = it.w;
if (dis[u] + w < dis[v])
{
dis[v] = dis[u] + w;
if (!vis[v])
{
++cnt[v];
if (cnt[v] > uptime)
return false;
vis[v] = 1;
q.push(v);
}
}
}
q.pop();
vis[u] = 0;
}
return true;
}
int main()
{
while (scanf("%d %d %d %d", &n, &m, &L, &U) != EOF)
{
for (int i = 1; i <= n + m; i++)
{
Edge[i].clear();
vis[i] = cnt[i] = 0;
dis[i] = 1e9;
}
for (int i = 1; i <= n; i++)
for (int j = 1; j <= m; j++)
{
scanf("%d", &C[i][j]);
add(n + j, i, (log((double)U / C[i][j])));
add(i, n + j, -(log((double)L / C[i][j])));
}
for (int i = 1; i <= n + m; i++)
{
add(0, i, 0);
}
if (spfa(0))
puts("YES");
else
puts("NO");
}
return 0;
}
以上是关于HDU3592取log转化为差分约束系统的主要内容,如果未能解决你的问题,请参考以下文章