Questions marquées «cc.complexity-theory»

P versus NP et autres calculs liés aux ressources.


2
Dans quelles circonstances les algorithmes
Supposons que, pour chaque , il existe une machine de Turing qui décide d'un langage dans le temps . Existe-t-il un seul algorithme déterminant dans le temps ? (Ici, le terme est mesuré en termes de , la longueur d'entrée.)ϵ>0ϵ>0\epsilon > 0MϵMϵM_{\epsilon}LLLO(na+ϵ)O(na+ϵ)O(n^{a + \epsilon})LLLO(na+o(1))O(na+o(1))O(n^{a + o(1)})o(1)o(1)o(1)nnn Cela fait-il une différence …



2
Caractérisation de problèmes pour lesquels existent des algorithmes de temps sublinéaire
Je me demandais si des problèmes pour lesquels existent des algorithmes de temps sublinéaire (dans la taille d'entrée) pouvaient être caractérisés comme possédant des propriétés spécifiques. Cela comprend le temps sublinéaire (par exemple, les tests de propriétés, une autre notion d'approximation pour les problèmes de décision), l'espace sublinéaire (par exemple, …

1
NP-dureté d'un problème de partition graphique?
Ce problème m'intéresse: étant donné un graphe non orienté , y a-t-il une partition de en graphes et tels que etG(E,V)G(E,V)G(E, V)GGGG1(E1,V1)G1(E1,V1)G_1(E_1, V_1)G2(E2,V2)G2(E2,V2)G_2(E_2, V_2)G1G1G_1G2G2G_2 sont isomorphes? Ici, est partitionné en deux ensembles disjoints et . Les ensembles et ne sont pas nécessairement disjoints. etEEEE1E1E_1E2E2E_2V1V1V_1V2V2V_2E1∪E2=EE1∪E2=EE1∪E2=EV1∪V2=VV1∪V2=VV1∪V2=V . Ce problème est au moins …







1
Tautologies / contradictions dans le cas moyen, au-delà du modèle aléatoire k-CNF
Il est bien connu que les formules aléatoires -CNF sur n variables avec c n clauses sont insatisfaisantes (c'est-à-dire qu'elles sont des contradictions) avec une probabilité élevée, pour une constante c suffisamment grande . Ainsi, les formules k -CNF aléatoires (pour c assez grand) constituent une distribution naturelle sur des …


5
Les «fonctions à sens unique» ont-elles des applications en dehors de la cryptographie?
Une fonction f:{0,1}∗→{0,1}∗f:{0,1}∗→{0,1}∗f \colon \{0, 1\}^* \to \{0, 1\}^* est unidirectionnelle si fff peut être calculé par un algorithme de temps polynomial, mais pour chaque algorithme de temps polynomial randomisé AAA , Pr[f(A(f(x)))=f(x)]&lt;1/p(n)Pr[f(A(f(x)))=f(x)]&lt;1/p(n)\Pr[f(A(f(x))) = f(x)] < 1/p(n) pour tout polynôme et suffisamment grand , en supposant que est choisi de …

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.