ETH gibi bir engel


10

Alttan biliyoruz Çözemediğimiz içinde -sum , herhangi bir fonksiyon altında zaman (genellikle ).ET'HKf(K)pÖly(nK)f(K)2Ö(K)

karmaşıklığını engelleyen herhangi bir varsayım var mı (bu, gibi tamamen alt küme toplamı için üstel zamana ihtiyacımız olan olasılıkla tutarlıdır ) veya böyle bir olasılığa izin veriliyor mu?(günlükn)Ö(K)K=Ω(n)

Yanıtlar:


16

ETH'nin kendisi bu olasılığı engelliyor.

Gelen https://people.csail.mit.edu/rrw/cnf-sat-feasible.pdf herhangi gösterir nÖ(1)nk/α(k) herhangi bir monoton için K-SUM zaman algoritması, sınırsız azalmayan α fonksiyonu , ETH'nin yanlış olduğunu ima eder.


3
α

Ö((günlükn)Ö(k))

"Sınırsız" :) eklendi
Ryan Williams

@Brout (log (n)) ^ k'nin bir FPT işlevi olduğunu unutmayın, bu yüzden evet, ETH bunu dışarıda bırakır. Poli boyut tavsiyesi ile bu 3sat için subonansiyel boyut devreleri anlamına gelir. Bir PPAD kehanet sayesinde ETH bir atılım olacağını Bana göre değil P. PPAD ima ima görünüyor, ben PPAD P olmadığını çok aleyhine bir delil bulamıyoruz
Ryan Williams
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.