この記事は、NITKC Prolab Advent Calendar 2019 の17日目の記事として書かれています。 adventar.org 前日は宮野さんの記事です。 まえがき とばりといいます。 最近は友人が思いついた問題(有名な未解決問題だった)に軽い気持ちで挑んでいます。解けるかな…