QOJ.ac
QOJ
ID | 题目 | 提交者 | 结果 | 用时 | 内存 | 语言 | 文件大小 | 提交时间 | 测评时间 |
---|---|---|---|---|---|---|---|---|---|
#304762 | #8011. Institute | ucup-team088# | AC ✓ | 266ms | 74272kb | C++17 | 8.7kb | 2024-01-14 02:30:46 | 2024-01-14 02:30:46 |
Judging History
answer
#pragma GCC optimize("O3")
#pragma GCC optimize("unroll-loops")
#include<iostream>
#include<string>
#include<cstdio>
#include<vector>
#include<cmath>
#include<algorithm>
#include<functional>
#include<iomanip>
#include<queue>
#include<ciso646>
#include<random>
#include<map>
#include<set>
#include<bitset>
#include<stack>
#include<unordered_map>
#include<unordered_set>
#include<utility>
#include<cassert>
#include<complex>
#include<numeric>
#include<array>
#include<chrono>
using namespace std;
//#define int long long
typedef long long ll;
typedef unsigned long long ul;
typedef unsigned int ui;
//ll mod = 1;
constexpr ll mod = 998244353;
//constexpr ll mod = 1000000007;
const int mod17 = 1000000007;
const ll INF = (ll)mod17 * mod17;
typedef pair<int, int>P;
#define rep(i,n) for(int i=0;i<n;i++)
#define per(i,n) for(int i=n-1;i>=0;i--)
#define Rep(i,sta,n) for(int i=sta;i<n;i++)
#define rep1(i,n) for(int i=1;i<=n;i++)
#define per1(i,n) for(int i=n;i>=1;i--)
#define Rep1(i,sta,n) for(int i=sta;i<=n;i++)
#define all(v) (v).begin(),(v).end()
typedef pair<ll, ll> LP;
using ld = double;
typedef pair<ld, ld> LDP;
const ld eps = 1e-10;
const ld pi = acosl(-1.0);
template<typename T>
void chmin(T& a, T b) {
a = min(a, b);
}
template<typename T>
void chmax(T& a, T b) {
a = max(a, b);
}
template<typename T>
vector<T> vmerge(vector<T>& a, vector<T>& b) {
vector<T> res;
int ida = 0, idb = 0;
while (ida < a.size() || idb < b.size()) {
if (idb == b.size()) {
res.push_back(a[ida]); ida++;
}
else if (ida == a.size()) {
res.push_back(b[idb]); idb++;
}
else {
if (a[ida] < b[idb]) {
res.push_back(a[ida]); ida++;
}
else {
res.push_back(b[idb]); idb++;
}
}
}
return res;
}
template<typename T>
void cinarray(vector<T>& v) {
rep(i, v.size())cin >> v[i];
}
template<typename T>
void coutarray(vector<T>& v) {
rep(i, v.size()) {
if (i > 0)cout << " "; cout << v[i];
}
cout << "\n";
}
ll mod_pow(ll x, ll n, ll m = mod) {
if (n < 0) {
ll res = mod_pow(x, -n, m);
return mod_pow(res, m - 2, m);
}
if (abs(x) >= m)x %= m;
if (x < 0)x += m;
//if (x == 0)return 0;
ll res = 1;
while (n) {
if (n & 1)res = res * x % m;
x = x * x % m; n >>= 1;
}
return res;
}
//mod should be <2^31
struct modint {
int n;
modint() :n(0) { ; }
modint(ll m) {
if (m < 0 || mod <= m) {
m %= mod; if (m < 0)m += mod;
}
n = m;
}
operator int() { return n; }
};
bool operator==(modint a, modint b) { return a.n == b.n; }
bool operator<(modint a, modint b) { return a.n < b.n; }
modint operator+=(modint& a, modint b) { a.n += b.n; if (a.n >= mod)a.n -= (int)mod; return a; }
modint operator-=(modint& a, modint b) { a.n -= b.n; if (a.n < 0)a.n += (int)mod; return a; }
modint operator*=(modint& a, modint b) { a.n = ((ll)a.n * b.n) % mod; return a; }
modint operator+(modint a, modint b) { return a += b; }
modint operator-(modint a, modint b) { return a -= b; }
modint operator*(modint a, modint b) { return a *= b; }
modint operator^(modint a, ll n) {
if (n == 0)return modint(1);
modint res = (a * a) ^ (n / 2);
if (n % 2)res = res * a;
return res;
}
ll inv(ll a, ll p) {
return (a == 1 ? 1 : (1 - p * inv(p % a, a)) / a + p);
}
modint operator/(modint a, modint b) { return a * modint(inv(b, mod)); }
modint operator/=(modint& a, modint b) { a = a / b; return a; }
const int max_n = 1 << 20;
modint fact[max_n], factinv[max_n];
void init_f() {
fact[0] = modint(1);
for (int i = 0; i < max_n - 1; i++) {
fact[i + 1] = fact[i] * modint(i + 1);
}
factinv[max_n - 1] = modint(1) / fact[max_n - 1];
for (int i = max_n - 2; i >= 0; i--) {
factinv[i] = factinv[i + 1] * modint(i + 1);
}
}
modint comb(int a, int b) {
if (a < 0 || b < 0 || a < b)return 0;
return fact[a] * factinv[b] * factinv[a - b];
}
modint combP(int a, int b) {
if (a < 0 || b < 0 || a < b)return 0;
return fact[a] * factinv[a - b];
}
ll gcd(ll a, ll b) {
a = abs(a); b = abs(b);
if (a < b)swap(a, b);
while (b) {
ll r = a % b; a = b; b = r;
}
return a;
}
template<typename T>
void addv(vector<T>& v, int loc, T val) {
if (loc >= v.size())v.resize(loc + 1, 0);
v[loc] += val;
}
/*const int mn = 2000005;
bool isp[mn];
vector<int> ps;
void init() {
fill(isp + 2, isp + mn, true);
for (int i = 2; i < mn; i++) {
if (!isp[i])continue;
ps.push_back(i);
for (int j = 2 * i; j < mn; j += i) {
isp[j] = false;
}
}
}*/
//[,val)
template<typename T>
auto prev_itr(set<T>& st, T val) {
auto res = st.lower_bound(val);
if (res == st.begin())return st.end();
res--; return res;
}
//[val,)
template<typename T>
auto next_itr(set<T>& st, T val) {
auto res = st.lower_bound(val);
return res;
}
using mP = pair<modint, modint>;
mP operator+(mP a, mP b) {
return { a.first + b.first,a.second + b.second };
}
mP operator+=(mP& a, mP b) {
a = a + b; return a;
}
mP operator-(mP a, mP b) {
return { a.first - b.first,a.second - b.second };
}
mP operator-=(mP& a, mP b) {
a = a - b; return a;
}
LP operator+(LP a, LP b) {
return { a.first + b.first,a.second + b.second };
}
LP operator+=(LP& a, LP b) {
a = a + b; return a;
}
LP operator-(LP a, LP b) {
return { a.first - b.first,a.second - b.second };
}
LP operator-=(LP& a, LP b) {
a = a - b; return a;
}
mt19937 mt(time(0));
const string drul = "DRUL";
string senw = "SENW";
//DRUL,or SENW
//int dx[4] = { 1,0,-1,0 };
//int dy[4] = { 0,1,0,-1 };
//------------------------------------
struct LowLink {
private:
vector<vector<int>> G;
vector<int> used, ord, low;
vector<int> art;
vector<P> bridge;
//make graph with bridge
vector<vector<int>> fG;
vector<vector<int>> ori;
vector<int> trans;
public:
LowLink(int n) {
G.resize(n);
used.resize(n, 0);
ord.resize(n, 0);
low.resize(n, 0);
}
void add_edge(int a, int b) {
if (a == b)return;
G[a].push_back(b);
G[b].push_back(a);
}
int dfs(int id, int k, int par) {
used[id] = true;
ord[id] = k++;
low[id] = ord[id];
bool is_art = false;
int cnt = 0;
for (auto&& to : G[id]) {
if (!used[to]) {
++cnt;
k = dfs(to, k, id);
low[id] = min(low[id], low[to]);
if (~par && low[to] >= ord[id])is_art = true;
if (ord[id] < low[to])bridge.emplace_back(minmax(id, to));
}
else if (to != par) {
low[id] = min(low[id], ord[to]);
}
}
if (par == -1 && cnt > 1)is_art = true;
if (is_art)art.push_back(id);
return k;
}
void complete() {
int k = 0;
rep(i, G.size()) {
if (!used[i]) {
k = dfs(i, k, -1);
}
}
//if there is mutiple edge
map<P, bool> era;
rep(i, G.size()) {
sort(all(G[i]));
rep1(j, (int)G[i].size() - 1) {
if (G[i][j] == G[i][j - 1]) {
era[minmax(i, G[i][j])] = true;
}
}
}
vector<P> cop = bridge; bridge.clear();
for (P p : cop) {
if (era[p])continue;
bridge.push_back(p);
}
}
vector<P> bs() {
return bridge;
}
void makegraph_bridge() {
map<P, bool> pused;
for (P p : bridge) {
pused[minmax(p.first, p.second)] = true;
}
fill(all(used), false);
int tmp = 0;
int n = G.size();
trans.resize(n);
rep(i, n) {
if (used[i])continue;
vector<int> ids, tos;
queue<int> q; q.push(i);
used[i] = true;
while (!q.empty()) {
int cur = q.front(); q.pop();
ids.push_back(cur);
for (int to : G[cur]) {
if (pused[minmax(cur, to)]) {
tos.push_back(to);
continue;
}
if (used[to])continue;
used[to] = true;
q.push(to);
}
}
ori.push_back(ids);
fG.push_back(tos);
for (int id : ids) {
trans[id] = tmp;
}
tmp++;
}
rep(i, tmp) {
for (int& to : fG[i]) {
to = trans[to];
}
}
}
bool isout() {
rep(i, fG.size())if (fG[i].size())return true;
return false;
}
};
void solve() {
int n, m; cin >> n >> m;
vector<vector<int>> G(n);
LowLink lt(n);
vector<P> ps;
rep(i, m) {
int a, b, t; cin >> a >> b >> t; a--; b--;
G[a].push_back(b);
if (t == 2)ps.push_back({ a,b });
}
vector<bool> canr(n);
queue<int> que;
que.push(0);
canr[0] = true;
while (!que.empty()) {
int id = que.front(); que.pop();
for (int to : G[id])if (!canr[to]) {
canr[to] = true;
que.push(to);
}
}
for (auto p : ps)if (canr[p.first] && canr[p.second])lt.add_edge(p.first, p.second);
lt.complete();
lt.makegraph_bridge();
if (lt.isout()) {
cout << "Yes\n";
}
else {
cout << "No\n";
}
}
signed main() {
ios::sync_with_stdio(false);
cin.tie(0);
//cout << fixed<<setprecision(10);
//init_f();
//init();
//while(true)
//expr();
//int t; cin >> t; rep(i, t)
solve();
return 0;
}
这程序好像有点Bug,我给组数据试试?
详细
Test #1:
score: 100
Accepted
time: 0ms
memory: 11884kb
input:
3 4 1 2 1 2 3 2 3 2 1 3 1 2
output:
Yes
result:
ok answer is YES
Test #2:
score: 0
Accepted
time: 0ms
memory: 12092kb
input:
6 8 1 2 1 2 3 2 3 2 2 3 4 1 4 1 2 1 5 2 5 4 2 6 1 2
output:
No
result:
ok answer is NO
Test #3:
score: 0
Accepted
time: 0ms
memory: 12008kb
input:
1000 1000 141 466 1 634 659 1 179 96 2 445 344 2 993 974 1 310 114 2 32 333 1 758 832 1 834 1 1 874 825 2 480 61 2 765 100 2 804 616 1 496 545 1 786 261 2 899 263 1 962 237 2 766 807 1 561 583 1 35 425 1 201 291 1 6 142 1 61 386 2 785 861 2 386 986 2 288 769 2 850 209 1 660 259 2 258 143 2 646 715 2...
output:
Yes
result:
ok answer is YES
Test #4:
score: 0
Accepted
time: 6ms
memory: 12148kb
input:
1000 3000 719 279 2 857 23 1 984 625 2 904 509 2 892 456 2 589 195 2 718 932 2 608 363 1 474 672 1 217 993 2 165 895 2 727 329 2 932 404 2 952 146 2 201 272 2 412 895 2 228 267 2 396 365 2 813 794 2 259 250 1 968 764 2 100 76 2 924 665 2 981 931 2 292 975 2 903 649 2 793 101 2 54 703 1 853 58 2 356 ...
output:
Yes
result:
ok answer is YES
Test #5:
score: 0
Accepted
time: 6ms
memory: 12352kb
input:
1000 3000 686 470 2 132 418 2 775 962 2 814 8 2 450 767 2 580 243 2 742 534 2 508 304 2 396 513 2 731 385 2 499 309 2 144 150 2 111 209 2 340 189 1 219 755 2 511 655 2 428 941 2 165 707 2 253 619 2 140 766 2 999 132 2 415 101 2 887 192 2 598 262 2 312 675 1 97 527 2 407 179 2 11 154 1 107 996 2 586 ...
output:
No
result:
ok answer is NO
Test #6:
score: 0
Accepted
time: 3ms
memory: 13140kb
input:
10000 10000 1496 8533 1 6761 8802 2 3147 8733 2 7074 899 1 4191 9520 2 2576 1464 1 8600 116 2 72 5894 1 1605 6769 1 344 2583 2 9951 8053 2 2663 1396 1 3172 7307 1 8490 8085 2 6623 7814 2 680 4471 2 4906 3810 1 5952 8860 1 9670 3644 2 7993 6329 2 4666 1119 2 3115 3676 2 4506 2979 2 1451 2540 2 5002 9...
output:
No
result:
ok answer is NO
Test #7:
score: 0
Accepted
time: 16ms
memory: 14600kb
input:
10000 30000 8022 6065 2 8185 3186 1 9803 6371 1 4947 1271 2 926 9103 2 8367 1328 2 6314 1627 2 203 4366 2 9992 1021 2 5092 9288 1 7412 6217 2 4569 5568 2 7064 6970 2 4363 1581 2 772 6243 2 2571 4950 2 5821 8367 1 7985 5827 2 2064 4754 2 900 605 1 2083 3137 2 7852 1194 2 4679 6769 2 9389 6753 2 2980 ...
output:
Yes
result:
ok answer is YES
Test #8:
score: 0
Accepted
time: 20ms
memory: 14668kb
input:
10000 30000 6708 6418 2 120 3115 2 1647 6703 1 86 1015 2 5041 8379 2 1926 2108 2 1030 4579 2 1129 4269 2 7245 1725 2 9605 679 2 2903 1467 2 233 9636 2 8796 738 2 1535 7292 2 6010 1476 2 9300 4436 2 7465 5575 2 4508 1537 2 4352 9653 2 6646 4932 2 6069 2244 2 8361 4603 2 3566 9063 2 6836 5173 2 2194 3...
output:
No
result:
ok answer is NO
Test #9:
score: 0
Accepted
time: 86ms
memory: 64748kb
input:
300000 300000 94246 283175 1 83027 278500 2 265400 62933 2 174359 187478 2 175633 104311 1 279454 288119 1 143302 18555 1 258847 186237 1 207649 136874 1 182701 13491 1 261536 220848 1 206849 280776 2 60075 295 2 242474 256281 2 293852 21768 2 36248 183324 2 145642 275253 1 9956 11629 2 25110 265376...
output:
No
result:
ok answer is NO
Test #10:
score: 0
Accepted
time: 259ms
memory: 72796kb
input:
300000 300000 2755 160424 2 156539 216928 2 41979 111770 2 94794 284215 2 88031 115072 1 55508 189463 2 142066 99620 2 68946 262040 2 234053 268389 2 177636 61056 2 216374 97188 1 189152 250356 2 128748 241240 2 260431 9729 2 165046 99023 2 106219 190566 1 228664 97992 2 80967 18715 2 118443 178799 ...
output:
Yes
result:
ok answer is YES
Test #11:
score: 0
Accepted
time: 206ms
memory: 69660kb
input:
300000 300000 201841 218620 2 25571 244075 2 148023 244788 1 12618 187161 2 123903 157292 2 140719 283744 2 48104 57739 2 94140 217701 2 260292 235506 2 244136 52545 2 113842 82619 2 284670 286686 2 102210 172102 2 93693 135210 2 169155 31435 1 121590 294638 2 231463 149656 2 132100 245329 2 78578 2...
output:
No
result:
ok answer is NO
Test #12:
score: 0
Accepted
time: 113ms
memory: 27080kb
input:
10000 300000 8794 9638 2 4124 3198 2 3709 4571 1 7094 2604 2 9787 8634 1 9259 7034 1 805 8951 1 523 1299 2 4067 2337 1 3442 8604 1 990 229 2 5669 9222 2 794 5188 2 7066 4135 1 2328 6841 2 5400 3669 2 8572 6053 2 5808 755 2 1035 9229 2 4699 4976 1 5592 6836 2 3316 5324 1 911 8988 1 6872 3245 2 1266 1...
output:
No
result:
ok answer is NO
Test #13:
score: 0
Accepted
time: 254ms
memory: 58860kb
input:
200000 300000 51429 85416 2 35500 102166 2 77261 111280 2 109595 198771 2 52752 98485 2 123959 146471 1 71558 134628 2 53580 97704 2 41770 26184 2 38726 42080 2 32420 161261 1 93622 14014 2 62442 37971 2 97434 174665 2 35402 17953 2 32481 189105 2 133381 197488 2 59630 152080 2 145316 134738 2 15637...
output:
Yes
result:
ok answer is YES
Test #14:
score: 0
Accepted
time: 266ms
memory: 59544kb
input:
200000 300000 100604 79567 2 78619 82912 2 160923 6515 2 111511 22849 2 191823 122510 2 184746 42969 1 367 87329 2 12385 186721 2 22322 89968 2 30296 23410 2 55379 95908 2 78731 185005 2 16026 95076 2 117553 81021 2 17586 162896 2 112457 64630 2 98272 194597 2 94737 47348 2 182434 141187 2 48901 148...
output:
No
result:
ok answer is NO
Test #15:
score: 0
Accepted
time: 240ms
memory: 43476kb
input:
100000 300000 60010 76924 2 98779 52066 2 29705 3673 2 19807 92766 2 89092 55572 2 57798 98074 2 49433 4252 2 9568 11858 2 6068 37755 2 42537 69332 2 34120 95829 2 70957 69524 1 6979 42493 2 18708 80499 2 23615 10086 1 54682 14663 2 66240 6913 1 96259 63852 2 33994 20136 2 50051 79458 2 59557 23910 ...
output:
Yes
result:
ok answer is YES
Test #16:
score: 0
Accepted
time: 241ms
memory: 43684kb
input:
100000 300000 31467 31057 2 53376 30862 2 34548 19018 1 49459 40636 2 24713 26389 2 72031 39008 2 88386 42964 2 6089 36050 2 95525 7354 2 2150 65839 2 23017 48586 2 96644 53330 1 34717 92329 2 60439 23051 2 93738 40918 2 14792 19952 2 47044 31402 2 50447 82391 2 39716 49649 2 53032 32891 1 21843 227...
output:
No
result:
ok answer is NO
Test #17:
score: 0
Accepted
time: 120ms
memory: 28652kb
input:
50000 300000 13657 42151 1 4207 48263 2 19913 14856 1 20252 19946 1 36552 16773 2 15641 47894 1 31929 33862 1 37186 35146 1 26141 19435 1 13344 16689 1 40537 30282 1 44007 12832 2 34199 4971 2 9613 32152 1 22680 7733 1 22821 37016 1 28192 6124 2 20231 20606 2 31231 11050 1 29171 1156 2 10913 10822 2...
output:
Yes
result:
ok answer is YES
Test #18:
score: 0
Accepted
time: 121ms
memory: 28696kb
input:
50000 300000 27901 2832 1 36611 18040 1 11569 29790 1 18772 5119 1 7295 20713 2 34886 41675 1 25208 25186 2 16871 28421 1 16342 25825 1 45452 6926 1 19333 47812 1 49794 31792 2 47593 29029 1 28847 13670 2 10893 34216 2 38904 38242 1 20662 21579 1 39456 43904 2 10339 35210 1 28253 11494 2 22 12016 2 ...
output:
No
result:
ok answer is NO
Test #19:
score: 0
Accepted
time: 76ms
memory: 20776kb
input:
25000 300000 15694 6658 1 12187 18447 1 7540 10018 2 6657 5485 1 21747 711 1 12141 9379 1 21107 3608 1 2289 12866 1 23634 21695 2 19657 17685 2 7651 7593 1 14284 17908 1 7629 9649 1 6823 23485 1 534 24307 2 22109 6259 1 21590 6443 2 22852 13772 1 6668 21394 1 11103 4709 1 13738 22004 2 1428 11491 1 ...
output:
Yes
result:
ok answer is YES
Test #20:
score: 0
Accepted
time: 85ms
memory: 21008kb
input:
25000 300000 20441 13493 1 362 263 1 2835 1312 1 22325 18409 1 4902 3889 1 11908 10885 2 20159 19508 1 22897 21371 1 803 24842 1 15205 19941 1 1454 20196 2 24937 1426 1 7432 16934 1 2006 12538 1 14316 17932 1 10790 1834 1 142 19649 2 3390 22164 2 14482 11138 1 24265 21337 1 16629 20993 1 14448 23824...
output:
No
result:
ok answer is NO
Test #21:
score: 0
Accepted
time: 193ms
memory: 74272kb
input:
200000 299998 1 2 1 1 3 1 3 2 2 1 4 1 4 2 2 1 5 1 5 2 2 1 6 1 6 2 2 1 7 1 7 2 2 1 8 1 8 2 2 1 9 1 9 2 2 1 10 1 10 2 2 1 11 1 11 2 2 1 12 1 12 2 2 1 13 1 13 2 2 1 14 1 14 2 2 1 15 1 15 2 2 1 16 1 16 2 2 1 17 1 17 2 2 1 18 1 18 2 2 1 19 1 19 2 2 1 20 1 20 2 2 1 21 1 21 2 2 1 22 1 22 2 2 1 23 1 23 2 2 ...
output:
Yes
result:
ok answer is YES
Extra Test:
score: 0
Extra Test Passed