부분 선형 공간에서 거리 편집


19

입력 크기의 하위 선형 작업 공간을 사용하여 동일한 길이의 두 문자열 사이의 정확한 편집 거리를 계산하는 데 가장 잘 알려진 복잡성은 무엇입니까? 입력이 일부 읽기 전용 형식으로 저장되어 있다고 가정합니다. 이것은 이전에 연구 된 문제입니까?

질문을 좀 더 구체적으로 만들려면 공백. 여기서n은 각 입력 문자열의 길이입니다.Θ()


편집하다. David Eppstein의 대답에 따르면, 다항식 시간과 공간 에서 편집 거리를 찾을 수 있는지 여부는 좋은 질문입니다 . 하한도 흥미로울 것입니다.Θ()


1
편집에 관하여 : 나는 당신이 무언가를 오해하고 있다고 생각합니다. David Eppstein의 답변에 따르면 문제는 NL에서 해결할 수 있으므로 P에서도 가능합니다.
Emil Jeřábek은 Monica를 지원합니다. Monica

1
... 실제로, 원래의 Wagner–Fischer 알고리즘은 이미 그렇게합니다.
Emil Jeřábek은 Monica

3
편집 된 버전은 서브 선형 공간과 다항식 시간 모두 인 알고리즘을 요구하기위한 것으로 가정합니다.
David Eppstein

@DavidEppstein 그렇습니다. 설명을 위해 다시 편집했습니다.
felix

BTW, 미드 매치 / 삭제 / 삽입 당 1의 표준 가격 책정 모델을 가정하고 편집 거리가 l 인 경우 편집 거리 matric에서 가장 짧은 경로를 실현하는 경로는 기본 대각선에서 최대 l 거리에 있습니다. 편집 거리는 O (l) 공간을 사용하여 계산됩니다. 따라서 sqrt (n) 공간을 사용하면 편집 거리가 작은 경우 (즉, sqrt (n)보다 작은 경우) 편집 거리를 계산할 수 있습니다. 이것이 어려워 보이는 것이 큰 경우에만 해당됩니다. 물론,이 경우에, 당신은 덜 걱정해야합니다.
Sariel Har-Peled

답변:


16

영형(로그2)영형(로그)

http://arxiv.org/abs/1106.4412 에 편집 거리에 대한 공간 하한이 있지만 문제의 버전과 일치하지 않는다고 생각합니다.


찾은 경로가 최적인지 어떻게 확인합니까?
Lembik

1
경로를 찾을 수있는 가장 작은 거리에 대한 이진 검색 또는 순차적 검색, 즉 결정 및 검색 문제의 표준 동등성을 넘어서는 것은 없습니다. 이것은 시공간의 형태에 영향을 미치지 않습니다.
David Eppstein 2

@David 나는 당신이 맞다고 생각하므로 답변을 삭제했습니다.
SamiD

2
로그 공간에서도 계산할 수 있습니까?
Lembik
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.