search

ArrogantGao / TreeWidthSolver.jl

Implementation of the tree width algorithms.
MIT License
14 stars 1 forks source link

Backend on tree width calculation #3

Open ArrogantGao opened 4 months ago

ArrogantGao commented 4 months ago
  1. The BT algorithm [^Bouchitté]
  2. The Tamaki-2022 algorithm [^Tamaki]

[^Bouchitté]: Bouchitté, Vincent, and Ioan Todinca. “Treewidth and Minimum Fill-in: Grouping the Minimal Separators.” SIAM Journal on Computing 31, no. 1 (January 2001): 212–32. https://doi.org/10.1137/S0097539799359683.

[^Tamaki]: Tamaki, Hisao. “Heuristic Computation of Exact Treewidth.” Application/pdf, 2022, 16 pages, 743963 bytes. https://doi.org/10.4230/LIPICS.SEA.2022.17.

ArrogantGao commented 2 months ago

A improved version of the BT algorithm has been implemented, see #14