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 …

Model interpretability through the lens of computational complexity

P Barceló, M Monet, J Pérez… - Advances in neural …, 2020 - proceedings.neurips.cc
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 …

[책][B] Handbook of memetic algorithms

F Neri, C Cotta, P Moscato - 2011 - books.google.com
Memetic Algorithms (MAs) are computational intelligence structures combining multiple and
various operators in order to address optimization problems. The combination and …

Fixed-parameter tractability and completeness II: On completeness for W [1]

RG Downey, MR Fellows - Theoretical Computer Science, 1995 - Elsevier
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 …

Parameterized algorithms of fundamental NP-hard problems: a survey

W Li, Y Ding, Y Yang, RS Sherratt, JH Park… - … -centric Computing and …, 2020 - Springer
Parameterized computation theory has developed rapidly over the last two decades. In
theoretical computer science, it has attracted considerable attention for its theoretical value …

Improved upper bounds for vertex cover

J Chen, IA Kanj, G **a - Theoretical Computer Science, 2010 - Elsevier
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 …