Questions tagged «space-bounded»

一般问题 空间层次定理是否可以推广到非均匀计算？ 以下是一些更具体的问题： 是吗？L/poly⊊PSPACE/polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly 对于所有空间可构造函数f(n)f(n)f(n)，是DSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly \subsetneq DSPACE(f(n))/poly吗？ 对于什么函数h(n)h(n)h(n)已知：对于所有空间可构造的f(n)f(n)f(n)，DSPACE(o(f(n)))/h(n)⊊DSPACE(f(n))/h(n)DSPACE(o(f(n)))/h(n)⊊DSPACE(f(n))/h(n)DSPACE(o(f(n)))/h(n) \subsetneq DSPACE(f(n))/h(n)？

11 cc.complexity-theory  space-bounded  space-complexity  advice-and-nonuniformity  hierarchy-theorems 

我试图找到已经分析了平均情况空间复杂度的问题。 更具体地说，我想知道是否存在经证明的空间复杂度下界是超线性的问题，尤其是如果存在平均情况下的分析（例如，即使允许使用算法，界限仍然成立）误差很小的百分比等） 提前致谢

11 cc.complexity-theory  reference-request  space-bounded  average-case-complexity 

显示一个函数，该函数可空间构造但不可时间构造。F（n ）f(n)f(n) 这个问题是否与复杂性类DTIME（f（n））和SPACE（f（n））之间可能的分离有关？

10 cc.complexity-theory  space-bounded  separation 

更新：似乎这个问题最近已经得到研究和解决，请参见以下Wiki文章：http : //en.wikipedia.org/wiki/Tree_walking_automaton 以及本次调查：http : //www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf 假设我们的单词不是线性的{0,1} *，而是线性的，而是在某种树形结构上给出的。为了防止我们的机器“迷路”，请将我们的词定义为二进制嵌入式树状集。（因此，每个单词都是一棵树，其中每个边的方向都远离给定的具有度2的根，每个其他非叶顶点都具有度3，并且每个边都被标记为左或右，使得从该点开始的任何两个边同一顶点具有不同的标签。）语言是一组此类树。（请注意，无需在顶点上写入零和一，因为可以通过局部修改树来模拟它们。）当机器“读取树”时，它从根开始，它可以感知给定的顶点是根， 在此模型中，是否可以由非确定性有限状态自动机识别的任何语言也可以由确定性有限状态自动机识别？ 请注意，当磁带是普通的线性磁带时，这是正确的，因为可以使用2-DFA（甚至使用DFA）来模拟任何2-NFA。我已经问这个问题的一个特例这里，是由解决的Kristoffer。动机是要解决这个问题。

10 cc.complexity-theory  automata-theory  space-bounded  dfa 

有限访问的不确定性线性有界自动机只能识别常规语言吗？ 用非确定性线性有界自动机（nLBA）表示单带非确定性图灵机，其中输入端“填充”有两端标记，并且永远不会被覆盖，因此磁头永远不会移出输入区域，在标记之外。 如果有数字，则LBA有界访问 ķkk这样所有输入上的所有运行都将终止并最多访问磁带的每个单元ķkk 次。 这样的机器只能识别普通语言吗？如果我没看错，Hennie的结果似乎只对确定性机器说了这一点。结果也适用于不确定性机器吗？如果是，将不胜感激。

9 automata-theory  turing-machines  regular-language  space-bounded 

众所周知，称为子集总和的NP完全问题具有FPTAS。我想知道是否存在同时具有FPTAS的PSPACE完整问题？提前致谢。

9 ds.algorithms  space-bounded  big-picture