結果
| 問題 | 
                            No.2267 群の公理
                             | 
                    
| コンテスト | |
| ユーザー | 
                             chro_96
                         | 
                    
| 提出日時 | 2023-04-14 21:31:01 | 
| 言語 | C  (gcc 13.3.0)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 2 ms / 2,000 ms | 
| コード長 | 987 bytes | 
| コンパイル時間 | 296 ms | 
| コンパイル使用メモリ | 31,104 KB | 
| 実行使用メモリ | 5,248 KB | 
| 最終ジャッジ日時 | 2024-10-10 12:14:29 | 
| 合計ジャッジ時間 | 1,494 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge4 / judge3 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | AC * 50 | 
ソースコード
#include <stdio.h>
int main () {
  int n = 0;
  int n0n1[30][30] = {};
  
  int res = 0;
  
  int is_ok = 1;
  int e = -1;
  
  res = scanf("%d", &n);
  for (int i = 0; i < n; i++) {
    for (int j = 0; j < n; j++) {
      res = scanf("%d", n0n1[i]+j);
    }
  }
  
  for (int i = 0; i < n; i++) {
    for (int j = 0; j < n; j++) {
      for (int k = 0; k < n; k++) {
        if (n0n1[n0n1[i][j]][k] != n0n1[i][n0n1[j][k]]) {
          is_ok = 0;
        }
      }
    }
  }
  
  for (int i = 0; i < n; i++) {
    int is_e = 1;
    for (int j = 0; j < n; j++) {
      if (n0n1[i][j] != j || n0n1[j][i] != j) {
        is_e = 0;
      }
    }
    if (is_e > 0) {
      e = i;
    }
  }
  
  for (int i = 0; i < n; i++) {
    int is_inv = 0;
    for (int j = 0; j < n; j++) {
      if (n0n1[i][j] == e && n0n1[j][i] == e) {
        is_inv = 1;
      }
    }
    is_ok *= is_inv;
  }
  
  if (is_ok <= 0 || e < 0) {
    printf("No\n");
  } else {
    printf("Yes\n");
  }
  
  return 0;
}
            
            
            
        
            
chro_96