中文

$K_{1,r}$-free 图中的独立集、导出子图与控制集

组合数学 2026-05-12 v2

摘要

GG 为一个图,F\mathcal{F} 为一个图族。定义 αF(G)\alpha_{\mathcal{F}}(G)GG 中属于图族 F\mathcal{F} 的任意导出子图的最大阶数。对于*色数*至多为~kk 的图族 F\mathcal{F},我们证明如果 GGK1,rK_{1,r}-free 的,则 αF(G)(r1)kγ(G)\alpha_{\mathcal{F}}(G) \le (r-1)k\gamma(G),其中 γ(G)\gamma(G) 是*控制数*。当 F\mathcal{F} 是空图族时,对于 K1,3K_{1,3}-free(无爪)图,该界简化为 α(G)2γ(G)\alpha(G) \le 2\gamma(G),其中 α(G)\alpha(G)GG 的*独立数*。对于 dd-正则图,这进一步细化为界 α(G)2(d+1d+2)γ(G)\alpha(G) \le 2\left(\frac{d+1}{d+2}\right)\gamma(G),该界对于 d{2,3,4}d \in \{2, 3, 4\} 是紧的。利用Ramsey理论,我们将此框架扩展到边遗传图族,表明对于 K1,rK_{1,r}-free 图,有 αF(G)r(Kr,F)γ(G)\alpha_{\mathcal{F}}(G) \le r(K_r, \mathcal{F^*})\gamma(G),其中 F\mathcal{F^*} 是不在 F\mathcal{F} 中的图构成的集合。特化到 KqK_q-free 图,我们证明 αF(G)(r(Kq,Kr)1)γ(G)\alpha_{\mathcal{F}}(G) \le (r(K_q, K_r) - 1)\gamma(G)。最后,对于 *kk-独立数* αk(G)\alpha_k(G),我们证明如果 GGK1,rK_{1,r}-free 的,其阶为 nn 且最小度 δk+1\delta \ge k+1,则 αk(G)((r1)(k+1)δk+(r1)(k+1))n, \alpha_k(G) \le \left( \frac{(r-1)(k+1)}{\delta - k + (r-1)(k+1)} \right) n, 并且该界对所有参数都是紧的。

关键词

引用

@article{arxiv.2501.05291,
  title  = {Independence, induced subgraphs, and domination in $K_{1,r}$-free graphs},
  author = {Yair Caro and Randy Davila and Michael A. Henning and Ryan Pepper},
  journal= {arXiv preprint arXiv:2501.05291},
  year   = {2026}
}