[中學] 問一個組合不等式

看板Math作者 (God of Computer Science)時間9月前 (2023/07/09 00:47), 編輯推噓3(3推 0噓 16→)
留言19則, 4人參與, 9月前最新討論串1/1
如題，想問一個頗有挑戰性的組合學證明。 下面兩條式子可以一路遞推下去，是有規律的。 這個問題是源自於排容原理的推廣版本，原本的版本是問至少滿足一個條件的元素個數算法 ，現在改問至少滿足 m 個條件的元素個數。 https://i.imgur.com/tdqLzKS.jpg
-- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 125.231.142.36 (臺灣) ※ 文章網址: https://www.ptt.cc/bbs/Math/M.1688834862.A.CB6.html
→
07/09 08:48, 9月前 , 1F
所以你想要證明什麼結論？
07/09 08:48, 1F
推
07/09 09:02, 9月前 , 2F
07/09 09:02, 2F
→
07/09 09:13, 9月前 , 3F
對對對！我要的就是樓上的那兩條，請問有書籍可以
07/09 09:13, 3F
→
07/09 09:13, 9月前 , 4F
參考嗎？
07/09 09:13, 4F
→
07/09 09:24, 9月前 , 5F
歐對補充一下，其實我的離散數學課本也有證明，但
07/09 09:24, 5F
→
07/09 09:24, 9月前 , 6F
他是從 exact 推到 at least, 我想反過來從 at lea
07/09 09:24, 6F
→
07/09 09:24, 9月前 , 7F
st 推到 exact (因為就是兩個 at least 相減而已)
07/09 09:24, 7F
→
07/09 09:24, 9月前 , 8F
，目前則是卡在那兩項要怎麼用組合學觀點快速推出
07/09 09:24, 8F
→
07/09 11:23, 9月前 , 9F
回一樓，我想知道藍色字的部份是怎麽推出來的
07/09 11:23, 9F
→
07/09 15:43, 9月前 , 10F
我找到二樓的課本了！Applied Combinatorics By Tuc
07/09 15:43, 10F
推
07/09 19:22, 9月前 , 11F
Applied Combinatorics, Tucker
07/09 19:22, 11F
→
07/10 00:03, 9月前 , 12F
白話來說我想知道我寫的等式推廣到一般化為何是對
07/10 00:03, 12F
→
07/10 00:04, 9月前 , 13F
的，然後推文的課本其實只有證 exact 沒有證 at le
07/10 00:04, 13F
→
07/10 00:04, 9月前 , 14F
ast
07/10 00:04, 14F
→
07/10 11:01, 9月前 , 15F
有人站內信我代數證法了，現在還是很好奇組合證法XD
07/10 11:01, 15F
→
07/10 12:38, 9月前 , 16F
可以分享一下代數證法嗎?謝謝
07/10 12:38, 16F
→
07/10 12:50, 9月前 , 17F
07/10 12:50, 17F
→
07/10 12:50, 9月前 , 18F
07/10 12:50, 18F
推
07/10 13:41, 9月前 , 19F
感謝，太奇妙了
07/10 13:41, 19F
‣ 更多 alan23273850 的文章
文章代碼(AID): #1agPCkos (Math)