5. Hash Table
1. 해쉬 구조
- Hash Table: 키(Key)에 데이터(Value)를 저장하는 데이터 구조
- Key를 통해 바로 데이터를 받아올 수 있으므로, 속도가 획기적으로 빨라짐
- 파이썬 딕셔너리(Dictionary) 타입이 해쉬 테이블의 예: Key를 가지고 바로 데이터(Value)를 꺼냄
- 보통 배열로 미리 Hash Table 사이즈만큼 생성 후에 사용 (공간과 탐색 시간을 맞바꾸는 기법; 공간을 늘리면 충돌로 인한 시간 줄일 수 있음)
- 단, 파이썬에서는 해쉬를 별도 구현할 이유가 없다 - 딕셔너리 타입 사용하면 됨
2. 알아둘 용어
- 해쉬(Hash): 임의 값을 고정 길이로 변환하는 것
- 해쉬 테이블(Hash Table): 키 값을 연산에 의해 직접 접근이 가능한 데이터 구조
- 해싱 함수(Hashing Function): Key에 대해 산술 연산을 이용해 데이터 위치를 찾을 수 있는 함수
- 해쉬 값(Hash Value) 또는 해쉬 주소(Hash Address): Key를 해싱 함수로 연산해서 해쉬 값을 알아내고, 이를 기반으로 해쉬 테이블에서 해당 Key에 대한 데이터 위치를 일관성 있게 찾을 수 있음
- 슬롯(Slot): 한 개의 데이터를 저장할 수 있는 공간
- 저정할 데이터에 대해 Key를 추출할 수 있는 별도 함수도 존재할 수 있음
3. 간단한 예
3.1. hash table 만들기
- 참고: 파이썬 list comprehension - https://www.fun-coding.org/PL&OOP5-2.html
1 |
|
1 |
|
3.2. 초간단 해쉬 함수 만들기
1 |
|
3.3. 해쉬 테이블에 저장
- 데이터에 따라 필요시 key 생성 방법 정의가 필요함
1 |
|
1 |
|
3.3.2. 해쉬 테이블에 값 저장 예
- data:value 와 같이 data와 value를 넣으면 해당 data에 대한 key를 찾아서, 해당 key에 대응하는 해쉬주소에 value를 저장
1 |
|
3.4. 해쉬 테이블에서 특정 주소의 데이터를 가져오는 함수
1 |
|
1 |
|
4. 해쉬 테이블의 장단점과 주요 용도
- 장점
- 데이터 저장/읽기 속도가 빠르다 (검색 속도가 빠름)
- 해쉬는 키에 대한 데이터가 있는지 (중복) 확인이 쉬움
- 단점
- 일반적으로 저장공간이 좀 더 많이 필요함
- 여러 키에 해당하는 주소가 동일할 경우 충돌을 해결하기 위한 별도 자료구조 혹은 알고리즘이 필요함
- 주요 용도
- 검색이 많이 필요한 경우
- 저장, 삭제, 읽기가 빈번한 경우
- Cache 구현시 (중복 확인이 쉽기 때문)
5. 프로그래밍 연습
1 |
|
1 |
|
1 |
|
6. 충돌(Collision) 해결 알고리즘 (좋은 해쉬 함수)
6.1. Chaining 기법
- 개방 해싱 또는 Open Hashing 기법 중 하나; 해쉬 테이블 저자공간 외의 공간을 활용하는 기법
- 충돌이 일어나면, Linked list를 사용해서 데이터를 추가로 뒤에 연결시켜 저장
1 |
|
1 |
|
1 |
|
1 |
|
1 |
|
1 |
|
1 |
|
6.2. Linear Probing 기법
- 폐쇄 해싱 또는 Close Hashing 기법 중 하나; 해쉬 테이블 저장공간 안에서 충돌 문제를 해결하는 기법
- 충돌이 일어나면, 해당 hash address의 다음 address부터 맨 처음 나오는 빈 공간에 저장하는 기법
- 저장공간 활용도를 높이기 위한 기법
1 |
|
1 |
|
1 |
|
1 |
|
1 |
|
6.3. 빈번한 충돌을 개선하는 방법
- 해쉬 함수 재정의 및 해쉬 테이블 저장공간 확대
참고: 해쉬 함수와 키 생성 함수
- 파이썬의 hash() 함수는 실행할 때마다, 값이 달라짐
- 유명한 해쉬 함수들; SHA(Secure Hash Algorithm, 안전한 해시 알고리즘)
- 어떤 데이터도 유일한 고정된 크기의 고정값을 리턴해주므로 해쉬 함수로 유용하게 활용 가능
SHA-1
1 |
|
1 |
|
SHA-256
1 |
|
1 |
|
이전 예제의 키 생성 함수를 SHA-256 알고리즘으로 변경
1 |
|
1 |
|
1 |
|
1 |
|
1 |
|
7. 시간 복잡도
- 일반적인 경우 (Collision이 없는 경우)는 O(1)
- 최악의 경우 (Collision이 모두 발생하는 경우) O(n)
해쉬 테이블은 일반적인 경우를 기대하고 만들기 때문에, 시간 복잡도는 O(1) 이라고 말할 수 있음.
Ref: https://fun-coding.org/