Subexponential Time Needs a Ruler

When we say that an algorithm is polynomial time, we usually measure time as a function of the input size. For 3-SAT, there are several natural sizes: the number of variables , the number of clauses , or the total size .

For polynomial time, these choices lead to the same broad notion. If every variable occurs in some clause, then

Conversely, is also polynomially bounded by if we ignore duplicate clauses. Each variable gives two possible literals, namely and . So there are possible literals in total.

A 3-clause has three literal positions. For each position there are at most choices, so the number of possible 3-clauses is at most

This is only an upper bound, since it also counts repeated literals and different orderings of the same clause. That is fine here. It shows that is at most polynomial in for distinct clauses.

The polynomial world is coarse

Thus measuring by , by , or by only changes one polynomial bound into another.

For example, suppose an algorithm runs in time for some constant . Since , the same running time is also bounded by

Conversely, since , we have

So a polynomial in is still bounded by a polynomial in :

The exponent of the polynomial may change, but the result is still polynomial time. This is the key point: for the question of whether a problem is in polynomial time, these measures are interchangeable.

This is why the P versus NP question does not need a careful discussion of whether 3-SAT is measured by variables or by clauses. Polynomial time is too coarse to notice the difference.

The exponent is the terrain

Subexponential time is different. Now the exponent itself is the object of study. The difference between

is exactly the difference we care about. A polynomial change in the parameter can move a bound across the line between single-exponential and subexponential.

That is the small trap behind the exponential time hypothesis. It wants to say that 3-SAT has no subexponential algorithm, but it must first decide what the parameter is.

One possible statement uses the number of variables:

Another uses the number of clauses . A third uses the total size . At first sight these look like slightly different hypotheses.

The good news is that this ambiguity disappears. Impagliazzo, Paturi, and Zane showed that the natural formulations using , using , and using are equivalent. So ETH is not an artefact of choosing the wrong measure.

In the usual form, ETH says:

Here is the number of variables, and O-star notation hides polynomial factors.

A stronger kind of hardness

ETH is stronger than because it forbids a larger range of possible running times for 3-SAT.

The statement only rules out the first zone. It says that 3-SAT has no polynomial-time algorithm, so it forbids running times such as

But it says nothing about algorithms that are slower than every polynomial and still much faster than . For example, is still compatible with a 3-SAT algorithm running in time

This time bound is not polynomial, because of the exponential term . So it would not contradict .

But it is subexponential in , because

So the same algorithm would contradict ETH. This is the middle zone: not polynomial, but still subexponential.

Thus says: no polynomial algorithm for 3-SAT. ETH says: no polynomial algorithm and no subexponential non-polynomial algorithm for 3-SAT. That is why ETH forbids more algorithms.

This gives ETH its role in exact algorithms. It says that some improvements over brute force are meaningful, but that a subexponential algorithm for 3-SAT would be a major collapse of our current picture.

Geometry changes the search

Planar graph problems show the other side of the story. Planar vertex cover, planar independent set, and planar dominating set remain hard in the usual NP-complete sense, but they admit algorithms of the form

The point is not that planarity makes these problems easy. They are still NP-complete. The point is that planarity gives the graph a shape. A planar graph has a small separator: a set of only vertices whose removal breaks the graph into smaller components.

This boundary is where the hard global interaction is concentrated. If we know what happens on the separator, then the two sides no longer need to coordinate with each other directly. They only need to agree with the fixed boundary choice.

Vertex Cover

For a problem such as vertex cover, the boundary choice says which separator vertices are selected. There are only

such choices.

Colouring

For colouring problems, each separator vertex may have three possible colours, so the boundary has up to

states. This still has the same subexponential shape. Since

and is just a constant, a separator of size gives

The important quantity is therefore not the exact constant base, but the number of separator vertices in the exponent.

After one boundary choice is fixed, the graph falls into pieces. The left piece and the right piece can be solved independently, because every path between them had to pass through the separator. This is the algorithmic value of the separator: it turns one large search into a boundary search plus two smaller searches.

Recursing gives a subexponential running time. At the top level we pay for the separator choices. The subproblems are smaller, and the same separator idea applies again at every recursive level.

Thus a piece of size at most gets a separator of size , and a piece of size at most gets a separator of size . The separator cost shrinks with the subproblem size.

The resulting recurrence has the shape

Here is a fixed shrink factor from the separator theorem. For example, one may think of : after removing the separator, each recursive piece has at most a constant fraction of the original vertices. The exact value is not important; what matters is that . This resolves to

Now apply this shrink repeatedly. The root problem has size . Its children have size at most . Their children have size at most , and so on. Since , the separator sizes also shrink at each level.

So there are two lessons at once. Geometry can make some NP-complete problems subexponential by exposing small boundaries. ETH says that we should not expect the same miracle for 3-SAT itself, where no such planar separator structure is present.