Questions marquées «complexity-theory»

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

2
Logiciel pour tester l'homomorphisme des graphes
J'ai des graphiques et avec avec qui réussissent les vérifications d' telles comme lemme sans homomorphisme. Existe-t-il des outils gratuits et faciles à utiliser pour tester l'homomorphisme des graphes de à ?gkGkG_kHkHkH_k| V(gk) | = | V(Hk)|2 k=n2 k|V(Gk)|=|V(Hk)|2k=n2k|\mathcal{V}(G_k)|=|\mathcal{V}(H_k)|^{2k}=n^{2k}k∈Nk∈Nk\in\Bbb NGGGHHH
1
Trouvez les sommets à supprimer du graphique pour obtenir le plus petit composant le plus grand
Étant donné un graphique , trouvez sommets , dont la suppression aboutirait à un graphique avec la plus petite composante la plus grande. G=(V,E)G=(V,E)G = (V, E)kkk{v∗1,…,v∗k}{v1∗,…,vk∗}\{v^*_1,\dots,v^*_k\} Je suppose que pour grandet grand le problème est difficile (NP-difficile), mais je m'intéresse aux petites valeurs de ( ).n=|V|n=|V|n = |V|kkkkkkk∈{1,2,3,4}k∈{1,2,3,4}k \in …
1
NEXP = Σ ⟹ NEXP = MA?
Est-il connu si l'implication NEXP=Σ2⟹NEXP=MANEXP=Σ2⟹NEXP=MA\mathsf{NEXP} = \Sigma_2 \implies \mathsf{NEXP} = \mathsf{MA} tient? (La question est inspirée de NEXP⊆P/poly⇔NEXP=MANEXP⊆P/poly⇔NEXP=MA\mathsf{NEXP} \subseteq \mathsf{P/poly} \Leftrightarrow \mathsf{NEXP} = \mathsf{MA} .)
2
Veuillez expliquer «décidabilité» et «vérifiabilité»
J'essaie de comprendre (intuitivement) les deux termes «décidabilité» et «vérifiabilité». J'ai fait un nombre raisonnable de recherches et de lecture des différents textes sur lesquels je peux mettre la main. Cependant, leur compréhension intuitive semble m'échapper, spécialement pour le second. Parmi les nombreuses définitions trouvées, la suivante trouvée dans cette …
1
Complexité temporelle des simulations de machines de Turing universelles et théorème de la hiérarchie temporelle
J'ai un petit problème pour comprendre la preuve du théorème de la hiérarchie temporelle (Hennie et Stearns, 1966) qui garantit l'existence d'un langage acceptable en mais non acceptable en pour toutes les fonctions , tel que est constructible dans le temps etU( n )U(n)U(n)T(n )T(n)T(n)T( n) , U( n )T(n),U(n)T(n),U(n)U( …
2
Pourquoi exige-t-on souvent une constructibilité de l'espace dans le théorème de Savitch?
Lorsque le célèbre théorème de Savitch est énoncé, on voit souvent l'exigence que soit constructible dans l'espace (ce qui est intéressant, il est omis dans Wikipedia). Ma question simple est: pourquoi en avons-nous besoin? Je comprends l'exigence que soit dans , ce qui ressort clairement de la preuve. Mais aucune …
2
Le graphique 3-colorabilité est auto-réductible
Je m'intéresse à l'auto-réductibilité du problème du graphique 3-Coloralibity. Définition du problème du graphique 3-Coloralibity. Étant donné un graphe non orienté , existe-t-il un moyen de colorer les nœuds en rouge, vert et bleu afin qu'aucun nœud adjacent n'ait la même couleur?GGG Définition de l'auto-réductibilité. Un langage est auto-réductible s'il …
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.