Complexity Inside NP A Computational Geometry Perspective
Traditional complexity theory focuses on the dichotomy between P and NP-hard
problems. Lately, it has become increasingly clear that this misses a major part
of the picture. Results by the PI and others offer glimpses on a fasci...
ver más
27-11-2024:
Videojuegos y creaci...
Se abre la línea de ayuda pública: Ayudas para la promoción del sector del videojuego, del pódcast y otras formas de creación digital
27-11-2024:
DGIPYME
En las últimas 48 horas el Organismo DGIPYME ha otorgado 1 concesiones
Descripción del proyecto
Traditional complexity theory focuses on the dichotomy between P and NP-hard
problems. Lately, it has become increasingly clear that this misses a major part
of the picture. Results by the PI and others offer glimpses on a fascinating structure
hiding inside NP: new computational problems that seem to lie between polynomial
and NP-hard have been identified; new conditional lower bounds for problems with
large polynomial running times have been found; long-held beliefs on the difficulty
of problems in P have been overturned. Computational geometry plays a major role
in these developments, providing some of the main questions and concepts.
We propose to explore this fascinating landscape inside NP from the perspective
of computational geometry, guided by three complementary questions:
(A) What can we say about the complexity of search problems derived from
existence theorems in discrete geometry? These problems offer a new
perspective on complexity classes previously studied in algorithmic game
theory (PPAD, PLS, CLS). Preliminary work indicates that they have the
potential to answer long-standing open questions on these classes.
(B) Can we provide meaningful conditional lower bounds on geometric
problems for which we have only algorithms with large polynomial running
time? Prompted by a question raised by the PI and collaborators, such lower
bounds were developed for the Frechet distance. Are similar results possible
for problems not related to distance measures? If so, this could dramatically
extend the traditional theory based on 3SUM-hardness to a much more
diverse and nuanced picture.
(C) Can we find subquadratic decision trees and faster algorithms for
3SUM-hard problems? After recent results by Pettie and Gronlund on
3SUM and by the PI and collaborators on the Frechet distance, we
have the potential to gain new insights on this large class of well-studied
problems and to improve long-standing complexity bounds for them.
Seleccionando "Aceptar todas las cookies" acepta el uso de cookies para ayudarnos a brindarle una mejor experiencia de usuario y para analizar el uso del sitio web. Al hacer clic en "Ajustar tus preferencias" puede elegir qué cookies permitir. Solo las cookies esenciales son necesarias para el correcto funcionamiento de nuestro sitio web y no se pueden rechazar.
Cookie settings
Nuestro sitio web almacena cuatro tipos de cookies. En cualquier momento puede elegir qué cookies acepta y cuáles rechaza. Puede obtener más información sobre qué son las cookies y qué tipos de cookies almacenamos en nuestra Política de cookies.
Son necesarias por razones técnicas. Sin ellas, este sitio web podría no funcionar correctamente.
Son necesarias para una funcionalidad específica en el sitio web. Sin ellos, algunas características pueden estar deshabilitadas.
Nos permite analizar el uso del sitio web y mejorar la experiencia del visitante.
Nos permite personalizar su experiencia y enviarle contenido y ofertas relevantes, en este sitio web y en otros sitios web.