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”

Filtry

1 471 (0,102s)

Výsledek výzkumu

Parametrizovaný algoritmus pro branch-width matroidů

Branch-width je strukturální parametr blízký známé tree-width, avšak mající s omezenou branch-width ta reprezentovaný nad konečným tělesem najde dekompozici šířky nejvýše 3tv kubickém čase. Tak dokážeme, ž...

IN - Informatika

  • 2005
  • Jx
Výsledek výzkumu

Matrices of optimal tree-depth and a row-invariant parameterized algorithm for integer programming

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

  • 2020
  • D
  • Odkaz
Výsledek výzkumu

Matrices of Optimal Tree-Depth and Row-Invariant Parameterized Algorithm for Integer Programming

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

  • 2020
  • D
  • Odkaz
Výsledek výzkumu

Addendum to Matroid Tree-Width

BA - Obecná matematika

  • 2009
  • Jx
Výsledek výzkumu

Výpočet branch- a rank-dekompozic

Přinášíme nový algoritmus, který počítá optimální rank-dekompozici grafu, optimální branch-dekompozici matroidu nad konečným tělesem, v FPT čase n^3....

IN - Informatika

  • 2007
  • D
Výsledek výzkumu

Výpočet branch- a rank-dekompozic

Přinášíme nový algoritmus, který počítá optimální rank-dekompozici grafu, optimální branch-dekompozici matroidu nad konečným tělesem, v FPT čase n^3....

IN - Informatika

  • 2008
  • Jx
Výsledek výzkumu

Stromy, mříže a MSO rozhodnutelnost: Od grafů k matroidům

Dokazujeme, že na každým konečným tělesem má třída všech reprezentovatelných matroidů omezené branch-width rozhodnutelnou MSO teorii. Naopak každá taková třída reprezentovatelných matroidů s rozhodnutelnou MSO teorií musí mít omezen...

IN - Informatika

  • 2006
  • Jx
Výsledek výzkumu

Computing representations of matroids of bounded branch-width

BA - Obecná matematika

  • 2007
  • D
Výsledek výzkumu

On matroid properties definable in the MSO logic

BD - Teorie informace

  • 2003
  • D
Výsledek výzkumu

Decomposition width of matroids

IN - Informatika

  • 2012
  • Jx
  • Odkaz
  • 1 - 10 z 1 471