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

看板puzzle (益智遊戲 - 數獨,拼圖,推理,西洋棋)作者 (引戰技能點滿)時間8年前 (2016/01/19 02:56), 8年前編輯推噓6(6045)
留言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
你的 1 2 4 5 四解都是丘+白在內
01/28 19:46, 8F
簡教授的要求是不要丘+白 所以我的答案裡面沒有簡丘白的組合 但是 如果出席的人裡面沒有簡教授 那我又何必考慮簡教授的觀感 所以其他答案裡面有丘+白

01/28 19:48, , 9F
江: 我想問的是你認為「江不參加」或「江參加」的條件
01/28 19:48, 9F

01/28 19:50, , 10F
而且你的 3 6 7 四解都不是白張簡三人俱在
01/28 19:50, 10F

01/28 19:50, , 11F
除非你認為「江不參加」的條件是「前面兩句有一為否」..
01/28 19:50, 11F

01/28 19:51, , 12F
* 3 6 7 三解
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
江這個我覺得你的解釋跟我的或上面 ckchi 的解釋不同
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
我幫LPH說明好了,
02/05 11:06, 32F

02/05 11:06, , 33F
「簡:我不要丘教授和白教授一同當委員」
02/05 11:06, 33F

02/05 11:06, , 34F
上面這句話你和LPH的理解方式不一樣。
02/05 11:06, 34F

02/05 11:06, , 35F
 
02/05 11:06, 35F

02/05 11:06, , 36F
這句話LPH(和我)的認知是:
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
因此我和LHP認為不論簡教授是否參加此條件都需符合。
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
文章代碼(AID): #1MdJLRKa (puzzle)
文章代碼(AID): #1MdJLRKa (puzzle)