#588761 (C#(csc)) No.1306 Exactly 2 Digits

• 問題: No.1306 Exactly 2 Digits
• ユーザー: EmKjp
• 提出日時: 2020-12-03 22:26:54
• 言語: C#(csc) (csc 3.9.0)
• 結果: AC
• 実行時間: 233 ms / 2,000 ms
• コード長: 10,272 bytes
• コンパイル時間: 2,607 ms
• コンパイル使用メモリ: 120,788 KB
• 実行使用メモリ: 45,268 KB
• 平均クエリ数: 1236.78
• 最終ジャッジ日時: 2024-07-17 09:13:26
• 合計ジャッジ時間: 21,712 ms
• ジャッジサーバーID （参考情報）: judge4 / judge3

ファイルパターン	結果
other	AC * 123

コンパイルメッセージ

Microsoft (R) Visual C# Compiler version 3.9.0-6.21124.20 (db94f4cc)
Copyright (C) Microsoft Corporation. All rights reserved.

ソースコード

using System;
using System.Collections;
using System.Collections.Generic;
using System.Diagnostics;
using System.Globalization;
using System.IO;
using System.Text;
using System.Linq;

using E = System.Linq.Enumerable;
using System.Threading;

internal partial class Solver {
    int[] a = null;
    int n;

    (int p, int q) Query(int i, int j) {
        if (i == j) return (0, 0);
        if (a != null) {
            var p = a[i] / n - a[j] / n;
            var q = a[i] % n - a[j] % n;
            if (p > q) (p, q) = (q, p);
            return (p, q);
        } else {
            Console.WriteLine("? {0} {1}", i + 1, j + 1);
            Console.Out.Flush();
            var p = ni();
            var q = ni();
            return (p, q);
        }
    }

    private static readonly Random rand = new Random();

    public static void ArrayShuffle<T>(IList<T> array) {
        for (int i = 1; i < array.Count; i++) {
            int r = rand.Next() % (i + 1);
            var t = array[i];
            array[i] = array[r];
            array[r] = t;
        }
    }


    public void Run() {
#if DEBUG
        n = 50;
        var k = n * n - n;
        var aa = E.Range(n, k).ToArray();
        a = aa.ToArray();
        ArrayShuffle(a);
#else
        var n = ni();
        var k = n * n - n;
#endif
        // n, n + 1, ... n*n-1
        var b = new (int p, int q)[k];
        var ans = new (int p, int q)[k];
        for (int i = 0; i < k; i++) {
            b[i] = Query(i, 0);
        }
        int minIndex = -1;
        int maxIndex = -1;
        for (int i = 0; i < k; i++) {
            for (int j = 0; j < k; j++) {
                // n - 2 のとき N の桁、 n - 1 のとき 1 の桁
                if (b[i].p - b[j].p == n - 2 && b[i].q - b[j].q == n - 1) {
                    ans[0] = (-b[j].p + 1, -b[j].q);
                    ans[i] = (n - 1, n - 1);
                    ans[j] = (1, 0);
                    maxIndex = i;
                    minIndex = j;
                }
                if (b[i].p - b[j].q == n - 2 && b[i].q - b[j].p == n - 1) {
                    ans[0] = (-b[j].q + 1, -b[j].p);
                    ans[i] = (n - 1, n - 1);
                    ans[j] = (1, 0);
                    maxIndex = i;
                    minIndex = j;
                }
                if (b[i].q - b[j].p == n - 2 && b[i].p - b[j].q == n - 1) {
                    ans[0] = (-b[j].p + 1, -b[j].q);
                    ans[i] = (n - 1, n - 1);
                    ans[j] = (1, 0);
                    maxIndex = i;
                    minIndex = j;
                }
                if (b[i].q - b[j].q == n - 2 && b[i].p - b[j].p == n - 1) {
                    ans[0] = (-b[j].q + 1, -b[j].p);
                    ans[i] = (n - 1, n - 1);
                    ans[j] = (1, 0);
                    maxIndex = i;
                    minIndex = j;
                }
            }
        }

        bool satisfy((int p, int q) v) => 1 <= v.p && v.p < n && 0 <= v.q && v.q < n;
        (int p, int q) subQuery((int p, int q) v1, (int p, int q) v2) {
            var p = v1.p - v2.p;
            var q = v1.q - v2.q;
            if (p > q) (p, q) = (q, p);
            return (p, q);
        }

        for (int i = 1; i < k; i++) {
            if (ans[i] != (0, 0)) continue;
            var cand1 = (ans[0].p + b[i].p, ans[0].q + b[i].q);
            var cand2 = (ans[0].p + b[i].q, ans[0].q + b[i].p);
            if (cand1 == cand2) {
                ans[i] = cand2;
            } else if (!satisfy(cand1)) {
                ans[i] = cand2;
            } else if (!satisfy(cand2)) {
                ans[i] = cand1;
            } else {
                var target = -1;
                if (subQuery(cand1, ans[minIndex]) != subQuery(cand2, ans[minIndex])) {
                    target = minIndex;
                }
                if (subQuery(cand1, ans[maxIndex]) != subQuery(cand2, ans[maxIndex])) {
                    target = maxIndex;
                }
                for (int j = i + 1; j < k; j++) {
                    if (b[i] == b[j]) {
                        var r = Query(i, target);
                        if (r == subQuery(cand1, ans[target])) {
                            ans[i] = cand1;
                            ans[j] = cand2;
                        } else {
                            ans[i] = cand2;
                            ans[j] = cand1;
                        }
                        break;
                    }
                }
            }
        }

        var ans2 = ans.Select(a => a.p * n + a.q).ToArray();
        cout.WriteLine("! " + ans2.JoinToString(" "));
        cout.Flush();

        //a.TextDump();
        //ans2.TextDump();
        //if (!a.SequenceEqual(ans2)) throw new Exception();
    }
}


// PREWRITEN CODE BEGINS FROM HERE

static public class StringExtensions {
    static public string JoinToString<T>(this IEnumerable<T> source, string separator = " ") {
        return string.Join(separator, source);
    }
}

internal partial class Solver : Scanner {
    static readonly int? StackSizeInMebiByte = null; //50;
    public static void StartAndJoin(Action action, int maxStackSize) {
        var thread = new Thread(new ThreadStart(action), maxStackSize);
        thread.Start();
        thread.Join();
    }

    public static void Main() {
#if LOCAL
        byte[] inputBuffer = new byte[1000000];
        var inputStream = Console.OpenStandardInput(inputBuffer.Length);
        using (var reader = new StreamReader(inputStream, Console.InputEncoding, false, inputBuffer.Length)) {
            Console.SetIn(reader);
            new Solver(Console.In, Console.Out).Run();
        }
#else
        Console.SetOut(new StreamWriter(Console.OpenStandardOutput()) { AutoFlush = false });
        if (StackSizeInMebiByte.HasValue) {
            StartAndJoin(() => new Solver(Console.In, Console.Out).Run(), StackSizeInMebiByte.Value * 1024 * 1024);
        } else {
            new Solver(Console.In, Console.Out).Run();
        }
        Console.Out.Flush();
#endif
    }

#pragma warning disable IDE0052
    private readonly TextReader cin;
    private readonly TextWriter cout;
    private readonly TextWriter cerr;
#pragma warning restore IDE0052

    public Solver(TextReader reader, TextWriter writer)
        : base(reader) {
        cin = reader;
        cout = writer;
        cerr = Console.Error;
    }

    public Solver(string input, TextWriter writer)
        : this(new StringReader(input), writer) {
    }

#pragma warning disable IDE1006
#pragma warning disable IDE0051
    private int ni() { return NextInt(); }
    private int[] ni(int n) { return NextIntArray(n); }
    private long nl() { return NextLong(); }
    private long[] nl(int n) { return NextLongArray(n); }
    private double nd() { return NextDouble(); }
    private double[] nd(int n) { return NextDoubleArray(n); }
    private string ns() { return Next(); }
    private string[] ns(int n) { return NextArray(n); }
#pragma warning restore IDE1006
#pragma warning restore IDE0051
}

#if DEBUG
internal static class LinqPadExtension {
    public static string TextDump<T>(this T obj) {
        if (obj is IEnumerable) return (obj as IEnumerable).Cast<object>().JoinToString().Dump();
        else return obj.ToString().Dump();
    }
    public static T Dump<T>(this T obj) {
        return LINQPad.Extensions.Dump(obj);
    }
}
#endif

public class Scanner {
    private readonly TextReader Reader;
    private readonly CultureInfo ci = CultureInfo.InvariantCulture;

    private readonly char[] buffer = new char[2 * 1024];
    private int cursor = 0, length = 0;
    private string Token;
    private readonly StringBuilder sb = new StringBuilder(1024);

    public Scanner()
        : this(Console.In) {
    }

    public Scanner(TextReader reader) {
        Reader = reader;
    }

    public int NextInt() { return checked((int)NextLong()); }
    public long NextLong() {
        var s = Next();
        long r = 0;
        int i = 0;
        bool negative = false;
        if (s[i] == '-') {
            negative = true;
            i++;
        }
        for (; i < s.Length; i++) {
            r = r * 10 + (s[i] - '0');
#if DEBUG
            if (!char.IsDigit(s[i])) throw new FormatException();
#endif
        }
        return negative ? -r : r;
    }
    public double NextDouble() { return double.Parse(Next(), ci); }
    public string[] NextArray(int size) {
        string[] array = new string[size];
        for (int i = 0; i < size; i++) {
            array[i] = Next();
        }

        return array;
    }
    public int[] NextIntArray(int size) {
        int[] array = new int[size];
        for (int i = 0; i < size; i++) {
            array[i] = NextInt();
        }

        return array;
    }

    public long[] NextLongArray(int size) {
        long[] array = new long[size];
        for (int i = 0; i < size; i++) {
            array[i] = NextLong();
        }

        return array;
    }

    public double[] NextDoubleArray(int size) {
        double[] array = new double[size];
        for (int i = 0; i < size; i++) {
            array[i] = NextDouble();
        }

        return array;
    }

    public string Next() {
        if (Token == null) {
            if (!StockToken()) {
                throw new Exception();
            }
        }
        var token = Token;
        Token = null;
        return token;
    }

    public bool HasNext() {
        if (Token != null) {
            return true;
        }

        return StockToken();
    }

    private bool StockToken() {
        while (true) {
            sb.Clear();
            while (true) {
                if (cursor >= length) {
                    cursor = 0;
                    if ((length = Reader.Read(buffer, 0, buffer.Length)) <= 0) {
                        break;
                    }
                }
                var c = buffer[cursor++];
                if (33 <= c && c <= 126) {
                    sb.Append(c);
                } else {
                    if (sb.Length > 0) break;
                }
            }

            if (sb.Length > 0) {
                Token = sb.ToString();
                return true;
            }

            return false;
        }
    }
}