전부 해보는 것과 그러지 않는 것 - 이름과 비용: 알고리즘 ep.00

모든 경우를 확인하는 방법이 기준선입니다. 나머지 알고리즘은 그 기준선을 어떤 근거로 줄였는지에 대한 답입니다.

완전탐색을 출발점으로 두고, 탐색 공간을 줄이는 네 가지 근거를 축으로 알고리즘 시리즈의 지도를 그립니다. 그래프 탐색부터 정수론까지 여섯 편의 구성과 서로의 의존 관계를 정리합니다.

전부 해보는 것과 그러지 않는 것 - 이름과 비용: 알고리즘 ep.00 모든 경우를 확인하는 방법이 기준선입니다. 나머지 알고리즘은 그 기준선을 어떤 근거로 줄였는지에 대한 답입니다. 완전탐색을 출발점으로 두고, 탐색 공간을 줄이는 네 가지 근거를 축으로 시리즈의 지도를 그립니다. 그래프 탐색부터 정수론까지 여섯 편의 구성과 서로의 의존 관계를 정리합니다. 가능한 답이 백 개라면 개를 다 확인하면 됩니다. 백만 그럴 수 없습니다. 완전탐색은 실패한 아닙니다 나열해서 방법을 완전탐색(brute force) 이라고 합니다. 흔히 마지막 수단처럼 취급되지만, 실제로는 두 이유에서 그렇습니다. 정확합니다. 봤으니 답을 놓칠 그리고 문제를 정의하는 일이기도 무엇이 경우이고 조건인지 나열해봐야 문제의 구조가 드러납니다. 자료구조 시리즈 ep.01 크기가 접근법을 정한다에서 본 대응표는 여기서도 그대로 쓰입니다. 경우의 수를 계산하면 완전탐색이 통과할지 아닐지 바로 나옵니다. 원소 20개의 부분집합은 2²⁰, 약 개라 통과하고, 40개면 2⁴⁰, 1조 통과하지 못합니다. 통과하면 씁니다. 더 영리한 찾을 이유가 실무에서도 쓰는 경우가 있습니다. 화면의 권한 조합이 스무 이하라면 조합을 실제로 그려 테스트를 돌릴 있고, 설정 값의 가짓수가 적으면 넣어보는 편이 규칙을 따로 만드는 것보다 안전합니다. 못하면 무엇을 안 봐도 되는지 물어야 근거는 가지입니다 줄이려면 근거가 필요합니다. 근거 없이 줄이면 놓칩니다. 시리즈에서 다루는 방법들은 이 기준으로 묶었습니다. 구조를 이용합니다. 데이터에 연결 관계가 있으면 아무 순서로나 훑을 이어진 것만 따라가면 탐색이 여기 속합니다. 단조성을 정렬했을 때 한 방향으로만 조건이 바뀐다면, 절반을 확인하지 않고 버릴 이분탐색과 투 포인터가 움직입니다. 국소 최적이 전체 되는 조건을 매번 눈앞에서 가장 좋은 선택을 했을 그것이 문제가 여기서 그리디가 성립합니다. 계산 결과를 재사용합니다. 같은 부분 여러 번 나온다면 번만 계산하고 기억해둡니다. 동적 계획법입니다. 만납니다. 파일 시스템을 훑거나 패키지 의존성을 따라갈 때는 이용하고, 정렬된 로그에서 특정 시각을 남은 작업을 짧은 것부터 배치하는 스케줄러는 최적을, 요청의 응답을 캐시하는 서버는 재사용을 2부인 시리즈는 편을 제외하고 편입니다. 그래프로 바꿔 보기: 탐색을 알아봅니다. 보는 먼저 잡고, 깊이 우선과 너비 우선이 어떻게 다른 질문에 답하는지 봅니다. 격자를 읽는 방법도 다룹니다. ep.02 근거: 이분탐색의 전제인 단조성, 답 자체를 이분탐색하는 파라메트릭 서치, 포인터, 백트래킹의 가지치기, 비트마스킹을 하나의 관점으로 묶습니다. ep.03 언제 욕심내고 기억하는가: 그리디와 계획법을 방법의 경계에 있는지, 깨지는 신호를 알아채는지가 중심입니다. ep.04 가중치와 순서와 연결성: 심화를 간선에 가중치가 붙거나, 순서 제약이 있거나, 여부만 알면 상황에서 각각 도구를 쓰는지 ep.05 문자열 안에서 패턴 찾기: 매칭을 이중 반복문보다 빠를 있는 이유를 KMP의 실패 함수로 설명하고, 접두사를 공유하는 트라이까지 ep.06 정수를 도구들: 최대공약수와 소수 판별, 모듈러 연산처럼 문제 안에 조용히 섞여 들어오는 계산들을 모았습니다. 신호에서 접근 방법으로 이어지는 선택 트리 다이어그램. 맨 위 시작 노드는 셀 있는가라는 질문임. 첫 분기는 통과하는가로, 예 방향은 완전탐색 쓰기로 종결됨. 아니오 아래로 이어져 갈래로 나뉨. 첫째 갈래는 사이에 있는가에서 탐색으로, 둘째 정렬하면 방향으로 바뀌는가에서 포인터로, 셋째 매 순간 최선의 선택이 최선인가에서 그리디로, 넷째 반복되는가에서 계획법으로 연결됨. 각 도착 노드 아래에 해당하는 편 번호가 ep.01부터 ep.03까지 라벨로 붙어 있음. 오른쪽에는 전용과 정수 전용이라는 별도 분기가 세로로 배치되어 ep.05와 ep.06으로 다이어그램 제목은 「먼저 세고, 되면 그때 이름을 찾습니다」, 부제는 「위에서 내려오며 처음 걸리는 따릅니다」임. 쓰기 노드에는 「더 빠른 없습니다」, 계획법 「겹치는 + 최적 구조」라는 주석이 오른쪽 분기의 머리글은 「위 갈래와 무관하게, 대상이 정해져 있을 때」이며, 찾는 문제인가에서 매칭과 접미사 구조로, 정수의 성질을 소수·약수·모듈러로 이어짐. 편은 독립된 질문 하나에 답합니다. 순서대로 읽지 않아도 괜찮습니다. | 선행 강도 |---|---|---| 권장 필수 없음 독립 ep.04만 표현과 전제로 하므로 ep.01을 낫습니다. 우선순위 큐를 부분은 트리의 모양이 성능을 만든다에 구현이 ep.06은 열어도 참고 자료 Cormen, T. H., Leiserson, C. E., Rivest, R. L., & Stein, (2009). Introduction to Algorithms (3rd ed.). MIT Press. Kleinberg, J., Tardos, É. (2005). Algorithm Design. Addison-Wesley. 목차 이미 쓰고 것들의 이름 정한다 배열과 해시의 진짜 비용 내장 정렬이 보장하는 만든다 구간을 반복해 묻는다면 보기 기억하는가 연결성 찾기 도구들 다음 예고 그래프는 특수한 자료구조가 아니고, 데이터가 그래프입니다. 시각으로 다시 법과, 서로 답한다는 사실을 해보 않 경우 확인하 방법 기준선 줄였는지 출발점 공간 줄이 축 지도 정수론 구성 관계 개 수단 이유 정의하 일이기 무엇 구조 크기 접근법 대응표 그대 바 20개 부분집합 찾 실무에서 쓰 화면 조합 실제 테스트 값 가짓수 넣어보 규칙 따 만드 봐 없 다루 방법들 기준 데이터 순서로 훑 단조성 정렬했 조건 절반 이분탐색 포인터 되 눈앞 좋 했 그것 그리디 결과 같 시스템 훑거 의존성 로그 시각 남 작업 짧 배치하 스케줄러 요청 응답 캐시하 서버 재사용 보 깊 우선 격자 읽 자체 이분탐색하 백트래킹 비트마스킹 하나 관점 경계 깨지 신호 알아채는지 가중치 심화 간선 제약 여부 상황 도구 매칭 빠 있 KMP 함수 접두사 공유하 트라이 최대공약수 연산 들어오 계산들 이어지 있는가라 분기 방향 아래 갈래 사이 있는가 바뀌는가 최선 최선인가 반복되는가 해당하 번호 라벨 오른쪽에 전용 전용이라 별 세로 제목 부제 걸리 노드에 「겹치 구조」라 주석 머리글 대상 문제인가 성질 소수·약수·모듈러 순서대 않아 강 표현 전제 하므 큐 모양 성능 구현 열어 것들 배열 해시 정렬 보장하 구간 기억하는 서 답한다 사실

pielog 파이로그