任意の1より大きい定数cについて、最適な解のc倍のサイズを持つobddを生成する順序付けを探す問題もnp困難である。