CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
This project explores the relationship between probabilistically checkable proofs and high-dimensional expansion. It aims to investigate how these concepts can address significant open questions in computational complexity, particularly in approximation and optimization problems.
PCPs capture a striking local to global phenomenon in which a global object such as an NP witness can be checked using local constraints, and its correctness is guaranteed even if only a fraction of the constraints are satisfied. PCPs are tightly related to hardness of approximation.
The relation is essentially due to the fact that exact optimization problems can be reduced to their approximation counterparts through this local to global connection.We view this local to global connection is a ty…
WEIZMANN INSTITUTE OF SCIENCE
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
Guests see up to 5 keywords.
