Kernel Lower Bounds Using Co-nondeterminism: Finding Induced Hereditary Subgraphs.

Stefan Kratsch Marcin Pilipczuk Ashutosh Rai Venkatesh Raman

Published in: SWAT (2012)

Keyphrases

lower bound
upper bound
objective function
situation calculus
kernel methods
branch and bound
vc dimension
data structure
np hard
orders of magnitude
branch and bound algorithm
graph databases
maximum clique
min sum