constraint-satisfaction

1熱

1答えて

私はプログラミングでかなり新しいので、誰かがこれについて正しい方向で私を指し示すことができると思っています。私は〜2400人のリストを持っています。それぞれの人には少なくとも23の条件のうちの1つがあります（条件がある場合は1、条件がない場合は0）。 E.G. Jonが条件1、5、および6を持つ場合、Jonの出力は{1,0,0,0,1,1,0,0 ...}になります。次に、それぞれの状態の人の

0熱

1答えて

Java Constraints Library（JCL）の問題：追加の表現方法は？

Java Constraints Libraryを使用してCSPロジック問題を解決する必要があります。今のところ私は問題のいくつかの制約を表現することができました。そのほとんどはバイナリ制約 "equals"と "not equals"に基づいています。私の疑いは、どのように追加ベースの制約を表すか？例：：変数1は変数2が variable3はは変数4がDomainBの今に制約が属するド

0熱

1答えて

モデリング：サブセットの選択を効率的にモデル化

Optaplannerを使用してモデル化して解決したい問題は、スポーツチーム（ここではサッカー）のための名簿を作成することです。つまり、利用可能なすべてのプレーヤーから、いくつかの基準に従って11を選択します。私は、ハード/中/ソフトスコアを使用して、有効な解決策を定義しています。正確に1人のゴールキーパーがロスタに存在しなければならないという厳しい基準。選手が選出される順番は関係ありません。私

3熱

2答えて

プロローグは、私はプロローグで、強引にこのような何かのために可能なすべての計算をそれを得ることが可能であるかどうかを疑問に思った算術

についてあらゆる可能性を与えるために取得します。 6 is Z + Q Z = 1 Q = 5 Z = 2 Q = 4 Z = 3 Q = 3

0熱

1答えて

いつCSPの地平線の拡大を止めるべきですか？

いつCSPプランナーの地平線の拡大を止めるべきですか？具体的には、検索とのアーク整合性がある地平線で失敗すると、アーク整合性がすべてのより長い地平で失敗することを意味する制約充足問題プラナーの条件があるかどうか。

2熱

1答えて

Choco Solver - 非常に長い実行時間の場合、どのように最も近い解を得ますか（ほとんどの制約を満たします）？

Choco Solverでは、解を見つけるのに時間がかかりすぎる場合、最も近い解（これまでの制約を満たす解、しかしすべての制約を満たす解）はどうやって得られますか？例えば、解決のためにModel.getSolver（）。solve（）を実行していて、解決策が見つからなくても十分に時間がかかると判断した場合、どうすれば最も近い解決策を出力できますかこれまでのところ？

0熱

1答えて

sat4jについて、擬似ブール問題を解決するためにsat4jを使用する方法は？

私は疑似ブールの問題があり、私はsat4jで解決する必要があります。誰かが私を助けることができますか？ F、A、B、C、D、E及びIは、によって表される値のリストを持っている：私は名前の変数のリストを持っている：ここではは私の問題だ＃ 1、＃2、＃3 ..... hは（＃1）に＃1を割り当てる手段Iは、いくつかの例cを有しますonstraints： h(a,#1)=1 h(a,#1)+h

11熱

1答えて

AST <O（exp（n））を解析しない？

抽象問題の説明：私はそれを見る方法、解析された場合には再度同じASTを生成するAST、からトークンストリームを作成する手段をunparsing。従ってparse(unparse(AST)) = ASTが成立する。これは、同じASTを生成する有効な構文解析ツリーを見つけることと同じです。 S-attributed文法では、eBNFバリアントを使用して言語を記述しています。したがって、アンパー

-1熱

2答えて

Pythonで__CPROVER_assertの効果を得るには？

私はその値val1> = val2をアサートする必要があります。それはモデルチェックの点では、証人（反例）はval1> = val2と主張する必要があります。 Pythonでそれをする方法はあり C1 = True; C1 = (C1 && (val1 >= val2)); __CPROVER_assert(!C1 ,"constraint sat"); ：私がすることによってC（CB

0熱

2答えて

Prologでこのパズルを解決するには？（強盗）

3人の容疑者が強盗に巻き込まれている、アリス、ボブ、カール。少なくとも1人は有罪です。ここでが条件です： Aが有罪であれば、彼は正確に1人の共犯があります。 Bが有罪である場合、彼は正確に2人の共犯者を持っています。誰が有罪ですか？ Prologスクリプトを作成して、guilty(X)がギャングを与えるこの問題を解決するにはどうすればよいですか？