結果

問題 No.3488 距離の公理
コンテスト
ユーザー よには
提出日時 2026-04-03 21:41:06
言語 C++23
(gcc 15.2.0 + boost 1.89.0)
コンパイル:
g++-15 -O2 -lm -std=c++23 -Wuninitialized -DONLINE_JUDGE -o a.out _filename_
実行:
./a.out
結果
AC  
実行時間 2 ms / 2,000 ms
コード長 1,146 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 10,046 ms
コンパイル使用メモリ 413,776 KB
実行使用メモリ 6,400 KB
最終ジャッジ日時 2026-04-03 21:41:43
合計ジャッジ時間 7,056 ms
ジャッジサーバーID
（参考情報） 		judge5_0 / judge1_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 24
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

#if __has_include(<yoniha/all.h>)
#include <yoniha/all.h>
using namespace atcoder;
#else
#include <bits/stdc++.h>
#if __has_include(<atcoder/all>)
#include <atcoder/all>
using namespace atcoder;
#endif
#endif
using namespace std;

#define int long long
#define all(x) (x).begin(), (x).end()
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
#define rrep(i, n) for(int i = (int)((n) - 1); i >= 0; i--)
template <typename T> bool chmax(T &a,const T &b){if(a<b){a=b;return true;}return false;}
template <typename T> bool chmin(T &a,const T &b){if(a>b){a=b;return true;}return false;}

// using mint = modint;

signed main(){
  int n; cin >> n;
  vector d(n, vector<int>(n));
  for(auto&& di : d) for(auto&& dij : di) cin >> dij;
  bool f1, f2, f3, f4; f1 = f2 = f3 = f4 = true;
  rep(i, n) rep(j, n){
    f1 &= (d.at(i).at(j) == 0) == (i == j);
    f2 &= d.at(i).at(j) == d.at(j).at(i);
  }
  rep(i, n) rep(j, n) rep(k, n){
    f3 &= d.at(i).at(j) <= d.at(i).at(k) + d.at(k).at(j);
    f4 &= d.at(i).at(j) <= max(d.at(i).at(k), d.at(k).at(j));
  }
  println("{}", f1 && f2 && f3 ? "Yes" : "No");
  println("{}", f1 && f2 && f4 ? "Yes" : "No");
}
0