Refined Sudoku Lab: veľké Sudoku ako ukážka Robopol Refined (stiahnutá)
Refined Sudoku Lab: Large Sudoku as a Robopol Refined Demo (Withdrawn)
Refined Sudoku Lab bola verejná webová ukážka, v ktorej Robopol Refined pristupoval k Sudoku ako k veľkému diskrétnemu poľu obmedzení. Namiesto samotnej malej 9x9 tabuľky aplikácia obsahovala aj 25x25, 36x36 a 49x49 blokové mriežky. Bežala priamo v prehliadači cez WASM, bez serverového výpočtu na našej infraštruktúre.
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 vedel rýchlo získať lokálnu štruktúru, kandidátov a jednoduché rozhodnutia, zatiaľ čo Robopol Refined preberal veľké konfliktné pole a snažil sa ho opravovať cez lokálne zmeny, perturbácie a opakované zlepšovanie kandidátov.
Malé Sudoku slúžilo ako kontrola WASM jadra, UI a viditeľného repair pathu.
Väčšie blokové mriežky ukazovali, ako rastie tlak riadkov, stĺpcov a boxov.
Exact logika dávala štruktúru, Refined riešil ť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. UI aplikácie tak vedelo 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áhodne generovaných mriežkach nebolo garantované nájdenie kompletného riešenia. Demo aplikácia tento limit otvorene uvádzala. Robopol Refined zobrazoval 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 ukazoval adapter
Sudoku adapter bol ďalším príkladom architektúry, ktorú používame aj pri JSSP, TSP a ďalších optimalizačných úlohách. Doménový adapter definoval stav, skóre, lokálne pohyby a verifier. Refined jadro potom pracovalo nad týmto modelom bez toho, aby muselo byť od začiatku napísané ako špecializovaný Sudoku engine.
Refined Sudoku Lab was a public web demo where Robopol Refined treated Sudoku as a large discrete constraint field. Alongside a small 9x9 board, the app included 25x25, 36x36 and 49x49 block grids. It ran directly in the browser through WASM, without server-side computation on our infrastructure.
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 could quickly extract local structure, candidates and simple decisions, while Robopol Refined took over the large conflict field and tried to repair it through local moves, perturbations and repeated candidate improvement.
Small Sudoku checked the WASM core, UI and visible repair path.
Larger block grids exposed pressure across rows, columns and boxes.
Exact logic provided structure; Refined handled 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. The application's UI could 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, finding a complete solution was not guaranteed for every generated grid. The demo stated that openly. Robopol Refined displayed the best candidate found, the remaining conflicts and the search state instead of pretending that every random instance must be solvable.
What the Adapter Demonstrated
The Sudoku adapter was another example of the architecture we also use for JSSP, TSP and other optimization tasks. The domain adapter defined state, score, local moves and verifier behavior. The Refined core then worked over that model without being written from scratch as a specialized Sudoku engine.