Dans cette note de cours d'Ola Svensson: http://theory.epfl.ch/osven/courses/Approx13/Notes/lecture4-5.pdf , il est dit que nous ne savons pas si le TSP euclidien est en NP: La raison étant que nous ne savons pas calculer efficacement les racines carrées. D'autre part, il y a cet article de Papadimitriou: http://www.sciencedirect.com/science/article/pii/0304397577900123 disant qu'il est …
Supposons que nous voulons multiplier matrices. L'algorithme de multiplication à matrice lente s'exécute dans le temps et utilise la mémoire . La multiplication matricielle la plus rapide s'exécute dans le temps , où est la constante d'algèbre linéaire, mais que sait-on de sa complexité en mémoire?n×nn×nn \times nO(n3)O(n3)O(n^3)O(n2)O(n2)O(n^2)nω+o(1)nω+o(1)n^{\omega + o(1)}ωω\omega …
Disons qu'un graphe a la propriété si ses sommets peuvent être ordonnés de telle sorte que le graphe induit par les sommets a pour tout . En d'autres termes, l'ajout du sommet suivant dans notre classement n'affecte pas la métrique de distance du graphique actuel.M v 1 , v 2 …
Je recherche un document d'enquête sur les concepts importants dans le domaine des automates quantiques. J'ai trouvé Quantum Automata Theory - A Review by Hirvensalo, mais cela semble trop succinct pour saisir le sujet. Existe-t-il une enquête assez complète sur le thème des automates quantiques? Pouvez-vous également me signaler la …
Soit la taille minimale d'un circuit arithmétique (non monotone) calculant un polynôme multilinéaire et désignent la taille minimale d'un circuit booléen (non monotone) calculant la version booléenne de défini par: A(f)A(f)A(f)(+,×,−)(+,×,−)(+,\times,-)f(x1,…,xn)=∑e∈Ece∏i=1nxeii,f(x1,…,xn)=∑e∈Ece∏i=1nxiei, f(x_1,\ldots,x_n)=\sum_{e\in E}c_e\prod_{i=1}^n x_i^{e_i}\,, B(f)B(f)B(f)(∨,∧,¬)(∨,∧,¬)(\lor,\land,\neg) fbfbf_bffffb(x1,…,xn)=⋁e∈E ⋀i:ei≠0xi.fb(x1,…,xn)=⋁e∈E ⋀i:ei≠0xi. f_b(x_1,\ldots,x_n)=\bigvee_{e\in E}\ \bigwedge_{i\colon e_i\neq 0} x_i\,. Les polynômes connus pour lesquels est …
Greibach célèbre défini un langage , que l'on appelle la version non - déterministe de , de telle sorte que toute la LCF est une image inverse de morphique . Existe-t-il une déclaration similaire avec DCFL, éventuellement avec une certaine restriction sur les morphismes autorisés?D 2 HHHHD2D2D_2HHH (Voir, par exemple, …
CCC est un rectangle à axe parallèle. C1,…,CnC1,…,CnC_1,\dots,C_n sont des rectangles parallèles axe-parallèle disjoints tels que , comme ceci:C1∪⋯∪Cn⊊CC1∪⋯∪Cn⊊CC_1\cup\dots\cup C_n \subsetneq C Une partition préservant le rectangle de CCC est une partition C=E1∪⋯∪ENC=E1∪⋯∪ENC = E_1\cup\dots\cup E_N , de telle sorte que N≥nN≥nN\geq n , les EiEiE_i sont des rectangles parallèles …
Étant donné une chaîne , une couverture palindrome est une séquence de mots telle que et telle que chaque soit un palindrome.p 1 p 2 ⋯ p m p i p 1 p 2 ⋯ p m = w p iw = σ1σ2… Σnw=σ1σ2…σnw=\sigma_1\sigma_2\ldots\sigma_np1p2⋯ pmp1p2⋯pmp_1p_2\cdots p_mpjepip_ip1p2⋯ pm= wp1p2⋯pm=wp_1p_2\cdots p_m = …
Compte tenu composite N∈NN∈NN\in\Bbb N tamis de champ numérique général est le meilleur algorithme de factorisation connu pour factorisation entier de NNN . Il s'agit d'un algorithme randomisé et nous obtenons une complexité attendue de O(e649√(logN)13(loglogN)23)O(e649(logN)13(loglogN)23)O\Big(e^{\sqrt{\frac{64}{9}}(\log N)^{\frac 13}(\log\log N)^{\frac 23}}\Big)à facteurNNN. J'ai cherché des informations sur la complexité du pire …
Je me demande ce qui se passerait si, dans la définition de (Hiérarchie polynomiale, voir, par exemple ici ), le rôle de N P serait remplacé par R P ?PHPHPHNPNPNPR PRPRP Il semble que nous pourrions encore construire une hiérarchie, de la même manière que est construit, juste en utilisant …
Je suis un majeur en mathématiques intéressé par TCS. Je veux auto-étudier les algorithmes et leur complexité pour résoudre les problèmes théoriques du groupe comme trouver l'ordre des éléments, l'énumération des coset, trouver le générateur, tester si un sous-ensemble donné génère le groupe. Quel livre dois-je lire?
'Étant donné a,b,c∈Na,b,c∈Na,b,c\in\Bbb N , y a-t-il x,y∈Nx,y∈Nx,y\in\Bbb N , ax2+by=cax2+by=cax^2+by=c ' est NPNP\mathsf{NP} -complet. À quelle classe de complexité «Étant donné a,b,c∈Na,b,c∈Na,b,c\in\Bbb N , y a-t-il x,y∈Nx,y∈Nx,y\in\Bbb N , ax2+by2=cax2+by2=cax^2+by^2=c »?
en 1979 Hopcroft / Ullman a écrit que L ⊆ P ⊆ NP ⊆ PSpace est connu mais L ⊊ PSpace est le seul confinement approprié (et trivial) connu bien que tous soient supposés être des confinements appropriés, et "où les choses se tiennent encore" ~ 4 décennies plus tard …
La réduction de Karp est une réduction de plusieurs un calculable en temps polynomial entre deux problèmes de calcul. De nombreuses réductions de Karp sont en fait des fonctions individuelles. Cela soulève la question de savoir si chaque réduction de Karp est injective (fonction one-one). Y a-t-il un problème naturel …
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.