2011-10-26から1日間の記事一覧
置換表の矛盾について、一昨日までは単純に後からやってくるlowerBoundかupperBoundが絶対に正しい!(なぜなら、後の方が探索の深さNが大きいから)、と単純に思っていたのだが、そうとは言い切れず(すわなち実は探索一発の中でも矛盾が生じ得り)、しかも…
置換表の矛盾について、一昨日までは単純に後からやってくるlowerBoundかupperBoundが絶対に正しい!(なぜなら、後の方が探索の深さNが大きいから)、と単純に思っていたのだが、そうとは言い切れず(すわなち実は探索一発の中でも矛盾が生じ得り)、しかも…