L'informatique

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

1
NP = coNP implique-t-il P = NP?
Nous savons que P = NP implique NP = coNP. L'implication inverse tient-elle? Est-ce que NP égal à coNP implique que P est égal à NP? Sinon pourquoi pas? J'ai googlé mais je n'ai pas trouvé la réponse.
2
La «recherche ternaire» est-elle un terme approprié pour l'algorithme qui optimise une fonction unimodale sur un intervalle réel?
Supposons que je veuille optimiser une fonction unimodale définie sur un certain intervalle réel. Je peux utiliser l'algorithme bien connu décrit dans Wikipedia sous le nom de recherche ternaire . Dans le cas de l'algorithme qui divise de façon répétée les intervalles par deux, il est courant de réserver le …
3
borne inférieure de la mémoire à accès aléatoire?
Voici une question peut-être naïve qui me pique: y a-t-il un Ω (n--√3)Ω(n3)\Omega(\sqrt[3]{n})limite inférieure asymptotique pour l'adressage aléatoire d'une mémoire arbitrairement grande? Ma cause de croyance est que le chemin le plus court vers une mémoire stockée physiquement doit être à travers un espace tridimensionnel, et la diagonale ici doit …
2
Vitesse de l'algorithme de Shor
Je suis un débutant en informatique, et on me demande d'écrire un article qui implique la factorisation entière. En conséquence, je dois examiner l'algorithme de Shor sur les ordinateurs quantiques. Pour les autres algorithmes, j'ai pu trouver des équations spécifiques pour calculer le nombre d'instructions de l'algorithme pour une taille …
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
Vérifier l'exactitude de l'élimination du quantificateur, à l'aide de SAT
Laisser x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n) et y=(y1,…,yn)y=(y1,…,yn)y=(y_1,\dots,y_n) être nnn-vecteurs de variables booléennes. J'ai un prédicat booléenQ(x,y)Q(x,y)Q(x,y) sur x,yx,yx,y. Je donne mon ami PriscillaQ(x,y)Q(x,y)Q(x,y). En réponse, elle me donneP(x)P(x)P(x), un prédicat booléen sur xxxet elle prétend que P( x ) ≡ ∃ y. Q ( x , y) ,P(x)≡∃y.Q(x,y),P(x) \equiv \exists y . Q(x,y), …
1
Entrées de chaîne dans l'apprentissage automatique
Plusieurs algorithmes d'apprentissage automatique populaires tels que la régression logistique ou les réseaux de neurones nécessitent que ses entrées soient numériques. Ce qui m'intéresse, c'est comment vous faites fonctionner ces algorithmes sur des entrées non numériques (telles que des chaînes courtes). Par exemple, disons que nous construisons un système de …
2
Algorithme de canonisation de graphe simple
Je recherche un algorithme qui fournit une chaîne canonique pour un graphique coloré donné. C'est à dire. un algorithme qui renvoie une chaîne pour un graphique, de telle sorte que deux graphiques obtiennent la même chaîne si et seulement s'ils sont isomorphes. En particulier, je recherche un algorithme simple et …
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.