以下の内容はhttps://jupiro.hatenablog.com/entry/2020/07/08/155859より取得しました。

解説

$(x, y)$ が $k$ 列目にいくときの、 $y$ 座標の最小値を $t$ とする。

ここで、明らかなこととして、 $t$ 以上のポーンの個数が $c$ 個あれば、必ず $行数 \geq t + c - 1$ であることが必要である。

で実はこれが十分であることも示せるらしい(Editorial曰くHallの定理を使うといいらしい)

上を実現するのは遅延セグ木で簡単にできるので、求めることができました

提出コード

以上の内容はhttps://jupiro.hatenablog.com/entry/2020/07/08/155859より取得しました。
このページはhttp://font.textar.tv/のウェブフォントを使用してます

不具合報告/要望等はこちらへお願いします。
モバイルやる夫Viewer Ver0.14