L'informatique

1

Structure de données pour une recherche efficace, lorsque les insertions et les suppressions ne sont que unilatérales

J'ai besoin d'une structure de données pour stocker un numéro nnn d'éléments, dont chacun est associé à un moment différent tjetjet_i. nnn varie et même si elle a une limite supérieure théorique, elle est de plusieurs ordres de grandeur supérieure à ce qui est généralement utilisé. Grâce à ma candidature, …

8 data-structures search-trees algorithm-design

1

Base minimale pour un ensemble de vecteurs binaires utilisant XOR

Je serais surpris si ce n'était pas un problème bien étudié, mais je ne sais pas quoi chercher d'autre à ce stade: on vous donne un ensemble de -vecteurs binaires . Le problème est de trouver un autre ensemble de vecteurs binaires , avec une taille minimale, de sorte que …

8 complexity-theory arithmetic matrices linear-algebra

3

Relation entre la complexité de l'algorithme et la classe des automates

Je n'ai pas pu trouver de graphique décrivant ou de texte répondant à la question suivante: Existe-t-il une relation directe entre la complexité d'un algorithme (tel que le meilleur / pire cas de tri rapide) et la classe d'automates qui peuvent implémenter l'algorithme. Par exemple, existe-t-il une gamme de complexité …

8 complexity-theory automata reference-request complexity-classes

3

Le test d'identité polynomiale sur des expressions * arithmétiques * n'est-il pas trivial?

Tests d'identité polynomiale est l'exemple type d'un problème connu pour être co-RP mais pas connu pour être en P . Sur les circuits arithmétiques , cela semble en effet difficile, car le degré du polynôme peut être rendu exponentiellement grand par quadrature répétée. Cette question aborde la question de savoir …

8 randomized-algorithms polynomial-time circuits

1

Problèmes dont l'état de décidabilité est inconnu mais connu pour être moins difficile que le problème d'arrêt

Existe-t-il des problèmes dont la décidabilité est inconnue, mais il est certain que les problèmes sont moins difficiles que le problème d'arrêt.

8 computability reference-request undecidability

5

Pouvons-nous rendre une langue non régulière régulière par concatentation?

Ma question porte essentiellement sur trois langues A, B et L, où L est A et B concaténés ensemble et B se révèle non régulier, est-il possible de trouver un A qui rend L régulier?

8 formal-languages regular-languages

1

Quel est le temps d'exécution de cet algorithme récursif?

J'ai fait le programme Haskell (non golfé) suivant pour le défi de golf de code de calculer les premières valeurs de A229037 .nnn Voici ma solution proposée pour calculer la ème valeur:nnn a n | n<1 = 0 | n<3 = 1 | otherwise = head (goods n) goods n …

8 algorithm-analysis runtime-analysis recurrence-relation recursion

1

algorithme pour le problème de parité de préfixe

Le problème de parité des préfixes peut être défini comme suit. On vous donne une chaîne de longueur et initialement chaque caractère vaut . Ensuite, vous souhaitez créer une structure de données qui peut prendre en charge les mises à jour comme suit.SSSnnn000 Pour un donné, changez en ouiiiS[i]S[i]S[i]000111 pour …

8 algorithms algorithm-analysis search-algorithms lower-bounds

1

Preuve Big-O pour une relation de récurrence?

Cette question est assez spécifique dans la manière de prendre les mesures pour résoudre le problème. Donné T( n ) = 2 T( 2 n / 3 ) + O ( n )T(n)=2T(2n/3)+O(n)T(n)=2T(2n/3)+O(n) prouve-le T( n ) = O (n2)T(n)=O(n2)T(n)=O(n^2). Les étapes étaient donc les suivantes. Nous voulons prouver queT( …

8 asymptotics recurrence-relation

2

Existe-t-il un algorithme efficace pour tester la primalité des nombres de la forme

Je lisais CLRS et il a demandé de montrer que sippp est un premier de la forme 4k+34k+34k+3 et aaa était un résidu quadratique, puis ak+1ak+1a^{k+1} est une racine carrée (on peut aussi facilement montrer que a−ka−ka^{-k} est une racine carrée). Je me demandais si en utilisant le fait précédent …

8 algorithms algorithm-analysis randomized-algorithms number-theory

4

Si

Nous avons deux langues: . Nous savons que est un langage régulier, donc ma question est de savoir si est régulier vers?L1,L2L1,L2L_1,L_2L1L2L1L2L_1L_2L2L1L2L1L_2L_1 J'essaie de trouver un moyen de le prouver ... Je ne peux bien sûr pas supposer que L1,L2L1,L2L_1,L_2sont réguliers ... Je cherche donc un moyen de le prouver. …

8 formal-languages regular-languages closure-properties

1

Quels problèmes de décision NP ne sont pas auto-réductibles?

Nous venons donc d'apprendre sur l'auto-réductibilité en classe. Mon professeur et notre manuel ne s'engageraient pas à dire que tous les problèmes de NP sont auto-réductibles, mais il ne semble pas y avoir d'exemples de problèmes qui ne le soient pas. Je me demandais s'il y avait des exemples, ou …

8 complexity-theory reductions decision-problem np

1

Étant donné la fonction calculable, quelles sont les conditions de calcul de la fonction inverse?

Si F: N → Nf:N→Nf:\mathbb{N}\rightarrow\mathbb{N} est calculable et a un inverse, dans quelles conditions est F- 1f−1f^{-1}aussi calculable? Je ne pouvais pas trouver cela dans un manuel, et googler obtient de vagues suggestions sur le bijectif, mais je n'ai pas pu trouver un théorème clairement énoncé à cet effet. D'un …

8 computability

3

Arrêter le problème - un problème qui me dérange

À ma connaissance, l'arrêt du problème demande s'il existe un programme qui décide si un programme en cours de test, compte tenu de certaines données d'entrée (quel que soit le programme ou quelles données d'entrée nous donnons) se terminera ou non. La réponse à ce problème est «non». En d'autres …

8 computability halting-problem

2

Exécuter un algorithme sur les données à distance et s'assurer que la réponse n'a pas été falsifiée

Je pense à ce problème informatique / crypto / base de données depuis des années et je veux juste savoir s'il existe déjà des solutions. Pour être honnête, je ne sais même pas à quel domaine ce problème appartient exactement. En bref: la personne A a une liste de données, …

8 cryptography security protocols encryption