Conţinutul numărului revistei |
Articolul precedent |
Articolul urmator |
436 8 |
Ultima descărcare din IBN: 2023-12-05 15:50 |
Căutarea după subiecte similare conform CZU |
004+510+519.1 (1) |
Știința și tehnologia calculatoarelor. Calculatoare. Procesarea datelor (4172) |
Considerații fundamentale și generale ale matematicii (37) |
Analiză combinatorică. Teoria grafurilor (115) |
SM ISO690:2012 LIU, Yezhou, NICOLESCU, Radu, SUN, Jing, HENDERSON, Alec. A Sublinear Sudoku Solution in cP Systems and its Formal Verification. In: Computer Science Journal of Moldova, 2021, nr. 1(85), pp. 3-28. ISSN 1561-4042. |
EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
Computer Science Journal of Moldova | ||||||
Numărul 1(85) / 2021 / ISSN 1561-4042 /ISSNe 2587-4330 | ||||||
|
||||||
CZU: 004+510+519.1 | ||||||
MSC 2010: 68Q07, 68N30. | ||||||
Pag. 3-28 | ||||||
|
||||||
Descarcă PDF | ||||||
Rezumat | ||||||
Sudoku is known as a NP-complete combinatorial numberplacement 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. |
||||||
Cuvinte-cheie cP systems, P systems, Sudoku problem, NPcomplete problem, Formal verification |
||||||
|
Google Scholar Export
<meta name="citation_title" content="A Sublinear Sudoku Solution in cP Systems and its Formal Verification"> <meta name="citation_author" content="Liu Yezhou"> <meta name="citation_author" content="Nicolescu Radu"> <meta name="citation_author" content="Sun Jing"> <meta name="citation_author" content="Henderson Alec"> <meta name="citation_publication_date" content="2021/03/01"> <meta name="citation_journal_title" content="Computer Science Journal of Moldova"> <meta name="citation_volume" content="85"> <meta name="citation_issue" content="1"> <meta name="citation_firstpage" content="3"> <meta name="citation_lastpage" content="28"> <meta name="citation_pdf_url" content="https://ibn.idsi.md/sites/default/files/imag_file/v29-n1-%28pp3-28%29.pdf">