問題タブ [boolean-expression]

Is there a method similar to equals() that expresses "not equal to"?

An example of what I am trying to accomplish is below:

I am trying to find something that will not require me to use if ( a != c).

ブール式を評価する必要があります。目的は、タグ付けされたアイテムのセットをフィルタリングすることです。タグには任意の名前を付けることができます（たとえば、Java識別子など）。

例えば：

これは、タグ付けされたアイテムに当てはまります。

• foo料金
• foo bar boo
• バー

どの名前が必要になるかは事前にはわかりません。JEXLを確認しましたが、JexlContextがあります。これは基本的に、評価の前に入力する必要のあるマップです。

識別子がtrueかfalseかを判断するためにコールバック関数を呼び出すライブラリが必要です。または、評価前に不明な識別子を許可するその他のメカニズム。

ビールのように無料である必要があるため（Mavenプラグイン用）、Jepは問題外です。

何が使えますか？

編集の理由により、解決する大きなブール式があります。ここに画像を貼り付ける必要があります。

areaまた、 4 つの整数の次元を測定する関数が既にあります。area(c,d,e,f)=|c−d|×|e−f|

数式が満足できるかどうかを判断するだけ(a,b,c,d,e,f)ではなく、大きな数式を作成し、数式を満たす他の 6 タプルの次元以上の最適な 6 タプルをTRUE探しarea(c,d,e,f)ています。

言い換えれMax(area(c,d,e,f))ば、大きな公式の対象を見つけてください。

SMT ソルバーがこの問題に役立つかどうか疑問に思っています。Z3が をサポートしていることを学びquantifiers、ブール式が満足できるかどうかを判断できるようになりました。しかし問題はZ3、関数の最適解を見つけるのに役立つかどうかareaです。

誰にもアイデアはありますか？SMT ソルバー、Z3、またはその他のアルゴリズムについてのコメントをお待ちしております...

次の問題は、Vazirani らによる動的プログラミングの章からのものです。アル。

[6.6] 3 つのシンボル a に対する乗算演算 (×) を定義しましょう。b; c 次の表に従って：

したがって、 a × a = b 、 a × b = b などです。

bbbbacこれらの記号の文字列 (たとえば ) を調べ、結果の式の値が になるように文字列を括弧で囲むことができるかどうかを判断する効率的なアルゴリズムを見つけてaください。たとえば、入力時bbbbacに、アルゴリズムはyesを返す必要があります((b(bb))(ba))c = a。

これが私のアプローチです：

ここで与えられたブール括弧の数を数える問題にそれをマップします。その問題では、フォームのブール式が与えられます

TまたはFおよびT xor T

そして、true と評価されるように、これを括弧で囲む方法の数を見つける必要があります。

or、and、xorは、特定の規則 (T xor F = T など) に従い、値 T または F を取るオペランドに作用する演算子と考えることができます。

元の問題では、a、b、c をオペランドと見なし、与えられたテーブルでルールを提供するものとして定義されている乗算 (x) を使用できます。

上記のアプローチは理にかなっていますか、それとももっと簡単なアプローチがありますか?

私のコードは上にあります私はintを変換してからvarcharを変換しようとしている変換に問題があります。誰か助けてもらえますか？

私のLuaアプリケーションの一部は検索バーであり、ブール式を理解できるようにしようとしています。LPegを使用していますが、現在の文法では奇妙な結果が得られます。

最初のトークンを解析するだけで、なぜこれを行うのか理解できません。私の知る限り!.、開始非終端記号の終わりにあるため、部分一致は不可能です。どうすればこれを修正できますか？

すべての数字を書かなくても済むように短くする方法はありますか? (0,10)ならいいけど(0,10000)なら

ここで何らかの形でリストを使用することは可能ですか?

こんにちは私は式を入力すると配列に格納されるコードを持っていますが、私の問題は、入力式がab + cのような場合に2つの変数の間に*を入れる方法です？それはnull値を言います。これが私のコードです：

ブール変数 a_1、a_2、..、a_n があるとします。多項式サイズのブール式を使用して、true に設定されたブール変数の数が k より大きいという事実をどのように表現できますか? (指数関数は簡単です - newton(n,k) 式を書くだけです)。

iReport でバンドを表示または非表示にする式で問題が発生しています。

これらは私が持っている変数です:

結果は でなければならないBooleanので、次のことを試しました。

したがって、これは機能していません。次のエラーが表示されます。

boolean 型の式は Boolean にボックス化されます

私はこれを考えすぎていますが、解決できません。

ご協力いただきありがとうございます。