[問題] 沒有解答的推理(2)能用電腦解嗎?

看板puzzle (益智遊戲 - 數獨,拼圖,推理,西洋棋)作者 (小億)時間8年前 (2016/01/15 17:59), 8年前編輯推噓3(3010)
留言13則, 4人參與, 最新討論串1/3 (看更多)
話說帕索大學新任校長想組個"發展委員會" 他打算從8位系主任中,選出4位來當委員 在調查他們的想法之後,才發覺派系問題嚴重... 以下是8位教授的意見: 萬:誰當委員我都不在乎! 丘:要有白教授,不然我不參加! 白:我不要和張教授共事! 張:只要有顏教授同意,我就參加! 賴:我和其他人都處得來,沒問題。 江:有張教授的話,我希望簡教授也參加。   有白教授的話,我希望張教授也參加!不然我不參加! 簡:我不要丘教授和白教授一同當委員,相信您聽過"一丘白貉"   另外我也不想和賴教授及萬教授其中一人共事,他們都沒主見! 顏:要有丘教授或江教授其中一人,不然我不參加,如果有白教授,我希望要有簡教授。   但是如果白教授和萬教授都是委員,我絕對不參加! 原題是問,能否找出4位教授,合乎8位教授的要求? 我想改一下:C(8,4)=70.是否有超過1種以上的組合可行?可以用電腦找嗎??? 答案防雷,我目前是找出2組,其中1組可算完全符合8位教授的要求~ 答:江/張/顏/簡   萬/賴/丘/白 這個答案,不太符合顏教授希望"有白,要有簡"的要求! 不過找出這麼兩組完全不同組合的答案...也難怪校長頭大!!! -- "奧坎氏簡化論" -- "解決問題最好的方法 ; 幾乎總是最簡單的方法 " 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

01/15 18:55, , 1F
這種感覺應該不用用電腦解吧 照順序找下來就好
01/15 18:55, 1F

01/15 18:55, , 2F
假設有萬教授然後看其他組合能怎樣 丘 白 這樣下來
01/15 18:55, 2F

01/15 21:44, , 3F
顏:但是如果白教授和萬教授都是委員,我絕對不參加!
01/15 21:44, 3F

01/15 22:04, , 4F
推!
01/15 22:04, 4F

01/16 00:17, , 5F
丘白不能同取, 但若有丘則有白, 故無丘
01/16 00:17, 5F

01/16 00:17, , 6F
白張不能同取, 但若有白則有張, 故無白
01/16 00:17, 6F

01/16 00:18, , 7F
剩下的...若有顏則是原 PO 的解一
01/16 00:18, 7F

01/16 00:19, , 8F
若無顏有張, 則有簡, 而江賴萬得三取二但簡不能同賴或萬
01/16 00:19, 8F

01/16 00:19, , 9F
若無顏無張則已四無, 餘下四人簡賴萬同選也不合
01/16 00:19, 9F

01/16 00:20, , 10F
所以只有那一解
01/16 00:20, 10F

01/16 00:21, , 11F
咦等一下, 我好像看錯一句話了...
01/16 00:21, 11F

01/16 00:22, , 12F
啊沒事,「不要丘教授和白教授一同當委員」指丘白非指發言人
01/16 00:22, 12F

01/16 00:22, , 13F
所以丘白確實不能同取, 那就這樣了
01/16 00:22, 13F
文章代碼(AID): #1McCCLEr (puzzle)
文章代碼(AID): #1McCCLEr (puzzle)