0

関数セクションに 3 つの変数があります。

(x)
(y)
(z)

0私の問題では、それらすべてを に初期化しましたinit。

私のドメインでのアクションは、 と の値を変更しxますy。

x/ytoの値を割り当てようとするとz、線形タスクではないと表示されます。

(assign (z) (/ (x) (y) ) )

しかし、私がそれを書く(assign (z) (/ (x) 2 ) )と、正しい値が割り当てられx/2、同様(assign (z) (/ (y) 2 ) )に正しい値が割り当てられます(y/2)。これにより、x と y がゼロではないことが保証されました。

なぜ機能し(assign (z) (/ (x) (y) ) )ないのですか？私を助けてください。

4

1 に答える 1

0

Metric-FF は、値を変数 z に割り当てるために使用している非線形式をサポートしていません。x と y を定数にして (それらを変更するアクションをすべて削除して) 試してみて、それが機能することを確認してください。数値計画問題の非線形式については、ENHSP をご覧ください: https://sites.google.com/view/enhsp/

于 2021-04-17T18:59:12.587 に答える