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


답변:


18

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

  • 요소 구분 : 실수 배열이 주어지면 요소가 고유합니까?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.