結果

問題 No.3482 Quod Erat Demonstrandum
コンテスト
ユーザー t98slider
提出日時 2026-03-27 21:54:11
言語 C++23
(gcc 15.2.0 + boost 1.89.0)
コンパイル:
g++-15 -O2 -lm -std=c++23 -Wuninitialized -DONLINE_JUDGE -o a.out _filename_
実行:
./a.out
結果
AC  
実行時間 80 ms / 2,000 ms
コード長 2,308 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 4,422 ms
コンパイル使用メモリ 384,164 KB
実行使用メモリ 14,456 KB
最終ジャッジ日時 2026-03-27 21:54:30
合計ジャッジ時間 10,085 ms
ジャッジサーバーID
（参考情報） 		judge3_0 / judge2_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 1
other AC * 45
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using ll = long long;

template <class T> struct csr {
    struct Node {
        csr* g;
        int u;
        template<class... Args>
        void emplace_back(Args&&... args){
            g->add_edge(u, T(std::forward<Args>(args)...));
        }
        auto begin(){ return g->E.begin() + g->start[u]; }
        auto end(){ return g->E.begin() + g->start[u + 1]; }
        int size(){ return g->start[u + 1] - g->start[u]; }
        T& operator[](int p){ return *(begin() + p); }
    };
    int N;
    std::vector<int> start;
    std::vector<T> E;
    std::vector<std::pair<int,T>> edge;
    csr(int n) : N(n), start(n + 1) {edge.reserve(n);}
    void add_edge(int u, T v){
		assert(0 <= u && u < N);
        start[u + 1]++;
        edge.emplace_back(u, v);
    }
    void build(){
        E.resize(edge.size());
        for(int i = 0; i < N; i++) start[i + 1] += start[i];
        auto cnt = start;
        for(auto [u, v] : edge) E[cnt[u]++] = v;
    }
	const int size() {return N;}
    Node operator[](int u) {return Node{this, u};}
};

queue<int> que;
void solve(){
	int n, m;
	cin >> n >> m;
	csr<pair<int,int>> g(n);
	atcoder::dsu uf(n);
	for(int i = 0; i < m; i++){
		int u, v, w;
		cin >> u >> v >> w;
		u--, v--, w--;
		uf.merge(u, v);
		g[u].emplace_back(v, w);
		g[v].emplace_back(u, w);
	}
	g.build();
	vector<int> dp(n, 1 << 29);
	dp[0] = 0;
	que.emplace(0);
	while(!que.empty()){
		int v = que.front();
		que.pop();
		for(auto &&[u, w] : g[v]){
			if(w == 1) continue;
			if(dp[u] <= dp[v] + 1) continue;
			dp[u] = dp[v] + 1;
			que.emplace(u);
		}
	}
	if(dp[n - 1] < (1 << 29)){
		cout << "Same\n";
		cout << dp[n - 1] << '\n';
		return;
	}
	dp[n - 1] = 0;
	que.emplace(n - 1);
	while(!que.empty()){
		int v = que.front();
		que.pop();
		for(auto &&[u, w] : g[v]){
			if(w == 1) continue;
			if(dp[u] <= dp[v] + 1) continue;
			dp[u] = dp[v] + 1;
			que.emplace(u);
		}
	}
	int ans = 1 << 29;
	for(int v = 0; v < n; v++){
		for(auto [u, w] : g[v]){
			if(w == 0) continue;
			if(uf.same(0, n - 1)) ans = min(ans, dp[v] + dp[u] + 1);
		}
	}
	if(ans > m) cout << "Unknown\n";
	else cout << "Different\n" << ans << '\n';
}

int main() {
	ios::sync_with_stdio(false);
	cin.tie(0);
	int T;
	cin >> T;
	while(T--) solve();
}
0