#463331 (C++17) No.1023 Cyclic Tour

提出ソース

結果

問題	No.1023 Cyclic Tour
ユーザー	fiord
提出日時	2020-04-12 22:28:57
言語	C++17 (gcc 12.3.0 + boost 1.83.0)
結果	TLE
実行時間	-
コード長	4,699 bytes
コンパイル時間	1,737 ms
コンパイル使用メモリ	148,652 KB
実行使用メモリ	28,052 KB
最終ジャッジ日時	2024-09-22 12:23:26
合計ジャッジ時間	11,109 ms
ジャッジサーバーID （参考情報）	judge5 / judge3

このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	5 ms 10,556 KB
testcase_01	AC	5 ms 10,496 KB
testcase_02	AC	4 ms 10,496 KB
testcase_03	AC	4 ms 10,496 KB
testcase_04	AC	96 ms 13,952 KB
testcase_05	AC	98 ms 13,892 KB
testcase_06	AC	111 ms 14,080 KB
testcase_07	AC	104 ms 14,080 KB
testcase_08	AC	114 ms 16,384 KB
testcase_09	AC	110 ms 16,384 KB
testcase_10	AC	111 ms 16,256 KB
testcase_11	AC	159 ms 16,896 KB
testcase_12	AC	126 ms 15,744 KB
testcase_13	AC	116 ms 15,292 KB
testcase_14	AC	99 ms 15,488 KB
testcase_15	AC	123 ms 15,684 KB
testcase_16	AC	213 ms 19,976 KB
testcase_17	AC	219 ms 20,352 KB
testcase_18	AC	231 ms 20,608 KB
testcase_19	AC	221 ms 20,096 KB
testcase_20	TLE	-
testcase_21	--	-
testcase_22	--	-
testcase_23	--	-
testcase_24	--	-
testcase_25	--	-
testcase_26	--	-
testcase_27	--	-
testcase_28	--	-
testcase_29	--	-
testcase_30	--	-
testcase_31	--	-
testcase_32	--	-
testcase_33	--	-
testcase_34	--	-
testcase_35	--	-
testcase_36	--	-
testcase_37	--	-
testcase_38	--	-
testcase_39	--	-
testcase_40	--	-
testcase_41	--	-
testcase_42	--	-
testcase_43	--	-
testcase_44	--	-
testcase_45	--	-
testcase_46	--	-
testcase_47	--	-
testcase_48	--	-
testcase_49	--	-
testcase_50	--	-
testcase_51	--	-
testcase_52	--	-

権限があれば一括ダウンロードができます

ソースコード

raw source code

#define _CRT_SECURE_NO_WARNINGS
#define _USE_MATH_DEFINES
#include <iostream>
#include <fstream>
#include <cstdio>
#include <cmath>
#include <cstdlib>
#include <cstring>
#include <cassert>
#include <string>
#include <vector>
#include <utility>
#include <complex>
#include <set>
#include <map>
#include <unordered_map>
#include <queue>
#include <stack>
#include <deque>
#include <tuple>
#include <bitset>
#include <limits>
#include <algorithm>
#include <array>
#include <random>
#include <complex>
#include <regex>
using namespace std;
typedef long double ld;
typedef long long ll;
typedef vector<int> vint;
typedef vector<ll> vll;
typedef pair<int, int> pii;
typedef pair<ll, ll> pll;
typedef pair<double, double> pdd;
typedef complex<ld> compd;
#define quickIO()	{cin.tie(0);	cout.sync_with_stdio(false);}
#define reach(i,a)	for(auto i:a)
#define rep(i,n)	for(int i=0;i<((int)n);i++)
#define REP(i,n)	for(int i=0;i<=((int)n);i++)
#define srep(i,a,n)	for(int i=a;i<((int)n);i++)
#define SREP(i,a,n)	for(int i=a;i<=((int)n);i++)
#define rrep(i,n)	for(int i=n-1;i>=0;i--)
#define RREP(i,n)	for(int i=n;i>=0;i--)
#define all(a)	(a).begin(),(a).end()
#define mp(a,b)	make_pair(a,b)
#define mt	make_tuple
#define pb	push_back
template<typename T> istream& operator >> (istream& is, vector<T>& vec) {
	for (T& x : vec)	is >> x;
	return is;
}
template<typename T> ostream& operator << (ostream& os, vector<T>& vec) {
	os << "[";
	rep(i, vec.size())	os << (i ? ", " : "") << vec[i];
	os << "]";
	return os;
}
template<typename T> istream& operator >> (istream& is, pair<T, T>& p) {
	is >> p.first >> p.second;
	return is;
}
template<typename T> ostream& operator << (ostream& os, pair<T, T>& p) {
	os << p.first << " " << p.second;
	return os;
}
template<typename T> bool operator < (vector<T>& a, vector<T>& b) {
	rep(i, a.size()) {
		if (i == b.size())	return false;
		if (a[i] < b[i])	return true;
		else if (a[i] > b[i])	return false;
	}
	return false;
}
template<typename T> bool operator > (vector<T>& a, vector<T>& b) {
	rep(i, a.size()) {
		if (i == b.size())	return true;
		if (a[i] < b[i])	return false;
		else if (a[i] > b[i])	return true;
	}
	return false;
}
int bitcnt(ll x) {
	x = ((x & 0xAAAAAAAAAAAAAAAA) >> 1) + (x & 0x5555555555555555);
	x = ((x & 0xCCCCCCCCCCCCCCCC) >> 2) + (x & 0x3333333333333333);
	x = ((x & 0xF0F0F0F0F0F0F0F0) >> 4) + (x & 0x0F0F0F0F0F0F0F0F);
	x = ((x & 0xFF00FF00FF00FF00) >> 8) + (x & 0x00FF00FF00FF00FF);
	x = ((x & 0xFFFF0000FFFF0000) >> 16) + (x & 0x0000FFFF0000FFFF);
	x = ((x & 0xFFFFFFFF00000000) >> 32) + (x & 0x00000000FFFFFFFF);
	return x;
}
int bitcnt(int x) {
	x = ((x & 0xAAAAAAAA) >> 1) + (x & 0x55555555);
	x = ((x & 0xCCCCCCCC) >> 2) + (x & 0x33333333);
	x = ((x & 0xF0F0F0F0) >> 4) + (x & 0x0F0F0F0F);
	x = ((x & 0xFF00FF00) >> 8) + (x & 0x00FF00FF);
	x = ((x & 0xFFFF0000) >> 16) + (x & 0x0000FFFF);
	return x;
}
ll sqrtll(ll x) {
	ll left = 0, right = x;
	rep(i, 100) {
		ll mid = (left + right) >> 1;
		if (mid * mid <= x)	left = mid;
		else	right = mid;
	}
	return left;
}
ll gcd(ll a, ll b) {
	return b == 0 ? a : gcd(b, a % b);
}
#define debug(x)	printf("Case #%d: ", x)
#undef DEBUG
const ld infl = 1e100;
const ll mod = 998244353;
const ld eps = 1e-9;
const ll inf = 1e15;
const int dx[] = { 1,0,-1,0,1, -1 };
const int dy[] = { 0,1,0,-1,1, -1 };

vint uedge[100000];
set<int> dedge[100000];
int group[100000];
bool found[100000];
bool visit[100000];

bool udfs(int pos, int k, int p) {
	group[pos] = k;
	for (int to : uedge[pos]) {
		if (to == p)	continue;
		if (group[to] != -1)	return true;
		if (udfs(to, k, pos))	return true;
	}
	return false;
}

bool ddfs(int pos) {
	found[pos] = true;
	for (int to : dedge[pos]) {
		if (found[to] && !visit[to])	return true;
		if (ddfs(to))	return true;
	}
	visit[pos] = true;
	return false;
}

int main() {
	int n, m;	cin >> n >> m;
	rep(i, m) {
		int a, b, c;	cin >> a >> b >> c;
		a--;	b--;
		if (c == 1) {
			uedge[a].push_back(b);
			uedge[b].push_back(a);
		}
		else if (c == 2) {
			dedge[a].insert(b);
		}
	}
	rep(i, n)	group[i] = -1;
	// 無向グラフのみで閉路があるか
	rep(i, n) {
		if (group[i] == -1) {
			if (udfs(i, i, -1)) {
				cout << "Yes" << endl;
				return 0;
			}
		}
	}
	// 無向グラフの辺を縮約して有効グラフのみに
	rep(i, n) {
		if (group[i] == i) {
			set<int> new_edge;
			for (int to : dedge[i]) {
				new_edge.insert(group[to]);
			}
			dedge[i] = new_edge;
		}
	}
	rep(i, n) {
		if (group[i] != i) {
			for (int to : dedge[i]) {
				(dedge[group[i]]).insert(group[to]);
			}
		}
	}
	rep(i, n) {
		if (group[i] == i && !visit[i]) {
			if (ddfs(i)) {
				cout << "Yes" << endl;
				return 0;
			}
		}
	}
	cout << "No" << endl;
	return 0;
}

yukicoder

結果

テストケース

ソースコード