지금까지 정보글 두개 [암호란?어려운문제]랑 [암호란?암호의안전성]에 관해서 글을 두개 쌌는데

님들이 어떤 글을 좋아하는지 약간 고민이 됨. 첫 글을 둘째글보다 좋아하는거같아서 직관적이고 적당히 짧은글을 좋아하는거같기도 하고




지금 아래와 같은 주제로 글을 쓸지말지 고민중임.

1. (썰) 왜 P가 NP가 아니라고 믿는가?

2. (썰/formal) 왜 P가 NP가 아니라는것을 증명하기 어려운가?

3. (썰) 암호와 P vs NP의 관계: impagliazzo의 5가지 세계

4. (formal) 암호란 무엇인가? 암호학의 기본 도구들: (Trapdoor) one-way functions, pseudorandom generators, etc.

5. (썰) 구글이 증명했다고 주장하는 양자컴퓨터의 quantum supremacy란? (complexity theory의 관점에서)

6. (formal?) 확률론적 알고리즘 =? 결정론적 알고리즘: 암호학과의 관계

7. (formal?) 양자컴퓨터와 고전컴퓨터의 커뮤니케이션: 양자계산의 고전적 증명

8. (잘해야 썰) MIP*=RE, Connes conjecture, 양자증명




이거 말고도 아무 궁금한 주제나 글의 형식에 관한 취향같은거 말해주면 반영해봄.

지금까지는 formal하게 하려고 했는데, 썰을 좋아하는거같아서 실제 이론적 배경보다 썰 위주로 풀거같기도 하고..

혹시 formal한거 좋아하는사람 여럿 있으면 그래도 그런거 포함하려고 해볼게.