id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
27242 py3: strengthen a doctest in vertex_separation.pyx dcoudert "The order in which solutions are found by the branch and bound algorithm depends on the order in which vertices are visited. Hence, this test sometimes answers 10 and some other times 11, and both answers are correct.
{{{
sage: from sage.graphs.graph_decompositions import vertex_separation as VS
sage: G = graphs.MycielskiGraph(5)
sage: vs, seq = VS.vertex_separation_BAB(G, cut_off=11); vs
10 or 11
}}}
We change it to a robust form
{{{
sage: VS.vertex_separation_BAB(G, cut_off=11)[0] <= 11
True
}}}
" enhancement closed major sage-8.7 graph theory fixed py3, graph David Coudert Frédéric Chapoton N/A 42dc1a54b65323cd86bdf83f2dc353d4320c32e8 42dc1a54b65323cd86bdf83f2dc353d4320c32e8