有向图中线性稀疏化生成树的下界
摘要：定理：有向线性spanner问题的综合参数化不可能具有大小为$O(n^{2-\epsilon})$的多项式压缩，除非$NP \subseteq coNP/poly$，其中$n$是顶点数，$\epsilon>0$为任意小数。对于有向加法spanner问题和有向乘法spanner问题也存在类似的结果。这个稀疏化下界即使输入是有向无环图且$alpha,eta$是距离的任何可计算函数时也成立。
作者：Prafullkumar Tale
论文ID：2203.08601
分类：Discrete Mathematics
分类简称：cs.DM
提交时间：2022-03-17