Je ne connais pas le domaine de la théorie de la complexité impliquant des groupes, je m'excuse donc si c'est un résultat bien connu. Question 1. Soit un simple graphe non orienté d'ordre n . Quelle est la complexité de calcul (en termes de n ) pour déterminer si G …
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 …
Dans le problème de l' emballage de rectangle, on se donne un ensemble de rectangles et délimitant rectangle . La tâche consiste à trouver un emplacement de intérieur de sorte qu'aucun des rectangles ne se chevauche. Généralement, l'orientation de chaque rectangle est fixe. Autrement dit, les rectangles ne peuvent pas …
On ne sait pas si isomorphisme de graphes (IG) pour les graphiques fortement réguliers (SRGS) est en P . Y a-t-il des indices qu'il pourrait ou non être GI- Complet? Y a-t-il des conséquences importantes dans de tels cas? (Similaire à la croyance que l'IG peut ne pas être NP-Complete).
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, …
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 …
Par un résultat classique de Kuroda, la classe de complexité NSPACE [ ]nnn (également connue sous le nom de NLIN-SPACE) est précisément la classe CSL des langages contextuels . Le problème de satisfiabilité SAT est dans NSPACE [ ], car une estimation de taille linéaire pour une solution peut être …
Quel est le nombre minimal de portes binaires nécessaires pour calculer ET et OU de bits d'entrée simultanément? La borne supérieure triviale est . Je pense que c'est optimal, mais comment le prouver? La technique d'élimination de porte standard ne fonctionne pas ici car en attribuant une constante à l'une …
Je cherche un problème qui appartient à dans les graphiques généraux mais qui est dans dans les graphiques de largeur d'arbre borné, En fait, je pense que ces problèmes sont plus difficiles que d'utiliser la programmation dynamique normale dans borné -des graphiques de largeur pour les résoudre.ΣP2Σ2P\mathsf{\Sigma^P_2}PP\mathsf{P}
Le problème suivant est-il dans PTIME ou coNP-hard: Étant donné deux expressions booléennes et e 2 dans les variables x 1 , … , x n , sans négation (c'est-à-dire que les expressions sont entièrement construites via ∧ et ∨ ). Décidez si e 1 ≡ e 2 , c'est-à-dire …
Il existe des preuves théoriques que la construction de produits cartésiens naïfs pour l'intersection des DFA est "le meilleur que nous pouvons faire". Qu'en est-il de la concaténation de deux DFA? La construction triviale implique la conversion de chaque DFA en NFA, l'ajout d'une transition epsilon et la détermination du …
L'analyse du pire et du cas moyen sont des mesures bien connues de la complexité d'un algorithme. L'analyse lissée récemment est apparue comme un autre paradigme pour expliquer pourquoi certains algorithmes exponentiels dans le pire des cas fonctionnent si bien dans la pratique, par exemple l'algorithme simplex. Ma question est …
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 …
Soit la complexité de Kolmogorov d'une chaîne x . Existe-t-il une chaîne telle que K ( x x ) < K ( x ) . (Ici x x est la concaténation de x avec lui-même). Une question similaire mais différente a été posée ici , mais le contre-exemple donné dans …
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)]<1/p(n)Pr[f(A(f(x)))=f(x)]<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 …
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.