PiKaChu345 2026-02-24 我倒是希望，这些写短论文的人，能开源一下自己的思路/工具箱。不然就给人一种，”零知识证明"的感觉，即你能验证我写的是对的，但你不知道我怎么想到的。 ♥ 290 ↩ 25
我真的不懂分析 2026-02-25 这个方法里藏着一个二部图的连接矩阵，对于这种家伙，第一反应就是这个二部图上的完美匹配数是连接矩阵的积和式，而对于一些特殊的图，这个积和式可以通过修改连接矩阵中某些矩阵元的正负号将其转化为行列式来计算，这是Kasteleyn在上世纪60年代研究dimer时发现的。Huang的方法也是在修改矩阵元的正负号，虽然策略跟Kasteleyn可能不一样，但是思想应该有一定相通之处。 ♥ 185 ↩ 8
此情可待成追忆___ 2026-02-27 听同学跟我讲过这个结论，苦思冥想许久不会（当时还没学高等内容但我同学说能初等做），被放在清华求真的一个校内测试里某一题的第3问，总共5问，据说有大佬在考场全做出来了[灵魂出窍] 我三观有点崩坏了 ♥ 26 ↩ 5
Comments
我倒是希望，这些写短论文的人，能开源一下自己的思路/工具箱。不然就给人一种，”零知识证明"的感觉，即你能验证我写的是对的，但你不知道我怎么想到的。
♥ 290 ↩ 25
这个方法里藏着一个二部图的连接矩阵，对于这种家伙，第一反应就是这个二部图上的完美匹配数是连接矩阵的积和式，而对于一些特殊的图，这个积和式可以通过修改连接矩阵中某些矩阵元的正负号将其转化为行列式来计算，这是Kasteleyn在上世纪60年代研究dimer时发现的。Huang的方法也是在修改矩阵元的正负号，虽然策略跟Kasteleyn可能不一样，但是思想应该有一定相通之处。
♥ 185 ↩ 8
hedetniemi猜想的反例，也是几页，也是四大，也是图论的猜想[吃瓜]可以讲讲，但是涉及到一些概念可能多一些
♥ 47 ↩ 3
放在线代当课后题都不会有人起疑的程度，这个改变符号的邻接矩阵构造太好了
♥ 39 ↩ 1
前几天课上老师讲了这个证明, 很神奇, 居然只用到一点点线代和图论[笑哭]
♥ 27 ↩ 1
听同学跟我讲过这个结论，苦思冥想许久不会（当时还没学高等内容但我同学说能初等做），被放在清华求真的一个校内测试里某一题的第3问，总共5问，据说有大佬在考场全做出来了[灵魂出窍] 我三观有点崩坏了
♥ 26 ↩ 5
优雅的组合数学[打call]
♥ 20
最近在读一篇文章，发在adv上也是图论的，关于一个critical图的最小数计算问题，主要证明只有不到两页纸[doge]
♥ 15 ↩ 2
刚看a modern approach 那个猜想就证出来了？
♥ 6
好厉害好棒喵qwq，祝大家天天开心喵Ｏ(≧▽≦)Ｏ
♥ 5
[打call]
♥ 3
第二
♥ 3
这么极限？！
♥ 4
好奇下一版的Proofs from THE BOOK是否收录这个证明[吃瓜]。
♥ 2
啊，这个期刊名字[捂眼][捂眼][捂眼]
♥ 1
up、这是不是在说布尔函数的复杂度、不是函数的本身的性质、而是底层超立方体的拓扑结构带来的必然性？
♥ 2
质数规律
♥ 4 ↩ 11