結果
問題 | No.2267 群の公理 |
ユーザー |
![]() |
提出日時 | 2023-04-14 21:44:28 |
言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 2 ms / 2,000 ms |
コード長 | 1,414 bytes |
コンパイル時間 | 2,121 ms |
コンパイル使用メモリ | 200,176 KB |
最終ジャッジ日時 | 2025-02-12 06:29:25 |
ジャッジサーバーID (参考情報) |
judge2 / judge3 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
other | AC * 50 |
ソースコード
#include <bits/stdc++.h> #define be(v) (v).begin(),(v).end() #define pb(q) push_back(q) #define rep(i, n) for(int i=0;i<n;i++) #define all(i, v) for(auto& i : v) typedef long long ll; using namespace std; const ll mod=1000000007, INF=(1LL<<60); #define doublecout(a) cout<<fixed<<setprecision(10)<<a<<endl; bool ketsugou(vector<vector<int>> a) { int n = a.size(); bool ng = false; rep(i, n) rep(j, n) rep(k, n) { if(a[a[i][j]][k] != a[i][a[j][k]]) ng = true; } return !ng; } vector<int> tani(vector<vector<int>> a) { vector<int> v; int n = a.size(); rep(e, n) { bool ng = false; rep(i, n) { if(a[i][e] != a[e][i] || a[e][i] != i) ng = true; } if(!ng) v.pb(e); } return v; } bool gyaku(vector<vector<int>> a, vector<int> v) { int n = a.size(); all(e, v) { bool ng = false; rep(i, n) { bool ok = false; rep(j, n) { if(a[i][j] == a[j][i] && a[j][i] == e) ok = true; } if(!ok) ng = true; } if(!ng) return true; } return false; } int main() { cin.tie(0); ios::sync_with_stdio(false); int n; cin >> n; vector<vector<int>> a(n, vector<int> (n, 0)); rep(i, n) rep(j, n) cin >> a[i][j]; auto v = tani(a); cout << (ketsugou(a) && gyaku(a, v) ? "Yes" : "No") << endl; return 0; }