User:Timeroot
Real name: Alex Meiburg.
Physics PhD student at UCSB (expected grad ~2024).
I'm trying to compile information on types of graph containment. Complexity bounds should have upper- and lower-bounds on difficulty with fixed H and varying H.
For instance, for many types of substructure (such as subgraph), finding an H inside G can be trivially done in O(G^H) time. (I use the name, G, synonymously with |V(G)|, its vertex size.) Worst case, this is exponential with H. But if you fix H, then there may (or may not) be algorithms that 'move' the difficulty, e.g. O(H! * G^2). This would then by fixed-parameter tractable.
Being well-quasi-ordered (WQO) is important, because it implies that any property closed under these operations can be described by a forbidden substructure. The classic case is minors, which are a WQO and can have substructure found in O(G^2) time with a fixed H. There is a very nontrivial constant factor that depends on H, though, rendering most of these algorithms impractical. I'll use the notation RS(H) to indicate that an algorithm uses the Robertson-Seymour subroutine, and so although might have fixed H dependence, the constant matters. A weaker property than being WQO is the descending chain condition (DCC), which means that there are no infinite chains of containment. Properties that respect some integral measure of size (e.g. |V| or |E|) always have the DCC, but others such as graph homomorphism might not. When a property is not WQO, I will usually provide an example of why, such as the cliques Kn, cycles Cn, or bipartite graphs Knn, that form an infinite antichain. Finally, there is also an Ascending Chain Condition (ACC), which usually applies when the vertex or edge count is fixed: all edges containing a given H are of a maximum size.
For relations that requires G and H are of the same size in some sense (such as Graph Isomorphism, Spanning Subgraph, Subdivision etc. -- technically, those that with fixed H admit a kernelization algorithm), the "fixed H" problem becomes trivial. This includes all with the ascending chain condition, as there are just finitely many G's to check for.
Complexities are usually given in the form of {complete class; upper bound on runtime; lower bound on runtime under reasonable assumptions}. I assume the ETH (that 3SAT can't be solved in 2^o(n)), which has the FPT corollary Clique can't be solved in f(k)n^{o(k)}. If there a simple case that shows why something is NP-Hard, then I will mention it: in particular, finding Hamiltonian cycles and cliques are hard.
Name | Reductions | Map f: H → G | Ordering Properties | Complexity (varying H) | Complexity (fixed H) |
---|---|---|---|---|---|
Graph Isomorphism | None | E(u,v) ↔ E(f(u), f(v)) f_{V} bijective |
Equivalence Not WQO (e.g. Kn) DCC, ACC |
GI-Complete e^{O(log3 G)} [1] - |
Trivial (Fixed vertex count; ACC) |
Induced Subgraph | Vertex deletion | E(u,v) ↔ E(f(u), f(v)) f_{V} injective |
Not WQO (e.g. Cn) DCC |
NP-Complete (cliques) G^{H+2} 2^{o(G)} |
W[1]-Complete (cliques) G^{H+2} f(H)G^{o(H)} |
Subgraph | Vertex deletion, Edge deletion | E(u,v) → E(f(u), f(v)) f_{V} injective |
Not WQO (e.g. Cn) DCC |
NP-Complete (cliques) G^{H+2} 2^{o(G)} |
W[1]-Complete (cliques) G^{H+2} f(H)G^{o(H)} |
Spanning Subgraph | Edge deletion | E(u,v) → E(f(u), f(v)) f_{V} bijective |
Not WQO (e.g. Cn) DCC, ACC |
NP-Complete (Hamiltonian cycle) G^{H+2} 2^{o(G)} |
Trivial (Fixed vertex count; ACC) |
Dissolution Equivalent to to Smoothing Dual to Subdivision or Expansion |
Edge deletion | f_{V} injective f_{E} carries edges to distinct induced paths |
Not WQO (e.g. Kn) DCC |
NP-Complete [2] G^{H+2} 2^{o(G)} |
- |
References:
[1] https://cstheory.stackexchange.com/a/40373/12211 [2] Own work