Charles Explorer logo
🇨🇿

Intervalové reprezentace booleovských funkcí

Publikace na Matematicko-fyzikální fakulta |
2007

Abstrakt

Práce je věnována výzkumu reprezentací booleovských funkcí. Představujeme koncept reprezentace s použitím intervalů celých čísel.

Definujeme třídy funkcí reprezentovatelných pomocí malého počtu intervalů a studujeme jejich vlastnosti. Dále se zabýváme problémem rozpoznání, zda daná funkce je reprezentovatelná malým počtem intervalů, a problémem, zda lze rozšířit danou částečnou funkci na totální funkci reprezentovatelnou pomocí malého počtu intervalů.

Pro některé varianty těchto problému ukazujeme polznomiální algoritmus, pro jiné dokazujeme NP-těžkost.