中文

热带几何中多项式计算的边界问题

组合数学 2007-05-23 v2

摘要

我们研究一般维数中热带超曲面交集的一些基本算法问题:判定该交集是否非空、是否为热带簇、是否连通,以及计数连通分支的数目。我们通过在不同强输入数据限制下证明 NP\mathcal{NP} 困难性与 #P\mathcal{P} 困难性结果,并为其他各种限制提供多项式时间算法,刻画了易处理与困难计算之间的边界。

关键词

引用

@article{arxiv.math/0411012,
  title  = {On the frontiers of polynomial computations in tropical geometry},
  author = {Thorsten Theobald},
  journal= {arXiv preprint arXiv:math/0411012},
  year   = {2007}
}

备注

17 pages, 5 figures. To appear in Journal of Symbolic Computation