Re: [問題] 沒有解答的推理(2)能用電腦解嗎?
看板puzzle (益智遊戲 - 數獨,拼圖,推理,西洋棋)作者sogyal (引戰技能點滿)時間8年前 (2016/01/19 02:56)推噓6(6推 0噓 45→)留言51則, 2人參與討論串3/3 (看更多)
※ 引述《pikacha (小億)》之銘言:
: 話說帕索大學新任校長想組個"發展委員會"
: 他打算從8位系主任中,選出4位來當委員
: 在調查他們的想法之後,才發覺派系問題嚴重...
: 以下是8位教授的意見:
: 萬:誰當委員我都不在乎!
: 丘:要有白教授,不然我不參加!
: 白:我不要和張教授共事!
: 張:只要有顏教授同意,我就參加!
: 賴:我和其他人都處得來,沒問題。
: 江:有張教授的話,我希望簡教授也參加。
: 有白教授的話,我希望張教授也參加!不然我不參加!
: 簡:我不要丘教授和白教授一同當委員,相信您聽過"一丘白貉"
: 另外我也不想和賴教授及萬教授其中一人共事,他們都沒主見!
: 顏:要有丘教授或江教授其中一人,不然我不參加,如果有白教授,我希望要有簡教授。
: 但是如果白教授和萬教授都是委員,我絕對不參加!
: 原題是問,能否找出4位教授,合乎8位教授的要求?
: 我想改一下:C(8,4)=70.是否有超過1種以上的組合可行?可以用電腦找嗎???
: 答案防雷,我目前是找出2組,其中1組可算完全符合8位教授的要求~
: 答:江/張/顏/簡
: 萬/賴/丘/白 這個答案,不太符合顏教授希望"有白,要有簡"的要求!
: 不過找出這麼兩組完全不同組合的答案...也難怪校長頭大!!!
萬 丘 白 賴
萬 丘 白 江
萬 白 賴 江
丘 白 賴 江
丘 白 賴 顏
白 江 簡 顏這組不行
白 賴 江 顏
我大概找出這7組組合 理論上應該都符合條件
--
教主: 主是唯一的真神 其它的都是騙人的惡魔
我們要消滅主的敵人 要殺死不信主的人
教徒: 殺!殺!殺!殺!殺!殺!殺!
路人: 神經病
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 122.117.214.44
※ 文章網址: https://www.ptt.cc/bbs/puzzle/M.1453143387.A.524.html
推
01/19 05:18, , 1F
01/19 05:18, 1F
→
01/19 05:19, , 2F
01/19 05:19, 2F
但是 丘:要有白教授,不然我不參加!
是丘教授的發言導致了 要丘教授 就一定要 丘+白
但是丘+白跟簡教授的要求強碰
所以簡丘白沒辦法一起出現
但是簡+白還是有出現的
→
01/19 05:46, , 3F
01/19 05:46, 3F
→
01/19 05:46, , 4F
01/19 05:46, 4F
江的說法我是這樣解讀的
對江來說 如果出現張 就一定要張簡
如果出現白 就一定要出現白張 → 白張簡
但是如果沒有 "白 張"二人 其他組合都是OK的
※ 編輯: sogyal (122.117.214.44), 01/27/2016 02:07:42
※ 編輯: sogyal (122.117.214.44), 01/27/2016 02:17:06
推
01/28 19:45, , 5F
01/28 19:45, 5F
→
01/28 19:46, , 6F
01/28 19:46, 6F
→
01/28 19:46, , 7F
01/28 19:46, 7F
→
01/28 19:46, , 8F
01/28 19:46, 8F
簡教授的要求是不要丘+白 所以我的答案裡面沒有簡丘白的組合
但是 如果出席的人裡面沒有簡教授 那我又何必考慮簡教授的觀感
所以其他答案裡面有丘+白
→
01/28 19:48, , 9F
01/28 19:48, 9F
→
01/28 19:50, , 10F
01/28 19:50, 10F
→
01/28 19:50, , 11F
01/28 19:50, 11F
→
01/28 19:51, , 12F
01/28 19:51, 12F
→
01/28 19:51, , 13F
01/28 19:51, 13F
: 江:有張教授的話,我希望簡教授也參加。
: 有白教授的話,我希望張教授也參加!不然我不參加!
看來我說的江教授出席的條件你無法接受
我換個說法 我直接說我認為江教授不參加的條件 這樣比較好過濾
1、白不參加 張參加 簡不參加 → 江不參加
2、白參加 張不參加 簡不參加 → 江不參加
3、白參加 張參加 簡不參加 → 江不參加
4、白參加 張不參加 簡參加 → 江不參加
※ 編輯: sogyal (122.117.214.44), 01/29/2016 00:48:43
推
01/29 05:59, , 14F
01/29 05:59, 14F
→
01/29 06:00, , 15F
01/29 06:00, 15F
→
01/29 06:20, , 16F
01/29 06:20, 16F
→
01/29 06:22, , 17F
01/29 06:22, 17F
→
01/29 06:23, , 18F
01/29 06:23, 18F
→
01/29 06:24, , 19F
01/29 06:24, 19F
→
01/29 06:24, , 20F
01/29 06:24, 20F
→
01/29 06:28, , 21F
01/29 06:28, 21F
: 簡:我不要丘教授和白教授一同當委員,相信您聽過"一丘白貉"
這句話 我的理解是
只要參加的人裡面出現白+丘 簡教授就不會參加
所以我挑的組合不會出現簡丘白
而不會出現簡丘XX(沒有白)的原因
是因為丘教授堅持跟白教授一起參加 沒有白的地方 就沒有丘
但是白教授並沒有堅持要丘教授 所以 有白的地方 不一定要有丘
完全沒有額外加條件 完全不關顏教授的問題
另外 你要我的推理過程 我可以貼給你
只是 你可能看不懂
教授 條件 出席人
A萬 0 萬 丘 白 賴
B丘 B=C 萬 丘 白 江
C白 C≠D 萬 白 賴 江
D張 D=E 丘 白 賴 江
E賴 0 丘 白 賴 顏
F江 F=(D+G)/(C+D+G)/0 白 江 簡 顏
G簡 G=0-(B+C)-A-E 白 賴 江 顏
H顏 H=(B/F/B+F)+(C+G/0)-(A+C)
※ 編輯: sogyal (122.117.214.44), 01/30/2016 02:09:32
推
01/30 08:36, , 22F
01/30 08:36, 22F
→
01/30 08:36, , 23F
01/30 08:36, 23F
: 簡:我不要丘教授和白教授一同當委員,相信您聽過"一丘白貉"
: 另外我也不想和賴教授及萬教授其中一人共事,他們都沒主見!
按照你的說法 簡教授並沒有說不"同時"跟丘教授和白教授參加
那第二句話 那也沒說不"同時"跟賴教授和萬教授參加
因為他只說了"我也不想和賴教授及萬教授其中一人共事"
簡教授表達了他不喜歡"丘+白"這個組合
那 要求簡教授出席的時候 你安排"丘+白"
你覺得簡教授會接受嗎???
至少"我認為"簡教授不會接受
所以我的組合裡面沒有"簡丘白"
→
01/30 08:37, , 24F
01/30 08:37, 24F
→
01/30 08:38, , 25F
01/30 08:38, 25F
→
01/30 08:40, , 26F
01/30 08:40, 26F
我寫的東西只是想讓"我自己"知道有哪些"組合"不能碰在一起
我不是寫論文 我不必用到正式的數學符號
另外 我想請問一下
張:只要有顏教授同意,我就參加!
這句話 你怎麼解釋??
※ 編輯: sogyal (122.117.214.44), 01/31/2016 00:11:06
推
01/31 01:59, , 27F
01/31 01:59, 27F
→
01/31 01:59, , 28F
01/31 01:59, 28F
→
01/31 02:00, , 29F
01/31 02:00, 29F
→
01/31 02:00, , 30F
01/31 02:00, 30F
換個講法
今天 我跟簡教說:出席名單一定會有丘+白 而且我不打算安排你出席
那簡教授能跟我說什麼??
他能說:不行 我有否決權 丘+白不能出現嗎??
硬是要用[若。。。則。。。]的規則
也只能寫成"若丘+白出席則簡教授不出席"
或是"若簡教授出席 則丘教授白教授不能同時出席"
: 萬:誰當委員我都不在乎!
: 丘:要有白教授,不然我不參加!
: 白:我不要和張教授共事!
: 張:只要有顏教授同意,我就參加!
: 賴:我和其他人都處得來,沒問題。
: 江:有張教授的話,我希望簡教授也參加。
: 有白教授的話,我希望張教授也參加!不然我不參加!
: 簡:我不要丘教授和白教授一同當委員,相信您聽過"一丘白貉"
: 另外我也不想和賴教授及萬教授其中一人共事,他們都沒主見!
: 顏:要有丘教授或江教授其中一人,不然我不參加,如果有白教授,我希望要有簡教授?
: 但是如果白教授和萬教授都是委員,我絕對不參加!
所有人提出的條件裡面 只有簡教授反對"丘+白" 其他人都不反對
你在沒有簡教授的情況下 也不讓丘+白出現
應該是你自己"擴大"了簡教授的條件
簡教授的條件應該只適用在"簡教授出席"的情形
你卻把它擴大到"所有情形"
→
01/31 02:02, , 31F
01/31 02:02, 31F
那 可以把你解出來的組合放上來看一下嗎??
※ 編輯: sogyal (122.117.214.44), 02/03/2016 06:11:50
推
02/05 11:06, , 32F
02/05 11:06, 32F
→
02/05 11:06, , 33F
02/05 11:06, 33F
→
02/05 11:06, , 34F
02/05 11:06, 34F
→
02/05 11:06, , 35F
02/05 11:06, 35F
→
02/05 11:06, , 36F
02/05 11:06, 36F
→
02/05 11:06, , 37F
02/05 11:06, 37F
→
02/05 11:06, , 38F
02/05 11:06, 38F
→
02/05 11:06, , 39F
02/05 11:06, 39F
→
02/05 11:06, , 40F
02/05 11:06, 40F
→
02/05 11:06, , 41F
02/05 11:06, 41F
→
02/05 11:10, , 42F
02/05 11:10, 42F
→
02/05 11:10, , 43F
02/05 11:10, 43F
→
02/05 11:10, , 44F
02/05 11:10, 44F
→
02/05 11:10, , 45F
02/05 11:10, 45F
→
02/05 11:11, , 46F
02/05 11:11, 46F
: 話說帕索大學新任校長想組個"發展委員會"
: 他打算從8位系主任中,選出4位來當委員
: 在調查他們的想法之後,才發覺派系問題嚴重...
: 以下是8位教授的意見:
請注意 8位教授位階是一樣高的
而校長也沒偏袒任何一方(至少題目裡面沒寫出來)
所以他們提出的條件應該都是以該教授會出席為前提來選用
負責選人的是"新任校長" 不是簡教授
校長選人時 應該只要確保參加的4個人的條件不會互相牴觸就好
在不選擇簡教授的情況下 為什麼要去動用簡教授的條件
另外
: 江:有張教授的話,我希望簡教授也參加。
: 有白教授的話,我希望張教授也參加!不然我不參加!
如果一定要有"我參加"或"我不參加"的條件
那我請問一下 萬 張 江 顏這個組合能不能成立
推 LPH66: 顏張解釋> 請看上篇 ckchi 文章及其推文 02/06 23:43
看完之後 我發現一件事
你們把挑選者當成八位教授本人了
八位教授是"被挑選者"
※ 編輯: sogyal (122.117.214.44), 02/10/2016 01:55:32
※ 編輯: sogyal (122.117.214.44), 02/10/2016 02:03:56
※ 編輯: sogyal (122.117.214.44), 02/10/2016 02:07:41
※ 編輯: sogyal (122.117.214.44), 02/10/2016 02:14:15
→
02/13 21:27, , 47F
02/13 21:27, 47F
→
02/13 21:28, , 48F
02/13 21:28, 48F
→
02/13 21:30, , 49F
02/13 21:30, 49F
→
02/13 21:31, , 50F
02/13 21:31, 50F
→
02/13 21:32, , 51F
02/13 21:32, 51F
討論串 (同標題文章)
本文引述了以下文章的的內容:
完整討論串 (本文為第 3 之 3 篇):
puzzle 近期熱門文章
PTT遊戲區 即時熱門文章
-152
186