L'informatique

Q & A pour les étudiants, chercheurs et praticiens de l'informatique

2
Exponentielles doubles vs exponentielles simples
Voici quatre principes que je ne peux pas concilier: Algorithmes de temps exponentiels doubles exécutés en temps avec constanteO(22nk)O(22nk)O(2^{2^{n^k}})k∈Nk∈Nk \in \mathbb{N} Des algorithmes de temps exponentiels s'exécutent en avec constanteO(2nk)O(2nk)O(2^{n^k})k∈Nk∈Nk \in \mathbb{N} La première borne croît plus vite que la seconde; c'est-à-dire qu'il existe des algorithmes qui fonctionnent en temps …
1
Est-ce que l'écriture d'un nombre en deux carrés et l'écriture des facteurs d'un nombre sont également difficiles?
Soit et les suivants:L1L1L_1L2L2L_2 L1={r:∃x,y∈Z such that x2+y2=r}L1={r:∃x,y∈Z such that x2+y2=r}L_1=\{r:\exists x,y \in \mathbb{Z} \text{ such that } x^2+y^2=r\} L2={(N,M):M&lt;N,∃1&lt;d≤M such that d|N}L2={(N,M):M&lt;N,∃1&lt;d≤M such that d|N}L_2=\{(N,M): M<N, \exists 1<d\leq M \text{ such that d|N} \} RevendicationL1≤PL2L1≤PL2L_1 \leq_P L_2 Preuve de croquis Si je veux savoir si .r∈L1r∈L1r\in L_1 Le nombre …
1
Isomorphisme de graphe et groupe d'automorphisme
Une approche courante pour décider si deux graphes donnés sont isomorphes consiste à calculer l'étiquette dite canonique (alternativement, graphe canonique) de chaque graphe et à vérifier s'ils correspondent ou non. Des outils tels que Nauty calculent le graphe canonique via des arbres de recherche qui sont élagués à l'aide de …
1
Qu'est-ce qui compte comme une opération?
Toutes mes excuses pour la question des débutants, mais je suis un peu confus quant à ce qui compte exactement comme une "opération simple" lorsque l'on élabore la complexité temporelle d'un algorithme. En particulier, pourquoi considérons-nous que toutes les opérations sont égales? Assurément, la division de deux très grands nombres …
1
Une preuve de fermeture incorrecte sous le fonctionnement en étoile utilisant NFA entraîne la reconnaissance par NFA de chaînes indésirables?
Je lis actuellement le livre Introduction à la théorie du calcul (2e ou 3e éd.) De Michael Sipser , et je suis tombé sur une question du chapitre 1 - Langues régulières , à savoir lorsque l'auteur présente l'idée de preuve du théorème 1.49 - "La classe des langues régulières …
1
Algorithme randomisé pour 3SAT
Il existe un algorithme aléatoire très simple qui, étant donné un 3SAT, produit une assignation satisfaisant au moins 7/8 des clauses (en attente): choisissez une assignation aléatoire. Une assignation aléatoire satisfait chaque clause avec la probabilité 7/8, et donc la linéarité de l'attente montre que la fraction attendue des clauses …
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.