中文

超图迹函数的一个简单上界及其应用

数据结构与算法 2019-03-08 v2

摘要

H=(V,E){H}=(V, {E}) 为顶点集 VV 与边集 E2V{E}\subseteq 2^V 上的超图。我们证明在 VV 的任意 kk 子集上的不同迹(trace)的数目至多为 k.α^(H)k.{\hat \alpha}(H),其中 α^(H){\hat \alpha}(H)HH 的退化度(degeneracy)。该结果显著改进/推广了若干相关结果。例如,证明了 HH 的 VC 维(即 vc(H)vc(H))至多为 log(α^(H))+1\log({\hat \alpha}(H))+1,这是此前未知的。由此可在 nO(log(δ^(H)))n^{O( {\rm log}({\hat \delta}(H)))} 时间内计算出 vc(H)vc(H)。当应用于排除固定次图的图的邻域系统时,将关于次图大小的已知 VC 维线性上界降为对数上界。当应用于任意 nn 顶点图 GG 的选址控制数与识别码数时,得到新的下界 Ω(n/(α^(G)))\Omega(n/({\hat \alpha}(G))),其中 α^(G){\hat \alpha}(G)GG 的退化度。

关键词

引用

@article{arxiv.1902.08366,
  title  = {A simple upper bound for trace function of a hypergraph with applications},
  author = {Farhad Shahrokhi},
  journal= {arXiv preprint arXiv:1902.08366},
  year   = {2019}
}

备注

One of lemmas 2.2 is wrong