증명해야할것들 백준 시계 kmp 알고리즘 문자열 제곱 의 증명 트리에서 지름 = 임의의 정점에서 제일 먼 정점 & 그 정점에서 제일 먼 정점 kmp, 매니커 알고리즘 증명 => pi(i) = p일때 s.length - p길이가 반복된다. 또한 pi(i)*2 > length일경우: a s b라고하면(s공통부분) a == s== b이거나 a는 같은 문자가 반복된다 증명 z알고리즘 증명 구간 쿼리의 재귀식 코드의 증명 크루스칼, 다익스트라 증명 벨만포드, 플로이드 워셜 => 시간복잡도도 유도 이분매칭, 에드몬드 증명 manber myers algorithm
공부해야할것들 네트워크 플로우, 접미사 배열, Z알고리즘(문자열), 아호 코라식, Mo’s algorithm, persistant seg tree, 이분 매칭 알고리즘, MCMF(최대 유량), 고속 푸리에 변환
증명 or 해설: 스위치 배열, 최대 거리, 떨어지는 개미, 홀수와 짝수의 대결?… , a+b, 직사각형, 정사각형 만들기, 이분매칭 증명 3038번완전 이진 트리 애드훅 문제들…
리스트: bfs, dfs 브루트포스, 백트래킹, 그리디, 스택, 큐, 힙, 우큐, 분할 정복, 이분 탐색, 동적 프로그래밍, manber myers algorithm 투포인터, 역추적, 트리, 그래프, 유니온 파인드, MST,(벨만 포드, 다익, 플로이드 워셜, 크루스칼, 프림), 네트워크 플로우(이분매칭, 에드몬드 증명) 비트마스크, KMP알고리즘, 트라이구조, Strongly connected component, segment tree, convex hall, biparate matching, network flow, mcmf(max flux), math(number theory, mod), FFT, Manecher, Z, surfix arr, aho-korazik, lazy propagation, mo’s algorithm, persistant segent tree, schedulling, lowest common ancestor, sparse table, topological sort, sweeping algorithm,