9. 7

• <New Language>를 코딩했다. 2SAT을 겉핥기로 알고 있었던 나는 이 문제에서 탈탈 털렸다. 2SAT을 풀면 답이 나와야할텐데, 조건에 맞는 답을 구성하는 정확한 알고리즘이 전혀 떠오르지 않던 것-_-;; 그냥 greedy로 선택하면 되는데, 이걸 정확하게 구현하는 게 섬세한 코딩을 요했다. 이런건 경험에서 나오는 건가보다ㅠ_ㅠ
• CF #318 D. <Bear and Cavalry>를 대회 시간 안에 코딩한 사람들에 대해선 그저 경외감밖에 들지 않는다.. 어떻게 (1) 최적 matching이 각각에 [i-2, i+2]에서 일어난다는 걸 증명하고 (2) 이에 맞는 적절한 segment tree구현을 해내는 일이 1시간 안에 일어날 수 있단 말인가-_- 지금 난 모든 재료들을 가지고 있어도 정확한 코딩을 위해 몇시간을 고민하는데..