a > 9 のような条件式があるとすると、 a <= 9の条件を正しく否定できるライブラリが存在するかどうか知っていますか。?
問題: 制約ソルバー lp_solve があり、これに制約、つまり条件を与えます。次に、解、つまり制約を満たす数値を計算します。しかし、制約を満たさない数値が必要になる場合があります。そのため、条件式を否定できるライブラリが必要です。
ところで。lp_solve は次の関係演算子のみをサポートします: "<" "<=" "=" ">" ">=". 残念ながら、これは ! 私の場合、これは素晴らしい機能でした。
EDIT：これを解決する別のアプローチは、最初に最大解、つまり制約を満たす最大数を計算し、次に最小値を計算することです。したがって、間隔[最小、最大]に含まれない数値を選択します。これは論理否定よりも優れていますか?
よろしく、カイ。