競プロ一般misteer.hatenablog.com上の記事を書いている際に、以下のような問題に直面した。引く」という操作を考える。この問題を一般化したらどうなるか?ということで、以下の問題を考えた。以下の操作を何度か繰り返すことで、全ての皿に石が乗っていない状態にできるか判定せよ。枚の皿から石を1つずつ取り除く。枚ない場合は操作を行うことはできない。結論を言うと、判定条件は以下の2条件が共に成り立つことと同値である。直感的には、後者は「石が程々にバランスよく乗っている」という条件と言える。必要性、つまり「2条件の一方でも成立しなければ不可能であること」を示す。個の石が取り除かれることから分かる。