All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Combinatorics on words

Public support

  • Provider

    Czech Science Foundation

  • Programme

    Post-graduate (doctorate) grants

  • Call for proposals

    Postdoktorandské granty 4 (SGA02003GA2PD)

  • Main participants

  • Contest type

    VS - Public tender

  • Contract ID

Alternative language

  • Project name in Czech

    Kombinatorika na slovech

  • Annotation in Czech

    Projekt se zabývá několika úzce souvisejícími problémy z kombinatoriky na slovech. Největší důraz je položen na zkoumání ekvivalenční množiny dvou binárních homomorfismů. Cílem projektu je určit výpočetní složitost rozhodnutí, zda je tato množina prázdná(tzv. binární PCP) a zkoumat strukturu slova, které generuje tuto množinu, pokud je neprázdná. Další součástí projektu je zkoumání ekvivalenčních množin komutativních jazyků, zde je cílem nalezení kritéria určujícího, že má komutativní jazyk lineární testovací množinu. Další součástí projektu je zkoumání Duvalovy hypotézy a její důkaz alespoň pro některé typy slov.

Scientific branches

  • R&D category

    ZV - Basic research

  • CEP classification - main branch

    BA - General mathematics

  • 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>)

    10101 - Pure mathematics

Completed project evaluation

  • Provider evaluation

    U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)

  • Project results evaluation

    Important results in all four subject matters of combinatorics on words focused by the project were aclueved: The extended Duval conjecture has been proved using lexicographic ordering of words. It has been shown that the Binary Generalized Post Correspo

Solution timeline

  • Realization period - beginning

    Jan 1, 2003

  • Realization period - end

    Jan 1, 2006

  • Project status

    U - Finished project

  • Latest support payment

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

    CEP07-GA0-GP-U/03:2

  • Data delivery date

    Oct 16, 2007

Finance

  • Total approved costs

    420 thou. CZK

  • Public financial support

    420 thou. CZK

  • Other public sources

    0 thou. CZK

  • Non public and foreign sources

    0 thou. CZK