HDU3592取log转化为差分约束系统

Posted hesorchen

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了HDU3592取log转化为差分约束系统相关的知识,希望对你有一定的参考价值。

题目

World Exhibition

思路

根据题意,有

L < = C i j ∗ a i b j < = U L<=\\frac{C_{ij}*a_i}{b_j}<=U L<=bjCijai<=U

L ∗ C i j < = a i b j < = U ∗ C i j L*C_{ij}<=\\frac{a_i}{b_j}<=U*C_{ij} LCij<=bjai<=UCij

要转化为差分约束系统,变量之间的关系必须是差的关系。可以取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(LCij)<=logailogbi<=log(UCij)

因为题目只要求是否存在满足条件的a、b数组,因此只要有满足条件的 l o g a i 、 l o g b i loga_i、logb_i logailogbi即可,也就是

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(LCij)<=SkSl<=log(UCij)

{ 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(LCij)<=SkSlSkSl<=log(UCij)

利用最短路或最长路求解都可以。

不过因为本题卡常,有两个疑点

  1. 建图部分用邻接表能过,用链式前向星超时了。(发现是G++卡了链式前向星的后缀++)
  2. 很多网上的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转化为差分约束系统的主要内容,如果未能解决你的问题,请参考以下文章

HDU3592 差分约束

hdu3592(差分约束) (线性)

HDU 3592 查分约束+判环

HDU3666 THE MATRIX PROBLEM (差分约束+取对数去系数)(对退出情况存疑)

差分约束系统

差分约束