Questions marquées «descriptive-complexity»

La complexité descriptive classe les problèmes en fonction de la difficulté à exprimer le problème dans un certain formalisme logique.

5
Pourquoi les bases de données relationnelles fonctionnent-elles du tout, étant donné la complexité exponentielle théorique de la recherche de réponses (dans la taille de la requête)?
Il semble connu que pour trouver une réponse à une requête sur une base de données relationnelle D , il faut du temps | D | | Q | , et on ne peut pas se débarrasser de l'exposant | Q | .QQQDDD|D||Q||D||Q||D|^{|Q|}|Q||Q||Q| Comme peut être très volumineux, nous nous …
1
Maintenir l'ordre dans une liste en
Le problème de maintenance des commandes (ou «maintien de l'ordre dans une liste») est de supporter les opérations: singleton: crée une liste avec un élément, lui renvoie un pointeur insertAfter: donné un pointeur sur un élément, insère un nouvel élément après, renvoyant un pointeur sur le nouvel élément delete: donne …
2
Problèmes d'optimisation MSOL sur les graphiques de largeur de clique bornée, avec des prédicats de cardinalité
CMSOL est la logique de deuxième ordre monadique, c'est-à-dire une logique de graphiques où le domaine est l'ensemble des sommets et des arêtes, il y a des prédicats pour la contiguïté des sommets et les incidences des arêtes et des sommets, il y a une quantification sur les arêtes, les …
3
Y a-t-il une restriction naturelle de la logique VO qui capture P ou NP?
Le papier Lauri Hella et José María Turull-Torres, Requêtes informatiques avec des logiques d'ordre supérieur , TCS 355 197–214, 2006. doi: 10.1016 / j.tcs.2006.01.009 propose une logique VO, une logique d'ordre variable. Cela permet de quantifier les commandes sur les variables. VO est assez puissant et peut exprimer certaines requêtes …
1
P et complexité descriptive
Dans le Complexity Zoo, il est dit [ 1 ] que, dans la complexité descriptive, PPP peut être défini par trois types de formules différents, FO(LFP)FO(LFP)FO(LFP) qui est aussi FO(nO(1))FO(nO(1))FO(n^{O(1)}) , et aussi comme SO(HORN)SO(HORN)SO(HORN) . Cependant, il y a quelques exceptions, par exemple, EvennessEvennessEvenness ne peuvent pas être exprimées …
2
Quand une propriété FO élimine-t-elle la dureté NL?
Contexte: Nous considérons uniquement les digraphes. Soit CYCLE le langage des graphes avec un cycle; c'est un problème NL-complet. Soit HASEDGE le langage des graphiques avec au moins un bord. Ensuite, trivialement, n'est plus NL-hard, tandis que reste.CYCLE∪HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE}CYCLE∪HASEDGE¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯CYCLE∪HASEDGE¯\text{CYCLE} \cup \overline{\text{HASEDGE}} Problème réel: je me demande si la langue …
1
Une version descriptive de la complexité du théorème de Rice pourrait-elle être utilisée pour séparer AC0 et PSPACE?
Dans cette question , il a été mentionné qu'il existe des versions de complexité descriptive du théorème de Rice. J'ai trouvé une preuve du théorème suivant: Étant donné une classe de complexité C , les propriétés non triviales des langages en C ne peuvent pas être calculées en C J'avais …
1
Permutation unidirectionnelle finie avec domaine infini
Soit une permutation. Notez que tandis que agit sur un domaine infini, sa description peut être finie. Par description , je veux dire un programme qui décrit les fonctionnalités de . (Comme dans la complexité de Kolmogorov.) Voir les explications ci-dessous. π ππ:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^* \to \{0,1\}^*ππ\piππ\pi Par exemple, la …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.