[問題] 沒有解答的推理（２）能用電腦解嗎？

[pikacha (小億)]

話說帕索大學新任校長想組個"發展委員會"
他打算從８位系主任中，選出４位來當委員
在調查他們的想法之後，才發覺派系問題嚴重．．．
以下是８位教授的意見：

萬：誰當委員我都不在乎！
丘：要有白教授，不然我不參加！
白：我不要和張教授共事！
張：只要有顏教授同意，我就參加！
賴：我和其他人都處得來，沒問題。
江：有張教授的話，我希望簡教授也參加。
　　有白教授的話，我希望張教授也參加！不然我不參加！
簡：我不要丘教授和白教授一同當委員，相信您聽過"一丘白貉"
　　另外我也不想和賴教授及萬教授其中一人共事，他們都沒主見！
顏：要有丘教授或江教授其中一人，不然我不參加，如果有白教授，我希望要有簡教授。
　　但是如果白教授和萬教授都是委員，我絕對不參加！

原題是問，能否找出４位教授，合乎８位教授的要求？
我想改一下：C(8,4)=70.是否有超過１種以上的組合可行？可以用電腦找嗎？？？
答案防雷，我目前是找出２組，其中１組可算完全符合８位教授的要求～


























答：江／張／顏／簡
　　萬／賴／丘／白　這個答案，不太符合顏教授希望"有白，要有簡"的要求！
    不過找出這麼兩組完全不同組合的答案．．．也難怪校長頭大！！！

--
"奧坎氏簡化論" -- "解決問題最好的方法 ; 幾乎總是最簡單的方法 "
1.我們離財富自由 , 只差一個好構想 , 及一個 "關鍵人物"
2.實際上,你開始的時候只需要三種資源 : 好點子 , 實現好點子的決心 ,
  和擁有其他所有資源的重要人脈.
  你應該奉行這個座右銘 :我現在需要的每一種有形或無形資產 ,
  都掌握在某個地方的某些人手裡 , 我要如何找到這些人 , 說服他們提供我這些資源 ?

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 123.194.150.138
※ 文章網址: https://www.ptt.cc/bbs/puzzle/M.1452851989.A.3B5.html
※ 編輯: pikacha (123.194.150.138), 01/15/2016 18:48:49
※ 編輯: pikacha (123.194.150.138), 01/15/2016 18:55:15
→ wxtab019: 這種感覺應該不用用電腦解吧 照順序找下來就好
→ wxtab019: 假設有萬教授然後看其他組合能怎樣 丘 白 這樣下來
推 chyrliin: 顏：但是如果白教授和萬教授都是委員，我絕對不參加！
推 hfs: 推!
推 LPH66: 丘白不能同取, 但若有丘則有白, 故無丘
→ LPH66: 白張不能同取, 但若有白則有張, 故無白
→ LPH66: 剩下的...若有顏則是原 PO 的解一
→ LPH66: 若無顏有張, 則有簡, 而江賴萬得三取二但簡不能同賴或萬
→ LPH66: 若無顏無張則已四無, 餘下四人簡賴萬同選也不合
→ LPH66: 所以只有那一解
→ LPH66: 咦等一下, 我好像看錯一句話了...
→ LPH66: 啊沒事,「不要丘教授和白教授一同當委員」指丘白非指發言人
→ LPH66: 所以丘白確實不能同取, 那就這樣了