Efficient approximation algorithms and circuit complexity

Provider
Czech Science Foundation
Programme
Grant projects of excellence in basic research EXPRO
Call for proposals
Grantové projekty excelence v základním výzkumu EXPRO (SGA0201900004)
Main participants
Univerzita Karlova / Matematicko-fyzikální fakulta
Contest type
VS - Public tender
Contract ID
19-27871X

Project name in Czech
Efektivní aproximační algoritmy a obvodová složitost
Annotation in Czech
Tento projekt bude studovat roli aproximace v oblasti jemné složitosti a parametrizované složitosti a zároveň vytvoří důkladné základy těchto oblastí nalezením důkazových technik schopných dokázat pravdivost klíčových předpokladů používaných v těchto oblastech. Studium se soustředí na několik klíčových problémů: editační vzdálenost, celočíselné programování, splnitelnost a jejich aproximační a parametrizované algoritmy. Cílem je nalezení nejlepších možných algoritmů pro tyto a další problémy. Též se zaměříme na několik důkazových metod pro dolní odhady.

R&D category
ZV - Basic research
OECD FORD - main branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
OECD FORD - secondary branch
—
OECD FORD - another secondary branch
—
CEP - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
AF - Documentation, librarianship, work with information<br>BC - Theory and management systems<br>BD - Information theory<br>IN - Informatics

Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP24-GA0-GX-R
Data delivery date
Feb 19, 2024

Similar projects(10)