結果

問題 No.1364 [Renaming] Road to Cherry from Zelkova
ユーザー Example0911Example0911
提出日時 2021-01-24 16:41:39
言語 C++17(gcc12)
(gcc 12.3.0 + boost 1.87.0)
結果
AC  
実行時間 173 ms / 2,500 ms
コード長 1,833 bytes
コンパイル時間 2,689 ms
コンパイル使用メモリ 211,384 KB
実行使用メモリ 29,440 KB
最終ジャッジ日時 2025-01-02 23:59:23
合計ジャッジ時間 11,746 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 7 ms
10,496 KB
testcase_01 AC 6 ms
10,496 KB
testcase_02 AC 6 ms
10,496 KB
testcase_03 AC 6 ms
10,496 KB
testcase_04 AC 7 ms
10,496 KB
testcase_05 AC 7 ms
10,368 KB
testcase_06 AC 6 ms
10,624 KB
testcase_07 AC 6 ms
10,496 KB
testcase_08 AC 12 ms
11,648 KB
testcase_09 AC 9 ms
11,008 KB
testcase_10 AC 12 ms
11,520 KB
testcase_11 AC 11 ms
11,264 KB
testcase_12 AC 13 ms
11,648 KB
testcase_13 AC 97 ms
21,964 KB
testcase_14 AC 149 ms
26,416 KB
testcase_15 AC 173 ms
25,460 KB
testcase_16 AC 97 ms
21,688 KB
testcase_17 AC 48 ms
16,044 KB
testcase_18 AC 170 ms
27,352 KB
testcase_19 AC 170 ms
27,196 KB
testcase_20 AC 162 ms
27,456 KB
testcase_21 AC 170 ms
27,352 KB
testcase_22 AC 161 ms
27,384 KB
testcase_23 AC 37 ms
14,208 KB
testcase_24 AC 37 ms
15,232 KB
testcase_25 AC 111 ms
22,216 KB
testcase_26 AC 173 ms
29,440 KB
testcase_27 AC 107 ms
27,392 KB
testcase_28 AC 67 ms
18,916 KB
testcase_29 AC 104 ms
27,136 KB
testcase_30 AC 74 ms
19,308 KB
testcase_31 AC 45 ms
15,488 KB
testcase_32 AC 88 ms
25,088 KB
testcase_33 AC 153 ms
28,768 KB
testcase_34 AC 148 ms
25,472 KB
testcase_35 AC 123 ms
22,936 KB
testcase_36 AC 120 ms
22,860 KB
testcase_37 AC 76 ms
22,528 KB
testcase_38 AC 99 ms
26,496 KB
testcase_39 AC 104 ms
26,880 KB
testcase_40 AC 101 ms
26,624 KB
testcase_41 AC 102 ms
26,624 KB
testcase_42 AC 98 ms
26,752 KB
testcase_43 AC 68 ms
22,832 KB
testcase_44 AC 48 ms
19,048 KB
testcase_45 AC 61 ms
20,352 KB
testcase_46 AC 9 ms
12,992 KB
testcase_47 AC 6 ms
10,624 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include "bits/stdc++.h"
using namespace std;

using ll = long long;
using P = pair<ll, ll>;
const ll INF = (1LL << 61);
ll mod = (ll)1e9 + 7;
ll N, M;
vector<pair<ll, P>>E1[100010], E2[100010], G[100010];
ll dp[100010], dp2[100010];

signed main() {
	ios::sync_with_stdio(false);
	cin.tie(0);
	cin >> N >> M;
	for (int i = 0; i < M; i++) {
		ll u, v, l, a; cin >> u >> v >> l >> a;
		E1[u].push_back({ v, {l, a} });
		E2[v].push_back({ u, {l, a} });
	}
	vector<bool>used(N+1), used2(N+1);
	used[0] = true;
	queue<int>q; q.push(0);
	while (!q.empty()) {
		int v = q.front(); q.pop();
		for (auto e : E1[v]) {
			if (!used[e.first]) {
				used[e.first] = true;
				q.push(e.first);
			}
		}
	}
	used2[N] = true;
	queue<int>q2; q2.push(N);
	while (!q2.empty()) {
		int v = q2.front(); q2.pop();
		for (auto e : E2[v]) {
			if (!used2[e.first]) {
				used2[e.first] = true;
				q2.push(e.first);
			}
		}
	}
	for (int i = 0; i <= N; i++) {
		if (used[i] && used2[i]) {
			for (auto e : E1[i]) {
				if (used[e.first] && used2[e.first]) {
					G[i].push_back(e);
				}
			}
		}
	}
	vector<ll>ans;
	vector<ll>ind(N + 1);
	for (int i = 0; i <= N; i++) {
		for (auto e : G[i]) {
			ind[e.first]++;
		}
	}
	queue<ll>que;
	for (int i = 0; i <= N; i++) {
		if (ind[i] == 0)que.push(i);
	}
	while (!que.empty()) {
		ll now = que.front(); ans.push_back(now); que.pop();
		for (auto e : G[now]) {
			ind[e.first]--;
			if (ind[e.first] == 0) {
				que.push(e.first);
			}
		}
	}
	if (ans.size() != N + 1) {
		cout << "INF" << endl; return 0;
	}
	dp[0] = 1;
	dp2[0] = 0;
	for (auto v : ans) {
		for (auto e : G[v]) {
			dp[e.first] += dp[v] * e.second.second;
			dp[e.first] %= mod;
			dp2[e.first] += dp2[v] * e.second.second + (dp[v] * e.second.first % mod) * e.second.second;
			dp2[e.first] %= mod;
		}
	}
	cout << dp2[N] << endl;
	return 0;
}
0