Bukas na materyal ng pananaliksik · katalogong v1

Ang datos sa likod ng pangangatwiran

512 nakapirming palaisipan, mga antas nila at sukat ng isang mauulit na landas ng paglutas. I-download ang mga rekord at suriin ang depinisyon ng bawat bilang.

I-download ang CSV · 512 hanay I-download ang JSON at estado ng mga halimbawa

Populasyon at pagpili

Buong nakapirming katalogong v1 ito, na may 128 bawat antas. Gumagamit ang generator ng seed para sa buong grid, halu-halong pagtanggal ng clue na may pagsusuri ng iisang solusyon, at quota. Pinakamarami ang isang palaisipan kada nabuong buong grid, na inuuna ang pinakamataas na tinatanggap na antas. Hindi pantay na pag-sampol ng lahat ng Sudoku ang konserbatibong fingerprint filter ng clue pattern.

Walang rekord ng manlalaro ang dataset. Natapos ng landas ng pagkalkula ang 512 sa 512 entri; 0 ang huminto at 0 ang nagbalik ng invalid. Naitalang output ito ng parehong makina ng lohika, hindi independiyenteng sertipikasyong matematikal.

Pagpili ng halimbawa

Pamantayan: unang Madali sa ayos ng katalogo na may palaisipang mas mataas ang antas at mas marami ang clue, kasunod ang unang ganoong paghahambing. Ilustrasyon itong pares, hindi kinatawang sampol.

Diksiyonaryo ng mga field

id / puzzle / solution: Matatag na publikong ID at string na 81 digit; bakanteng cell ang 0 sa puzzle. I-import bilang teksto sa spreadsheet upang mapanatili ang mga zero sa unahan.
difficulty / hardestTechnique: Mga nakatalang label na v1 batay sa pinakamataas na ranggong teknik ng orihinal na landas ng pagmamarka.
clues: Bilang ng hindi zero na numero sa orihinal na palaisipan.
firstEliminationStep: Posisyon ng unang mabisang hakbang ng pag-aalis, simula sa 1. Blangko sa CSV / null sa JSON kapag paglalagay lamang ang nasa landas.
emptyAtFirstElimination: Mga bakanteng cell bago ang unang pag-aalis, hindi natitirang oras ng paglutas.
placements: Bilang ng nailagay na numero sa naitalang landas.
productiveEliminationPasses: Bilang ng matagumpay na paggamit ng tuntunin ng pag-aalis; maaaring maraming cell-digit na kandidato ang maalis sa isang paggamit.
explicitCandidateRemovals: Mga kandidatong cell-digit na inalis ng mga teknik. Hindi kasama ang karaniwang pag-update ng kaugnay na cell matapos maglagay ng numero.
traceStatus: Resulta ng kasalukuyang pagkalkula ng landas: solved, stalled o invalid. Hindi ito independiyenteng pagsusuri ng patunay.
recordedSteps (JSON): Orihinal na bilang bawat teknik: paglalagay ang binibilang ng single, mabisang aplikasyon naman sa iba. Huwag pagsamahin at tawaging bilang ng hakbang ng pag-iisip ng tao.
examples / hardCase (JSON): Piniling hakbang na may buong bago/pagkatapos na halaga, lohikal na kandidato, cell na batayan, pinagmulan/target na yunit at eksaktong kilos. Nagsisimula sa 0 ang indeks ng array; sa 1 ang r/c sa diagram.

Ulitin ang edisyong ito

Gumamit ng Node.js 22.18 o mas bago. I-save ang tatlong kopya ng source sa ipinakitang mga path, saka patakbuhin ang exporter mula sa folder ng proyekto. Binabasa lamang nito ang katalogo at lumilikha ng materyal ng pananaliksik; hindi muling gumagawa o pumapalit sa nakapirming katalogo.

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

Bersiyon at pinagmulan

Dataset: catalog-v1
Modelo ng landas: v1-first-supported-2026-09-06
SHA-256 ng katalogo: 3a075495ccbc8d349ea4ad0f75b3798eab4c37f2bf13fa504adea08f0ef6056a
SHA-256 ng source ng tagamarka: ea418c8cb5b38271a2ef1d347a2959bc3cd09e1760c784b9c44e1f6e49cc9655
SHA-256 ng source ng exporter: 18fb5b19e95a96d496ef43d68903cca62a37d28657bf66ac37a66287bc274498

Mga setting ng solver

Walang chain, triple, fish o deduksiyong batay sa uniqueness ang modelong ito. Nakapirmi ang ayos ng teknik at pag-scan. Ang teknik ng isang landas ay hindi kailangan sa lahat ng landas. Nagdudulot ng pagkiling sa sampol ang quota; hindi ito tantiya ng laganap na proporsiyon sa lahat ng Sudoku.

Ang median ay gitnang halaga matapos ayusin; kapag pares ang dami, average ng dalawang gitna. Kumpletong paglalarawan ng katalogo ang mga bilang. Hindi kami naglalapat ng confidence interval ng populasyon sa nakapirming piniling koleksiyong ito.