Questions marquées «complexity-theory»

Questions liées à la complexité (informatique) de la résolution de problèmes

2
Les fonctions d'ordre supérieur fournissent-elles plus de puissance à la programmation fonctionnelle?
J'ai posé une question similaire sur cstheory.SE . Selon cette réponse sur Stackoverflow, il existe un algorithme qui, sur un langage de programmation fonctionnel pur non paresseux, a une complexité , tandis que le même algorithme en programmation impérative est Ω ( n ) . Ajouter la paresse au langage …
1
Version restreinte du problème Clique?
Considérons la version suivante du problème Clique où l'entrée est de taille et on nous demande de trouver une clique de taille k . La restriction est que la procédure de décision ne peut pas transformer le graphe d'entrée en toute autre représentation et ne peut utiliser aucune autre représentation …
2
Prouver que DOUBLE-SAT est NP-complet
Le problème SAT bien connu est défini ici à titre de référence. Le problème DOUBLE-SAT est défini comme DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}\qquad \mathsf{DOUBLE\text{-}SAT} = \{\langle\phi\rangle \mid \phi \text{ has at least two satisfying assignments}\} Comment pouvons-nous prouver qu'il est NP-complet? Plus …
3
Existe-t-il une machine abstraite capable de capturer la consommation d'énergie?
Lorsque l'on rapporte la complexité algorithmique d'un algorithme, on suppose que les calculs sous-jacents sont effectués sur une machine abstraite (par exemple RAM) qui se rapproche d'un processeur moderne. De tels modèles nous permettent de rendre compte de la complexité temporelle et spatiale des algorithmes. Maintenant, avec l'extension des GPGPU …
2
MIN-2-XOR-SAT et MAX-2-XOR-SAT: sont-ils NP-durs?
Quelle est la complexité de MIN-2-XOR-SATMIN-2-XOR-SAT\text{MIN-2-XOR-SAT} et MAX-2-XOR-SATMAX-2-XOR-SAT\text{MAX-2-XOR-SAT} ? Sont-ils en P? Sont-ils durs en NP? Pour formaliser cela plus précisément, Φ ( x ) = ∧njeCje,Φ(X)=∧jenCje,\Phi\left(\mathbf x\right)={\huge\wedge}_{i}^{n}C_i, où x =( x1, … , Xm)X=(X1,…,Xm)\mathbf{x} = (x_1,\dots,x_m) et chaque clause CjeCjeC_i est de la forme ( xje⊕ xj)(Xje⊕Xj)(x_i \oplus x_j) …
2
Problèmes qui semblent exponentiels mais qui sont P
J'essaie de construire une liste d'algorithmes / problèmes qui sont "exceptionnellement utiles", comme dans la résolution de problèmes qui semblent "de nature très exponentielle", mais qui ont un algorithme particulièrement intelligent qui les résout finalement. Exemples de ce que je veux dire: Programmation linéaire (L'algorithme simplex est un temps exponentiel; …
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.