作者darkseer ( )
看板IMO_Taiwan
标题[问题] 滥用看板2
时间Mon Aug 27 07:40:10 2018
我又要来滥用看板啦！
在表现理论(representation theory)的研究里，我们知道组合常常有深刻的应用。
对於一个正整数n，我们考虑n的所有partitions，
例如n=4时，我们把它们记为(1111), (211), (22), (31), (4)
现在我有一个吃partition吐出正整数的未知函数，不知道为什麽它是well-defined，
但偏偏好像是。用电脑跑例子出来它的值是：
f(1)=1,
f(11)=1, f(2)=2,
f(111)=1, f(21)=3, f(3)=3,
f(1111)=1, f(211)=4, f(22)=2, f(31)=4, f(4)=4,
f(11111)=1, f(2111)=5, f(221)=5, f(311)=5, f(32)=5, f(41)=5, f(5)=5
f(111111)=1, f(21111)=6, f(2211)=9, f(222)=2, f(3111)=6, f(321)=12,
f(33)=3, f(411)=6, f(42)=6, f(51)=6, f(6)=6
f(1111111)=1, f(211111)=7, f(22111)=14, f(2221)=7, f(31111)=7, f(3211)=21,
f(322)=7, f(331)=7, f(4111)=7, f(421)=14, f(43)=7, f(511)=7, f(52)=7
f(61)=7, f(7)=7,
f(11111111)=1, f(2111111)=8, f(221111)=20, f(22211)=16, f(2222)=2,
f(311111)=8, f(32111)=32, f(3221)=24, f(3311)=12, f(332)=8, f(41111)=8,
f(4211)=24, f(422)=8, f(431)=16, f(44)=4, f(5111)=8, f(521)=16, f(53)=8,
f(611)=8, f(62)=8, f(71)=8, f(8)=8
所以这个函数究竟是什麽啊啊啊啊啊!!!??
教我这个函数是什麽的人，他的名字可能有5%机率出现在某个猜想上吧XD
----
喔耶我知道了，提示(按\开灯看)：
(1)把奇数长和偶数长的给异号，例如f(111)=1, f(21)=-3, f(3)=3。
(2)看成S_n的rep'ns
结果在组合书(MacDonald, Symmetric functions and Hall Polynomials
第二版，习题2.20)
里的习题(一题一题看XD)找到了很短的closed formula! 隔一页防雷再开灯看好了，
看到之後，觉得怎麽就没想到呢...
closed formula:
l(u)=u的长度，例如l(522)=3, u_i表示每个相同数字的部分，例如
u=522就有u_1=5, u_2=22，则f(u)=n*(l(u)-1)!/\prod l(u_i)!
例如f(544432211)=26*8!/3!*2!*2!
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 24.5.70.218
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/IMO_Taiwan/M.1535326812.A.F18.html
1F：→ darkseer: 唔，我觉得我知道了，虽然是从表示论的地方猜到的 08/27 15:43
2F：推 Dawsen: 为什麽f(22) 不是4？ 08/27 22:35
3F：→ darkseer: 就很奇怪XD 我其实还不知道他的closed formula， 08/27 23:33
4F：→ darkseer: 但我知道他的定义和表示论意义了(which is what I need) 08/27 23:33
5F：→ darkseer: 加个提示好了(开灯看) 08/27 23:34
※ 编辑: darkseer (24.5.70.218), 08/27/2018 23:36:48
6F：推 yclinpa: 与 {1,2,...,n} 的非空子集有关吗？ 08/28 09:07
7F：→ darkseer: To楼上：如果有的话我还不知道 08/28 15:26
8F：→ yclinpa: 横排加起来等於 2^n - 1 , 就猜猜看 08/28 16:12
9F：→ darkseer: 强耶!! 我没有发现，我要想一下这是为什麽... 08/28 17:25
10F：→ darkseer: 想不出来，明天再想。也许楼上大大制造了新的组合猜想XD 08/28 17:36
11F：→ darkseer: 找到了closed formula，但还不知道为什麽加起来2^n-1 :O 08/30 04:57
※ 编辑: darkseer (24.5.70.218), 08/30/2018 05:00:53
12F：推 parity: 我是潜水版友，提示(2)和(1)搭配还是看不懂。可以私下提 09/03 00:17
13F：→ parity: 示吗 XD 09/03 00:17
14F：→ darkseer: 我错了，反应慢QQ 其实那个需要的群论/表示论有点多 09/03 01:17
15F：→ darkseer: 不如直接看最後一页的公式，然後想yclinpa的组合对应XD 09/03 01:18
16F：→ darkseer: 就是加起来是2^n-1那个 有个组合对应的证明挺有趣 09/03 01:18
17F：推 parity: 喔喔，好的感谢。 09/03 12:13