上下界可行流

来源:https://www.cnblogs.com/wxyww/archive/2019/02/10/10359219.html
-Advertisement-
Play Games

$RT$,無源匯上下界可行流就是一種沒有源匯點的上下界可行流問題。# 題目 給出一個有向圖。每條邊有流量上界和下界,問是否存在一中流量分配方案,使得每個點流量守恆(即流入量=流出量) 思路 解決這種問題的主體思路就是在初始流的基礎上不斷添加流量,使得滿足流 ...


無源匯上下界可行流

題目

給出一個有向圖。每條邊有流量上界和下界,問是否存在一中流量分配方案,使得每個點流量守恆(即流入量=流出量)

思路

解決這種問題的主體思路就是在初始流的基礎上不斷添加流量,使得滿足流量守恆。
初始流很顯然應該是每條邊流量的下界。
但是這樣並不滿足流量守恆。然後考慮添加流量。
對於一個點,我們設初始流中他的流入量為\(rd\),流出量為\(cd\)。設\(d=rd-cd\)
然後對\(d\)進行分類討論。
如果\(d < 0\),則表示流入量要比流出量小,那麼我們應該給多出來的流出量一個流出去的地方。所以就將點\(i\)向匯點T連一條容量為\(-d\)的邊。
如果\(d > 0\),則表示流入量要比流出量大,那麼我們應該給多出來的流入量一個來的地方。所以就從\(S\)向點\(i\)連一條容量為\(d\)的邊。
如果\(d = 0\),那麼流量已經守恆,就不用添加附加流了。
然後考慮怎麼統計答案。
如果想要有可行流的話,那麼\(S\)連出去的每條邊必須滿流,否則肯定沒有可行流,這是一定的。
然後對於一條邊他最終的流量應該是初始流+附加流。初始流就是流量下界。附加流就是反向邊了。因為我們把減掉的流量都加到反向邊上去了。

例題

題目鏈接

代碼

/*
* @Author: wxyww
* @Date:   2019-02-10 14:09:32
* @Last Modified time: 2019-02-10 14:26:40
*/
#include<cstdio>
#include<iostream>
#include<cstdlib>
#include<cmath>
#include<ctime>
#include<queue>
#include<cstring>
#include<bitset>
using namespace std;
typedef long long ll;
const int N = 200000,INF = 1e9;
ll read() {
    ll x=0,f=1;char c=getchar();
    while(c<'0'||c>'9') {
        if(c=='-') f=-1;
        c=getchar();
    }
    while(c>='0'&&c<='9') {
        x=x*10+c-'0';
        c=getchar();
    }
    return x*f;
}
struct node {
    int v,nxt,w;
}e[N];
int head[N],ejs = 1;
void add(int u,int v,int w) {
    e[++ejs].v = v;e[ejs].w = w;e[ejs].nxt = head[u];head[u] = ejs;
    e[++ejs].v = u;e[ejs].w = 0;e[ejs].nxt = head[v];head[v] = ejs;
}
queue<int>q;
int dep[N],S,T;
int rd[N],cur[N],cd[N];
int bfs() {
    memset(dep,0,sizeof(dep));
    while(!q.empty()) q.pop();
    dep[S] = 1;q.push(S);
    while(!q.empty()) {
        int u = q.front();q.pop();
        for(int i = head[u];i;i = e[i].nxt) {
            int v = e[i].v;
            if(!dep[v] && e[i].w) {
                q.push(v);
                dep[v] = dep[u] + 1;
                if(v == T) return 1;
            }
    }
    }
    return 0;
}
int dfs(int u,int now) {
    if(u == T) return now;
    int ret = 0;
    for(int &i = cur[u];i;i = e[i].nxt) {
        int v = e[i].v;
        if(dep[v] == dep[u] + 1 && e[i].w) {
            int k = dfs(v,min(now - ret,e[i].w));
            e[i].w -= k;
            e[i ^ 1].w += k;
            ret += k;
            if(now == ret) return ret;
        }
    }
    return ret;
}
int dinic() {
    int ans = 0;
    while(bfs()) {
        memcpy(cur,head,sizeof(cur));
        ans += dfs(S,INF);
    }
    return ans;
}

int ans[N];
int low[N];
int main() {
    int n = read(),m = read();
    S = n + 1,T = S + 1;
    for(int i = 1;i <= m;++i) {
        int u = read(),v = read();low[i] = read();int up = read();
        add(u,v,up - low[i]);
        ans[i] = ejs;
        rd[v] += low[i];cd[u] += low[i];
    }
    for(int i = 1;i <= n;++i) {
        int z = rd[i] - cd[i];
        if(z > 0) add(S,i,z);
        if(z < 0) add(i,T,-z);
    }
    // puts("!!!");
    dinic();
    int bz = 0;
    for(int i = head[S];i;i = e[i].nxt) {
        if(e[i].w) {
            puts("NO");return 0;
        }
    }
    puts("YES");
    for(int i = 1;i <= m;++i)
        printf("%d\n",e[ans[i]].w + low[i]);
    return 0;
}

有源匯上下界可行流

只要將\(T\)\(S\)之間連一條容量為\(INF\)的邊,就可以轉化為無源匯上下界可行流了\(233\)


您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • 題目: 輸入格式: 輸入第一行給出一個正整數N(≤100),是已知朋友圈的個數;隨後N行,每行首先給出一個正整數K(≤1000),為朋友圈中的人數,然後列出一個朋友圈內的所有人——為方便起見,每人對應一個ID號,為5位數字(從00000到99999),ID間以空格分隔;之後給出一個正整數M(≤100 ...
  • [TOC] 1.0 Spyder的基本使用 1.Spyder的主題與文字修改: 2.Spyder的使用技巧: (一)安裝Anaconda: 官網下載:https://www.anaconda.com/distribution/ download section 國內鏡像網站:https://mirr ...
  • 題意 給出一個混合圖(有無向邊,也有有向邊),問能否通過確定無向邊的方向,使得該圖形成歐拉迴路。 思路 這是一道混合圖歐拉迴路的模板題。 ...
  • 過年放假這幾天把UE4的C++部分好好的搞了一下,熟悉的等編譯時間又回來了! 這兩年一直在用PASCAL C# LUA,幾乎沒有什麼編譯時間,也沒有什麼莫名其妙的報錯,這幾天全都讓我回憶起來了! 把之前在藍圖中連線弄的一些比較邏輯移到了C++裡面,果然用代碼寫就方便多了! UE4的C++部分暴露給藍 ...
  • 例題 loj116 >給出一個有源匯點的有向圖。每條邊有最大流量和最小流量。現在需要求出從源點到匯點的最大流可以是多少。 前置知識 ...
  • 第85節:Java中的JavaScript 複習一下css: 選擇器的格式: 元素選擇器:元素的名稱{} 類選擇器:. 開頭 ID選擇器: ID選擇器 後代選擇器: 選擇器1 選擇器2 子元素選擇器:選擇器1 選擇器2 選擇器分組: 選擇器1,選擇器2,選擇器3{} 屬性選擇器:選擇器[屬性名稱=' ...
  • 題目: 知識點for me: 1、計算res時要先把num強制轉換成浮點型,否則兩個整形相除會自動轉換成整形保存。最開始沒加(float),結果res一直是0.00000. 2、輸出百分號:%% 3、已經好幾次忘記把不是int型的數字-‘0’後再使用了。 上代碼: ...
  • 每種堆法(理解成名次序列,舉例3,3,8,2和7,7,100,2都對應2,2,1,3這個名次序列)等概率出現;題目中“兩種堆法不同當且僅當某個積木在兩種堆法中處於不同的層中”可見這是個組合問題,於是設一個名次的生成函數F(x)=sum i=1 inf 1\ x^i/(i!) 。因為F(x)的常數項為 ...
一周排行
    -Advertisement-
    Play Games
  • 移動開發(一):使用.NET MAUI開發第一個安卓APP 對於工作多年的C#程式員來說,近來想嘗試開發一款安卓APP,考慮了很久最終選擇使用.NET MAUI這個微軟官方的框架來嘗試體驗開發安卓APP,畢竟是使用Visual Studio開發工具,使用起來也比較的順手,結合微軟官方的教程進行了安卓 ...
  • 前言 QuestPDF 是一個開源 .NET 庫,用於生成 PDF 文檔。使用了C# Fluent API方式可簡化開發、減少錯誤並提高工作效率。利用它可以輕鬆生成 PDF 報告、發票、導出文件等。 項目介紹 QuestPDF 是一個革命性的開源 .NET 庫,它徹底改變了我們生成 PDF 文檔的方 ...
  • 項目地址 項目後端地址: https://github.com/ZyPLJ/ZYTteeHole 項目前端頁面地址: ZyPLJ/TreeHoleVue (github.com) https://github.com/ZyPLJ/TreeHoleVue 目前項目測試訪問地址: http://tree ...
  • 話不多說,直接開乾 一.下載 1.官方鏈接下載: https://www.microsoft.com/zh-cn/sql-server/sql-server-downloads 2.在下載目錄中找到下麵這個小的安裝包 SQL2022-SSEI-Dev.exe,運行開始下載SQL server; 二. ...
  • 前言 隨著物聯網(IoT)技術的迅猛發展,MQTT(消息隊列遙測傳輸)協議憑藉其輕量級和高效性,已成為眾多物聯網應用的首選通信標準。 MQTTnet 作為一個高性能的 .NET 開源庫,為 .NET 平臺上的 MQTT 客戶端與伺服器開發提供了強大的支持。 本文將全面介紹 MQTTnet 的核心功能 ...
  • Serilog支持多種接收器用於日誌存儲,增強器用於添加屬性,LogContext管理動態屬性,支持多種輸出格式包括純文本、JSON及ExpressionTemplate。還提供了自定義格式化選項,適用於不同需求。 ...
  • 目錄簡介獲取 HTML 文檔解析 HTML 文檔測試參考文章 簡介 動態內容網站使用 JavaScript 腳本動態檢索和渲染數據,爬取信息時需要模擬瀏覽器行為,否則獲取到的源碼基本是空的。 本文使用的爬取步驟如下: 使用 Selenium 獲取渲染後的 HTML 文檔 使用 HtmlAgility ...
  • 1.前言 什麼是熱更新 游戲或者軟體更新時,無需重新下載客戶端進行安裝,而是在應用程式啟動的情況下,在內部進行資源或者代碼更新 Unity目前常用熱更新解決方案 HybridCLR,Xlua,ILRuntime等 Unity目前常用資源管理解決方案 AssetBundles,Addressable, ...
  • 本文章主要是在C# ASP.NET Core Web API框架實現向手機發送驗證碼簡訊功能。這裡我選擇是一個互億無線簡訊驗證碼平臺,其實像阿裡雲,騰訊雲上面也可以。 首先我們先去 互億無線 https://www.ihuyi.com/api/sms.html 去註冊一個賬號 註冊完成賬號後,它會送 ...
  • 通過以下方式可以高效,並保證數據同步的可靠性 1.API設計 使用RESTful設計,確保API端點明確,並使用適當的HTTP方法(如POST用於創建,PUT用於更新)。 設計清晰的請求和響應模型,以確保客戶端能夠理解預期格式。 2.數據驗證 在伺服器端進行嚴格的數據驗證,確保接收到的數據符合預期格 ...