Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Flint, Ortho"'
In this paper, we provide a deterministic polynomial time algorithm that determines satisfiability of 3-SAT. The complexity analysis for the algorithm takes into account no efficiency and yet provides a low enough bound, that efficient versions are p
Externí odkaz:
http://arxiv.org/abs/1903.10081
Autor:
Flint, Ortho, Rankin, Stuart
In 1880, P. G. Tait showed that the four colour theorem is equivalent to the assertion that every 3-regular planar graph without cut-edges is 3-edge-colourable, and in 1891, J. Petersen proved that every 3-regular graph with at most two cut-edges has
Externí odkaz:
http://arxiv.org/abs/0909.3286
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Journal of Knot Theory & Its Ramifications; Feb2004, Vol. 13 Issue 1, p57-100, 44p
Autor:
Ranikin, Stuart, Flint, Ortho
Publikováno v:
Journal of Knot Theory & Its Ramifications; Feb2004, Vol. 13 Issue 1, p151-173, 23p