卡嗯

程式設計與演算法愛好者 | 平均食量是15個餃子

[Data Structures and Algorithms Papers @AlgorithmPapers]

Near-Optimal Distributed 2-Ruling Sets on Graphs with Low Arboricity

Malte Baumecker, Rustam Latypov, Yannic Maus, Jara Uitto
https://t.co/C1bYsLVFmn [𝚌𝚜.𝙳𝚂 𝚌𝚜.𝙳𝙲]

[卡嗯 @tmt514]

@dearemon De + vu = 既視感

[Thatchaphol Saranurak @eig]

I thought this day would come sometime this year, not today.

Of course, I know that solving problems is not the only thing we theorists do. We also develop good definitions and frameworks: a theory that clarifies things.

Still, the existential crisis feels very real today.

[Anthony Bonato @Anthony_Bonato]

Graph theorists love weird names for things. I get the others, but snarks?

[卡嗯 @tmt514]

今年一整年睡得最舒服的一天，竟然是健檢麻醉的那一小時...醒來整個神清氣爽.................... 超讚

[lucloner @lucloner]

@justone_he 其实区别在于思维定式与发散思维。学校学的主要是如何使用较为经典的思维解题，而且如何尽量避免错误。竞赛比的是如何用尽全部资源解决问题，猜对也算。现实是现在数学就是先要敢想，然后再想办法补全。当然，首先要会走路，知道题目中间的潜规则(假设不变、显而易见、忽略不计)。

[Bear Liu @bearliu]

实时渲染已经进入到这种程度了，太酷炫了！

原文链接和作者详情见评论

[卡嗯 @tmt514]

感覺最近一緊張講話速度就會飛快...

[Thatchaphol Saranurak @eig]

I poured my soul into building this course last fall:

Graph Algorithms via Graph Decomposition

This has been a powerful framework in graph algorithms for over 20 years, but the literature is scattered and technical.

So, I tried to organize part of it into one coherent story.

[卡嗯 @tmt514]

ChatGPT 有手耗嫌...

[상일 @sioum]

4색 정리 새로운 증명이 arXiv에 올라왔습니다.
New proof of the four color theorem
by
Yuta Inoue, Ken-ichi Kawarabayashi, Atsuyuki Miyashita, Bojan Mohar, Carsten Thomassen, Mikkel Thorup
https://t.co/7HoCjl58Oj

[Association for Computing Machinery @TheOfficialACM]

Congratulations to Charles H. Bennett (@IBMResearch) and Gilles Brassard ( @UMontreal) on receiving the 2025 ACM A.M. Turing Award!

🔗: https://t.co/UQ5C1K1kVT

[卡嗯 @tmt514]

@jesselaunz 黑貓侘寂便

[阿橡 @oakvale5]

快速排序算法 和霍尔逻辑的开发者、并发和结构化编程理论的先驱 ，图灵奖得主 Tony Hoare 于3月5日去世，享年92岁。

全文见下一条

[yuto @yuto1115_cp]

ICPC Asia Pacific Championship 優勝しました　三冠

[卡嗯 @tmt514]

今天終於親眼見證了乖乖的力量.........

[Shengyi Wang @txyyss]

昨天看一篇文章在谈公理分析时说早就有人发现了单条的群论公理。我觉得很有意思，就拿 Mathematica 试了一下，真的可以从这一条推出我们教科书上常见的群论的三条公理版本，一个结合律就要 65 步推理。教科书上群论用这三条公理应该还是因为方便人类后续推理写东西，之前积累的数学是人类中心主义的。