この記事は Zeta Advent Calendar 2020 - Adventar の20日目の記事です。 正の整数の組をインデックス（index）と呼びます。インデックス が を満たすとき を許容インデックス（admissible index）と呼びます。 インデックス に対しては、その深さ（depth）…