No.183

排他的論理和の性質から, を選ぶ順序は順不同である.

番目のスイッチまで調べたときに が作れるかどうかを とすると,

という感じで DP で更新していき, 最後に が true となっていく個数を数える.

なお, の値を取りうる.