刺穿平面中组合原理的深度下界
摘要：利用刺入平面的两种几何方法证明大小/深度下界。方法一是反链方法，依赖于Sperner定理；方法二是覆盖方法，利用对布尔立方体的线性多项式进行必要覆盖的结果，依赖于Alon的组合零点定理。方法一得到了鸽洞原理的近线性大小下界和最优对数深度下界，还得到了对完全图中Tseitin矛盾的类似下界和线性排序原理的下界。方法二证明了对网格图中Tseitin矛盾的刺入平面证明具有超线性的大小下界和对数深度的下界。
作者：Stefan Dantchev, Nicola Galesi, Abdul Ghani, Barnaby Martin
论文ID：2102.07622
分类：Computational Complexity
分类简称：cs.CC
提交时间：2023-08-01