non-deterministic

    0热度

    1回答

    根据wikipedias GLR description,他们“处理非确定性和模棱两可的语法”。 我可以想像一个模棱两可的语法,如dangling else problem,但什么是不确定性的非确定性CF语法?

    2热度

    1回答

    我在这里结束了我的工作:我有一个单线程C++程序。这里有一些经验数据和背景信息,我试图强调最重要的关键字; 我说的是整款不没有任何系统调用,比内存(去)分配调用标准C++库可以执行其他(std::set s为参与)。这是一个纯粹逻辑的算法。 这个的行为应该是确定性的,这取决于输入,我不会改变。 如果该错误自身出现,程序就会看起​​来像无限循环似乎开始分配内存超出任何绑定。 该错误不不清单本身不出所

    3热度

    3回答

    我想要构造一个计算,其中上下文是所有路径的历史(它构成一棵树),而函数是当前状态,以过去状态为条件。函数本身是非确定性的,因此一个过去的状态可能会导致几个未来的状态,因此树枝。将这种计算的结果表示为一棵树是有意义的,但是有没有办法用列表monad来简单地表达它?或者我不知道的其他构造?

    1热度

    3回答

    嗨,我需要一个非确定性的约束满足问题工具,因为我需要不同的解决方案和相同的问题输入。有人知道这个特点的工具吗? 我只知道像Gecode(C++),Choco(Java)和Curry(Haskell)这样的工具,我认为它们是以确定性方式工作的。

    3热度

    1回答

    我想在Haskell中构建一个不确定状态monad。这将允许我使用内置状态生成搜索空间中的所有元素以修剪不良位置。假设我有以下的(伪)代码: primitives :: [State Int Element] primitives = [... list of primitive stateful elements ...] combi

    0热度

    2回答

    具有不确定性的单子变压器我想建在Haskell一个不确定的单子转换,我认为,从ListT和ListT建议在http://www.haskell.org/haskellwiki/ListT_done_right替代不同的行为。其中第一个将monad与一系列项目联系起来;第二种将单子与单个项目联系起来,但具有以下特性:给定元素中的单子动作影响列表中后续插槽中的单子元素。我们的目标是建立形式 data

    4热度

    1回答

    我试图找出在三种情况下接受重复字符串(ww)的图灵机的时间复杂度:1磁带确定性机器,2磁带确定性机器和1带非确定性机器。 现在我的想法是, 1磁带确定性的机器需要为O(n^2)找到中点(反复穿越出在输入第一个和最后一个符号)和O (n^2)来比较第一半和第二半(因为它必须来回n/2次,每次都要经过n/2的字符串), 2带TM取O (n^2)找到中点,O(n)将第二部分复制到第二个磁带上,然后O(n

    27热度

    1回答

    我最近从Python 2.7切换到Python 3.3,似乎在Python 2中,字典键的排序是任意的但是一致的,在Python 3中,字典键的排序是用例如vars()似乎不确定。 如果我运行: class Test(object): pass parameters = vars(Test) print(list(parameters.keys())) 在这两个的Python 2.7和Py

    0热度

    1回答

    如果同一个程序总是输出相同的结果,如果它不使用任何随机数或I/O,或者它可能会在不同的cpu上输出不同的东西(但架构相同,不需要重新编译)?我特别考虑用浮点数和双精度进行计算,这些浮点数和精度取决于数值近似中使用的精度。

    5热度

    1回答

    下面的python代码使用PyOpenCL来填充数组b(这不是我的实际目标,但它是我能找到的最简单的代码仍然显示问题)的数组a_plus_b。 import pyopencl as cl import numpy as np import numpy.linalg as la height = 50 width = 32 b = np.arange(width,dtype=np.in