Enumeration in informatics and optimization
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 17 (SGA0201300005)
Main participants
Univerzita Karlova / Matematicko-fyzikální fakulta
Contest type
VS - Public tender
Contract ID
13-21988S
Alternative language
Project name in Czech
Enumerace v informatice a optimalizaci
Annotation in Czech
Cílem projektu je pokrok v informatice a optimalizaci pomocí enumerací. Projekt má 3 části. Nejprve chceme studovat dolní odhady složitosti. Chceme se pokusit najít souvislost mezi determinatskou složitostí a aditivní determinatskou složitostí Isingovy partiční funkce, kde byl nedávno dokázán exponenciální dolní odhad. Za druhé chceme porozumēt složitosti problému grafového izomorfismu studiem hypotézy že neizomorfní chordální grafy jsou rozlišitelné partiční funkcí Pottsova modelu v mēnícím se magnetickém poli. Tato funkce je ekvivalentni dekoraci Tuttova polynomu a problém grafového izomorfismus je postačující charakterizovat pro chordální grafy. Nakonec chceme studovat klasické i kvantové počítání Isingova problému.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
IN - Informatics
CEP - secondary branch
—
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
The project has brought new results in several areas of the project. The investigator presented the benefits of his results, the most significant benefits appeared in three main publications. The investigator did not address some originally proposed research goals (e.g., quantum computing) without explanation. Quality of the publications is rather average.
Solution timeline
Realization period - beginning
Feb 1, 2013
Realization period - end
Apr 25, 2019
Project status
U - Finished project
Latest support payment
Apr 11, 2017
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP20-GA0-GA-U/01:1
Data delivery date
Jul 2, 2020
Finance
Total approved costs
2,577 thou. CZK
Public financial support
2,577 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK