Skip to content

Boscia extension of the Spanning Tree LMO#26

Draft
dhendryc wants to merge 8 commits into
mainfrom
span-tree-blmo
Draft

Boscia extension of the Spanning Tree LMO#26
dhendryc wants to merge 8 commits into
mainfrom
span-tree-blmo

Conversation

@dhendryc
Copy link
Copy Markdown
Member

Extend the capabilities of the Spanning Tree LMO to work in Boscia.

  • bounded_compute_extreme_point: Essentially treats connected components by the forced edges (lb=ub=1) as super nodes and run Kruskal on the contracted graph.
  • is_simple_linear_feasible: A given point v is a spanning tree if it's acyclic, every node is connect and I can trace a common root for each vertex.
  • check_feasibility: The forced edges may not form a cycle and the forbidden edges may not disconnect the reduced graph.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant