Zaznacz stronę
DiBS: model dyfuzji wspomaga rozwiązywanie Sudoku

DiBS: model dyfuzji wspomaga rozwiązywanie Sudoku

Naukowcy opracowali metodę DiBS, która łączy symboliczne solvery z modelem dyfuzji, by efektywniej rozwiązywać Sudoku jako problem spełniania ograniczeń. Podejście zachowuje gwarancje poprawności i redukuje długoogonowe przeszukiwanie.