サブモジュラーオーダー関数とアソートメント最適化について

新しいクラスの集合関数を定義し、制約付きのアソートメント最適化問題に効率的なアルゴリズムを提供する。