The tree-width two running-time conjecture

Let HH be a graph, let tw(H){\mathrm{tw}}(H) denote its tree-width, and let MH(n)M_H(n) denote the maximum running time of the HH-process. Tree-width two conjecture. Every graph HH with

tw(H)=2{\mathrm{tw}}(H)=2

has

MH(n)=O(n).M_H(n)=O(n).

Graphs of tree-width one are trees and have constant maximum running time, while complete bipartite graphs K2,sK_{2,s} show that tree-width two can already give linear running time. The conjecture asserts that linear growth is the largest possible for tree-width two.

Sources & referencesView supporting material

Primary source

David Fabian, Patrick Morris and Tibor Szabó, “Graph bootstrap percolation – a discovery of slowness”, arXiv:2602.12736 (2026).

Additional references

2 papers in this index state this conjecture (2023–2026). The statement above is taken from the most recent of them; the others are arXiv:2311.18786.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.