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