arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1209.3598math.CO
收藏

某些超图饱和问题的精确界

Exact Bounds for Some Hypergraph Saturation Problems

Guy Moshkovitz, Asaf Shapira

摘要:

设W_n(p,q)表示n × n二部图G在顶点集X,Y上满足以下条件的最小边数:可以在X和Y之间依次添加不属于G的边,使得每当添加新边时,就创建K_{p,q}的新副本。W_n(p,q)的定界问题及其自然超图推广是由Balogh,Bollobás,Morris和Riordan提出的。他们的主要结果是用代数方法来确定W_n(1,q)的。本文的主要结果给出了Wn(p,q)的超图模拟以及Bollobás两族定理的一个新的变形的精确界。特别地,我们完全确定了W_n(p,q),证明了如果1 <= p <= q <= n,则W_n(p,q)= n^2 -(n-p+1)^2 +(q-p)^2。我们的证明适用于减少到一个多部版本的两个家庭定理获得的阿隆。虽然简化是组合的,但其背后的主要思想是代数的。

英文摘要:

Let W_n(p,q) denote the minimum number of edges in an n x n bipartite graph G on vertex sets X,Y that satisfies the following condition; one can add the edges between X and Y that do not belong to G one after the other so that whenever a new edge is added, a new copy of K_{p,q} is created. The problem of bounding W_n(p,q), and its natural hypergraph generalization, was introduced by Balogh, Bollobás, Morris and Riordan. Their main result, specialized to graphs, used algebraic methods to determine W_n(1,q). Our main results in this paper give exact bounds for W_n(p,q), its hypergraph analogue, as well as for a new variant of Bollobás's Two Families theorem. In particular, we completely determine W_n(p,q), showing that if 1 <= p <= q <= n then W_n(p,q) = n^2 - (n-p+1)^2 + (q-p)^2. Our proof applies a reduction to a multi-partite version of the Two Families theorem obtained by Alon. While the reduction is combinatorial, the main idea behind it is algebraic.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑