問題タブ [theorem]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
insertion-sort - Isabelle を使用した挿入ソート アルゴリズムの証明
コード (ML、Python など) を生成するために、Isabelle/HOL で挿入ソート アルゴリズムを実装しました。対応する関数が正常に機能すると確信していますが、それを証明するためにいくつかの定理を作成し、それが確実に機能することを確認する必要があります。私の機能は次のとおりです。
問題は、定理を正しく作成する方法がわからないことです。順序付けられたリストが元のリストと同じ長さであり、両方のリストの要素の名前が同じであることを証明する必要があります。私の最初の定理は次のとおりです。
最初の定理はリストが正しく順序付けられていることを証明しようとし、2 番目の定理は両方のリストが同じ長さであることを証明しようとします。
誘導と自動を適用すると、サブゴールが0になると予想されます。これは、定理が正しく、アルゴリズムが正常に機能することを示していますが、その後、サブゴラスを削除する方法がわかりません。簡略化規則 ( lemma [simp]: "") を使用してください。よろしくお願いします。
algorithm - マスター定理を使用したアルゴリズム コスト
こんにちは、誰でも質問を手伝ってくれますか
これが私がこれまでやってきたことです
ここでマスター定理を適用
今立ち往生。
runtime - これらの繰り返し関係の実行時間
これらの関係の厳密な実行時間をどのように計算しますか?
- T(n)=T(n-3)+n^2
- T(n) = 4T(n/4)+log^3(n)
最初のものでは n^2 を与えたが正しくない代入法を使用し、2 つ目は Masters Theorem を使用して nlog^4(n) を得ましたが、これも正しくありませんでした。丁寧な説明助かります。ありがとう！
algorithm - マスター定理を使用してアルゴリズムの漸近時間複雑度を計算する
問題: nサイズの問題を元のサイズの4 分の 1のサイズの6 つのサブ問題に分割するアルゴリズムがあります。分割の場合、アルゴリズムは100 ステップになり、マージの場合は75nになります。アルゴリズムの時間漸近複雑度は?
したがって、マスター定理の式は
この問題では a = 6とb = 4ですが、分割とマージの情報をどこに収めるべきかわかりません。
許容できる結果は、 O ( n 1.2924 )、オメガ( n 1.2 )、およびO (1.001 n )です。
c++ - 分離軸の定理 - 垂直軸での偽陽性
SATを使用して衝突検出を実装しましたがbbox、バウンディング ボックスの上または下に別の衝突がある場合、誤検知が発生します。
私は、バウンディングボックスの（今のところ）軸に沿った各面を、それ自体と他のbboxコーナーに対して投影しています。
返された衝突データは正しい(depth, stepheight)ですが、バウンディング ボックスの上または下にあるオブジェクトごとに衝突が返されるという事実はofc誤りです。
機能する単純なaabb衝突チェックに対して結果をチェックします。
コードは次のとおりです。
ここで、面の法線は次のように定義されます。
問題を表示するスクリーンショットを追加しました。
問題は次のとおりです。
境界ボックスの下または上のすべてのオブジェクトに対して偽陽性を返します。
floating-point - 倍精度IEEE754で数値を表現できる(できない)のはなぜですか?
IEEE754の倍精度について混乱しています。
次の2つの質問を検討
します。
2. 2 54 +2 が表現できないのは なぜですか?
手伝って頂けますか ？IEEE754の動作方法は理解 していますが、表示に問題があります。