SICP 読み (210) 4.3.2 非決定性プログラムの例

問題 4.43

どうやって手続きにすれば良いのかイメージできんのはいつもの通りなので手動でパズルを解いてみる。問題の文章からは

Moore    : Lorna
Downing  : Melissa Barnacle
Hall     : Rosalind
Barnacle : Gabrielle
Parker   : Mary Ann Moore

な情報が読みとれる。これを基に検討してみると、Lorna の父親は Hall 氏確定ですか。あ、違うな。Downing 大佐の娘かもしれんのか、Parker 博士もあり得るな。えーと、候補としては

• Lorna は Downing 又は Hall 又は Parker
• Rosalind は Downing 又は Parker
• Gabrielle は Downing 又は Hall 又は Parker

む、Gabrielle の父親が Parker はあり得んな。Parker が Parker の娘の名前を付けたヨットを、というのは問題の前提に沿っていない。

例えば Gab の父が Downing だとすると、Melissa が Parker の娘でないと NG なんでこれはダウトか。ってコトは Gabrielle の父親は Hall しかなくなる。Hall の船の名前は Parker の娘なので Rosalind は Paker の娘になる。Lorna の父親は残りの候補の Downing さんとゆー事になるはず。

もう少し検討してみますが、続きが追記できるかどうかは微妙。