Scifaro

中文

多元图谱程序与多项式时间函数

计算机科学中的逻辑 2015-07-01 v4 计算复杂性范畴论

作者: Guillaume Bonfante , Yves Guiraud

在 arXiv 上查看 ↗ PDF ↗ DOI ↗

摘要

我们研究了多元图谱的计算模型。为此，我们考虑作为一阶函数程序的形式描述的多元图谱程序的子类。我们解释了它们的语义，并证明它们构成一个图灵完备的计算模型。它们的代数结构由称为多元图谱解释的分析工具用于复杂性分析。特别是，我们勾�画出一类多元图谱程序，其计算恰好是可在多项式时间内计算的函数。

关键词

多元图谱程序多项式时间函数图灵完备复杂性分析一阶函数程序

引用

@article{arxiv.cs/0701032,
  title  = {Polygraphic programs and polynomial-time functions},
  author = {Guillaume Bonfante and Yves Guiraud},
  journal= {arXiv preprint arXiv:cs/0701032},
  year   = {2015}
}

备注

Logical Methods in Computer Science (to appear), 37 pages, 1 colour picture, corrected typos