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 封面好看的就会买。目前最大的期待是现地水 final、2024 年 10 月的广州上海 LL 系列公演。
动画喜欢看废萌、日常、轻百合、偶像,热番和猎奇番偶尔看,高质量老番慢慢补。逛漫展会去偶像舞台应援。
不宅的时候也很阳光的,hiking 和暴走爱好者,喜欢游历山水,走街串巷,骑行或步行遍历城市,偶尔随机游走,会跑步。
有一位美丽的姑娘一起前进。
正在做的事
- 做 counting 并寻求合作,希望有人带带做 complexity
- 看 Clannad 第1季、摇曳露营第1季、海豹突击队第1季、莲之空、前进吧登山少女第2季、鬼灭第1季
- 争取有时间读 LL Days、美学哲学理论、文学理论
- 教人 python