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,011
- Today
- 0
- Yesterday
- 0
링크
TAG
- TIP
- Component
- #BMI
- #Counting
- definitions
- relation
- Circuit
- Induction
- trail
- surjective
- Edmonds
- #Constructive_Counting
- image
- codomain
- #state
- #Mutual_Exhaustivity
- #onChange
- #Permutations
- proof
- #props
- #controlled_components
- #Mutual_Exclusivity
- #uncontrolled_components
- Graph
- #Combinations
- subgraph
- degree
- #Circular_Permutations
- HTTAA
- cycle