作者sogyal (引戰技能點滿)
看板puzzle
標題Re: [問題] 沒有解答的推理（２）能用電腦解嗎？
時間Tue Jan 19 02:56:20 2016
※ 引述《pikacha (小億)》之銘言：
: 話說帕索大學新任校長想組個"發展委員會"
: 他打算從８位系主任中，選出４位來當委員
: 在調查他們的想法之後，才發覺派系問題嚴重．．．
: 以下是８位教授的意見：
: 萬：誰當委員我都不在乎！
: 丘：要有白教授，不然我不參加！
: 白：我不要和張教授共事！
: 張：只要有顏教授同意，我就參加！
: 賴：我和其他人都處得來，沒問題。
: 江：有張教授的話，我希望簡教授也參加。
: 有白教授的話，我希望張教授也參加！不然我不參加！
: 簡：我不要丘教授和白教授一同當委員，相信您聽過"一丘白貉"
: 另外我也不想和賴教授及萬教授其中一人共事，他們都沒主見！
: 顏：要有丘教授或江教授其中一人，不然我不參加，如果有白教授，我希望要有簡教授。
: 但是如果白教授和萬教授都是委員，我絕對不參加！
: 原題是問，能否找出４位教授，合乎８位教授的要求？
: 我想改一下：C(8,4)=70.是否有超過１種以上的組合可行？可以用電腦找嗎？？？
: 答案防雷，我目前是找出２組，其中１組可算完全符合８位教授的要求～
: 答：江／張／顏／簡
: 萬／賴／丘／白 這個答案，不太符合顏教授希望"有白，要有簡"的要求！
: 不過找出這麼兩組完全不同組合的答案．．．也難怪校長頭大！！！
萬 丘 白 賴
萬 丘 白 江
萬 白 賴 江
丘 白 賴 江
丘 白 賴 顏
白 江 簡 顏這組不行
白 賴 江 顏
我大概找出這7組組合 理論上應該都符合條件
--
教主: 主是唯一的真神 其它的都是騙人的惡魔
我們要消滅主的敵人 要殺死不信主的人
教徒: 殺!殺!殺!殺!殺!殺!殺!
路人: 神經病
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 122.117.214.44
※ 文章網址: https://webptt.com/m.aspx?n=bbs/puzzle/M.1453143387.A.524.html
1F：推 LPH66: 簡：我不要丘教授和白教授一同當委員 01/19 05:18
2F：→ LPH66: 注意這句話並非講簡不能和丘白一起, 而只單講丘白不得一起 01/19 05:19
但是
丘：要有白教授，不然我不參加！
是丘教授的發言導致了 要丘教授 就一定要
丘+白
但是
丘+白跟簡教授的要求強碰
所以簡丘白沒辦法一起出現
但是
簡+白還是有出現的
3F：→ LPH66: 另外我想知道你如何解讀江的「不然我不參加」 01/19 05:46
4F：→ LPH66: 你的其他答案都跟這句話的解讀有關 01/19 05:46
江的說法我是這樣解讀的
對江來說 如果出現張 就一定要張簡
如果出現白 就一定要出現白張 → 白張簡
但是如果沒有 "白 張"二人 其他組合都是OK的
※ 編輯: sogyal (122.117.214.44), 01/27/2016 02:07:42
※ 編輯: sogyal (122.117.214.44), 01/27/2016 02:17:06
5F：推 LPH66: 丘+白問題: 這跟簡教授要求強碰但其中並不包含簡參不參加 01/28 19:45
6F：→ LPH66: 所以最後名單裡只要有丘+白就和簡的要求牴觸了 01/28 19:46
7F：→ LPH66: 和簡有沒有參加並無關係 01/28 19:46
8F：→ LPH66: 你的 1 2 4 5 四解都是丘+白在內 01/28 19:46
簡教授的要求是不要丘+白 所以我的答案裡面沒有
簡丘白的組合
但是 如果出席的人裡面沒有簡教授 那我又何必考慮簡教授的觀感
所以其他答案裡面有
丘+白
9F：→ LPH66: 江: 我想問的是你認為「江不參加」或「江參加」的條件 01/28 19:48
10F：→ LPH66: 而且你的 3 6 7 四解都不是白張簡三人俱在 01/28 19:50
11F：→ LPH66: 除非你認為「江不參加」的條件是「前面兩句有一為否」.. 01/28 19:50
12F：→ LPH66: * 3 6 7 三解 01/28 19:51
13F：→ LPH66: 所以我才會問你是如何解讀那句「不然我不參加」 01/28 19:51
: 江：有張教授的話，我希望簡教授也參加。
: 有白教授的話，我希望張教授也參加！不然我不參加！
看來我說的江教授出席的條件你無法接受
我換個說法 我直接說
我認為江教授不參加的條件 這樣比較好過濾
1、白不參加 張參加 簡不參加 → 江不參加
2、白參加 張不參加 簡不參加 → 江不參加
3、白參加 張參加 簡不參加 → 江不參加
4、白參加 張不參加 簡參加 → 江不參加
※ 編輯: sogyal (122.117.214.44), 01/29/2016 00:48:43
14F：推 LPH66: 簡: 不參加難道不能對成員組成提意見嗎... 01/29 05:59
15F：→ LPH66: 顏都說如果有白希望要有簡了, 這跟顏參不參加也無關 01/29 06:00
16F：→ LPH66: 還是你認為顏的這句話是他要參加的前提? 01/29 06:20
17F：→ LPH66: 我覺得你可以試寫一下你的推理過程, 這樣也好釐清解釋差異 01/29 06:22
18F：→ LPH66: 江這個我覺得你的解釋跟我的或上面 ckchi 的解釋不同 01/29 06:23
19F：→ LPH66: 解釋不同得到不同結論其實沒什麼問題 01/29 06:24
20F：→ LPH66: 畢竟江這句話本來範圍就不清不楚的 01/29 06:24
21F：→ LPH66: 但簡丘白那裡我覺得你多加了題目沒有的條件進去 01/29 06:28
: 簡：我不要丘教授和白教授一同當委員，相信您聽過"一丘白貉"
這句話
我的理解是
只要參加的人裡面出現
白+丘 簡教授就不會參加
所以我挑的組合不會出現簡丘白
而不會出現簡丘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
22F：推 LPH66: 我有點覺得你把他的話看成「我不要"和"丘教授和白教授...」 01/30 08:36
23F：→ LPH66: 題目沒有那個和字, 所以就只是簡教授單純表示成員組合意見 01/30 08:36
: 簡：我不要丘教授和白教授一同當委員，相信您聽過"一丘白貉"
: 另外我也不想和賴教授及萬教授其中一人共事，他們都沒主見！
按照你的說法 簡教授並沒有說不"同時"跟丘教授和白教授參加
那第二句話 那也沒說不"同時"跟賴教授和萬教授參加
因為他只說了"我也不想和賴教授及萬教授
其中一人共事"
簡教授表達了他不喜歡"丘+白"這個組合
那 要求簡教授出席的時候 你安排"丘+白"
你覺得簡教授會接受嗎???
至少"
我認為"簡教授不會接受
所以我的組合裡面沒有"簡丘白"
24F：→ LPH66: 然後你這個條件列式沒有「若...則...」的意思在 01/30 08:37
25F：→ LPH66: 大部份本題的條件都是「若...則...」的型式, 不一定能顛倒 01/30 08:38
26F：→ LPH66: 用了等號會以為這關係是能倒推的, 推理過程可能不太嚴謹 01/30 08:40
我寫的東西只是想讓"我自己"知道有哪些"組合"不能碰在一起
我不是寫論文 我不必用到正式的數學符號
另外 我想請問一下
張：只要有顏教授同意，我就參加！
這句話 你怎麼解釋??
※ 編輯: sogyal (122.117.214.44), 01/31/2016 00:11:06
27F：推 LPH66: 我自己解做「若顏參加則張參加」 01/31 01:59
28F：→ LPH66: 但我也同意「張參加可推得顏參加」這個解釋 01/31 01:59
29F：→ LPH66: 簡: 簡丘白三人不同選這是我們的共識, 我在問的是 01/31 02:00
30F：→ LPH66: 無簡但有丘白行不行; 我認為是不行的 01/31 02:00
換個講法
今天 我跟簡教說：出席名單一定會有丘+白 而且我不打算安排你出席
那簡教授能跟我說什麼??
他能
說：不行 我有否決權 丘+白不能出現嗎??
硬是要用[若。。。則。。。]的規則
也只能寫成"若丘+白出席則簡教授不出席"
或是"若簡教授出席 則丘教授白教授不能同時出席"
: 萬：誰當委員我都不在乎！
: 丘：要有白教授，不然我不參加！
: 白：我不要和張教授共事！
: 張：只要有顏教授同意，我就參加！
: 賴：我和其他人都處得來，沒問題。
: 江：有張教授的話，我希望簡教授也參加。
: 有白教授的話，我希望張教授也參加！不然我不參加！
: 簡：我不要丘教授和白教授一同當委員，相信您聽過"一丘白貉"
: 另外我也不想和賴教授及萬教授其中一人共事，他們都沒主見！
: 顏：要有丘教授或江教授其中一人，不然我不參加，如果有白教授，我希望要有簡教授?
: 但是如果白教授和萬教授都是委員，我絕對不參加！
所有人提出的條件裡面 只有簡教授反對"丘+白" 其他人都不反對
你在沒有簡教授的情況下 也不讓丘+白出現
應該是你自己"擴大"了簡教授的條件
簡教授的條件應該只適用在"簡教授出席"的情形
你卻把它擴大到"所有情形"
31F：→ LPH66: (接上兩樓) 所以我可以接受選擇兩者之一進行推理的答案 01/31 02:02
那 可以把你解出來的組合放上來看一下嗎??
※ 編輯: sogyal (122.117.214.44), 02/03/2016 06:11:50
32F：推 ckchi: 我幫LPH說明好了， 02/05 11:06
33F：→ ckchi: 「簡：我不要丘教授和白教授一同當委員」 02/05 11:06
34F：→ ckchi: 上面這句話你和LPH的理解方式不一樣。 02/05 11:06
35F：→ ckchi: 02/05 11:06
36F：→ ckchi: 這句話LPH(和我)的認知是： 02/05 11:06
37F：→ ckchi: 「不論簡教授是否參加，丘教授與白教授都不能一同當委員。 02/05 11:06
38F：→ ckchi: 02/05 11:06
39F：→ ckchi: 而你的認知是： 02/05 11:06
40F：→ ckchi: 「簡教授參加時，丘教授與白教授都不能一同當委員。」 02/05 11:06
41F：→ ckchi: 02/05 11:06
42F：→ ckchi: 其他教授在提條件時，後面都有「我參加」或「我不參加」， 02/05 11:10
43F：→ ckchi: 也就是以本人參加/不參加為條件的前提。 02/05 11:10
44F：→ ckchi: 02/05 11:10
45F：→ ckchi: 但簡教授提這個條件時沒有這個前提， 02/05 11:10
46F：→ ckchi: 因此我和LHP認為不論簡教授是否參加此條件都需符合。 02/05 11:11
: 話說帕索大學新任校長想組個"發展委員會"
: 他打算從８位系主任中，選出４位來當委員
: 在調查他們的想法之後，才發覺派系問題嚴重．．．
: 以下是８位教授的意見：
請注意 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
47F：→ ckchi: 江的那句話我的解讀是 02/13 21:27
48F：→ ckchi: 上面那句是強制條件，下面那句是出席條件(不然我不參加) 02/13 21:28
49F：→ ckchi: 另外不是把教授本人當作挑選者或被挑選者的問題， 02/13 21:30
50F：→ ckchi: 而是幫校長考慮符合所有教授要求的組合 02/13 21:31
51F：→ ckchi: 如果不考慮其他人想法那隨便指定四個人就好，還調查什麼？ 02/13 21:32