結果

問題 No.2674 k-Walk on Bipartite
ユーザー じなぺじなぺ
提出日時 2024-03-16 00:38:23
言語 C++23
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 145 ms / 2,000 ms
コード長 2,546 bytes
コンパイル時間 5,443 ms
コンパイル使用メモリ 315,140 KB
実行使用メモリ 16,772 KB
最終ジャッジ日時 2024-09-30 03:36:45
合計ジャッジ時間 7,913 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 5 ms
8,012 KB
testcase_01 AC 5 ms
7,996 KB
testcase_02 AC 5 ms
7,992 KB
testcase_03 AC 4 ms
7,956 KB
testcase_04 AC 4 ms
7,836 KB
testcase_05 AC 5 ms
8,072 KB
testcase_06 AC 4 ms
8,008 KB
testcase_07 AC 67 ms
13,264 KB
testcase_08 AC 70 ms
12,548 KB
testcase_09 AC 46 ms
13,060 KB
testcase_10 AC 97 ms
13,608 KB
testcase_11 AC 70 ms
13,108 KB
testcase_12 AC 95 ms
12,944 KB
testcase_13 AC 47 ms
12,472 KB
testcase_14 AC 13 ms
10,196 KB
testcase_15 AC 135 ms
16,476 KB
testcase_16 AC 75 ms
13,616 KB
testcase_17 AC 82 ms
14,176 KB
testcase_18 AC 28 ms
11,068 KB
testcase_19 AC 57 ms
12,980 KB
testcase_20 AC 54 ms
12,916 KB
testcase_21 AC 95 ms
14,484 KB
testcase_22 AC 145 ms
16,772 KB
testcase_23 AC 5 ms
7,968 KB
testcase_24 AC 4 ms
7,952 KB
testcase_25 AC 5 ms
7,996 KB
testcase_26 AC 4 ms
7,964 KB
testcase_27 AC 5 ms
7,956 KB
testcase_28 AC 5 ms
7,920 KB
testcase_29 AC 5 ms
7,900 KB
testcase_30 AC 4 ms
7,896 KB
testcase_31 AC 4 ms
7,932 KB
testcase_32 AC 5 ms
7,908 KB
testcase_33 AC 4 ms
7,972 KB
testcase_34 AC 5 ms
7,992 KB
testcase_35 AC 5 ms
7,924 KB
testcase_36 AC 5 ms
7,996 KB
testcase_37 AC 5 ms
7,832 KB
testcase_38 AC 4 ms
7,984 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

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

//多倍長整数//
//#include <boost/multiprecision/cpp_int.hpp>
//namespace mp = boost::multiprecision;
//using Bint = mp::cpp_int;

const int INF = 1e9;
const int MOD = 998244353;
const long long LINF = 4e18;

using ll = long long;
using vi = vector<int>;
using vl = vector<long long>;
using vs = vector<string>;
using vc = vector<char>;
using vb = vector<bool>;
using vvi = vector<vector<int>>;
using vvvi = vector<vector<vector<int>>>;
using vvvvi = vector<vector<vector<vector<int>>>>;
using vvl = vector<vector<long long>>;
using vvvl = vector<vector<vector<long long>>>;
using vvvvl = vector<vector<vector<vector<long long>>>>;
using vvc = vector<vector<char>>;
using vvb = vector<vector<bool>>;
using vvvb = vector<vector<vector<bool>>>;
using vvvvb = vector<vector<vector<vector<bool>>>>;

#define rep(i, n) for (int i = 0; i < (int)(n); i++)
#define dump(x)  cout << #x << " = " << (x) << endl;
#define Yes(n) cout << ((n) ? "Yes" : "No"  ) << endl
#define ALL(obj) (obj).begin(),(obj).end()
vvi g(2e5);
int n,m;
int s,t,k;
vb color(2e5,false);
vb vis(2e5,false);

void dfs(int cur,bool c){
	vis[cur] = true;
	color[cur] = c;
	for(int next : g[cur]){
		if(vis[next] == false){
			dfs(next,!c);
		}
	}
}

int main(){
	ios::sync_with_stdio(false);
	cin.tie(nullptr);
	
	cin >> n >> m;
	
	cin >> s >> t >> k;
	s--;t--;
	dsu uf(n);
	rep(i,m){
		int a,b;
		cin >> a >> b;
		a--;b--;
		uf.merge(a,b);
		g[a].push_back(b);
		g[b].push_back(a);
	}
	if(n == 2 && m == 0 && k%2 == 0 && s == t){
		cout << "Unknown" << endl;
		return 0;
	}

	if(n == 2 && m == 0 && k%2 == 0){
		cout << "No" << endl;
		return 0;
	}
	
	if(n == 1){
		cout << "No" << endl;
		return 0;
	}
	if(n == 2 && !uf.same(s,t) && k%2 == 0){
		cout << "No" << endl;
		return 0;
	}
	vi dist(n,INF);
	dist[s] = 0;
	queue<int> que;
	que.push(s);
	while(!que.empty()){
		int cur = que.front();
		que.pop();
		for(int next : g[cur]){
			if(dist[next] != INF) continue;
			dist[next] = dist[cur] + 1;
			que.push(next);
		}
	}
	if(dist[t] <= k && dist[t]%2 == k%2){
		cout << "Yes" << endl;
		return 0;
	}
	dfs(s,true);
	if(vis[t] == false){
		cout << "Unknown" << endl;
		return 0;
	}
	//assert(false);
	
	if(color[t]){
		if(k%2 == 0 && k >= 2){
			cout << "Unknown" << endl;
		}else{
			cout << "No" << endl;
		}
		return 0;
	}else{
		if(k%2 == 1 && k >= 1){
			cout << "Unknown" << endl;
		}else{
			cout << "No" << endl;
		}
		return 0;
	}
	return 0;
}
0