Questions tagged «machine-models»

我正在做一个关于图灵机的演讲，我想在介绍图灵机之前先介绍一下FSM。问题是，我真的不知道彼此之间有什么很大的不同。 我知道这是不同的： FSM具有相继的状态，具体取决于所满足的相应条件，而图灵机在带有读写头的无限“ Tape”上运行。 FSM的错误空间更大，因为我们很容易陷入无休止的状态，而图灵机的错误空间则不大，因为我们可以返回并进行更改。 但是除此之外，我不知道还有更多差异可以使图灵机比FSM更好。 你能帮我么？

27 terminology  turing-machines  finite-automata  machine-models 

令为固定的时间可构造函数。fff TM的经典通用仿真结果（Hennie和Stearns，1966年）指出，有两个磁带TM 使得UUU 的描述中，TM ，和⟨M⟩⟨M⟩\langle M \rangle 输入字符串，xxx 运行步骤并在x上返回M的答案。和克可以采取以任何函数ω （˚F （Ñ ）LGg(|x|)g(|x|)g(|x|)MMMxxxggg。ω(f(n)lgf(n))ω(f(n)lg⁡f(n))\omega(f(n)\lg f(n)) 我的问题是： 单个磁带TM上最著名的模拟结果是什么？上面的结果还成立吗？ [HS66]有什么改进吗？我们可以更快地在两带TM上模拟步的TM 吗？我们可以采取g ^ （ñ ）是在ω （˚F （ñ ））代替ω （˚F （ñ ）LG ˚F （ñ ））？f(n)f(n)f(n)g(n)g(n)g(n)ω(f(n))ω(f(n))\omega(f(n))ω(f(n)lgf(n))ω(f(n)lg⁡f(n))\omega(f(n)\lg f(n))

16 complexity-theory  reference-request  turing-machines  machine-models  simulation 

来自维基百科，关于随机算法 一个具有区分算法使用随机输入减少的预期运行时间或内存使用情况，但总是有一个正确的结果在有限时间终止，并且 概率算法其中，根据不同的随机输入，有机会产生错误结果（蒙特卡罗算法）或通过发出失败或失败终止信号未能产生结果（拉斯维加斯算法）的结果。 我想知道第一种“ 算法 ”如何使用随机输入来减少预期的运行时间或内存使用率，但是总是在有限的时间内以正确的结果终止？ 它和可能无法产生结果的拉斯维加斯算法之间有什么区别？ 如果我理解正确，则概率算法和随机算法不是同一概念。概率算法只是一种随机算法，另一种是那些使用随机输入来减少预期的运行时间或内存使用量，但总是在有限的时间内以正确的结果终止的算法？

14 algorithms  terminology  randomized-algorithms  nondeterminism  machine-models 

当报告一种算法的算法复杂性时，人们假定底层计算是在某种近似现代CPU的抽象机器（例如RAM）上执行的。这种模型使我们能够报告算法的时间和空间复杂性。现在，随着GPGPU的普及，人们想知道是否存在众所周知的模型，其中也可以考虑功耗。 众所周知，GPU会消耗大量功率，并且某些指令会根据其复杂性和在复杂芯片上的位置而分为不同的功耗类别。因此，从能量的角度来看，指令不是单位（甚至是固定的）成本。一个简单的扩展将为操作成本分配权重，但是我正在寻找一个功能强大的模型，其中操作/指令可能会消耗非恒定单位的能量，例如多项式量（或更复杂的例如：自开始以来经过的时间的函数）的算法；或考虑到冷却系统发生故障的可能性，这将使芯片发热，并降低时钟频率等。） 是否存在可以纳入非平凡成本和错误的模型？

13 complexity-theory  computer-architecture  power-consumption  machine-models 

在工作中，我的任务是推断一些有关动态语言的类型信息。我将语句序列重写为嵌套let表达式，如下所示： return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x then { T; Z } else { F; Z } 由于我从一般类型信息开始，并试图推断出更具体的类型，因此自然的选择是精简类型。例如，条件运算符返回其真假分支类型的并集。在简单的情况下，它效果很好。 但是，在尝试推断以下类型时遇到了障碍： function …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

问题是Arora-Barak的书《计算复杂性-一种现代方法》中的练习1.9 ： 将RAM Turing计算机定义为具有随机访问内存的Turing计算机。我们将其形式化如下：机器具有一个初始化为所有空格的无限数组A。它按如下方式访问此数组。机器的工作磁带之一被指定为地址磁带。机器还具有两个用R和W表示的特殊字母符号，以及一个用q_access表示的附加状态。每当机器进入q_access时，如果其地址带包含“ i” R（其中“ i”表示i的二进制表示形式），那么值A [i]就会写入R符号旁边的单元格中。如果其磁带包含“ i” Wa（其中a是机器字母中的某些符号），则将A [i]设置为值a。 证明如果布尔函数可在RAM TM的时间（对于某个时间可构造的）内计算，则它在。fffT(n)T(n)T(n)TTTDTIME(T(n)2)DTIME(T(n)2)\mathrm{DTIME}(T(n)^2) 使用附加的磁带记录对（地址，值）的简单解决方案结果是，因为该磁带的大小可以为用对，而每对中的地址可以是尺寸的。DTIME(T(n)3)DTIME(T(n)3)\mathrm{DTIME}(T(n)^3)O(T(n)2)O(T(n)2)O(T(n)^2)O(T(n))O(T(n))O(T(n))O(T(n))O(T(n))O(T(n))

10 complexity-theory  turing-machines  machine-models  simulation