하한 을 증명하기 위해 감소시키는 문제


답변:


18

Ben-Or 은 대수 계산 트리 모델에서 몇 가지 근본적인 문제에 대해 하한을 직접 입증했습니다 .Ω(nlogn)

  • 요소 구분 : 실수 배열이 주어지면 요소가 고유합니까?n
  • 불연속성 설정 : 두 개의 실수가 주어지면 공통된 요소가 있습니까?n
  • 동등 설정 : 두 개의 실수가 주어지면 한 배열은 다른 배열의 순열입니까?n
  • 측정 문제 : 실제 구간이 개이면 노동 조합의 총 길이는 얼마입니까?n
  • 포함 포함 : 두 세트의 실수가 주어지면 하나는 다른 것의 부분 집합입니까?
  • [n]

처음 3 개는 계산 기하학에서 가장 자주 사용되는 것입니다.


3
관련이없는 것 : 처음 3 개는 또한 통신 복잡성 기반 스트림 알고리즘 하한에 대한 표준적인 어려운 문제입니다.
Suresh Venkat

@SureshVenkat-스트리밍의 하한값을 입증하는 데 세트 분리 및 동등성을 사용하는 것을 보았습니다. 요소 구별에 대한 예가 있습니까?
Vinayak Pathak

1
내가 본 곳 중 적어도 하나는 W- 스트림 모델에서 알고리즘 분석에있었습니다. 일반적으로, ED는 비트 벡터 (또는 세트) 분리와 밀접한 관련이 있습니다
Suresh Venkat
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.