code-shoily / yog_ex / e44d1e720b08a8e7427f20236ecd54db60da4a97

93%

Build Type

push

github

Committed by code-shoily

Commit Message

fix(multi/eulerian): tolerate isolated nodes in Eulerian checks

Yog.Multi.Eulerian required every node — including isolated nodes
with zero degree — to be reachable for connectivity. Standard Eulerian
theory only requires connectivity among nodes that participate in
edges. Isolated nodes are irrelevant because the Eulerian walk doesn't
need to visit them.

Changes:
- connected?/1 now filters out isolated nodes before BFS
- find_eulerian_circuit/1 and find_*_path_start use first_non_isolated/1
  to avoid selecting an isolated node as the Hierholzer start
- has_eulerian_circuit?/1 and has_eulerian_path?/1 now return false
  when the graph has no edges (covers all-isolated graphs)
- Updated moduledoc to document the isolated-node convention

Fixes #142

Coverage Stats

12 of 14 new or added lines in 1 file covered. (85.71%)

1 existing line in 1 file now uncovered.

10395 of 11178 relevant lines covered (93.0%)

8295.6 hits per line