태그 강결합 그래프 Longest Increasing Subsequence 가장 긴 증가하는 부분 수열 LIS Tarjan's algorithm Kosaraju's algorithm 방향성 그래프 P-NP 문제 이분 그래프 계산이론 사이클 SCC