시놀로지 DSM7 DFS KOI 정렬 문자열 다익스트라 Proxmox USACO BOJ 자료구조 그리디 파라메트릭 kmp 수학 알고리즘 DP 그래프 BFS 구현 비트마스킹 백준 유니온파인드 스위핑 lis 한국정보올림피아드 서버 브루트포스 브루트포싱 이분탐색