結果
| 問題 | No.3488 距離の公理 |
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2026-04-03 21:37:57 |
| 言語 | C# (.NET 10.0.201) |
| 結果 |
AC
|
| 実行時間 | 35 ms / 2,000 ms |
| コード長 | 1,707 bytes |
| 記録 | |
| コンパイル時間 | 8,886 ms |
| コンパイル使用メモリ | 173,076 KB |
| 実行使用メモリ | 201,100 KB |
| 最終ジャッジ日時 | 2026-04-03 21:38:12 |
| 合計ジャッジ時間 | 10,852 ms |
|
ジャッジサーバーID (参考情報) |
judge4_0 / judge2_0 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 24 |
コンパイルメッセージ
復元対象のプロジェクトを決定しています... /home/judge/data/code/main.csproj を復元しました (91 ミリ秒)。 main -> /home/judge/data/code/bin/Release/net10.0/main.dll main -> /home/judge/data/code/bin/Release/net10.0/publish/
ソースコード
using System;
using static System.Console;
using System.Linq;
using System.Collections.Generic;
using System.Security.Cryptography;
class Program
{
static int NN => int.Parse(ReadLine());
static int[] NList => ReadLine().Split().Select(int.Parse).ToArray();
static int[][] NArr(long n) => Enumerable.Repeat(0, (int)n).Select(_ => NList).ToArray();
public static void Main()
{
Solve();
}
static void Solve()
{
var n = NN;
var d = NArr(n);
var one = One(n, d);
var two = Two(n, d);
var three = Three(n, d);
var four = Four(n, d);
WriteLine(one && two && three ? "Yes" : "No");
WriteLine(one && two && four ? "Yes" : "No");
}
static bool One(int n, int[][] d)
{
for (var i = 0; i < n; ++i) for (var j = 0; j < n; ++j)
{
if ((d[i][j] == 0) != (i == j)) return false;
}
return true;
}
static bool Two(int n, int[][] d)
{
for (var i = 0; i < n; ++i) for (var j = 0; j < n; ++j)
{
if (d[i][j] != d[j][i]) return false;
}
return true;
}
static bool Three(int n, int[][] d)
{
for (var i = 0; i < n; ++i) for (var j = 0; j < n; ++j) for (var k = 0; k < n; ++k)
{
if (d[i][j] > d[i][k] + d[k][j]) return false;
}
return true;
}
static bool Four(int n, int[][] d)
{
for (var i = 0; i < n; ++i) for (var j = 0; j < n; ++j) for (var k = 0; k < n; ++k)
{
if (d[i][j] > Math.Max(d[i][k], d[k][j])) return false;
}
return true;
}
}