A sublinear Sudoku solution in cP Systems and its formal verification
Journal Publication ResearchOnline@JCULiu, Yezhou;Nicolescu, Radu;Sun, Jing;Henderson, Alec
Abstract
Sudoku is known as a NP-complete combinatorial number-placement puzzle. In this study, we propose the first cP system solution to generalised Sudoku puzzles with m×m cells grouped in m blocks. By using a fixed constant number of rules, our cP system can solve all Sudoku puzzles in sublinear steps. We evaluate the cP system and discuss its formal verification.
Journal
Computer Science Journal of Moldova
Publication Name
N/A
Volume
29
ISBN/ISSN
1561-4042
Edition
N/A
Issue
1 (85)
Pages Count
23
Location
N/A
Publisher
Academia de Stiinte a Moldove
Publisher Url
N/A
Publisher Location
N/A
Publish Date
N/A
Url
N/A
Date
N/A
EISSN
N/A
DOI
N/A