Materi penelitian terbuka · katalog v1

Data di balik deduksi

512 rekaman puzzle tetap, label tingkatnya, dan pengukuran satu jalur yang dapat direproduksi. Unduh data dan lihat definisi tiap angka.

Unduh CSV · 512 baris Unduh JSON dan keadaan contoh

Populasi dan seleksi

Ini seluruh katalog v1 yang dibekukan, 128 entri per tingkat. Generator membuat papan lengkap dengan seed, menghapus petunjuk dalam urutan acak sambil memeriksa solusi tunggal, dan memenuhi kuota tingkat. Paling banyak satu puzzle dipilih dari tiap papan lengkap, dengan prioritas tingkat diterima tertinggi. Penyaring sidik pola petunjuk yang konservatif bukan pengambil sampel seragam semua Sudoku.

Dataset tidak berisi rekaman pemain. Jalur komputasi menyelesaikan 512 dari 512 entri; 0 berhenti dan 0 mengembalikan invalid. Ini keluaran mesin logika yang sama, bukan sertifikasi matematika independen.

Pemilihan contoh

Aturan pemilihan: entri Mudah pertama dalam urutan katalog yang mempunyai pembanding bertingkat lebih tinggi dan berpetunjuk lebih banyak, kemudian pembanding pertama tersebut. Ini pasangan ilustrasi, bukan sampel representatif.

Kamus bidang

id / puzzle / solution: ID publik yang stabil serta string 81 digit; 0 di puzzle menunjukkan sel kosong. Impor kolom ini sebagai teks dalam spreadsheet agar nol awal tidak hilang.
difficulty / hardestTechnique: Label v1 tersimpan berdasarkan teknik tertinggi pada jalur penilaian awal.
clues: Jumlah angka bukan nol pada puzzle awal.
firstEliminationStep: Posisi langkah eliminasi produktif pertama, dihitung mulai 1. Kosong di CSV / null di JSON bila jalur hanya berisi pengisian.
emptyAtFirstElimination: Sel kosong tepat sebelum eliminasi pertama, bukan sisa waktu penyelesaian.
placements: Jumlah angka yang diisikan pada jalur tercatat.
productiveEliminationPasses: Jumlah penerapan aturan eliminasi yang berhasil; satu penerapan dapat menghapus beberapa pasangan sel-angka.
explicitCandidateRemovals: Kandidat sel-angka yang dihapus teknik eliminasi. Pembaruan rutin sel terkait setelah pengisian tidak dihitung.
traceStatus: Hasil perhitungan jalur saat ini: solved, stalled, atau invalid. Ini bukan pemeriksaan bukti independen.
recordedSteps (JSON): Hitungan awal per teknik: single menghitung pengisian, teknik lain menghitung penerapan produktif. Jangan menjumlahkannya lalu menyebutnya langkah berpikir manusia.
examples / hardCase (JSON): Langkah terpilih dengan nilai sebelum/sesudah, kandidat logis, sel pendukung, unit sumber/tujuan, dan tindakan tepat. Indeks array sel dimulai 0; label r/c diagram dimulai 1.

Reproduksi edisi ini

Gunakan Node.js 22.18 atau lebih baru. Simpan tiga salinan sumber pada jalur yang ditampilkan, lalu jalankan pengekspor dari folder proyek. Program membaca katalog dan hanya menulis aset penelitian, tanpa membuat ulang atau menimpa katalog tetap.

node --experimental-strip-types scripts/export-research.ts

Versi dan asal data

Dataset: catalog-v1
Model jalur: v1-first-supported-2026-09-06
SHA-256 katalog: 3a075495ccbc8d349ea4ad0f75b3798eab4c37f2bf13fa504adea08f0ef6056a
SHA-256 sumber penilai: ea418c8cb5b38271a2ef1d347a2959bc3cd09e1760c784b9c44e1f6e49cc9655
SHA-256 sumber pengekspor: 18fb5b19e95a96d496ef43d68903cca62a37d28657bf66ac37a66287bc274498

Konfigurasi pemecah

Model jalur ini tidak memakai rantai, triple, fish, atau deduksi berbasis keunikan. Urutan teknik dan pemindaian tetap. Teknik satu jalur belum tentu diperlukan semua jalur. Kuota tingkat membiaskan sampel; ini bukan estimasi prevalensi populasi Sudoku yang lebih luas.

Median adalah nilai tengah setelah pengurutan; untuk jumlah genap, gunakan rata-rata dua nilai tengah. Hitungan menggambarkan seluruh katalog ini. Kami tidak memberi interval kepercayaan populasi pada koleksi tetap yang telah diseleksi.