haskell-ja > Archives > 2015/10/21

2015/10/21 03:07:06 UTC[1..100]>>=pen
#
Diagの話は、格子上に並んでる人たちに「まず〜の条件に会う人だけ残ってください。次に列毎にいなくなった人のスペース詰めてください。最後に対角順に1列に並んでください」というのと「まず対角順に1列並んでください。次に〜の条件に会う人だけ残ってください。最後にいなくなった人のスペース詰めてください」で並び順に違いが出るという話ですね。特に一つの列に無限の人が並んでいる場合、前者ではスペース詰めるときに無限の時間がかかることがあるのでまずいと。