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