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...
Збережено в:
| Автор: | |
|---|---|
| Формат: | Artigo |
| Мова: | Inglês |
| Опубліковано: |
Wiley
2001-01-01
|
| Серія: | International Journal of Mathematics and Mathematical Sciences |
| Онлайн доступ: | http://dx.doi.org/10.1155/S0161171201004598 |
| Теги: |
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|