私は、整数線形プログラムとして定式化することにより、シーケンスラベル付けの問題を解決しようとしています（その方法でそれがどれほどうまく機能するかを確認するための実験として）。私はすでにSO のソルバーに関するいくつかの提案を見つけましたが、私が下にあるいくつかの制約のために、よりきめ細かいアドバイスを得たいと思います (はい、しゃれは実際に意図されたものです)。
COIN-ORを使用している間、シーケンスの長さが原因で半分以上のシーケンスでメモリが不足していますが、目の前の問題に大量のメモリを使用する必要がある理由はわかりません: これはブール線形プログラムなので、理論的には、機能ごとに 1 ビットしか必要ありません。ただし、たとえば、COIN Open Solver Interfaceでは、制約の定義などに double 値しか使用できないようです。
ブール値の問題、または少なくとも潜在的な値の範囲が非常に狭い問題に適した (無料の) ILP パッケージはありますか?