Texts in Theoretical Computer Science An EATCS Series
ACDHJ Hartmanis, T Henzinger, JHNJT Leighton… - 2006 - Springer
Classical complexity theory analyzes and classifies problems by the amount of a resource,
usually time or space, that is required by algorithms solving them. It was a fundamental idea …
usually time or space, that is required by algorithms solving them. It was a fundamental idea …
Model interpretability through the lens of computational complexity
In spite of several claims stating that some models are more interpretable than others--eg,"
linear models are more interpretable than deep neural networks"--we still lack a principled …
linear models are more interpretable than deep neural networks"--we still lack a principled …
Fixed-parameter tractability and completeness II: On completeness for W [1]
For many fixed-parameter problems that are trivially solvable in polynomial-time, such as k-
DOMINATING SET, essentially no better algorithm is presently known than the one which …
DOMINATING SET, essentially no better algorithm is presently known than the one which …
Parameterized algorithms of fundamental NP-hard problems: a survey
Parameterized computation theory has developed rapidly over the last two decades. In
theoretical computer science, it has attracted considerable attention for its theoretical value …
theoretical computer science, it has attracted considerable attention for its theoretical value …
Improved upper bounds for vertex cover
This paper presents an O (1.2738 k+ kn)-time polynomial-space algorithm for Vertex Cover
improving the previous O (1.286 k+ kn)-time polynomial-space upper bound by Chen, Kanj …
improving the previous O (1.286 k+ kn)-time polynomial-space upper bound by Chen, Kanj …