AlgebraicJulia / StructuredDecompositions.jl

Structured decompositions!
https://algebraicjulia.github.io/StructuredDecompositions.jl
MIT License
8 stars 1 forks source link

initial benchmarks to try verifying O(2^k * n) for graph coloring #20

Open andersenwall opened 1 month ago

andersenwall commented 1 month ago

initial benchmarks complete for constant 2 bags with n nodes. verified n linear for false returns on coloring tests problem found with n worse than exponential for true returns on coloring tests

jpfairbanks commented 5 days ago

@andersenwall, you have permission from @samuelsonric to replace the failing test with a check that the lengths are equal

andersenwall commented 4 days ago

@andersenwall, you have permission from @samuelsonric to replace the failing test with a check that the lengths are equal

resolved, test cases should all pass now