結果

問題 No.2267 群の公理
コンテスト
ユーザー daiota
提出日時 2023-04-14 22:09:18
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 2 ms / 2,000 ms
コード長 995 bytes
コンパイル時間 1,460 ms
コンパイル使用メモリ 167,956 KB
実行使用メモリ 5,248 KB
最終ジャッジ日時 2024-10-10 12:55:55
合計ジャッジ時間 2,795 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 50
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>

using namespace std;

typedef long long ll;
typedef pair<int,int> P;
#define REP(i,n) for(int i=0;i<int(n);i++)

int g[35][35];

int main(void){
	cin.tie(nullptr);  ios_base::sync_with_stdio(false);
	int i,j,k;

	int N;
	cin >> N;

	for(i=0;i<N;i++){
		for(j=0;j<N;j++){
			cin >> g[i][j];
		}
	}

	int e=-1;
	for(i=0;i<N;i++){
		bool f=true;
		for(j=0;j<N;j++){
			if(g[i][j]==j) continue;
			else{
				f=false;
				break;
			}
		}
		if(f){
			e=i;
			break;
		}
	}

	if(e==-1){
		cout << "No" << endl;
		return 0;
	}

	for(i=0;i<N;i++){
		if(g[i][e]==i) continue;
		else{
			cout << "No" << endl;
			return 0;
		}
	}

	for(i=0;i<N;i++){
		int c=0;
		for(j=0;j<N;j++){
			if(g[i][j]==e && g[j][i]==e) c++;
		}
		if(c!=1){
			cout << "No" << endl;
			return 0;
		}
	}


	for(i=0;i<N;i++){
		for(j=0;j<N;j++){
			for(k=0;k<N;k++){
				if(g[g[i][j]][k]!=g[i][g[j][k]]){
					cout << "No" << endl;
					return 0;
				}
			}
		}
	}


	cout << "Yes" << endl;


	return 0;
}
0