Two Pointer Algorithm (BOJ #2003) with Proof of Correctness
출처 : https://www.acmicpc.net/problem/2003Two Pointer Algorithm의 전형적 케이스 중 하나.사실 그렇게 어려운 것은 아니지만 이게 왜 되는지 100% 이해가 가지 않는 상황에서 증명을 안하고 넘어갈 수는 없었다.How do we know this algorithm takes care of all possible subsequences when it terminates?Again, I used J..
Comp Sci/Problem Solving
2018.02.04 11:35
공지사항
최근에 올라온 글
최근에 달린 댓글
- Total
- 1,009
- Today
- 0
- Yesterday
- 0
링크
TAG
- #Permutations
- surjective
- trail
- #Mutual_Exclusivity
- proof
- Circuit
- relation
- #Mutual_Exhaustivity
- TIP
- image
- #uncontrolled_components
- #state
- Graph
- Induction
- #Combinations
- cycle
- Edmonds
- #BMI
- HTTAA
- degree
- #onChange
- codomain
- #Circular_Permutations
- subgraph
- #props
- #Counting
- #Constructive_Counting
- #controlled_components
- definitions
- Component