Vấn đề để giảm từ để chứng minh một

Những vấn đề tiêu chuẩn chúng ta có thể giảm từ để chứng minh là gì giới hạn thấp hơn? $\Omega(n\log n)$

Tất nhiên, các vấn đề nhà nước ngoài việc phân loại và phân biệt thành phần.

cc.complexity-theory lower-bounds

— Vinayak Pathak
nguồn

Trong mô hình tính toán nào?

— MCH

Điểm tốt. Tôi có nghĩa là mô hình dựa trên so sánh.

— Vinayak Pathak

$\Omega(n\log n)$

$n$
$n$
$n$
$n$
Đặt bao gồm: Cho hai bộ số thực, một tập hợp con có phải là tập con của số kia không?
$[n]$

Ba cái đầu tiên là những cái thường được sử dụng nhất trong hình học tính toán.

— Jeffε
nguồn

không liên quan sang một bên: ba vấn đề đầu tiên cũng là các vấn đề khó khăn chính tắc cho giới hạn truyền thông dựa trên độ phức tạp của thuật toán truyền thông.

— Suresh Venkat

@SureshVenkat - Tôi đã thấy thiết lập sự khác biệt và thiết lập sự bình đẳng đang được sử dụng để chứng minh giới hạn thấp hơn trong phát trực tuyến. Bạn có một ví dụ cho sự khác biệt yếu tố?

— Vinayak Pathak

Ít nhất một nơi tôi thấy nó là trong phân tích các thuật toán theo mô hình W-stream. Nói chung, ED có liên quan chặt chẽ đến sự phân biệt bit-vector (hoặc tập hợp)

— Suresh Venkat