結果
問題 |
No.2267 群の公理
|
ユーザー |
![]() |
提出日時 | 2023-04-15 00:18:42 |
言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
結果 |
WA
|
実行時間 | - |
コード長 | 1,441 bytes |
コンパイル時間 | 4,082 ms |
コンパイル使用メモリ | 253,100 KB |
最終ジャッジ日時 | 2025-02-12 08:29:41 |
ジャッジサーバーID (参考情報) |
judge2 / judge2 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
other | AC * 49 WA * 1 |
ソースコード
#include <bits/stdc++.h> #include <atcoder/all> using namespace std; using namespace atcoder; using ll=long long; using ld=long double; ld pie=3.141592653589793; ll inf=144494; ll mod=1000000007; int main(){ ll n; cin >> n; vector<vector<ll>>a(n,vector<ll>(n)); for (ll i = 0; i < n; i++) { for (ll j = 0; j < n; j++) { cin >> a[i][j]; } } ll id=-1; for (ll i = 0; i < n; i++) { bool ok=false; for (ll j = 0; j < n; j++) { if (a[i][j]!=j) { ok=true; break; } } if (!ok) { id=i; } } if (id==-1) { cout << "No" << endl; return 0; } for (ll i = 0; i < n; i++) { bool ok=false; for (ll j = 0; j < n; j++) { if (a[i][j]==id) { ok=true; break; } } if (!ok) { cout << "No"<< endl; return 0; } } for (ll i = 0; i < n; i++) { for (ll j = 0; j < n; j++) { for (ll k = 0; k < n; k++) { if (a[a[i][j]][k]!=a[i][a[j][k]]) { cout << "No" << endl; return 0; } } } } cout << "Yes"<< endl; }