L'informatique

2

Quelle est la différence entre les structures de données abstraites et concrètes?

Je pensais que le tableau associatif (c'est-à-dire la carte ou le dictionnaire) et la table de hachage étaient le même concept, jusqu'à ce que je voie sur Wikipedia que Pour les dictionnaires avec un très petit nombre de liaisons, il peut être judicieux d'implémenter le dictionnaire à l'aide d'une liste …

17 data-structures abstract-data-types

2

Réduire le problème de factorisation d'entier en un problème NP-Complete

J'ai du mal à comprendre la relation entre NP-intermédiaire et NP-complet. Je sais que si P! = NP basé sur le théorème de Ladner, il existe une classe de langages en NP mais pas en P ni en NP-Complete. Chaque problème dans NP peut être réduit à un problème NP-Complete, …

17 np-complete reductions factoring

4

Que faut-il pour le calcul analogique universel?

Quelles opérations doivent être effectuées pour effectuer un calcul analogique arbitraire ? L'addition, la soustraction, la multiplication et la division seraient-elles suffisantes? De plus, quelqu'un sait-il exactement quels problèmes peuvent être traités avec le calcul analogique, mais pas avec le numérique?

17 computability computation-models turing-completeness

3

Nombre de mots dans la langue régulière

Selon Wikipedia , pour tout langage régulier LLL il existe des constantes λ1,…,λkλ1,…,λk\lambda_1,\ldots,\lambda_k et des polynômes p1(x),…,pk(x)p1(x),…,pk(x)p_1(x),\ldots,p_k(x) tels que pour tout nnn le nombre sL(n)sL(n)s_L(n) de mots de longueur nnn dans LLL satisfait l'équation sL(n)=p1(n)λn1+⋯+pk(n)λnksL(n)=p1(n)λ1n+⋯+pk(n)λkn\qquad \displaystyle s_L(n)=p_1(n)\lambda_1^n+\dots+p_k(n)\lambda_k^n . La langue L={02n∣n∈N}L={02n∣n∈N}L =\{ 0^{2n} \mid n \in\mathbb{N} \} est régulière ( …

17 formal-languages regular-languages combinatorics word-combinatorics

5

L'interaction est-elle plus puissante que les algorithmes?

J'ai entendu dire que l' interaction avec la devise était plus puissante que les algorithmes de Peter Wegner . L'idée de base est qu'une machine de Turing (classique) ne peut pas gérer l'interaction, c'est-à-dire la communication (entrée / sortie) avec le monde / l'environnement extérieur. Comment cela peut-il être ainsi? …

17 computability computation-models

4

Ce problème de graphe fini est-il décidable? Quels facteurs rendent un problème décidable?

Je veux savoir si le problème suivant est décidable et comment le découvrir. Chaque problème que je vois, je peux lui dire «oui» ou «non», donc la plupart des problèmes et des algorithmes sont-ils décidables sauf quelques-uns (qui sont fournis ici )? Entrée: Un graphe orienté et fini , avec …

17 algorithms computability graph-theory undecidability

3

Livre de recettes pour les encodages SAT?

Les solveurs SAT sont de plus en plus efficaces dans la résolution de grandes instances et sont utilisés comme back-end dans divers contextes. Chaque fois que l'on veut les utiliser pour résoudre un problème dans un domaine spécifique, il / elle doit proposer un encodage ad hoc qui a non …

17 reference-request satisfiability sat-solvers

3

Pourquoi l'unification est-elle si importante pour déduire les moteurs?

J'apprends moi-même la vérification automatisée de théorèmes / les solveurs SMT / assistants de vérification et je poste une série de questions sur le processus, en commençant ici . Je continue de lire sur l' algorithme d'unification . Qu'est-ce que c'est et pourquoi est-il si important pour les moteurs d'inférence …

17 logic proof-assistants automated-theorem-proving smt-solvers unification

7

Comment construire une porte XOR en utilisant seulement 4 portes NAND?

xorporte, maintenant je dois construire cette porte en utilisant seulement 4 nandportes a b out 0 0 0 0 1 1 1 0 1 1 1 0 le xor = (a and not b) or (not a and b), qui est A¯¯¯¯B+AB¯¯¯¯A¯B+AB¯\begin{split}\overline{A}{B}+{A}\overline{B}\end{split} Je connais la réponse, mais comment obtenir le …

17 logic boolean-algebra

4

Pourquoi n'utilisons-nous pas le tri rapide sur une liste chaînée?

L'algorithme de tri rapide peut être divisé en étapes suivantes Identifiez le pivot. Partitionnez la liste liée en fonction du pivot. Divisez la liste chaînée récursivement en 2 parties. Maintenant, si je choisis toujours le dernier élément comme pivot, alors l'identification de l'élément pivot (1ère étape) prend du temps .O(n)O(n)\mathcal …

16 algorithms algorithm-analysis sorting quicksort

4

Pourquoi le cryptage RSA est-il devenu populaire pour l'échange de clés?

C'est une question douce. Je ne connais pas grand-chose à la cryptographie ou à son histoire, mais il semble que RSA utilise couramment l'échange de clés en chiffrant une clé symétrique pour envoyer un message plus long (par exemple, la description d'iMessage ici ). N'est-ce pas exactement la raison pour …

16 cryptography history

3

Plus grande somme divisible par n

J'ai posé cette question sur StackOverflow , mais je pense que c'est un endroit plus approprié. C'est un problème du cours d' introduction aux algorithmes : Vous avez un tableau aaa avec entiers positifs (le tableau n'a pas besoin d'être trié ou les éléments sont uniques). Suggérez un algorithme pour …

16 algorithms optimization dynamic-programming arrays

2

Pour chaque regex «mal», existe-t-il une alternative non-mal, ou le diable est-il dans la grammaire?

Apparemment, les attaques ReDos exploitent les caractéristiques de certaines expressions régulières (autrement utiles) ... provoquant essentiellement une explosion de chemins possibles à travers le graphique défini par le NFA. Est-il possible d'éviter de tels problèmes en écrivant une expression rationnelle «non perverse» équivalente? Sinon (ainsi, la grammaire ne peut pas …

16 regular-expressions parsers

2

Quand la concaténation de deux langues régulières est-elle sans ambiguïté?

Étant donné les langues AAA et BBB , disons que leur concaténation ABABAB est sans ambiguïté si pour tous les mots w∈ABw∈ABw \in AB , il y a exactement une décomposition w=abw=abw = ab avec a∈Aa∈Aa \in A et b∈Bb∈Bb \in B , et ambiguë sinon. (Je ne sais pas …

16 algorithms formal-languages computability regular-languages ambiguity

1

L'insolvabilité du problème N-Body est-elle équivalente au problème d'arrêt

Il n'y a pas de solution analytique générale au problème des n-corps qui puisse produire une fonction analytique qui peut être utilisée pour donner l'état d'un système à n-corps à un temps arbitraire t avec une précision exacte. Cependant, il existe certains cas particuliers de systèmes à n corps pour …

16 computability turing-machines undecidability computation-models