About

个人简介

HKU CS PhD year 2,目前在搞的东西是

  • Weighted First-Order Logic Model Counting / Sampling,及其 parameterized complexity,
  • Uniform Graphlet Sampling (streaming ver.),
  • Markov Equivalent DAG counting / sampling,
  • $\mathsf{\sharp P_1}$ 这个类的 completeness、reduction、open problems.

一些许久没碰的题:

  • Fine-Grained Complexity + Zero-Knowledge Proof,
  • Cooperative Game Theory.

姑且算是有条主线叫 counting / sampling,虽然我更喜欢 complexity / cryptography。

大概从大二起,多重因素影响下(竞赛算法经历、AI 现状、对某学长的个人崇拜),选择了 TCS 的道路。稍微可惜的是选的老板并不是 complexity 背景的,我们方向重合度一般。如果有什么送给后辈的话那一定是,选老板一定不要冲动,不要看见个 PhD 就飞蛾扑火

退役竞赛选手,AF OIer+ACMer,中山大学_无人之境 (SYSU_Unhindered) 45th World Final (Dhaka) 进了但是去不成,46th World Final (Luxor) 并列 26 名。出过些许题,为 OI 和 XCPC 贡献过一点绵薄之力。

LoveLiver,2016 年暑假入坑,恰逢缪退役水兴起之时,大约是个水水人+前四代 dd。二次元三次元手游谷子全方位厨,会看 live,现地过星 3rd、星 4th、AZUNA 1st 和小组甲子园,LL Days 封面好看的就会买。目前最大的期待是现地水 7th、2024 年 10 月的广州 LL 系列公演。

动画喜欢看废萌、日常、轻百合、偶像,热番和猎奇番偶尔看,高质量老番慢慢补。逛漫展会去偶像舞台应援。

不宅的时候也很阳光的,hiking 和暴走爱好者,喜欢游历山水,走街串巷,骑行或步行遍历城市,偶尔随机游走,会跑步。

有一位美丽的姑娘一起前进。

正在做的事

  • 补救被拒的论文,也努力做新题
  • 看 Clannad 第1季、摇曳露营第1季、海豹突击队第1季、赛马娘第2季、莲之空、前进吧登山少女第2季、狂飙、鬼灭第1季、虹四第2季
  • 争取有时间读 LL Days、美学哲学理论、文学理论