結果
| 問題 | No.3161 Find Presents | 
| コンテスト | |
| ユーザー |  tenten | 
| 提出日時 | 2025-06-05 14:43:45 | 
| 言語 | Java (openjdk 23) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 553 ms / 4,000 ms | 
| コード長 | 3,977 bytes | 
| コンパイル時間 | 3,542 ms | 
| コンパイル使用メモリ | 84,076 KB | 
| 実行使用メモリ | 63,472 KB | 
| 平均クエリ数 | 3407.01 | 
| 最終ジャッジ日時 | 2025-06-05 14:44:25 | 
| 合計ジャッジ時間 | 38,061 ms | 
| ジャッジサーバーID (参考情報) | judge3 / judge4 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | AC * 80 | 
ソースコード
import java.io.*;
import java.util.*;
import java.util.function.*;
import java.util.stream.*;
import java.math.*;
public class Main {
    static FastScanner sc = new FastScanner();
    static List<Point> ans = new ArrayList<>();
    public static void main(String[] args) throws Exception {
        check(0, 1000000, 0, 1000000);
        System.out.println("! " + ans.size());
        System.out.println(ans.stream().map(x -> x.toString()).collect(Collectors.joining("\n")));
    }
    
    static void check(int left, int right, int up, int down) {
        System.out.println("? " + left + " " + right + " " + up + " " + down);
        System.out.flush();
        int x = sc.nextInt();
        if (x == 0) {
            return;
        }
        if (left == right) {
            if (up == down) {
                ans.add(new Point(left, up));
            } else {
                int m = (up + down) / 2;
                check(left, right, up, m);
                check(left, right, m + 1, down);
            }
        } else {
            int m = (left + right) / 2;
            check(left, m, up, down);
            check(m + 1, right, up, down);
        }
    }
    
    static class Point {
        int x;
        int y;
        
        public Point(int x, int y) {
            this.x = x;
            this.y = y;
        }
        
        public String toString() {
            return x + " " + y;
        }
    }
}
class FastScanner {
    private DataInputStream din;
    private byte[] buffer;
    private int bufferPointer, bytesRead;
    private static final int BUFFER_SIZE = 1 << 16; // 65,536 バイト
    public FastScanner() {
        din = new DataInputStream(System.in);
        buffer = new byte[BUFFER_SIZE];
        bufferPointer = bytesRead = 0;
    }
    private byte read() {
        try {
            if (bufferPointer == bytesRead) {
                bytesRead = din.read(buffer, 0, BUFFER_SIZE);
                if (bytesRead == -1) return -1;
                bufferPointer = 0;
            }
            return buffer[bufferPointer++];
        } catch (IOException e) {
            throw new RuntimeException(e);
        }
    }
    public String next() {
        byte b = read();
        // 空白文字を読み飛ばす
        while (isSpaceChar(b)) {
            b = read();
        }
        StringBuilder sb = new StringBuilder();
        while (!isSpaceChar(b)) {
            sb.append((char) b);
            b = read();
        }
        return sb.toString();
    }
    public int nextInt() {
        int ret = 0;
        byte c = read();
        while (isSpaceChar(c)) c = read();
        boolean neg = (c == '-');
        if (neg) c = read();
        do {
            ret = ret * 10 + c - '0';
            c = read();
        } while (!isSpaceChar(c));
        return neg ? -ret : ret;
    }
    public long nextLong() {
        long ret = 0;
        byte c = read();
        while (isSpaceChar(c)) c = read();
        boolean neg = (c == '-');
        if (neg) c = read();
        do {
            ret = ret * 10L + c - '0';
            c = read();
        } while (!isSpaceChar(c));
        return neg ? -ret : ret;
    }
    public double nextDouble() {
        double ret = 0, div = 1;
        byte c = read();
        while (isSpaceChar(c)) c = read();
        boolean neg = (c == '-');
        if (neg) c = read();
        do {
            ret = ret * 10 + c - '0';
            c = read();
        } while (!isSpaceChar(c) && c != '.');
        if (c == '.') {
            while (!isSpaceChar(c = read())) {
                ret += (c - '0') / (div *= 10);
            }
        }
        return neg ? -ret : ret;
    }
    private boolean isSpaceChar(byte c) {
        return c == ' ' || c == '\n' || c == '\r' || c == '\t' || c == -1;
    }
    public void close() {
        try {
            if (din != null) din.close();
        } catch (IOException e) {
            throw new RuntimeException(e);
        }
    }
}
            
            
            
        