ベイズ探索理論
地図上の各方眼について、探している残骸がそこにある確率p、および残骸がそこにあったとして実際に発見できる確率qを想定する。ある方眼を捜索して残骸が見つからなかったならば、ベイズの定理により、その方眼に残骸がある確率は次のように更新される。
p ′ = p ( 1 − q ) ( 1 − p ) + p ( 1 − q ) = p 1 − q 1 − p q < p . {\displaystyle p'={\frac {p(1-q)}{(1-p)+p(1-q)}}=p{\frac {1-q}{1-pq}}<p.}
その他の全ての方眼について、事前確率をrとするならば、事後確率は次のようになる。
r ′ = r 1 1 − p q > r {\displaystyle r'=r{\frac {1}{1-pq}}>r}