当前位置: X-MOL 学术arXiv.cs.CC › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Embedding Divisor and Semi-Prime Testability in f-vectors of polytopes
arXiv - CS - Computational Complexity Pub Date : 2021-09-16 , DOI: arxiv-2109.08220
Eran Nevo

We obtain computational hardness results for f-vectors of polytopes by exhibiting reductions of the problems DIVISOR and SEMI-PRIME TESTABILITY to problems on f-vectors of polytopes. Further, we show that the corresponding problems for f-vectors of simplicial polytopes are polytime solvable. The regime where we prove this computational difference (conditioned on standard conjectures on the density of primes and on $P\neq NP$) is when the dimension $d$ tends to infinity and the number of facets is linear in $d$.

中文翻译:

在多胞体的 f 向量中嵌入除数和半质数可测性

我们通过展示问题 DIVISOR 和 SEMI-PRIME TESTABILITY 对多面体 f 向量问题的简化,获得了多面体 f 向量的计算硬度结果。此外,我们表明单纯多胞体的 f 向量的相应问题是可多次求解的。我们证明这种计算差异的机制(以素数密度和 $P\neq NP$ 的标准猜想为条件)是当维度 $d$ 趋于无穷大并且面数在 $d$ 中是线性的。
更新日期:2021-09-20
down
wechat
bug