結果

問題 No.1301 Strange Graph Shortest Path
ユーザー leaf_1415leaf_1415
提出日時 2020-11-27 22:54:58
言語 C++11
(gcc 11.4.0)
結果
TLE  
実行時間 -
コード長 3,037 bytes
コンパイル時間 1,413 ms
コンパイル使用メモリ 92,880 KB
実行使用メモリ 53,312 KB
最終ジャッジ日時 2024-07-26 20:10:38
合計ジャッジ時間 22,983 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 8 ms
20,608 KB
testcase_01 AC 9 ms
15,104 KB
testcase_02 AC 492 ms
46,048 KB
testcase_03 AC 404 ms
45,076 KB
testcase_04 AC 612 ms
48,812 KB
testcase_05 AC 448 ms
46,304 KB
testcase_06 AC 557 ms
44,232 KB
testcase_07 AC 494 ms
45,252 KB
testcase_08 AC 421 ms
42,792 KB
testcase_09 AC 497 ms
42,496 KB
testcase_10 AC 417 ms
42,900 KB
testcase_11 AC 555 ms
45,196 KB
testcase_12 AC 565 ms
45,208 KB
testcase_13 AC 533 ms
46,376 KB
testcase_14 AC 480 ms
46,100 KB
testcase_15 AC 491 ms
45,940 KB
testcase_16 AC 598 ms
48,188 KB
testcase_17 AC 560 ms
46,800 KB
testcase_18 AC 467 ms
43,684 KB
testcase_19 AC 518 ms
44,348 KB
testcase_20 AC 530 ms
43,776 KB
testcase_21 AC 516 ms
46,120 KB
testcase_22 AC 586 ms
44,416 KB
testcase_23 AC 556 ms
46,260 KB
testcase_24 AC 562 ms
43,904 KB
testcase_25 AC 595 ms
46,600 KB
testcase_26 AC 527 ms
44,904 KB
testcase_27 AC 566 ms
45,112 KB
testcase_28 AC 453 ms
45,128 KB
testcase_29 AC 645 ms
46,208 KB
testcase_30 AC 609 ms
46,436 KB
testcase_31 AC 617 ms
46,076 KB
testcase_32 AC 8 ms
15,104 KB
testcase_33 TLE -
testcase_34 -- -
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <cstdio>
#include <cmath>
#include <ctime>
#include <cstdlib>
#include <cassert>
#include <vector>
#include <list>
#include <stack>
#include <queue>
#include <deque>
#include <map>
#include <set>
#include <bitset>
#include <string>
#include <algorithm>
#include <utility>
#include <complex>
#define rep(x, s, t) for(llint (x) = (s); (x) <= (t); (x)++)
#define chmin(x, y) (x) = min((x), (y))
#define chmax(x, y) (x) = max((x), (y))
#define all(x) (x).begin(),(x).end()
#define inf 1e15
#define mod 998244353

using namespace std;

typedef long long llint;
typedef long long ll;
typedef pair<llint, llint> P;

struct edge{
	int to, cap, cost, rev;
	edge(){}
	edge(llint a, llint b, llint c, llint d){
		to = a, cap = b, cost = c, rev = d;
	}
};

int n, m, F;
int S, T;
vector<edge> G[500005];
llint dist[500005];
int prevv[500005], preve[500005];
llint h[500005];

void BellmanFord()
{
	for(int i = 0; i <= T; i++) dist[i] = inf;
	dist[S] = 0, prevv[S] = -1;
	
	bool update = true;
	while(update){
		update = false;
		for(int i = 0; i <= T; i++){
			for(int j = 0; j < G[i].size(); j++){
				if(G[i][j].cap == 0) continue;
				if(dist[G[i][j].to] > dist[i] + G[i][j].cost){
					dist[G[i][j].to] = dist[i] + G[i][j].cost;
					prevv[G[i][j].to] = i;
					preve[G[i][j].to] = j;
					update = true;
				}
			}
		}
	}
}

void Dijkstra()
{
	for(int i = 0; i <= T; i++) dist[i] = inf;
	dist[S] = 0, prevv[S] = -1;
	
	priority_queue< P, vector<P>, greater<P> > Q;
	Q.push( make_pair(0, S) );
	
	llint v, d;
	while(Q.size()){
		d = Q.top().first;
		v = Q.top().second;
		Q.pop();
		if(dist[v] < d) continue;
		for(int i = 0; i < G[v].size(); i++){
			if(G[v][i].cap == 0) continue;
			llint u = G[v][i].to, c = h[v] - h[u] + G[v][i].cost;
			if(dist[u] > d + c){
				dist[u] = d + c;
				prevv[u] = v;
				preve[u] = i;
				Q.push( make_pair(dist[u], u) );
			}
		}
	}
}

void add_edge(llint from, llint to, llint cap, llint cost)
{
	G[from].push_back( edge(to, cap, cost, G[to].size()) );
	G[to].push_back( edge(from, 0, -cost, G[from].size()-1) );
}

int main(void)
{
	ios::sync_with_stdio(0);
	cin.tie(0);
	
	cin >> n >> m;
	ll u, v, c, d;
	rep(i, 1, m){
		cin >> u >> v >> c >> d ;
		add_edge(u, n+i, 2, 0);
		add_edge(v, n+i, 2, 0);
		add_edge(n+i, n+m+i, 1, c);
		add_edge(n+i, n+m+i, 1, d);
		add_edge(n+m+i, u, 2, 0);
		add_edge(n+m+i, v, 2, 0);
	}
	S = 1, T = n+2*m+1;
	add_edge(n, T, 2, 0);
	
	BellmanFord();
	for(int i = 0; i <= T; i++) h[i] = dist[i];
	
	int f = 2; ll ans = 0;
	while(f > 0){
		Dijkstra();
		if(dist[T] >= inf) break;
		
		int p = T, flow = f;
		while(prevv[p] != -1){
			flow = min(flow, G[prevv[p]][preve[p]].cap);
			p = prevv[p];
		}
		
		p = T;
		while(prevv[p] != -1){
			G[prevv[p]][preve[p]].cap -= flow;
			G[p][G[prevv[p]][preve[p]].rev].cap += flow;
			p = prevv[p];
		}
		f -= flow;
		ans += (dist[T] + h[T] - h[S]) * flow;
		
		for(int i = 0; i <= T; i++) h[i] += dist[i]; //オーバーフローに注意(?)
	}
	
	if(f > 0) ans = -1;
	cout << ans << endl;
	
	
	return 0;
}
0