Kensuke Hinata (@cpy4ever) 's Twitter Profile
Kensuke Hinata

@cpy4ever

competitive programming/CTF/PLT

ID: 905805980

linkhttps://github.com/Kensuke-Hinata calendar_today26-10-2012 11:28:59

240 Tweet

379 Takipçi

2,2K Takip Edilen

Kensuke Hinata (@cpy4ever) 's Twitter Profile Photo

有个数论算法,觉得应该是对的,但又证明不了,也举不出来反例,有点难受,要是能形式化就好了。

Kensuke Hinata (@cpy4ever) 's Twitter Profile Photo

前阵子几个人一起出NOIP提高组的题目,4个题目才500块钱,结果人家说难度不够(NOIP 2015, JOI open 2019, Facebook Hacker Cup 2021 round 2B),我在想现在这样会不会被白嫖。

Kensuke Hinata (@cpy4ever) 's Twitter Profile Photo

有人问我520是什么意思?我笑了 5是Impagliazzo的5个世界:Algorithmica、Heuristica、Pessiland、Minicrypt和Cryptomania 2是MIP*=RE:2个有量子纠缠的上帝可以向多项式时间检验者证明停机问题的解 0是0知识证明:可以在向检验者证明NP问题有解的情况下不泄露任何解的信息 ​ ​(Forward from EI)