タグ付けされた質問 「computability」

Hoareロジックを使用して2つの行列を乗算するためのプログラムの正確性を証明することについて、卒業論文を作成しています。これを行うには、このプログラムの入れ子ループの不変式を生成する必要があります。 for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + C(i,j); end end end 私は最初に内部ループの不変式を見つけようとしましたが、今までは本当のものを見つけることができません。上記のプログラムの不変式を見つけるのを手伝ってくれる人はいますか？

7 algorithms  loop-invariants  correctness-proof  formal-languages  regular-languages  pumping-lemma  logic  logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics  complexity-theory  time-complexity  computability  proof-techniques  reductions  digital-preservation  distributed-systems  storage  algorithms  dynamic-programming  check-my-algorithm  reference-request  cryptography  quantum-computing  formal-languages  regular-languages  context-free  formal-grammars  algorithms  graphs  network-flow  algorithms  data-structures  randomized-algorithms  lists  computability  proof-techniques  undecidability  terminology  distributed-systems  parallel-computing  artificial-intelligence  heuristics  search-problem  algorithms  computational-geometry  algorithm-analysis  asymptotics  recurrence-relation  mathematical-analysis  master-theorem  algorithms  algorithm-analysis  runtime-analysis  computability  reductions  turing-machines  formal-languages  context-free 

問題は、次の説明が正しいか間違っているかです。 あ≤TB⟹あ≤メートルBA≤TB⟹A≤mBA \leq_T B \implies A \leq_m B であれば、に対してAを決定できるオラクルがあることを知っています。これは、AからBへの計算可能な関数があり、削減を満足できると言うには十分ではないことを知っています。あ≤TBA≤TBA \leq_T B これを適切に表現する方法、または私が言っていることがステートメントが誤っていると言うのに十分であるかどうかはわかりません。これをどのように表示しますか？ 編集：これはそれ自体宿題の問題ではありません、私はテストのために見直しています。ここで、はチューリング還元性であり、はマッピング還元性です。≤T≤T\leq_T≤メートル≤m\leq_m

7 computability  reductions  turing-machines 

マッピングの削減について一般的な質問があります。私は関数をいくつかの例に見ましたATMATMA_{TM} どこ ATM={⟨M,w⟩: For M is a turing machine which accepts string w}ATM={⟨M,w⟩: For M is a turing machine which accepts string w}A_{TM} = \{\langle M, w \rangle : \text{ For } M \text{ is a turing machine which accepts string } w\} これは決定不能性を証明するのに最適です。しかし、代わりに認識できないことを証明したいと言います。つまり、与えられた結果を使用したいA≤mBA≤mBA \le_{m} B、 AAA 認識できません BBB 認識できません。 …

7 computability  proof-techniques  reductions 

私は、連続動的システムを使用した計算の定義に関するさまざまなアプローチを研究しています。私は「状態遷移システム」の理論への素晴らしい入門書を見つけようとしてきましたが、それはできませんでした。 誰かがトピックの現代的な紹介を知っていますか？特に興味深いのは、計算可能性を扱うものです。

7 computability  automata  reference-request  computation-models 

質問を受けました 次の言語はチョムスキー階層のどこに適合しますか？ ディオファントス方程式非負の解。(x,y)(x,y)(x,y)3x−y=13x−y=13x-y=1 ような言語は理解できますが、この言語では混乱します。言語の単語はどのように見えますか？文法や正規表現を使用してそれをどのように表現できますか？L={0n1n∣n≥1}L={0n1n∣n≥1}L = \{ 0^n1^n \mid n \ge 1\}

7 formal-languages  computability 

計算可能な関数ごとに同等の演算回路はありますか？ 私は上記の発言に頭を抱えていますが、その発言は誤りであると思いますが、反例は見つかりませんでした。 私が不思議に思ったのは、プロトコル（暗号化プロトコル理論）は計算可能な関数を計算できるが、その関数を算術回路として指定する必要があるといういくつかの定理を読んだことです。

6 computability  computation-models  cryptography  circuits  simulation