A logical model of HCP
For an arbitrary undirected graph G, we are designing a logical model for the Hamiltonian Cycle Problem (HCP), using tools of Boolean algebra only. The obtained model is a logic formulation of the conditions for the existence of the Hamiltonian cycle, and uses m Boolean variables, where m is the num...
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Artigo |
| Idioma: | Inglês |
| Publicat: |
Wiley
2001-01-01
|
| Col·lecció: | International Journal of Mathematics and Mathematical Sciences |
| Accés en línia: | http://dx.doi.org/10.1155/S0161171201004598 |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|