non-deterministic

2熱度

2回答

我有一個問題...什麼是非確定性程序？我有這個練習爲以下語言提供一個不確定的過程： L = {：G =（V，E）有一個不相關的集合I.t. | I | > = k並且頂點V \ I形成一個哈密頓循環} 謝謝！

0熱度

2回答

我想創建一個用戶定義的函數/存儲過程或另一個SQL機制，當傳遞一個文件名時將文件內容讀入一個變量供以後處理。該機制必須在交易中進行。我的計劃是使用用戶定義的函數，但是OPENROWSET函數不允許我傳入一個變量作爲文件名，所以我需要在「sp_executesql」語句中執行它，並且函數變得非確定性。我可以用來解決非確定性函數的任何解決方法嗎？

1熱度

3回答

是t-sql確定性中的select *嗎？

具體來說，我需要知道，如果查詢 select * from [some_table] 將總是以相同的順序返回列。我沒有看到任何跡象表明它是非確定性的，但我不能認爲這是真的，因爲我的應用程序的規格。任何人都可以以某種方式指向我的文檔嗎？我沒有運氣與我的搜索。在此先感謝。

-1熱度

1回答

非確定性圖靈機

我是NDTM的新手，但我理解圖靈機的概念。當談到NDTM我變得有點困惑，我米應該制定一個對語言NDTM {A，B，C}和 L = {w ∈ Σ*| Ǝv ∈ Σ*, Ǝn >= 2 with w = v (to the power of) n } ，我想知道的第一件事是如何讀取L，例如Ǝ的含義是什麼？我的確瞭解NDTM給出了一種結果的兩種可能性，比如對於一個：，如果我是正確的，我們可以使

0熱度

1回答

基準時間和斯卡拉健身

我已經使用卡尺模板https://github.com/dcsobral/scala-foreach-benchmark多年來的快樂。它多次運行隨機構造的問題，並計算平均時間消耗。現在我遇到了非確定性算法。所以我需要知道運行時間和最終的健康狀況。我正在尋找一個java/scala基準框架，它可以衡量平均和最差情況下的兩個特徵。非確定性意味着算法依賴於某個隨機生成器來做出決定。它用來找到一個接近

25熱度

4回答

非確定性如何用List monad建模？

任何人都可以解釋（用簡單的英語示例更好）單子可以做什麼來模擬非確定性計算？即問題是什麼以及monad可以提供什麼解決方案。

15熱度

4回答

對於無限輸入的非確定性

如果輸入可以採用無限多的值，使用列表來模擬非確定性是有問題的。例如 pairs = [ (a,b) | a <- [0..], b <- [0..] ] 這將返回[(0,1),(0,2),(0,3),...]，從不避開顯示你的任何一對，其第一個元素是不是0。使用Cantor pairing function將列表列表摺疊爲單個列表可以解決此問題。例如，我們可以定義一個綁定般的操作，通過 (>

1熱度

2回答

FMOD頻譜數據確定主義

我正在使用FMOD進行音頻分析，使用system :: getSpectrum來獲取頻率數據。我的問題是關於FMOD在場景後面用什麼數據來執行FFT。例如，如果我的輸出速率爲44100Hz，我叫getSpectrum（）30次（每0.03333秒）有1024個樣本： system.getSpectrum(data, 1024, 0, FMOD_DSP_FFT_WINDOW_BLACKMANHA

3熱度

3回答

如何使用列表monad來計算/表示非確定性計算的結果？

我想要構造一個計算，其中上下文是所有路徑的歷史（它構成一棵樹），而函數是當前狀態，以過去狀態爲條件。函數本身是非確定性的，因此一個過去的狀態可能會導致幾個未來的狀態，因此樹枝。將這種計算的結果表示爲一棵樹是有意義的，但是有沒有辦法用列表monad來簡單地表達它？或者我不知道的其他構造？

0熱度

2回答

由於malloc大小不正確導致的不確定性失敗？

我們有一個例子證明了由於C中不正確的malloc大小造成的非確定性故障嗎？例如，在我的「gzip的」程序在linux： . . . char* a = (char*)malloc(256) // correct version is changed to char* a = (char*)malloc(206) //faulty version . . . 正因爲如此，該傳遞