On Sat, 14 Oct 2017, david.coud...@inria.fr wrote:
It seems that "traceable graph" is more common (by googling), but then it
seems very natural to have is_eulerian/is_semi_eulerian and
is_hamiltonian/is_semi_hamiltonian. Opinions?
We can do that, but first we have to agree on the definitions for both
eulerian/hamiltonian path/cycle, etc. Then we can clean the situation
and add required deprecation warning.
Just read Wikipedia page and found the term "traversable". It seems to be
less common than semi-eulerian... But a suggestion based on this: Let's
make four functions
- is_eulerian
- is_traversable
- is_hamiltonian
- is_traceable
Crosslink is_eulerian <-> is_traversable and is_hamiltonian <->
is_traceable.
To all four add certificate-option with obvious meaning.
To docstring of is_traversable add mention about the term "semi-eulerian",
and the same for is_traceable / "semi-hamiltonian".
Later get back to functions hamiltonian_cycle() etc.
--
Jori Mäntysalo
