Linear lower-bound conjecture for factors of non-central graphs

From papers

Let HH be a fixed graph, let PH\operatorname{\mathcal{P}}_H be the family of graphs on nn vertices containing an HH-factor, and let τ(σ,PH)\tau(\sigma,\operatorname{\mathcal{P}}_H) be the first round in which Builder's graph belongs to this family. A graph HH is central if it has a vertex vv such that deleting any edge incident to vv disconnects HH; otherwise, HH is non-central. The notation f(n)nf(n)\gg n means that f(n)/nf(n)/n\to\infty.

Non-central-factor conjecture. Let HH be a fixed non-central graph. Then, for every strategy σSn\sigma\in\operatorname{\mathcal{S}}_n,

τ(σ,PH)n\tau(\sigma,\operatorname{\mathcal{P}}_H)\gg n

whp.

The theorem preceding the conjecture gives linear-time constructions for central graphs, whereas the conjecture predicts a superlinear lower bound for every strategy when HH is non-central. The paper notes that cycles and complete graphs are natural cases not covered by the theorem, and that the conjectured scale lies between the linear constructions and the naive O(nlogn)O(n\log n) strategy.

Progress summary

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

Sources & referencesView supporting material

Primary source

Sofiya Burova and Lyuben Lichev, “The semi-random tree process”, arXiv:2204.07376 (2023).

Solutions 0

No solutions have been posted yet.