結果 : 0 1 integer programming np complete proof