結果

問題 No.2674 k-Walk on Bipartite
ユーザー ゆにぽけゆにぽけ
提出日時 2024-03-15 23:14:22
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 2,983 bytes
コンパイル時間 1,888 ms
コンパイル使用メモリ 139,204 KB
実行使用メモリ 14,840 KB
最終ジャッジ日時 2024-03-15 23:14:27
合計ジャッジ時間 4,505 ms
ジャッジサーバーID
（参考情報） 		judge14 / judge10
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,548 KB
testcase_01 AC 2 ms
6,548 KB
testcase_02 AC 2 ms
6,548 KB
testcase_03 AC 2 ms
6,548 KB
testcase_04 AC 2 ms
6,548 KB
testcase_05 AC 2 ms
6,548 KB
testcase_06 AC 2 ms
6,548 KB
testcase_07 AC 71 ms
12,068 KB
testcase_08 AC 112 ms
11,776 KB
testcase_09 AC 59 ms
11,976 KB
testcase_10 AC 160 ms
13,440 KB
testcase_11 AC 72 ms
10,624 KB
testcase_12 AC 120 ms
12,288 KB
testcase_13 AC 49 ms
10,924 KB
testcase_14 AC 15 ms
8,832 KB
testcase_15 AC 120 ms
13,724 KB
testcase_16 AC 89 ms
13,472 KB
testcase_17 AC 88 ms
10,880 KB
testcase_18 AC 32 ms
8,704 KB
testcase_19 AC 64 ms
11,492 KB
testcase_20 AC 58 ms
12,372 KB
testcase_21 AC 100 ms
11,648 KB
testcase_22 AC 148 ms
14,840 KB
testcase_23 WA -
testcase_24 AC 2 ms
6,548 KB
testcase_25 AC 2 ms
6,548 KB
testcase_26 WA -
testcase_27 AC 2 ms
6,548 KB
testcase_28 AC 2 ms
6,548 KB
testcase_29 AC 2 ms
6,548 KB
testcase_30 AC 2 ms
6,548 KB
testcase_31 AC 2 ms
6,548 KB
testcase_32 AC 2 ms
6,548 KB
testcase_33 AC 2 ms
6,548 KB
testcase_34 AC 2 ms
6,548 KB
testcase_35 AC 2 ms
6,548 KB
testcase_36 AC 2 ms
6,548 KB
testcase_37 AC 2 ms
6,548 KB
testcase_38 AC 3 ms
6,548 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <vector>
#include <algorithm>
#include <array>
#include <iterator>
#include <string>
#include <cctype>
#include <cstring>
#include <cstdlib>
#include <cassert>
#include <cmath>
#include <ctime>
#include <iomanip>
#include <numeric>
#include <stack>
#include <queue>
#include <map>
#include <unordered_map>
#include <set>
#include <unordered_set>
#include <bitset>
#include <random>
#include <utility>
#include <functional>
using namespace std;

#include<algorithm>
#include<vector>
#include<cassert>
using namespace std;
struct UnionFind
{
	private:
		int n;
		vector<int> par,siz;

	public:
		UnionFind(int n) :n(n),par(n,-1),siz(n,1) {}

		int root(int u) 
		{
			assert(0 <= u && u < n);
			return (par[u] < 0 ? u:par[u] = root(par[u]));
		}

		bool same(int u,int v)
		{
			assert(0 <= u && u < n && 0 <= v && v < n);
			return root(u) == root(v);
		}

		bool unite(int u,int v)
		{
			assert(0 <= u && u < n && 0 <= v && v < n);
			u = root(u),v = root(v);
			if(u == v) return false;

			if(siz[u] < siz[v]) swap(u,v);

			siz[u] += siz[v];
			par[v] = u;

			return true;
		}

		int size(int u)
		{
			assert(0 <= u && u < n);
			return siz[root(u)];
		}

		vector<vector<int>> components()
		{
			vector<vector<int>> ret(n);
			for(int u = 0;u < n;u++) ret[root(u)].push_back(u);

			ret.erase(remove_if(ret.begin(),ret.end(),[](vector<int> v) { return v.empty();}),ret.end());

			return ret;
		}
};

void Main()
{
	int N,M;
	cin >> N >> M;
	int s,t,k;
	cin >> s >> t >> k;
	s--; t--;
	vector<vector<int>> G(N);
	for(int i = 0;i < M;i++)
	{
		int u,v;
		cin >> u >> v;
		u--; v--;
		G[u].push_back(v);
		G[v].push_back(u);
	}
	if(N == 1)
	{
		cout << "No\n";
		return;
	}
	if(N == 2)
	{
		if(s == t)
		{
			if(M == 0)
			{
				cout << "Unknown\n";
			}
			else
			{
				cout << (k % 2 == 0 ? "Yes\n" : "No\n");
			}
		}
		else
		{
			if(k % 2 == 0)
			{
				cout << "No\n";
			}
			else
			{
				cout << (M == 0 ? "Unknown\n" : "Yes\n");
			}
		}
		return;
	}
	vector<int> C(N,-1);
	auto dfs = [&](auto dfs,int u,int c) -> void
	{
		C[u] = c;
		for(int v : G[u])
		{
			if(C[v] == -1)
			{
				dfs(dfs,v,1 - c);
			}
			else
			{
				assert(C[v] == 1 - c);
			}
		}
	};
	dfs(dfs,s,0);
	if(C[t] == -1)
	{
		cout << "Unknown\n";
		return;
	}
	if(C[s] == C[t] && k % 2 == 1)
	{
		cout << "No\n";
		return;
	}
	if(C[s] != C[t] && k % 2 == 0)
	{
		cout << "No\n";
		return; 
	}
	int cnt = 0;
	for(int i = 0;i < N;i++)
	{
		if(C[i] != -1)
		{
			cnt++;
		}
	}
	if(cnt == 1)
	{
		cout << "Unknown\n";
		return;
	}
	vector<int> dp(N,-1);
	dp[s] = 0;
	queue<int> Q;
	Q.push(s);
	while(!Q.empty())
	{
		int u = Q.front();
		Q.pop();
		for(int v : G[u])
		{
			if(dp[v] == -1)
			{
				dp[v] = dp[u] + 1;
				Q.push(v);
			}
		}
	}
	assert(dp[t] % 2 == k % 2);
	if(dp[t] <= k)
	{
		cout << "Yes\n";
	}
	else
	{
		cout << "Unknown\n";
	}
}
int main()
{
	ios::sync_with_stdio(false);
	cin.tie(nullptr);
	int tt = 1;
	/* cin >> tt; */
	while(tt--) Main();
}
0