A sublinear Sudoku solution in cP Systems and its formal verification

Liu, Yezhou, Nicolescu, Radu, Sun, Jing, and Henderson, Alec (2021) A sublinear Sudoku solution in cP Systems and its formal verification. Computer Science Journal of Moldova, 29 (1 (85)). pp. 3-28.

[img]
Preview
PDF (Published Version) - Published Version
Available under License Creative Commons Attribution Non-commercial Share Alike.

Download (323kB) | Preview
View at Publisher Website: http://www.math.md/publications/csjm/iss...
 
28


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.

Item ID: 79087
Item Type: Article (Research - C1)
ISSN: 1561-4042
Copyright Information: Computer Science Journal of Moldova is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License
Date Deposited: 22 Jun 2023 01:23
FoR Codes: 46 INFORMATION AND COMPUTING SCIENCES > 4612 Software engineering > 461208 Software testing, verification and validation @ 50%
46 INFORMATION AND COMPUTING SCIENCES > 4613 Theory of computation > 461302 Computational complexity and computability @ 50%
SEO Codes: 22 INFORMATION AND COMMUNICATION SERVICES > 2204 Information systems, technologies and services > 220402 Applied computing @ 50%
28 EXPANDING KNOWLEDGE > 2801 Expanding knowledge > 280115 Expanding knowledge in the information and computing sciences @ 50%
Downloads: Total: 28
Last 12 Months: 8
More Statistics

Actions (Repository Staff Only)

Item Control Page Item Control Page