結果

問題 No.3031 曲面の向き付け
ユーザー tobisatis
提出日時 2025-02-21 22:24:33
言語 C#
(.NET 8.0.404)
結果
AC  
実行時間 791 ms / 2,000 ms
コード長 3,176 bytes
コンパイル時間 11,710 ms
コンパイル使用メモリ 171,844 KB
実行使用メモリ 249,632 KB
最終ジャッジ日時 2025-02-21 22:25:06
合計ジャッジ時間 21,150 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 29
権限があれば一括ダウンロードができます
コンパイルメッセージ
  復元対象のプロジェクトを決定しています...
  /home/judge/data/code/main.csproj を復元しました (124 ミリ秒)。
  main -> /home/judge/data/code/bin/Release/net8.0/main.dll
  main -> /home/judge/data/code/bin/Release/net8.0/publish/

ソースコード

diff #
プレゼンテーションモードにする

#nullable enable
using System.Numerics;
void Run() => Out(Solve() ? "YES" : "NO");
bool Solve()
{
    var m = Int();
    var tz = m.Repeat(() => (Int(), Int(), Int()));
    if (tz.Distinct().Count() < m) return false;
    var mz = new Dictionary<(int, int), HashSet<int>>();
    for (var i = 0; i < m; i++)
    {
        var (a, b, c) = tz[i];
        var pz = new[]{ (a, b), (b, c), (a, c) };
        foreach (var p in pz)
        {
            if (!mz.ContainsKey(p)) mz[p] = new();
            var h = mz[p];
            if (h.Count == 2) return false;
            h.Add(i);
        }
    }
    var ez = new HashSet<(int, int)>();
    foreach (var (u, v) in mz.Keys)
    {
        ez.Add((u, v));
        ez.Add((v, u));
    }
    var dz = new int[m];
    var q = new Queue<int>();
    for (var si = 0; si < m; si++)
    {
        if (dz[si] >= 1) continue;
        q.Enqueue(si);
        dz[si] = 1;
        while (q.Count > 0)
        {
            var i = q.Dequeue();
            var (a, b, c) = tz[i];
            if (!ez.Contains((a, b)) || !ez.Contains((b, c)) || !ez.Contains((c, a))) (b, c) = (c, b);
            if (!ez.Contains((a, b)) || !ez.Contains((b, c)) || !ez.Contains((c, a))) return false;
            dz[i]++;
            var pz = new[] { (a, b), (b, c), (c, a) };
            foreach (var (ou, ov) in pz)
            {
                var (u, v) = (ou, ov);
                ez.Remove((u, v));
                if (u > v) (u, v) = (v, u);
                foreach (var j in mz[(u, v)]) if (dz[j] == 0) 
                {
                    q.Enqueue(j);
                    dz[j]++;
                }
            }
        }
    }
    return true;
}
#region
AtCoderIO _io_;
var _backend_ = new StandardIOBackend();
_io_ = new(){ Backend = _backend_ };
Run();
_backend_.Flush();
string String() => _io_.Next();
int Int() => int.Parse(String());
void Out(object? x, string? sep = null) => _io_.Out(x, sep);
class AtCoderIO
{
    public required StandardIOBackend Backend { get; init; }
    Memory<string> _input = Array.Empty<string>();
    int _iter = 0;
    public string Next()
    {
        while (_iter >= _input.Length) (_input, _iter) = (Backend.ReadLine().Split(' '), 0);
        return _input.Span[_iter++];
    }
    public void Out(object? x, string? separator = null)
    {
        if (x == null) return;
        separator ??= Environment.NewLine;
        if (x is System.Collections.IEnumerable a and not string)
        {
            var objects = a.Cast<object>();
            if (separator == Environment.NewLine && !objects.Any()) return;
            x = string.Join(separator, objects);
        }
        Backend.WriteLine(x);
    }
}
class StandardIOBackend
{
    readonly StreamReader _sr = new(Console.OpenStandardInput());
    readonly StreamWriter _sw = new(Console.OpenStandardOutput()) { AutoFlush = false };
    public string ReadLine() => _sr.ReadLine()!;
    public void WriteLine(object? value) => _sw.WriteLine(value);
    public void Flush() => _sw.Flush();
}
#endregion
static class Extensions
{
    public static T[] Repeat<T>(this int time, Func<T> F) => Enumerable.Range(0, time).Select(_ => F()).ToArray();
}
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0