Hardness magnification near state-of-the-art lower bounds
This work continues the development of hardness magnification. The latter proposes a new strategy for showing strong complexity lower bounds by reducing them to a refined analysis of weaker models, where combinatorial techniques might be successful. We consider gap versions of the meta-computational...
Үндсэн зохиолчид: | Oliveira, I, Pich, J, Santhanam, R |
---|---|
Формат: | Conference item |
Хэвлэсэн: |
Schloss Dagstuhl
2019
|
Ижил төстэй зүйлс
Ижил төстэй зүйлс
-
Hardness magnification near state-of-the-art lower bounds
-н: Oliveira, IC, зэрэг
Хэвлэсэн: (2021) -
Why are proof complexity lower bounds hard?
-н: Pich, J, зэрэг
Хэвлэсэн: (2020) -
Beyond natural proofs: Hardness magnification and locality
-н: Chen, L, зэрэг
Хэвлэсэн: (2020) -
Hardness magnification for natural problems
-н: Santhanam, R, зэрэг
Хэвлэсэн: (2018) -
Beyond natural proofs: hardness magnification and locality
-н: Chen, Lijie, зэрэг
Хэвлэсэн: (2022)