×

建议计算。 (英语) Zbl 1456.03065号

郑锡忠(编辑)等,第七届分析中的可计算性和复杂性国际会议,中国镇江,2010年6月21日至25日。诉讼程序。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)24,41-55(2010)。
小结:建议将建议计算作为离散建议计算和类型2不确定性计算的推广。讨论了一般概念的几个具体体现,并指出了与Weihrauch可约性的密切联系。作为一个新概念,研究了随机建议的可计算性;这对应于正确的解决方案是可以猜测的正概率。在有建议的计算框架中,可以定义超计算的某些概念的计算复杂性。最后,给出了一些示例,说明了均匀技术和非均匀技术的相互作用,以研究建议的可计算性和Weihrauch格。
关于整个系列,请参见[兹比尔1391.03010].

MSC公司:

03D78号 实数计算,可计算分析
03D45号 计算理论,有效呈现结构
2015年3月1日 计算复杂性(包括隐式计算复杂性)
2017年第68季度 问题的计算难度(下限、完备性、近似难度等)
PDF格式BibTeX公司 XML格式引用
全文: 链接