simplification

3熱

1答えて

Python：イプシロンの代わりにポイントの数を持つRamer-Douglas-Peucker（RDP）アルゴリズム

これを修正するにはRDP algorithmのPythonスクリプトをεを使用せず、保存したいポイントの数を選択してください最終的に： class DPAlgorithm(): def distance(self, a, b): return sqrt((a[0] - b[0]) ** 2 + (a[1] - b[1]) ** 2) def point_line

0熱

1答えて

ブール方程式のセットを組み合わせる

私は論理回路図を持ち、入力から出力には多くのレベルがあります。私は各出力に対して簡略化されたブール方程式を見つけたいと思います。間違いを避け、効率を上げるために、大きな回路図を論理ゲートごとに1つのブール式に分解し、ブール方程式のセットを簡略化し、選択した項の出力を出力として指定できる単一の式を出力するツールを見つける。すべての数学的プログラムは問題ありません。お手伝いください。ありがとう！

2熱

1答えて

いくつかの既知の用語の組み合わせによるブール単純化

私はブール値簡素化を行っています。これはよく働くQuine-McCluskeyです。しかし、ここではいくつかの既知の用語の組み合わせで簡略化を実行する必要があります。例えば、私は簡素化したい： (A+B)C 私がいることを知っている場合： C それとも私が知っているかのよう： A+B == true が、これはのように簡単に BC == false それは、既知の用語のリストを与えられた論理式

0熱

1答えて

は手動で私が動作するようになりましイザベルでの証明を完成しようとしていた整理に

を（イザベル）の仮定を追加： lemma axiom1: " x = y ⟹ Δ x y z = 0" proof - assume 1[simp]: "x = y" have 1: "Δ x y z = Δ y z x" by (rule axiom0_a) also have "… = Δ y z y" by simp also have "…

1熱

3答えて

データベースのデータとエラーチェックを事前に入力するPHPフォームを簡素化するので、$ _POSTデータで積極的に上書きします

これは一般的なシナリオです。あなたは情報を編集するためのHTMLフォームを持っています。元の情報はデータベースから得られます。フォームを投稿すると、データチェックが完了したときに何かが修正される必要があるため、必要なフィールドの1つが空白になっている可能性があるため、情報をすぐに保存することはできません。その結果、フォームフィールドを再表示する必要がありますが、ポストデータがある場合はポストデー

5熱

1答えて

ブール式の最小化はNP完全ですか？

私はブールの充足可能性がNP完全であることを知っていますが、ブール式の最小化/簡略化です。これは記号式で与えられた式を取って、私は、充足可能性から最小化への削減があるとは確信していませんが、おそらくそこにいるように感じます。誰かが確かに知っていますか？

11熱

3答えて

C標準

節§6.5.3.2言う¶3「アドレスと間接演算子」（関連セクションのみ）：単項&オペレータがそのオペランドのアドレスを返します。 ... オペランドが単精度*演算子の結果である場合、その演算子も&演算子も評価されず、演算子の制約が適用され、結果が左辺値。同様に、オペランドが[]演算子の結果である場合、[]によって暗示される&オペレータも単項*どちらが評価され、&オペレータを除去し、[]オペレータ

2熱

2答えて

グラフの簡略化アルゴリズムのアドバイス

私はn点の2Dグラフを取り、r点を減らす必要があります（rはnより小さい特定の数です）。たとえば、1021と1001のように、合計ポイントの数が少し異なる2つのデータセットがあり、両方のデータセットに1000ポイントを強制したいとします。私は、Lang SimplificationとDouglas-Peuckerの2つの単純化アルゴリズムを知っています。私はLangを以前のプロジェクトで少しずつ異

5熱

1答えて

Matlabがシンボリック変数を再編成するのを止めるには？

は、MATLABでこの記号式 syms x y; f = x * y * y 戻り f = x*y^2 どのように私は式を簡素化からMATLABを停止し、それがx * y * yとして残ってみましょうことができますか？私はこのように計算のステップを印刷しようとしているので、用語を並べ替えると混乱が生じます。 str = 'f = x * y * y' ; その後 eval(st