終端に到達する前に枝刈りすればいいなら，これでどうか． 1000回実行で，総当り61.891sec，早期枝刈りあり2.359sec (ちなみに条件チェックを省略した総当りバージョンは23.782sec)だった． def pseud_amb(*ar, &block) result = [] amb_impl = lambda {|a, …

Baker, Cooper, Fletcher, Miller, Smithは五階建てアパートの異なる階に住んでいる。Bakerは最上階には住んでいない。Cooperは最下階に住んでいない。Fletcherは最上階にも最下階にも住んでいない。MillerはCooperより上の階に住んでいる。SmithとFletcher…