JijModeling 2.3.1 リリースノート

機能強化

jm.range 関数の追加

Expression を使用した値シーケンスを表する関数、 jijmodeling.range() を追加しました。使い方は基本的に python 組み込みの range() と似ています。

例は以下の通りです:

import jijmodeling as jm


@jm.Problem.define("RangeProblem")
def problem(problem: jm.DecoratedProblem):
    S = problem.Natural()
    F = problem.Natural()
    N = problem.Natural()
    x = problem.BinaryVar(shape=(10,))
    problem += jm.sum(x[i] for i in jm.range(S, F, N))

Problemの-=演算子で目的関数更新の対応

Problem に -= 演算子を追加しました。 -= を使って目的関数から項を引くことができます。

+= とは異なり、 -= で制約条件を削除することはできません。

problem = jm.Problem("problem")
x = problem.ContinuousVar("x", lower_bound=0, upper_bound=5)
y = problem.ContinuousVar("y", lower_bound=0, upper_bound=5)

problem += x
problem -= y
assert jm.is_same(problem.objective, x - y)

DependentVar が NamedExpr に

JijModeling 2.3 以前では、依存変数を表す DependentVar クラスが存在していました。 名前の印象に反し、この機能は Placeholder の長さなど決定変数に依存しないような値を定義するためにも用いることができました。 この状況は混乱を招く恐れがあるため、 DependentVar クラスは廃止され、同様の機能を提供する NamedExpr クラスが定義されました。今後は NamedExpr をご利用ください。

詳細については 式の命名とインスタンスへの保存 を御参照ください。

バグ修正

修正：スライス記法内にバグ束縛変数が現れられるように

スライス記法内の束縛変数の扱いを修正し、内包表記や制約の添え字で束縛された変数がスライス記法内で正しく扱われるようになりました。

修正：添え字つき制約内での自然数上の総和・所属関係の \(\LaTeX\) 出力の修正

これまでの実装では、添え字つき制約の定義域が自然数であったり、総和の範囲が自然数であったりした場合、以下のように所属関係が \(\in\) を使って出力されていました：

\[ \text{c1}:\quad\sum _{j\in {N}_{1}}{{x}_{i,j}}=1\quad \forall i\;\text{s.t.}\;i\in {N}_{0} \]

本リリースから、目的関数や単独の制約の場合と同様、以下のように自然な出力が行われるようになりました：

problem = jm.Problem("P")
N = problem.Natural("N", shape=2)
x = problem.BinaryVar("x", shape=(N[0], N[1]))
problem.Constraint("c1", lambda i: jm.sum(N[1], lambda j: x[i, j]) == 1, domain=N[0])

\[\text{c1}\colon \quad \sum _{j=0}^{{N}_{1}-1}{{x}_{i,j}}=1\quad \forall i\;\text{s.t.}\;i\in \left\{0,\ldots ,{N}_{0}-1\right\}\]

修正：未使用のプレースホルダーがある場合のランダムインスタンス生成で発生する復旧不能エラー

問題定義に未使用のプレースホルダーが含まれていた場合、ランダムインスタンス生成時に panic が発生する不具合を修正しました。