我們知道C++ template metaprogramming is Turing complete,但是preprocessor metaprogramming is not。 C++ 11爲我們提供了一種新的元編程形式:計算constexpr函數。這種計算形式是否完成圖靈?我在想,因爲遞歸和條件運算符(?:)在constexpr函數中是允許的,但是我希望有更多專業知識的人來確認。
減少了很多,不是對稱的。我試圖證明它,但它不工作 這麼好。 鑑於兩種語言A和B,其中A被定義爲 A={w| |w| is even} , i.e. `w` has an even length
和B=A_TM,其中A_TM是不可判定的,但圖靈機可識別! 考慮以下還原: f(w) = { (P(x):{accept;}),epsilon , if |w| is even
f(w) = { (P
只要研究着名論文PRIMES is in P就會感到困惑。由於整個算法在多項式時間內運行,因此該步驟還必須在O((log n)^ c)中完成(給定的輸入大小爲O(log n)),但是I想不出任何算法一些谷歌上搜索後擊中目標 問題:? 是否有任何可用的算法,以測試是否在多項式時間內的一些其他數量的數量指數 感謝和最好的問候!