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.
|
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...
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: 27 Last 12 Months: 10 |
More Statistics |