【正文】 pr。 ssr++) /* 返回 */ { int ffsl , ffpl。 oend nextnode = newnode。 newnode pr = 0。 if((fpr == 0) amp。 fpr = ntx pr。 } } int stretch(struct SPQ *ntx) { int fsr , fpr 。 } } int search() { int flag。x)。) { scanf(%d,amp。) { printf(\n是否修改？(Y/N))。\n)。 unopened pl = 0。 exit(0)。 releasemem()。 。 if(choice==39。 } printf(\n全體傳教士和野人全部到達(dá)對(duì)岸)。 fpl = result pl result spt + result spr。 printf(%d個(gè)野人 ,result sl)。 free(nodefree)。 i openednum 。 ntx = ntx upnode。 newnode pr = ntx pr。 ntx = oend。 if (openednum == 0 ) oend = opened = ntx。 void showresult()。/* 記錄待擴(kuò)展節(jié)點(diǎn)個(gè)數(shù) */ int resultnum。 /* 船運(yùn)行一個(gè)來(lái)回后河左岸的野人、傳教士的人數(shù) */ int ssr,spr?？梢姡跔顟B(tài)空間中，真正符合題目規(guī)定條件的只有16個(gè)合理狀態(tài)。（3）定義并確定操作集。在河的左岸有3個(gè)傳教士、1條船和3個(gè)食人者，傳教士們想用這條船將所有的成員運(yùn)過(guò)河去，但是受到以下條件的限制：（1）傳教士和食人者都會(huì)劃船，但船一次最多只能裝運(yùn)兩個(gè)；（2）在任何岸邊食人者數(shù)目都不得超過(guò)傳教士，否則傳教士就會(huì)遭遇危險(xiǎn)：被食人者攻擊甚至被吃掉。（1）設(shè)定狀態(tài)變量及確定值域。則共有10種操作，操作集為 F={P01，P10，P11，P02，P20，Q01，Q10，Q11，Q02，Q20}（4）估計(jì)全部的狀態(tài)空間數(shù)，并盡可能列出全部的狀態(tài)空間或予以描述。 021111010320220321311020S0S17S2111011002S1S2200111013310120S290210S30S1401S13010111102S19300S5221S10S12031S24110S1831002S13000圖6—4 傳教士和食人者問(wèn)題的狀態(tài)空間如圖6—4所示，由于劃船操作是可逆的，所以圖中狀態(tài)節(jié)點(diǎn)間用雙向箭頭連接，箭頭旁邊所標(biāo)的數(shù)字表示了Ｐ或Ｑ操作的下標(biāo)，即分別表示船載的傳教士數(shù)和食人者數(shù)。 /* 本結(jié)點(diǎn)所在的層數(shù) */ struct SPQ *upnode ,*nextnode。 struct SPQ *unopened。 void goon()。 openednum++。 i = loop 。 newnode sst = ntx sst。 result = newnode。 free(nodefree)。 /* 在右岸上的人數(shù) */ int fsl , fpl 。 i++ ) { nodefree = result。 fsr = result sr result ssr。 for(。 if(choice==39。 if(flag == 1) { recorder()。 return 0。 unopened upnode = unopened。 unopened ssr = 0。 printf(就會(huì)把傳教士吃掉。 choice=toupper(choice)。 break。 } else printf(\n輸入值應(yīng)大于0！\n請(qǐng)重新輸入)。 ) { ntx = unopened。 /* 出發(fā)時(shí)在船上的人數(shù) */ int ssr , spr 。 if ((sst = fsr) amp。 if(newnode==NULL) { printf(\n內(nèi)存不夠！\n)。 newnode sst = sst。 return 1。 ((1 ssr) = fpl)) { spr = 1 ssr。 exit(0)。 newnode ssr = ssr