LBCAD
Lower bounds for combinatorial algorithms and dynamic problems
| Coordinatore | UNIVERZITA KARLOVA V PRAZE
Spiacenti, non ci sono informazioni su questo coordinatore. Contattare Fabio per maggiori infomrazioni, grazie. |
| Nazionalità Coordinatore | Czech Republic [CZ] |
| Totale costo | 900˙200 € |
| EC contributo | 900˙200 € |
| Programma | FP7-IDEAS-ERC
Specific programme: "Ideas" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013) |
| Code Call | ERC-2013-CoG |
| Funding Scheme | ERC-CG |
| Anno di inizio | 2014 |
| Periodo (anno-mese-giorno) | 2014-02-01 - 2019-01-31 |
Partecipanti
| # | ||||
|---|---|---|---|---|
| 1 |
UNIVERZITA KARLOVA V PRAZE
Organization address
address: Ovocny trh 5 contact info |
CZ (PRAHA 1) | hostInstitution | 900˙200.00 |
| 2 |
UNIVERZITA KARLOVA V PRAZE
Organization address
address: Ovocny trh 5 contact info |
CZ (PRAHA 1) | hostInstitution | 900˙200.00 |
Mappa
Word cloud
Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.
Obiettivo del progetto (Objective)
'This project aims to establish the time complexity of algorithms for two classes of problems. The first class consists of problems related to Boolean matrix multiplication and matrix multiplication over various semirings. This class contains problems such as computing transitive closure of a graph and determining the minimum distance between all-pairs of nodes in a graph. Known combinatorial algorithms for these problems run in slightly sub-cubic time. By combinatorial algorithms we mean algorithms that do not rely on the fast matrix multiplication over rings. Our goal is to show that the known combinatorial algorithms for these problems are essentially optimal. This requires designing a model of combinatorial algorithms and proving almost cubic lower bounds in it.
The other class of problems that we will focus on contains dynamic data structure problems such as dynamic graph reachability and related problems. Known algorithms for these problems exhibit trade-off between the query time and the update time, where at least one of them is always polynomial. Our goal is to show that indeed any algorithm for these problems must have update time or query time at least polynomial.
The two classes of problems are closely associated with so called 3SUM problem which serves as a benchmark for uncomputability in sub-quadratic time. Our goal is to deepen and extend the known connections between 3SUM, the other two classes and problems like formula satisfiability (SAT).'