Mostra el registre d'ítem simple
Expressive power and complexity of a logic with quantifiers that count proportions of sets
dc.contributor.author | Arratia Quesada, Argimiro Alejandro |
dc.contributor.author | Ortiz Gómez, Carlos |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
dc.date.accessioned | 2010-10-04T13:58:38Z |
dc.date.available | 2010-10-04T13:58:38Z |
dc.date.created | 2006 |
dc.date.issued | 2006 |
dc.identifier.citation | Arratia, A.; Ortiz, C. Expressive power and complexity of a logic with quantifiers that count proportions of sets. "Journal of logic and computation", 2006, vol. 16, núm. 6, p. 817-840. |
dc.identifier.issn | 0955-792X |
dc.identifier.uri | http://hdl.handle.net/2117/9280 |
dc.description.abstract | We present a second-order logic of proportional quantifiers, SOLP, which is essentially a first-order language extended with quantifiers that act upon second-order variables of a given arity r and count the fraction of elements in a subset of r-tuples of a model that satisfy a formula. Our logic is capable of expressing proportional versions of different problems of complexity up to NP-hard as, for example, the problem of deciding if at least a fraction 1/n of the set of vertices of a graph form a clique; and fragments within our logic capture complexity classes as NL and P, with auxiliary ordering relation. When restricted to monadic second-order variables, our logic of proportional quantifiers admits a semantic approximation based on almost linear orders, which is not as weak as other known logics with counting quantifiers (restricted to almost orders), for it does not have the bounded number of degrees property. Moreover, we show that, in this almost-ordered setting, different fragments of this logic vary in their expressive power, and show the existence of an infinite hierarchy inside our monadic language. We extend our inexpressibility result of almost-ordered structure to a fragment of SOLP, which in the presence of full order captures P. To obtain all our inexpressibility results, we developed combinatorial games appropriate for these logics, whose application could go beyond the almost-ordered models and hence are interesting by themselves. |
dc.format.extent | 24 p. |
dc.language.iso | eng |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica::Algorísmica i teoria de la complexitat |
dc.subject.lcsh | Computational complexity |
dc.subject.lcsh | Computer logic |
dc.title | Expressive power and complexity of a logic with quantifiers that count proportions of sets |
dc.type | Article |
dc.subject.lemac | Complexitat computacional |
dc.subject.lemac | Lògica informàtica |
dc.identifier.doi | 10.1093/logcom/exl011 |
dc.description.peerreviewed | Peer Reviewed |
dc.relation.publisherversion | http://logcom.oxfordjournals.org/content/16/6/817.abstract?etoc |
dc.rights.access | Open Access |
local.identifier.drac | 2754355 |
dc.description.version | Preprint |
local.citation.author | Arratia, A.; Ortiz, C. |
local.citation.publicationName | Journal of logic and computation |
local.citation.volume | 16 |
local.citation.number | 6 |
local.citation.startingPage | 817 |
local.citation.endingPage | 840 |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Articles de revista [1.049]