Počet záznamů: 1
On convex complexity measures
- 1.
SYSNO ASEP 0342826 Druh ASEP J - Článek v odborném periodiku Zařazení RIV J - Článek v odborném periodiku Poddruh J Článek ve WOS Název On convex complexity measures Tvůrce(i) Hrubeš, P. (US)
Jukna, S. (DE)
Kulikov, A. (DE)
Pudlák, Pavel (MU-W) RID, SAICelkový počet autorů 4 Zdroj.dok. Theoretical Computer Science. - : Elsevier - ISSN 0304-3975
Roč. 411, 16-18 (2010), s. 1842-1854Poč.str. 13 s. Jazyk dok. eng - angličtina Země vyd. NL - Nizozemsko Klíč. slova boolean formula ; complexity measure ; combinatorial rectangle ; convexity Vědní obor RIV BA - Obecná matematika CEP IAA1019401 GA AV ČR - Akademie věd CEZ AV0Z10190503 - MU-W (2005-2011) UT WOS 000276167000016 EID SCOPUS 77949275187 DOI 10.1016/j.tcs.2010.02.004 Anotace Khrapchenko's classical lower bound n(2) on the formula size of the parity function f can be interpreted as designing a suitable measure of sub-rectangles of the combinatorial rectangle f(-1)(0) x f(-1)(1). Trying to generalize this approach we arrived at the concept of convex measures. We prove the negative result that convex measures are bounded by O(n(2)) and show that several measures considered for proving lower bounds on the formula size are convex. We also prove quadratic upper bounds on a class of measures that are not necessarily convex. Pracoviště Matematický ústav Kontakt Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Rok sběru 2011
Počet záznamů: 1