$K_{1,r}$-free 图中的独立集、导出子图与控制集
组合数学
2026-05-12 v2
摘要
设 G 为一个图,F 为一个图族。定义 αF(G) 为 G 中属于图族 F 的任意导出子图的最大阶数。对于*色数*至多为~k 的图族 F,我们证明如果 G 是 K1,r-free 的,则 αF(G)≤(r−1)kγ(G),其中 γ(G) 是*控制数*。当 F 是空图族时,对于 K1,3-free(无爪)图,该界简化为 α(G)≤2γ(G),其中 α(G) 是 G 的*独立数*。对于 d-正则图,这进一步细化为界 α(G)≤2(d+2d+1)γ(G),该界对于 d∈{2,3,4} 是紧的。利用Ramsey理论,我们将此框架扩展到边遗传图族,表明对于 K1,r-free 图,有 αF(G)≤r(Kr,F∗)γ(G),其中 F∗ 是不在 F 中的图构成的集合。特化到 Kq-free 图,我们证明 αF(G)≤(r(Kq,Kr)−1)γ(G)。最后,对于 *k-独立数* αk(G),我们证明如果 G 是 K1,r-free 的,其阶为 n 且最小度 δ≥k+1,则 αk(G)≤(δ−k+(r−1)(k+1)(r−1)(k+1))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}
}