結果
| 問題 |
No.2267 群の公理
|
| コンテスト | |
| ユーザー |
hiro71687k
|
| 提出日時 | 2023-04-15 00:22:10 |
| 言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
WA
|
| 実行時間 | - |
| コード長 | 1,561 bytes |
| コンパイル時間 | 4,070 ms |
| コンパイル使用メモリ | 253,072 KB |
| 最終ジャッジ日時 | 2025-02-12 08:30:34 |
|
ジャッジサーバーID (参考情報) |
judge3 / judge4 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| 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];
if (a[i][j]>=n)
{
cout << "No" << endl;
return 0;
}
}
}
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;
}
hiro71687k