马丁·霍夫曼;拉米亚,拉米亚 使用固定数量的指针进行计算(受邀演讲)。 (英语) Zbl 1359.68136号 Seth,Anil(编辑)等人,第33届软件技术和理论计算机科学基础国际会议,2013年FSTTCS,印度古瓦哈蒂,2013年12月12-14日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-64-4)。LIPIcs–莱布尼茨国际信息学论文集24,3-18(2013)。 小结:考虑完成问题Horn,它询问给定的Horn子句集是否(un)可满足。为了解决这个问题,我们需要保持一组动态的原子,这些原子必须是真的。然后使用子句将原子添加到此集合中,直到达到饱和。很容易看出,即使我们允许丢弃已经证明的原子,这个动态集通常也会大于常量。考虑到我们需要对数空间来在图灵机器磁带上存储单个原子,这似乎是对对数空间不同于多项式时间这一假设的一个有力的直觉论证。因此,我们试图找到形式化的计算模型,在这些模型中,这种直观的论证可以变得严格。因此,我们研究了可以在对数空间中模拟的计算模型,并包含了对数空间算法,这些算法可以操作单个需要对数空间的对象(例如指针或图形节点)的恒定大小。然后希望能够证明这些模型无法解决(mathrm P)-完全问题。我们在这篇调查文章中报告了我们实现这一目标的部分结果以及总体上的最新水平。有关整个系列,请参见[Zbl 1280.68045号]. MSC公司: 65年第68季度 算法和问题复杂性分析 05C40号 连接性 2005年第68季度 计算模型(图灵机等)(MSC2010) 2017年第68季度 问题的计算难度(下限、完备性、近似难度等) 65年第68季度 形式语言和自动机 关键词:对数空间;跳图自动机;st-连通性;co-st连接性;凯利图 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann}和\textit{R.Ramyaa},LIPIcs——莱布尼茨国际程序。通知。24、3至18(2013年;Zbl 1359.68136) 全文: 内政部