xはX = 1


0

を交換し、私は私が最終的な制約としてNMaximizeに渡したいいくつかの論理的な関係があります!{x => a, y => a, a => x || y}

NMaximizeはしかし、その入力形式についてうるさいですので、私はBooleanMinimizeへの発現を供給しています以前は、{!x || a, !y || a, ...}のようなものが生成されます。

NMaximizeは単項否定を処理できませんが、x! = 1を受け入れます。私はBooleanConvertを見ましたが、フォームのほとんどはまだ論理否定を使用しています。これに対処する最良の方法は何ですか?

  0

しかし、 'X' X 'と同じではありません!の!= 1' ... 'x = 1'(またはそれに関する何か)のときに得られるものを考慮してください。 25 8月. 132013-08-25 08:08:36

  0

'!1 = 0、 !0 = 1、 1!= 1 = 0、 0!= 1 = 1 ' 追加制約{0 <= x <= 1、xe整数} 25 8月. 132013-08-25 08:28:17

  0

あなたが求めていることははっきりしていません。あなたの問題に関する詳細な情報を提供してください。 25 8月. 132013-08-25 17:36:07

  0

'constraints = {x⇒y || z}' 'converted = constraints /です。 '' NMaximize [{x + y + z、変換された}、{x、y}] ' 25 8月. 132013-08-25 18:47:56

1

それはあなたが求めるものを私に明確ではないですが、念の平野答えはそれであることを起こる:

{! x || a, ! y || a} /. Not[n_] :> n != 1 
{x != 1 || a, y != 1 || a} 
+3

'[a] [?]'>(a!= 1 || b!= 0)明白なものよりも4文字多く、 '! n_:> n!= 1'Ø_Ø?あなたはいくつかの睡眠が必要です... 25 8月. 132013-08-25 16:47:24

  0

@ rm-rf LOL - はい;ええ、やりますよ。 25 8月. 132013-08-25 18:18:01

+1

さて、これはかなり必要なものです - ありがとう。 '!x'を置き換えるだけでは十分ではありませんでした。正の形式の 'x'でも' NMaximize'が鳴ります。 '制約/をする。 a_⇒b_:>(a!= 1 || b!= 0) 'うまく動作します。 25 8月. 132013-08-25 18:57:07

  0

@ rm-rfまだ眠っていませんが、私はもう少し答えをつけるために戻ってきました。 :o) 26 8月. 132013-08-26 01:00:05

  0

@Neal私はあなたのために働いてうれしいです。 26 8月. 132013-08-26 01:00:30