結果
| 問題 | No.3488 距離の公理 |
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2026-04-03 21:50:11 |
| 言語 | C++17 (gcc 15.2.0 + boost 1.89.0) |
| 結果 |
AC
|
| 実行時間 | 2 ms / 2,000 ms |
| コード長 | 1,039 bytes |
| 記録 | |
| コンパイル時間 | 1,249 ms |
| コンパイル使用メモリ | 211,440 KB |
| 実行使用メモリ | 6,400 KB |
| 最終ジャッジ日時 | 2026-04-03 21:50:20 |
| 合計ジャッジ時間 | 2,033 ms |
|
ジャッジサーバーID (参考情報) |
judge4_0 / judge2_0 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 24 |
ソースコード
#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef pair<ll,ll> P;
#define REP(i,n) for(ll i=0;i<ll(n);i++)
ll d[12][12];
int main(){
cin.tie(nullptr); ios_base::sync_with_stdio(false);
ll i,j,k;
ll N;
cin >> N;
for(i=1;i<=N;i++) for(j=1;j<=N;j++){
cin >> d[i][j];
}
bool f=true;
for(i=1;i<=N;i++) for(j=1;j<=N;j++){
if(d[i][i]!=0){
f=false;
}
if(d[i][j]!=d[j][i]){
f=false;
}
}
if(!f){
cout << "No" << endl;
cout << "No" << endl;
return 0;
}
for(i=1;i<=N;i++) for(j=1;j<=N;j++){
for(k=1;k<=N;k++){
if(d[i][j]>d[i][k]+d[k][j]){
f=false;
}
}
}
if(f) cout << "Yes" << endl;
else cout << "No" << endl;
f=true;
for(i=1;i<=N;i++) for(j=1;j<=N;j++){
for(k=1;k<=N;k++){
if(d[i][j]>max(d[i][k],d[k][j])){
f=false;
}
}
}
if(f) cout << "Yes" << endl;
else cout << "No" << endl;
return 0;
}