【正文】 newnode ssr = ssr。 ((1 ssr) = fpl)) { spr = 1 ssr。 newnode sst = sst。 if ((sst = fsr) amp。 ) { ntx = unopened。 break。 printf(就會把傳教士吃掉。 unopened upnode = unopened。 if(flag == 1) { recorder()。 for(。 i++ ) { nodefree = result。 free(nodefree)。 newnode sst = ntx sst。 openednum++。 struct SPQ *unopened。 021111010320220321311020S0S17S2111011002S1S2200111013310120S290210S30S1401S13010111102S19300S5221S10S12031S24110S1831002S13000圖6—4 傳教士和食人者問題的狀態(tài)空間如圖6—4所示，由于劃船操作是可逆的，所以圖中狀態(tài)節(jié)點間用雙向箭頭連接，箭頭旁邊所標的數(shù)字表示了Ｐ或Ｑ操作的下標，即分別表示船載的傳教士數(shù)和食人者數(shù)。（1）設(shè)定狀態(tài)變量及確定值域。（3）定義并確定操作集。 /* 船運行一個來回后河左岸的野人、傳教士的人數(shù) */ int ssr,spr。 void showresult()。 ntx = oend。 ntx = ntx upnode。 free(nodefree)。 fpl = result pl result spt + result spr。 if(choice==39。 releasemem()。 unopened pl = 0。) { printf(\n是否修改？(Y/N))。x)。 } } int stretch(struct SPQ *ntx) { int fsr , fpr 。 if((fpr == 0) amp。 oend nextnode = newnode。 ffpr = fpr + spr。 unopenednum++。 newnode pr = ffpr。 for (ssr = 0 。 /* 保存父結(jié)點的地址以成鏈表 */ newnode nextnode = NULL。 sst = 2 。N39。) { printf(\n請輸入傳教士人數(shù))。 printf(*********************************************************************\n)。 uend = unopened = (struct SPQ*)malloc(sizeof(spq))。 } }int main() { int flag。 printf(傳教士%8d%8d\t\t%8d\n,result pl,result spr,result pr result spr)。 printf(%d個野人 ,result sr)。 struct SPQ* nodefree。 exit(0)。 void addtoopened(struct SPQ *ntx) /*擴展節(jié)點*/ { unopened = unopened nextnode。/* 記錄總的擴展次數(shù) */ int openednum。 表6—1 傳教士和食人者問題的全部可能狀態(tài)狀 態(tài)m, c, b狀 態(tài)m, c, b狀 態(tài)m, c, b狀 態(tài) m, c, bS03,3,1S81,3,1S163,3,0S241,3,0S13,2,1S91,2,1S173,2,0S251,2,0S23,1,1S101,1,1S183,1,0S261,1,0S33,0,1S111,0,1S193,0,0S271,0,0S42,3,1S120,3,1S202,3,0S280,3,0S52,2,1S130,2,1S212,2,0S290,2,0S62,1,1S140,1,1