Refined Sudoku Lab: veľké Sudoku ako živá ukážka Robopol Refined
Refined Sudoku Lab: Large Sudoku as a Live Robopol Refined Demo
Refined Sudoku Lab je verejná webová ukážka, kde sa Robopol Refined nepozerá na Sudoku ako na detskú hádanku, ale ako na veľké diskrétne pole obmedzení. Namiesto toho, aby sme ukazovali iba malú 9x9 tabuľku, aplikácia obsahuje aj 25x25, 36x36 a 49x49 blokové mriežky.
Cieľom nebolo vyrobiť ďalší klasický Sudoku solver. Klasické exact solvery sú na bežné 9x9 Sudoku výborné. Zaujímavé je až rozhranie medzi presnou logikou a univerzálnym search jadrom: edge solver vie rýchlo získať lokálnu štruktúru, kandidátov a jednoduché rozhodnutia, zatiaľ čo Robopol Refined preberá veľké konfliktné pole a snaží sa ho opravovať cez lokálne zmeny, perturbácie a opakované zlepšovanie kandidátov.
Malé Sudoku slúži ako kontrola WASM jadra, UI a viditeľného repair pathu.
Väčšie blokové mriežky ukazujú, ako rastie tlak riadkov, stĺpcov a boxov.
Exact logika dáva štruktúru, Refined rieši ťažký zvyšok ako univerzálny search.
Prečo práve Sudoku?
Sudoku je pre Robopol Refined dobrá demonštrácia, pretože má jasný verifier: každé číslo musí rešpektovať riadok, stĺpec a blok. To znamená, že UI vie okamžite ukázať konflikty, aktuálny best score, repair región a rozdiel medzi „edge solved“, „Refined solved“ a „best candidate“.
Pri veľkých náhodných seedom nie je garantované, že každá mriežka má kompletné riešenie. Aj to je v demo aplikácii zámerne priznané. Robopol Refined vtedy stále dáva zmysel: ukáže najlepší nájdený kandidát, konflikty a stav vyhľadávania, namiesto toho, aby sa tváril, že každá náhodná úloha musí byť riešiteľná.
Čo ukazuje adapter
Sudoku adapter je ďalší príklad architektúry, ktorú používame aj pri JSSP, TSP a ďalších optimalizačných úlohách. Doménový adapter definuje stav, skóre, lokálne pohyby a verifier. Refined jadro potom pracuje nad týmto modelom bez toho, aby muselo byť od začiatku napísané ako špecializovaný Sudoku engine.
Refined Sudoku Lab is a public web demo where Robopol Refined treats Sudoku not as a small puzzle, but as a large discrete constraint field. Instead of showing only a 9x9 board, the app also includes 25x25, 36x36 and 49x49 block grids.
The goal was not to build another classic Sudoku solver. Exact solvers are already excellent for normal 9x9 Sudoku. The interesting part is the boundary between exact logic and a universal search core: the edge solver can quickly extract local structure, candidates and simple decisions, while Robopol Refined takes over the large conflict field and tries to repair it through local moves, perturbations and repeated candidate improvement.
Small Sudoku checks the WASM core, UI and visible repair path.
Larger block grids expose pressure across rows, columns and boxes.
Exact logic provides structure; Refined handles the hard remainder as universal search.
Why Sudoku?
Sudoku is a useful Robopol Refined demo because it has a clear verifier: every number must respect its row, column and block. That means the UI can immediately expose conflicts, current best score, active repair region and the difference between edge solved, Refined solved and best candidate states.
For large random seeds, a complete solution is not guaranteed for every generated grid. The demo states that openly. Robopol Refined still remains useful in that mode: it shows the best candidate found, the remaining conflicts and the search state instead of pretending that every random instance must be solvable.
What the Adapter Demonstrates
The Sudoku adapter is another example of the architecture we also use for JSSP, TSP and other optimization tasks. The domain adapter defines state, score, local moves and verifier behavior. The Refined core then works over that model without being written from scratch as a specialized Sudoku engine.