問答題

用謂詞表示法求解修道士和野人問題。在河的北岸有三個修道士、三個野人和一條船,修道士們想用這條船將所有的人都運過河去,但要受到以下條件限制:
(1)修道士和野人都會劃船,但船一次只能裝運兩個人。
(2)在任何岸邊,野人數(shù)不能超過修道士,否則修道士會被野人吃掉。
假定野人愿意服從任何一種過河安排,請規(guī)劃出一種確保修道士安全的過河方案。要求寫出所用謂詞的定義、功能及變量的個體域。


您可能感興趣的試卷

你可能感興趣的試題