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