結果
| 問題 | 
                            No.3211 NAND Oracle
                             | 
                    
| コンテスト | |
| ユーザー | 
                             | 
                    
| 提出日時 | 2025-07-25 21:40:44 | 
| 言語 | C#  (.NET 8.0.404)  | 
                    
| 結果 | 
                             
                                WA
                                 
                             
                            
                         | 
                    
| 実行時間 | - | 
| コード長 | 1,003 bytes | 
| コンパイル時間 | 11,455 ms | 
| コンパイル使用メモリ | 170,552 KB | 
| 実行使用メモリ | 203,768 KB | 
| 最終ジャッジ日時 | 2025-07-25 21:41:09 | 
| 合計ジャッジ時間 | 17,414 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge2 / judge5 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 27 WA * 1 | 
コンパイルメッセージ
復元対象のプロジェクトを決定しています... /home/judge/data/code/main.csproj を復元しました (112 ミリ秒)。 main -> /home/judge/data/code/bin/Release/net8.0/main.dll main -> /home/judge/data/code/bin/Release/net8.0/publish/
ソースコード
#nullable enable
#region
var _input = Array.Empty<string>();
var _iter = 0;
string String()
{
    while (_iter >= _input.Length) (_input, _iter) = (Console.ReadLine()!.Split(' '), 0);
    return _input[_iter++];
}
T I<T>() where T : IParsable<T> => T.Parse(String(), null);
#endregion
string Join<T>(IEnumerable<T> values, bool ws = false) => string.Join(ws ? " " : Environment.NewLine, values);
(int, int)[]? Solve(int q, int k)
{
    var bns = new[]{ (1, 2), (1, 2), (3, 4), (4, 5), (4, 5) };
    var cns = new[]{ 2, 2, 3, 3, 4, 5 };
    if (q <= 5)
    {
        if (cns[q] > k) return null;
        return bns[..q];
    }
    if (k < 5) return null;
    var lns = bns.ToList();
    q -= 5;
    while (q > 0)
    {
        q--;
        lns.Add((6, 7));
    }
    return lns.ToArray();
}
var ans = Solve(I<int>(), I<int>());
if (ans == null) Console.WriteLine("No");
else
{
    Console.WriteLine("Yes");
    var jns = ans.Select(e => e.Item1 + " " + e.Item2);
    Console.WriteLine(Join(jns));
}