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

About 4 years old · traced to

Let HH be a fixed graph, let P⁡H\operatorname{\mathcal{P}}_H be the family of graphs on nn vertices containing an HH-factor, and let τ(σ,P⁡H)\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)/n→∞f(n)/n\to\infty.

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

τ(σ,P⁡H)≫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(nlog⁡n)O(n\log n) strategy.

References

Primary source

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

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.