你可能感興趣的試題

設有如下結構的移動將牌游戲：
其中，B表示黑色將牌，W表是白色將牌，E表示空格。游戲的規(guī)定走法是：
（1）任意一個將牌可移入相鄰的空格，規(guī)定其代價為1；
（2）任何一個將牌可相隔1個其它的將牌跳入空格，其代價為跳過將牌的數(shù)目加1。
游戲要達到的目標是把所有W都移到B的左邊。對這個問題，請定義一個啟發(fā)函數(shù)h（n），并給出用這個啟發(fā)函數(shù)產生的搜索樹。判別這個啟發(fā)函數(shù)是否滿足下界要求？在求出的搜索樹中，對所有節(jié)點是否滿足單調限制？

設已知：
（1）能閱讀的人是識字的；
（2）海豚不識字；
（3）有些海豚是很聰明的。
請用歸結演繹推理證明：有些很聰明的人并不識字。

設已知：
（1）如果x是y的父親，y是z的父親，則x是z的祖父；
（2）每個人都有一個父親。
使用歸結演繹推理證明：對于某人u，一定存在一個人v，v是u的祖父。