Il est bien connu que certaines catégories de NP -Problèmes Ont dichotomie théorèmes, qui garantit que toutes les tâches de la classe est soit NP -complete ou est en P . Le résultat le plus connu est le théorème de dichotomie de Schaefer , ainsi qu'un certain nombre de généralisations. Je crois...
Les transducteurs considérés ici sont ceux que Wikipedia appelle les transducteurs à états finis . Le comportement d'un transducteur , qui est la relation qu'il calcule, est écrit : un mot est une sortie pour ssi .[ T ] y x x [ T ] yTTT[ T][T][T]yyyXxxx [ T] yx[T]yx[T]y Question: Le problème...
Soit un simple graphe non orienté sur sommets et m arêtes.n mG = ( V, E)g=(V,E)G=(V,E)nnnmmm Je suis en train de déterminer la durée prévue de l'algorithme de Wilson pour générer un arbre couvrant aléatoire de ggG . Là, il apparaît O ( τ)O(τ)O(\tau) , où ττ\tau est le temps moyen de frappe : τ= ∑v...
Le terme suivant (en utilisant les index bruijn): BADTERM = λ((0 λλλλ((((3 λλ(((0 3) 4) (1 λλ0))) λλ(((0 4) 3) (1 0))) λ1) λλ1)) λλλ(2 (2 (2 (2 (2 (2 (2 (2 0))))))))) Lorsqu'il est appliqué à un numéro d'église, il prend Nrapidement sa forme normale dans plusieurs évaluateurs existants, y compris...
Existe-t-il des exemples naturels connus de problèmes d'optimisation pour lesquels il est beaucoup plus facile de produire une solution optimale que d'évaluer la qualité d'une solution candidate donnée? Par souci de concrétisation, nous pouvons considérer les problèmes d'optimisation résolubles en...
Conjecture de Berman – Hartmanis: tous les langages NP-complets se ressemblent, en ce sens qu'ils peuvent être liés les uns aux autres par des isomorphismes polynomiaux temporels [1]. Je suis intéressé par une version plus fine du "temps polynomial", c'est-à-dire si nous utilisons des réductions...
Je souhaite réduire -Clique en SAT sans agrandir l'instance.kkk La clique est en NP, elle peut donc être réduite à SAT en utilisant l'espace logarithmique. La réduction simple des manuels de Garey / Johnson fait exploser l'instance à la taille cubique . Cependant, -Clique est en P pour chaque fixe...
Soit un polynôme symétrique , c'est-à-dire un polynôme tel que pour tous les et toutes les permutations . Pour plus de commodité, nous pouvons supposer que est un champ fini, pour éviter de résoudre les problèmes avec le modèle de calcul. f ( x ) = f ( σ ( x ) ) x ∈ K n σ ∈ S n KF: Kn→...
Le problème paramétré k-FLIP SAT est défini comme suit: Entrée: une formule 3-CNF avec n variables et une affectation de vérité \ sigma: [n] \ à \ {0,1 \} Paramètre: k Question: pouvons-nous transformer l'affectation \ sigma en une affectation satisfaisante \ sigma ' pour \ varphi retourner la...
Il existe plusieurs classes intéressantes de graphiques avec une largeur d'arbre bornée. Par exemple, les arbres (treewidth 1), les graphes parallèles en série (treewidth 2), les graphes planaires externes (treewidth 2), les graphes -planaires (treewidth O (k)), les graphes de branchwidth...
Où puis-je trouver une introduction aux automates probabilistes et ce qu'ils reconnaissent (certaines fonctions des mots à )? Existe-t-il un terme standard pour ces fonctions qui sont reconnues par les automates probabilistes, analogue aux «langages normaux» pour ce que les automates déterministes...
La théorie des types constructifs avec son interprétation de base sous la correspondance de curry howard consiste uniquement en fonctions calculables totales. Dans la littérature, certains ont dit que l'utilisation de la "théorie du type informatique" pour représenter la non-terminaison dans les...
L'inclusion inverse est évidente, tout comme le fait que tout langage NP auto-réductible dans BPP l'est également dans RP. Est-ce également connu pour les langages NP non
Étant donné un graphique bipartite avec des poids positifs, soit avec égal au poids maximum correspondant dans le graphique .f : 2 U → R f ( S ) G [ S ∪ V ]G=(U∪V,E)G=(U∪V,E)G = (U \cup V, E)f:2U→Rf:2U→Rf: 2^U \rightarrow \mathbb{R}f(S)f(S)f(S)G[S∪V]G[S∪V]G[S\cup V] Est-il vrai que est une fonction...
L'une des rares choses que je n'aime pas dans le livre d'Okasaki sur les structures de données purement fonctionnelles est que son code est jonché de correspondances de motifs inépuisables. À titre d'exemple, je vais donner son implémentation de files d'attente en temps réel (refactorisé pour...
Ceci est inspiré par cette question. Soit la collection de tous les combinateurs qui n'ont que deux variables liées. La combinaison C est-elle complète?CC\mathcal{C}CC\mathcal{C} Je pense que la réponse est négative, mais je n'ai pas pu trouver de référence pour cela. Je serais également intéressé...
Permettez à une machine de Turing probabiliste d'avoir accès à une pièce de monnaie injuste qui génère des probabilités (les flips sont indépendants). Définissez comme la classe de langages reconnaissable par une telle machine en temps polynomial. Il s'agit d'un exercice standard pour prouver que:B...
Supposons que j'ai un circuit booléen qui calcule une fonction f : { 0 , 1 } n → { 0 , 1 } . Supposons que le circuit est composé de portes ET, OU et NON avec au plus fan-in et fan-out 2.CCCF: { 0 , 1 }n→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n \to \{0,1\} Soit une entrée donnée. Étant donné C et x , je...
Motivation L'autre jour, je voyageais dans la ville avec les transports en commun et j'ai inventé un problème de graphique intéressant modélisant le problème de trouver la connexion la plus courte entre deux endroits. Nous connaissons tous le "problème du chemin le plus court" classique: étant...
Je n'ai pas pu trouver dans la littérature une caractérisation précise de la disparition de l'écart de dualité SDP. Ou, quand la "forte dualité" tient-elle? Par exemple, quand on va et vient entre le Lasserre et le SOS SDP, on a en principe un écart de dualité. Cependant, d'une manière ou d'une...