Je suis intéressé par une légère généralisation de DFA. Comme d'habitude, nous avons un ensemble d'états , un alphabet fini , une action définie sur par et l'état initial ; mais au lieu de l'ensemble habituelle terminal, nous prenons une famille de sous - ensembles de . Un DFA multilingue est alors...
J'écris ma thèse de master en CS et je travaille avec l'analyse d'alias. Ce qui m'intéresse, c'est l'analyse intraprocédurale, sensible aux flux et must-alias pour les langages de type Java. Je recherche des textes qui décrivent les bases de ce sujet de manière détaillée mais je n'ai pas pu trouver...
Dans un discours de Razborov, une curieuse petite déclaration est publiée. Si la FACTORISATION est difficile, alors le petit théorème de Fermat n'est pas prouvable dans .S12S21S_{2}^{1} Qu'est-ce que et pourquoi les preuves actuelles ne figurent-elles pas dans ?
B P PBPP\mathsf{BPP} etZPPZPP\mathsf{ZPP} sont deux des classes de complexité probabiliste de base. BPPBPP\mathsf{BPP} est la classe de langages décidée par les algorithmes de Turing à temps polynomial probabiliste où la probabilité que l'algorithme renvoie une réponse incorrecte est limitée,...
Définissons une classe de fonctions sur un ensemble de bits. Fixons deux distributions p , q qui sont "raisonnablement" différentes l'une de l'autre (si vous le souhaitez, leur distance variationnelle est au moins ϵnnnp , qp,qp, qϵϵ\epsilon , ou quelque chose de similaire). Maintenant, chaque...
Dans la complexité de la communication, la conjecture log-rank déclare que cc(M)=(logrk(M))O(1)cc(M)=(logrk(M))O(1)cc(M) = (\log rk(M))^{O(1)} Où est la complexité de communication de M ( x , y ) et r k ( M ) est le rang de M (sous forme de matrice) sur les
La classe de complexité est définie comme suit (à partir de Wikipedia ):SP2S2P\textrm{S}_2^\textrm{P} Un langage est dans s'il existe un prédicat polynomial tel queLLLSP2S2PS_2^PPPP Si , alors il existe un tel que pour tout ,x ∈ LX∈Lx \in LyyyzzzP( x , y, z) = 1P(X,y,z)=1P(x,y,z)=1 Si , alors il...
Existe-t-il une classe naturelle de formules CNF - de préférence une qui a déjà été étudiée dans la littérature - avec les propriétés suivantes:CCC est un cas facile de SAT, comme par exemple Horn ou 2-CNF, c'est-à-dire que l'appartenance à C peut être testée en temps polynomial, et les formules F...
Quel algorithme pouvons-nous utiliser pour trouver toutes les racines entières d'un polynôme avec des coefficients entiers?f(x)f(x)f(x) J'observe que Sage peut trouver les racines en quelques secondes même lorsque tous les coefficients de sont très grands. Comment est-il capable de faire...
Existe-t-il des algorithmes connus pour le problème suivant qui ont battu l'algorithme naïf? Entrée: Un système de m inégalités linéaires.A x ≤ bAx≤bAx \le bmmm Résultat: une solution réalisable s'il en existe une.X∗∈ { 0 , 1 }nx∗∈{0,1}nx^*\in \{0,1 \}^n Supposons que et b ont des entrées entières....
L'isomorphisme du graphe (le problème de décision) est-il dans ? Ici est la classe de problèmes de décision acceptée par une machine de Turing sans ambiguïté (voir le zoo de la complexité ).UP∩coUPUP∩coUP\mathsf{UP}\cap
J'ai entendu parler d'un résultat de coloration approximative du graphique, mais je ne trouve pas la source. Le résultat est: Pour chaque constante il existe un suffisamment grand pour que la coloration d'un graphique colorable avec des couleurs soit NP-difficile.hhhkkkkkkh khkhk Quelqu'un...
J'essayais de comprendre ces cours mais je me suis toujours embrouillé ... les questions sont: Quelle est la relation entre et , en particulier est-ce une question ouverte?# PFNPFNPFNP# P#P\#P Quelle est la relation de et ? cette question est-elle ouverte?N P⊕ P⊕P\oplus PNPNPNP Qu'en est-il de la...
Quelle est la difficulté du problème Set Cover si le nombre d'éléments est limité par une fonction (par exemple, lognlogn\log n ) où nnn est la taille de l'instance de problème. Officiellement, Soit U={e1,⋯,em}U={e1,⋯,em}\mathcal{U}=\{e_1, \cdots, e_m\} et où et . Est-il difficile de décider du...
Un arbre couvrant un graphe est appelé arbre d'exhaustivité si l'ensemble de ses feuilles induit un sous-graphe complet dans le graphe hôte. Étant donné un graphique et un entier k , quelle est la complexité de décider si G contient un arbre d'exhaustivité avec au plus k feuilles?ggGkkkggGkkk Une...
Étant donné un ensemble de points dans l' espace euclidien de dimension , le problème est de déterminer si la coque convexe contient la boule unitaire centrée à l'origine.nnnréréd Ce problème est-il dans NP? Il est en co-NP car on peut donner un point dans la balle en dehors de la coque convexe...
La plupart des assistants de preuve ont formalisé le concept de "jeu fini". Ces formalisations diffèrent cependant énormément (même si l'on espère qu'elles sont toutes essentiellement équivalentes!). Ce que je ne comprends pas à ce stade, c'est l'espace de conception impliqué et quels sont les...
J'ai le problème suivant: Entrée: deux ensembles d'intervalles et T (tous les points d'extrémité sont des entiers). Requête: existe-t-il une bijection monotone f : S → T ?SSSTTTf:S→Tf:S→Tf:S \to T Le bijection est monotones l'ordre wrt d'inclusion ensemble sur et T . ∀ X ⊆ Y ∈ S , f ( X ) ⊆ f ( Y...
Considérons un langage non vide de chaînes binaires de longueur n . Je peux décrire L avec un circuit booléen C avec n entrées et une sortie telles que C ( w ) est vrai si w ∈ L : c'est bien connu.LLLnnnLLLCCCnnnC( w )C(w)C(w)w ∈ Lw∈Lw \in L Cependant, je veux représenter avec un circuit booléen C...
Si nous pouvons prouver que , cela implique-t-il que ?L = PL=P\mathsf{L}=\mathsf{P}N L = N PNL=NP\mathsf{NL}=\mathsf{NP} Je pensais que c'était le cas, mais je ne peux pas le prouver (également pour