Dissertation/ Thesis
Refuters for algorithms with known lower bounds
| Title: | Refuters for algorithms with known lower bounds |
|---|---|
| Authors: | Moreno Peñarrubia, Félix |
| Contributors: | Atserias, Albert, Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
| Source: | UPCommons. Portal del coneixement obert de la UPC Universitat Politècnica de Catalunya (UPC) |
| Publisher Information: | Universitat Politècnica de Catalunya, 2024. |
| Publication Year: | 2024 |
| Subject Terms: | Computational complexity, Classificació AMS::68 Computer science, Àrees temàtiques de la UPC::Matemàtiques i estadística, Computational Complexity, Algorismes, Complexitat computacional, Algorithms |
| Description: | Proving lower bounds for algorithms on general models of computation is a central yet largely unfulfilled goal in the field of computational complexity. However, for some restricted models of computation strong lower bounds are known. A lower bound for a problem is said to be constructive if there is an efficient algorithm, known as a refuter, that produces inputs on which the algorithm fails. Recent results indicate that constructive lower bounds for restricted models are as difficult to obtain as some lower bounds for general models. The goal of this work is to explore the state of the art of the construction of refuters for problems with known lower bounds. |
| Document Type: | Master thesis |
| File Description: | application/pdf |
| Language: | English |
| Access URL: | https://hdl.handle.net/2117/415752 |
| Rights: | CC BY NC ND |
| Accession Number: | edsair.dedup.wf.002..c6a91abdc6d4c996890b9d568c7171c0 |
| Database: | OpenAIRE |
| Description not available. |