Conditional lower bounds based on $\textup{P}\neq \textup{NP}$, the Exponential-Time Hypothesis (ETH), or similar complexity assumptions can provide very useful information about what type of algorithms are likely to be possible. Ideally, such lower bounds would be able to demonstrate that the best known algorithms are essentially optimal and cannot be improved further. In this tutorial, we overview different types of lower bounds, and see how they can be applied to problems in database theory and constraint satisfaction
Thesis (Ph.D.)--University of Washington, 2020In this thesis, we study basic lower bound questions i...
This dissertation presents several results at the intersection ofcomplexity theory and algorithm des...
Computational complexity theory and algorithms are two major areas in theoretical computer science. ...
Obtaining lower bounds for NP-hard problems has for a long time been an active area of research. Alg...
Fine-grained complexity theory is the area of theoretical computer sciencethat proves conditional lo...
Abstract. Obtaining lower bounds for NP-hard problems has for a long time been an active area of res...
We study the constraint satisfaction problem (CSP) parameterized by a constraint language F (CSP(F))...
AbstractWe develop new techniques for deriving strong computational lower bounds for a class of well...
In this article we survey algorithmic lower bound results that have been obtained in the field of ex...
A constraint satisfaction problem (CSP) can be represented as two structures: the structure induced ...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer...
The quest for fast exact exponential-time algorithms and fast parameterized algorithms for NP-hard p...
The exponential-time hypothesis (ETH) states that 3-SAT is not solvable in subexponential time,i.e. ...
Two models of proofs of lower bounds on the complexity are introduced. They have very wide applicabi...
The quest for fast exact exponential-time algorithms and fast parameterized al-gorithms for NP-hard ...
Thesis (Ph.D.)--University of Washington, 2020In this thesis, we study basic lower bound questions i...
This dissertation presents several results at the intersection ofcomplexity theory and algorithm des...
Computational complexity theory and algorithms are two major areas in theoretical computer science. ...
Obtaining lower bounds for NP-hard problems has for a long time been an active area of research. Alg...
Fine-grained complexity theory is the area of theoretical computer sciencethat proves conditional lo...
Abstract. Obtaining lower bounds for NP-hard problems has for a long time been an active area of res...
We study the constraint satisfaction problem (CSP) parameterized by a constraint language F (CSP(F))...
AbstractWe develop new techniques for deriving strong computational lower bounds for a class of well...
In this article we survey algorithmic lower bound results that have been obtained in the field of ex...
A constraint satisfaction problem (CSP) can be represented as two structures: the structure induced ...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer...
The quest for fast exact exponential-time algorithms and fast parameterized algorithms for NP-hard p...
The exponential-time hypothesis (ETH) states that 3-SAT is not solvable in subexponential time,i.e. ...
Two models of proofs of lower bounds on the complexity are introduced. They have very wide applicabi...
The quest for fast exact exponential-time algorithms and fast parameterized al-gorithms for NP-hard ...
Thesis (Ph.D.)--University of Washington, 2020In this thesis, we study basic lower bound questions i...
This dissertation presents several results at the intersection ofcomplexity theory and algorithm des...
Computational complexity theory and algorithms are two major areas in theoretical computer science. ...