non-deterministic

1熱度

3回答

嗨，我需要一個非確定性的約束滿足問題工具，因爲我需要不同的解決方案和相同的問題輸入。有人知道這個特點的工具嗎？我只知道像Gecode（C++），Choco（Java）和Curry（Haskell）這樣的工具，我認爲它們是以確定性方式工作的。

3熱度

1回答

如何在Haskell中構建一個不確定的狀態monad？

我想在Haskell中構建一個不確定狀態monad。這將允許我使用內置狀態生成搜索空間中的所有元素以修剪不良位置。假設我有以下的（僞）代碼： primitives :: [State Int Element] primitives = [... list of primitive stateful elements ...] combi

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

2熱度

2回答

自循環，確定性或非確定性狀態機上的兩個輸入？

維基百科指出確定性狀態自動化「爲每個輸入字符串生成自動機的唯一計算（或運行）」。我一直認爲這是因爲只有1個可能的路徑來計算任何唯一的字符串。在這種情況下，以下是DSM。但是現在我正在反思這一點，並將描述解釋爲每個輸入字符串都有一個可能的路徑，並且該路徑對所有其他輸入字符串都是唯一的。在這種情況下，以下不是DSM，因爲'11'和'12'遵循相同的路徑。所以我的問題是，下面是DSM或NDSM？

11熱度

4回答

JavaScript中的浮點數的精度是否是非確定性的來源？

相同的數學運算可以在不同的體系結構或瀏覽器中返回不同的結果嗎？

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回答

可以使用不同的cpu導致同一個程序的輸出不同嗎？

如果同一個程序總是輸出相同的結果，如果它不使用任何隨機數或I/O，或者它可能會在不同的cpu上輸出不同的東西（但架構相同，不需要重新編譯）？我特別考慮用浮點數和雙精度進行計算，這些浮點數和精度取決於數值近似中使用的精度。

5熱度

1回答

爲什麼這個opencl代碼不確定？

下面的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

0熱度

1回答

非確定性，不明智的語法？

根據wikipedias GLR description，他們「處理非確定性和模棱兩可的語法」。我可以想像一個模棱兩可的語法，如dangling else problem，但什麼是不確定性的非確定性CF語法？

2熱度

1回答

單線程C++函數調用中的undebuggable非確定性heisenbug

我在這裏結束了我的工作：我有一個單線程C++程序。這裏有一些經驗數據和背景信息，我試圖強調最重要的關鍵字; 我說的是整款不沒有任何系統調用，比內存（去）分配調用標準C++庫可以執行其他（std::set s爲參與）。這是一個純粹邏輯的算法。這個的行爲應該是確定性的，這取決於輸入，我不會改變。如果該錯誤自身出現，程序就會看起來像無限循環似乎開始分配內存超出任何綁定。該錯誤不不清單本身不出所