Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
edge disjoint spanning tree not as fast as claimed, see #32169
Browse files Browse the repository at this point in the history
  • Loading branch information
Jonathan Kliem committed Oct 13, 2021
1 parent 812b555 commit 74e505b
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions src/sage/graphs/generic_graph.py
Original file line number Diff line number Diff line change
Expand Up @@ -6262,7 +6262,7 @@ def edge_disjoint_spanning_trees(self, k, root=None, solver=None, verbose=0):
By Edmond's theorem, a graph which is `k`-connected always has `k`
edge-disjoint arborescences, regardless of the root we pick::

sage: g = digraphs.RandomDirectedGNP(11, .3) # reduced from 30 to 11, cf. #32169
sage: g = digraphs.RandomDirectedGNP(11, .3) # reduced from 30 to 11, cf. #32169
sage: k = Integer(g.edge_connectivity())
sage: while not k:
....: g = digraphs.RandomDirectedGNP(11, .3)
Expand All @@ -6275,9 +6275,9 @@ def edge_disjoint_spanning_trees(self, k, root=None, solver=None, verbose=0):

In the undirected case, we can only ensure half of it::

sage: g = graphs.RandomGNP(30, .3)
sage: while not g.is_connected():
....: g = graphs.RandomGNP(30, .3)
sage: g = graphs.RandomGNP(14, .3) # reduced from 30 to 14, see #32169
sage: while not g.is_biconnected():
....: g = graphs.RandomGNP(14, .3)
sage: k = Integer(g.edge_connectivity()) // 2
sage: trees = g.edge_disjoint_spanning_trees(k)
sage: all(t.is_tree() for t in trees)
Expand Down

0 comments on commit 74e505b

Please sign in to comment.