Single-exponential algorithm for Diverse Odd Cycle Transversal

Develop a $2^{O(kr)}$-time algorithm for Diverse Odd Cycle Transversal parameterized by the combined parameter $k+r$.

Background

The meta-theorem presented in the paper yields a running time of 2O(krlog(kr))2^{O(kr\log(kr))}, up to polynomial factors in the input size, for the diverse variants covered by its oracle framework. The authors identify obtaining the sharper 2O(kr)2^{O(kr)} bound for Diverse Odd Cycle Transversal, with solution size parameter kk and number of requested solutions rr, as a concrete open problem.

References

As a concrete open problem, it would be interesting to design a $2{O(kr)}$-time algorithm for Diverse Odd Cycle Transversal parameterized by $k+r$. Our current framework yields a running time of $2{O(kr\log(kr))}$ (up to polynomial factors in the input size).