非传统计算设备的可计算性与复杂性

摘要:UCOMP设备可以进行超计算(计算图灵不可计算的函数)或进行超图灵计算(在多项式时间内解决NP完全问题)的某些要求。我们发现所有这些要求都依赖于一个或多个非物理资源的提供。

作者:Hajo Broersma, Susan Stepney, Goran Wendin

论文ID:1702.02980

分类:Emerging Technologies

分类简称:cs.ET

提交时间:2017-03-24

PDF 下载: 英文版 中文版pdf翻译中