昨日寝る前に日記更新した通り、一般化の前に、と思ってうだうだ考えてたんだけど、もしかして12枚だと天秤3回じゃ無理?
4:4:4では無理なので、とりあえず3:3:6で検討してみたけど…。
*1
その、13枚すら区別できる、況や12枚をや、とか考えてたけど、え?
一般化する前に、まず天秤の回数n=1の時の最大枚数、n=2の時、n=3…を明らかにしてあたりを付けようと思ったんだけどさ。
とりあえず考えてたところでは、天秤1回だと2枚ですら見分けられないとか、天秤2回だと4枚は行けそうだけど5枚は無理かも?とか。
でも、仮にn=3のとき12枚がoutで13枚がsaf1eだったりすると、つまりm枚でダメでもm+1枚が不可能とは限らない。だから、天秤2回も5枚で無理でも6枚は可能かもしれない*2

*1:図の記法をブラッシュアップ。分岐◇は左が左傾、下が水平、右が右傾。

*2:たぶん無理だけど