alt sınırını kanıtlamaktan kaynaklanan azaltma sorunları


12

alt sınırlarını kanıtlamaktan düşürebileceğimiz standart problemler nelerdir ?Ω(ngünlükn)

Tabii ki, sıralama ve eleman farklılığı dışındaki durum sorunları.


9
Hangi hesaplama modelinde?
Mehdi Cheraghchi

İyi bir nokta. Karşılaştırmaya dayalı modeli kastediyorum.
Vinayak Pathak

Yanıtlar:


18

Ben-Or , cebirsel hesaplama ağacı modelindeki bazı temel problemler için alt sınırlarını doğrudan kanıtladı :Ω(ngünlükn)

  • n
  • n
  • n
  • n
  • Set içerme: İki gerçek sayı kümesi verildiğinde, biri diğerinin alt kümesi midir?
  • [n]

İlk üçü, hesaplama geometrisinde en sık kullanılanlardır.


3
alakasız bir kenara: ilk üçü iletişim-karmaşıklık tabanlı akış algoritması alt sınırları için kanonik zor problemlerdir.
Suresh Venkat

@SureshVenkat - Akışta düşük sınırları kanıtlamak için set ayrılığı ve set eşitliğinin kullanıldığını gördüm. Eleman farklılığına bir örnek var mı?
Vinayak Pathak

1
W-stream modeli altındaki algoritmaların analizinde gördüğüm en az bir yer. Genel olarak ED, bit-vektör (veya set) ayrılığı ile yakından ilişkilidir
Suresh Venkat
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.