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, …
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 avantages et les inconvénients de …
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 …
É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 …
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 raison …
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 \mathsf{coUP}UPUP\mathsf{UP}
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 relation entre …
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 pourrait-il me signaler le document pertinent?
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 problème suivantS i ⊆ U …
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. Je m'intéresse …
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 cela?f(x)f(x)f(x)
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 réels.cc(M)cc(M)cc(M)M(x,y)M(x,y)M(x,y)rk(M)rk(M)rk(M)MMM Cependant, lorsque vous utilisez …
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 …
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 …
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 …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.