JT's

출처 : https://www.acmicpc.net/problem/2003 Two Pointer Algorithm의 전형적 케이스 중 하나. 사실 그렇게 어려운 것은 아니지만 이게 왜 되는지 100% 이해가 가지 않는 상황에서 증명을 안하고 넘어갈 수는 없었다. How do we know this algorithm takes care of all possible subsequences when it terminates? Again, I used Jeff Edmonds Loop Invariants Technique of Proving to demonstrate the algorithm's correctness. 백준 소스보다 좀 더 concise한 코드도 작성 할 수 있었다. 우선 문제의 Specifica..