2020/05/29 by Ranendu Adhikary, Adhikary, Ranendu, Kaustav Bose +5 · 1 citation
Computer Science · #Formal Methods in Verification #Complexity and Algorithms in Graphs #Logic, Reasoning, and Knowledge
paper · doi:10.48550/arxiv.2006.00061
We resolve the longstanding open problem concerning the computational complexity of Max Cut on interval graphs by showing that it is NP-complete.