Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Složitost výpočtů, komunikace, a vyhledávání

Veřejná podpora

  • Poskytovatel

    Grantová agentura České republiky

  • Program

    Standardní projekty

  • Veřejná soutěž

    SGA0202500001

  • Hlavní účastníci

    Matematický ústav AV ČR, v. v. i.

  • Druh soutěže

    VS - Veřejná soutěž

  • Číslo smlouvy

    25-16311S

Alternativní jazyk

  • Název projektu anglicky

    Complexity of computation, communication, and search

  • Anotace anglicky

    The goal of computational complexity is to find the dividing line between easy, efficiently solvable, tasks and the hard ones. Depending on the nature of the computational task and resources used, this question leads to mathematical problems of varying degrees of difficulty. We will focus on complexity of communication, total search problems, and arithmetic circuit complexity. These areas form a web of interconnected open problems whose solution requires developing new proof methods, and also invites the use of methods from other branches of mathematics, such as combinatorics, graph theory, algebra, or geometry. The problems have related goals, share similar obstacles, and a progress in one will advance the others.

Vědní obory

  • Kategorie VaV

    ZV - Základní výzkum

  • OECD FORD - hlavní obor

    10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • OECD FORD - vedlejší obor

  • OECD FORD - další vedlejší obor

  • CEP - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

    AF - Dokumentace, knihovnictví, práce s informacemi<br>BC - Teorie a systémy řízení<br>BD - Teorie informace<br>IN - Informatika

Termíny řešení

  • Zahájení řešení

    1. 1. 2025

  • Ukončení řešení

    31. 12. 2027

  • Poslední stav řešení

    Z - Začínající víceletý projekt

  • Poslední uvolnění podpory

Dodání dat do CEP

  • Důvěrnost údajů

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

  • Systémové označení dodávky dat

    CEP25-GA0-GA-R

  • Datum dodání záznamu

    27. 2. 2025

Finance

  • Celkové uznané náklady

    11 416 tis. Kč

  • Výše podpory ze státního rozpočtu

    10 939 tis. Kč

  • Ostatní veřejné zdroje financování

    477 tis. Kč

  • Neveřejné tuz. a zahr. zdroje finan.

    0 tis. Kč