요소 고유성 / 차별성 문제에 대한 로그 선형 하한에 대한 몇 가지 증거가 있지만 (대수 계산 트리 또는 적대적 인수에 기초 함) 알고리즘 분석 및 설계의 첫 번째 과정에서 사용할 수있는 간단한 것을 찾고 있습니다. 정렬에 대한 하한과 동일한 "난이도"가 좋습니다. 또한, 모든 접근법 (예를 들어, 조합 또는 정보 이론에 기초한)은 괜찮을 것이다. 어떤 제안?
1
어떤 계산 모델을 염두에두고 있습니까? 항목이 작은 정수이면 정렬하여 을 수행 할 수 있습니다 . 부등식에 대해서만 항목을 비교할 수 있으면 하한 이있는 것 같습니다 . 찾고있는 답변에서 항목이 선형으로 정렬되어 있고 <, =,>와 비교 될 수 있지만 다른 작업은 비교할 수 없다는 것이 올바른가?
—
Warren Schudy
그의 의견에 워렌의 질문은 좋은 전화입니다. 이와 관련하여 David Eppstein의 또 다른 질문 에 대한 의견 은 통찰력이 있으며, 이러한 하한에 대해 이야기 할 때 계산 모델을 지정하는 것이 중요하다는 것을 강조합니다. 그건 그렇고,“대수 계산 트리”(계산 모델)와“적대적 인수”(증거 방법)를 나란히 나열하는 것이 타당한 지 잘 모르겠습니다.
—
Tsuyoshi Ito
아주 좋은 지적입니다. 여기에서의 저의 응용은 감소에 의한 경도 증명에 대해 설명합니다. 예를 들어 고유성에서 분류 (및 기타 여러 문제)로 감소합니다. 따라서 비교 정렬 작업을 할 때와 동일한 기본 작업을 가정합니다 (감소가 작동 함). (또는 실제 숫자를 가진 RAM과 동등한 것으로 생각됩니다.)
—
Magnus Lie Hetland