Minimal sets over a monotone predicate: Enumeration and counting /

V mnoha oblastech informatiky pracujeme s referenční množinou C a monotónním predikátem P : P(C) → Bool. Ona monotónnost znamená, že pokud if P(N) = True, pak P(M) = True pro každé N ⊆ M ⊆ C. Cílem je identifikovat minimální podmnožiny C které splňují predikát P; tyto podmnožiny jsou označovány zkra...

Celý popis

Uloženo v:
Podrobná bibliografie
Hlavní autor: Bendík, Jaroslav (Autor práce)
Další autoři: Černá, Ivana, 1963- (Vedoucí práce)
Typ dokumentu: VŠ práce nebo rukopis
Jazyk:Angličtina
Vydáno: 2021
Témata:
On-line přístup:https://is.muni.cz/th/y4v8m/
Obálka
Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.
Popis Stav Knihovna Sbírka Signatura Poznámky Čárový kód
Dostupné
Týdenní
Fakulta informatiky Diz. práce 2020 42005D2744