Kernekoncepter
편집 거리를 이용한 패턴 매칭 문제의 통신 복잡도를 최적화하는 새로운 인코딩 기법을 제안하고, 이를 활용하여 양자 알고리즘을 개발한다.
Resumé
이 논문은 편집 거리를 이용한 패턴 매칭 문제의 통신 복잡도와 양자 알고리즘을 다룹니다.
- 통신 복잡도:
- 주어진 텍스트 𝑇와 패턴 𝑃, 그리고 임계값 𝑘에 대해, 편집 거리가 𝑘 이하인 𝑃의 모든 출현을 인코딩하는 방법을 제안합니다.
- 이를 위해 𝑘-오류 출현을 포함하는 작은 집합 𝑆를 구성하고, 이를 이용해 그래프 𝐺𝑆를 구축합니다.
- 𝐺𝑆의 연결 요소 수 𝑏𝑐(𝐺𝑆)를 활용하여 𝒪(𝑛/𝑚 · 𝑘log2 𝑚) 비트로 인코딩할 수 있음을 보입니다.
- 또한 각 𝑘-오류 출현에 대한 편집 정보도 𝒪(𝑛/𝑚 · 𝑘log 𝑚log(𝑚|Σ|)) 비트로 인코딩할 수 있습니다.
- 양자 알고리즘:
- 제안한 통신 복잡도 기법을 활용하여 편집 거리를 이용한 패턴 매칭 문제에 대한 양자 알고리즘을 개발합니다.
- 이 알고리즘은 𝒪(𝑛1+𝑜(1)/𝑚 · √𝑘𝑚) 쿼리와 𝒪(𝑛1+𝑜(1)/𝑚 · (√𝑘𝑚 + 𝑘3.5)) 양자 시간 복잡도를 가집니다.
- 또한 적어도 하나의 출현을 찾는 경우, 𝒪(√𝑛1+𝑜(1)/𝑚 · √𝑘𝑚) 쿼리와 𝒪(√𝑛1+𝑜(1)/𝑚 · (√𝑘𝑚 + 𝑘3.5)) 시간 복잡도를 가집니다.
- 이러한 쿼리 복잡도가 최적임을 보이는 하한 bound도 제시합니다.
Statistik
𝒪(𝑛/𝑚 · 𝑘log2 𝑚) 비트로 편집 거리가 𝑘 이하인 모든 𝑃의 출현을 인코딩할 수 있다.
𝒪(𝑛/𝑚 · 𝑘log 𝑚log(𝑚|Σ|)) 비트로 각 𝑘-오류 출현에 대한 편집 정보를 인코딩할 수 있다.
편집 거리를 이용한 패턴 매칭 문제에 대한 양자 알고리즘은 𝒪(𝑛1+𝑜(1)/𝑚 · √𝑘𝑚) 쿼리와 𝒪(𝑛1+𝑜(1)/𝑚 · (√𝑘𝑚 + 𝑘3.5)) 양자 시간 복잡도를 가진다.
적어도 하나의 출현을 찾는 경우, 𝒪(√𝑛1+𝑜(1)/𝑚 · √𝑘𝑚) 쿼리와 𝒪(√𝑛1+𝑜(1)/𝑚 · (√𝑘𝑚 + 𝑘3.5)) 시간 복잡도를 가진다.
Citater
"편집 거리를 이용한 패턴 매칭 문제의 통신 복잡도를 최적화하는 새로운 인코딩 기법을 제안한다."
"제안한 통신 복잡도 기법을 활용하여 편집 거리를 이용한 패턴 매칭 문제에 대한 양자 알고리즘을 개발한다."