結果

問題 No.3161 Find Presents
ユーザー tobisatis
提出日時 2025-05-23 20:57:29
言語 C#
(.NET 8.0.404)
結果
AC  
実行時間 311 ms / 4,000 ms
コード長 2,708 bytes
コンパイル時間 7,446 ms
コンパイル使用メモリ 167,996 KB
実行使用メモリ 48,208 KB
平均クエリ数 2898.80
最終ジャッジ日時 2025-05-23 20:58:00
合計ジャッジ時間 25,316 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 80
権限があれば一括ダウンロードができます
コンパイルメッセージ
  復元対象のプロジェクトを決定しています...
  /home/judge/data/code/main.csproj を復元しました (99 ミリ秒)。
/home/judge/data/code/Main.cs(59,5): warning CS8321: ローカル関数 'Int' は宣言されていますが、一度も使用されていません [/home/judge/data/code/main.csproj]
  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()
{
    var max = 1000000;
    var lx = -1;
    var ans = new HashSet<(int, int)>();
    bool E(int xl, int xr, int yl, int yr)
    {
        var str = string.Join(" ", new[]{ xl, xr, yl, yr });
        Out("? " + str);
        Flush();
        return String() == "1";
    }
    while (true)
    {
        var px = max + 1;
        {
            var fail = lx;
            while (px - fail >= 2)
            {
                var mid = (px + fail) >> 1;
                var exists = E(lx + 1, mid, 0, max);
                if (exists) px = mid;
                else fail = mid;
            }
        }
        if (px > max) break;
        lx = px;
        var ly = -1;
        while (true)
        {
            var py = max + 1;
            var fail = ly;
            while (py - fail >= 2)
            {
                var mid = (py + fail) >> 1;
                var exists = E(px, px, ly + 1, mid);
                if (exists) py = mid;
                else fail = mid;
            }
            if (py > max) break;
            ans.Add((px, py));
            ly = py;
        }
    }
    Out("! " + ans.Count);
    foreach (var (x, y) in ans) Out(x + " " + y);
}

#region
var _io_ = new AtCoderIO(){ Backend = new() };
Run();
Flush();

string String() => _io_.Next();
int Int() => int.Parse(String());
void Out(object? x, string? sep = null) => _io_.Out(x, sep);
void Flush() => _io_.Backend.Flush();

class AtCoderIO
{
    public required StandardIOBackend Backend { get; init; }

    ReadOnlyMemory<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();
}
0