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.

Preview

PDF (Published Version) - Published Version Available under License Creative Commons Attribution Non-commercial Share Alike. Download (323kB) | Preview

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: 30 Last 12 Months: 6
	More Statistics