Nondeterminism and An Abstract Formulation of Nečiporuk’s Lower Bound Method

Paul Beame 1 Nathan Grosshans 2, 3 Pierre Mckenzie 2, 3 Luc Segoufin 4, 2
4 DAHU - Verification in databases
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Abstract : A formulation of Nečiporuk's lower bound method slightly more inclusive than the usual complexity-measure-specific formulation is presented. Using this general formulation, limitations to lower bounds achievable by the method are obtained for several computation models, such as branching programs and Boolean formulas having access to a sublinear number of nondeterministic bits. In particular, it is shown that any lower bound achievable by the method of Nečiporuk for the size of nondeterministic and parity branching programs is at most O(n^(3/2) / log n).
Type de document :
Article dans une revue
ACM Transactions on Computation Theory, ACM, 2016, 9 (1), pp.1 - 34. 〈10.1145/3013516〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01426213
Contributeur : Nathan Grosshans <>
Soumis le : mercredi 4 janvier 2017 - 12:07:36
Dernière modification le : jeudi 11 janvier 2018 - 06:22:14
Document(s) archivé(s) le : mercredi 5 avril 2017 - 13:47:55

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Copyright (Tous droits réservés)

Identifiants

Citation

Paul Beame, Nathan Grosshans, Pierre Mckenzie, Luc Segoufin. Nondeterminism and An Abstract Formulation of Nečiporuk’s Lower Bound Method. ACM Transactions on Computation Theory, ACM, 2016, 9 (1), pp.1 - 34. 〈10.1145/3013516〉. 〈hal-01426213〉

Partager

Métriques

Consultations de la notice

136

Téléchargements de fichiers

35