問題タブ [solver]
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.
c++ - 数独解法機能の何が問題になっていますか?
わかりましたので、関数をバックトラッキング関数に変更しました（オンラインで見つけました）。ファイルから読み取って配列に入力しますが、チェック機能は適切に機能しているため、変更していません。以下は、私が解決しようとしているパズルです (ゼロは空のスペースです)。
java - Excelソルバーツールを使用した最適化としてJavaソルバーライブラリを使用する必要があります
私は、PVモジュールでいくつかの分析を行うモデルを構築するためにJavaを使い始めたところです。私は現在、PVモジュールのシングルダイオードモデルのクラスを書いています。方程式のすべての要素を見つけるには、「f（電流）=電圧」などのいくつかのデータポイントを使用する必要があります。Excelには、「Excelソルバーツールを使用した最適化」と呼ばれるこの機能があります。この関数に強く推奨される優れたライブラリはありますか？'Chocoソルバー'を試しましたが、制約に対して多くの数学関数をサポートしていません。たとえば、aまたはbがdoubleの場合、a/bを使用することはできません。
誰かが私にこれを手に入れてくれたら本当にありがたいです。
optimization - ソルバー、EXCEL 使用時の目的関数値の保存
Excel で設定した最適化問題があります。(GUI を使用して) 最適化すると、目的関数の最終的な (最適な) 値が得られます。Excel が多くの点の目的関数の値を計算し、最適なものに落ち着いていることがわかります。すべての目的関数の値を Excel シートのある範囲に保存する方法はありますか。ソルバー GUI を使用してそれを行うことができれば素晴らしいことです。そうでない場合は、VBA ベースのソリューションでも十分です。
ありがとう。
java - シンボリック方程式ソルバーの設計
クラスでは、基本的な方程式ソルバーを行うプロジェクトに割り当てられました。線形方程式を解く必要があります。私が解決できるはずのいくつかの方程式の例：
- a*x + b = c
- x + b = c x + d
- 16*x – 9*x = a
- x/16 – x/9 = a
- 8*(x+3) – 5*(x + 4) = 12
- x^2 + 2*x + 1 = 0
- (x + 1)*(x – 1) = 0
- (x + 1) (x – 1) = 2 (x-1)
- x – 2*sqrt(x) + 1 = 0
- ログ 3*x - ログ 6 = 1
- ログ 3*x – ログ 6*x^2 = a
- 2^(x-1) * a = 2^(3*x+1)
私が見たところ、ほんの一握りの役立つ提案しか見つかりませんでした。この実装を理解しようとしましたが、算術規則をどこに置くかわかりませんでした。Sympy のソース コードを読み込もうとしましたが、何を探しているのかわかりません。txt ファイルで特定のルールを定義することを考えました。たとえば、u - v + v = u で、この規則を方程式に適用する方法を調べてみました。
これをどのように設計できるか考えている人はいますか?
matlab - Matlab 数式エディター GUI
GUI から方程式を実行するにはどうすればよいですか? 例:
さまざまな種類の方程式でこれを行うにはどうすればよいですか?
答えてくれてありがとう。
vba - Excel ソルバー VBA では、1 つのセルを 2 つの制約 (最小と最大) で区切ることができません。
入力変数の 1 つを最小制約と最大制約で制限する必要がある最適化問題を解決しようとしています。最後に SolverReset を実行しないので、後で Solver が 3 番目の制約 ($F$5 <= 1) を無視していることがわかります。また、$F$5 > 1 の答えが得られることもあるので、それもわかります。
Solver を手動で使用すると、3 番目の制約を追加できます。不足しているものを確認するためにマクロを記録しようとしましたが、まだ困惑しています。Excel 2007 を実行しています。ありがとう、
c++ - 任意の初期推定値を入力できる無料の ITERATIVE 線形システム ソルバーが C++ にありますか?
連続的に変化するフィールドを計算するための反復線形システム ソルバーを探しています。シミュレーションが適切に機能するためには、時間ステップごとにフィールドを (おそらく数回) 再計算する必要があります。幸いなことに、タイム ステップごとに適切な初期推定値が得られたので、それを反復ソルバーに入力することをお勧めします。また、係数行列は非常に密です。
問題は、Gmm++、IML++、ITL、DUNE/ISTL などのいくつかの反復ソルバーをオンラインでチェックしたことです。それらはまばらなシステム用であるか、最初の推測を入力するためのインターフェイスを提供していません (すべてのドキュメントを確認する時間がなかったので、間違っている可能性があります)。
そこで、2 つの質問があります。 1 オンラインで入手できるそのような C++ ソルバーはありますか? 2 係数行列は数千 * 数千にもなる可能性があるため、直接ソルバーは、非常に優れた初期推定を使用する反復ソルバーよりも高速になる可能性がありますか?
まことにありがとうございます！
彼
optimization - z3 からの間違った結果
Z3 SMT Solver で次のことを証明しようとしています: ((x*x) + x) = ((~x * ~x) + ~x). これは正しいです。これは、C プログラミング言語のオーバーフロー セマンティックのためです。
今、私は次の smt-lib コードを書きました:
z3 からの出力は次のとおりです。
ここで私の質問: 結果が「unsat」になるのはなぜですか? コード内の simple コマンドは、myfun1 と myfun2 が同じ結果になるように有効な割り当てを取得できることを示しています。
私のコードに何か問題がありますか、それとも z3 のバグですか?
誰でも私を助けてください。どうも