L'informatique

4

Je suis un homme de 16 ans qui a récemment reçu une grande encyclopédie sur l'informatique par un de mes amis. Je ne suis généralement pas très intéressé par les ordinateurs et la technologie, mais l'informatique a commencé à me fasciner. J'ai cependant l'intention d'étudier la physique et / ou …

14 reference-request education

5

Raison d'apprendre la logique propositionnelle et prédicat

Je peux comprendre l'importance que les informaticiens ou tout ingénieur spécialisé dans le développement de logiciels aient compris comme base d'étude de la logique de base. Mais y a-t-il des tâches / emplois qui nécessitent explicitement la connaissance de ceux-ci, autres que les tâches qui nécessitent tout type de représentation …

14 logic

1

Logique monadique de second ordre pour les nuls

Je suis programmeur et je maîtrise les automates, mais pas la logique. J'ai lu dans les journaux que les deux sont très étroitement liés. Les automates finis déterministes (DFA), les automates arborescents et les automates à refoulement visible sont tous liés à la logique monadique du second ordre (MSO). Bien …

14 automata finite-automata logic coq automated-theorem-proving

3

Cet algorithme peut-il toujours être considéré comme un algorithme de recherche binaire?

En faisant le deuxième code kata (qui vous demande d'implémenter cinq fois un algorithme de recherche binaire, à chaque fois avec une méthode différente), j'ai trouvé une solution légèrement différente qui fonctionne comme suit: Si j'ai un tableau trié de longueur 100 et que je vois que son champ de …

14 algorithms terminology search-algorithms binary-search

6

n * log n et n / log n en fonction du temps d'exécution polynomial

Je comprends que est plus rapide que et plus lent que . Ce qui est difficile à comprendre pour moi, c'est comment comparer réellement et avec où .Θ ( n )Θ(n)\Theta(n)Θ ( n logn )Θ(nJournal⁡n)\Theta(n\log n)Θ ( n / logn )Θ(n/Journal⁡n)\Theta(n/\log n)Θ ( n logn )Θ(nJournal⁡n)\Theta(n \log n)Θ ( n …

14 asymptotics mathematical-analysis landau-notation

1

Que signifie tilde, en notation big-O?

Je lis un article, et il dit dans sa description de la complexité temporelle que la complexité temporelle est .O~( 22 n)O~(22n)\tilde{O}(2^{2n}) J'ai cherché sur Internet et wikipedia, mais je ne trouve pas ce que ce tilde signifie en notation big-O / Landau. Dans le journal lui-même, je n'ai trouvé …

14 landau-notation

1

Arrondi en virgule flottante

Un nombre à virgule flottante IEEE-754 <1 (c'est-à-dire généré avec un générateur de nombres aléatoires qui génère un nombre> = 0,0 et <1,0) peut-il être multiplié par un entier (sous forme de virgule flottante) pour obtenir un nombre égal ou supérieur à cet entier en raison de l'arrondi? c'est à …

13 numerical-analysis floating-point rounding

2

Peut-on éviter l'étape de «division» dans un tri par fusion?

Le tri par fusion est donc un algorithme de division et de conquête. Pendant que je regardais le diagramme ci-dessus, je me demandais s'il était possible de contourner fondamentalement toutes les étapes de division. Si vous parcourez le tableau d'origine en sautant de deux, vous pouvez obtenir les éléments à …

13 algorithms sorting efficiency mergesort

1

Tous les arbres s'étendant sur un minimum de MST sont-ils accessibles par Kruskal et Prim?

Je crois que cela est vrai, mais je n'ai pas pu obtenir de preuve formelle non plus. Mais est-il vrai qu'un arbre couvrant minimum est accessible en appliquant l'algorithme de Kruskal? De même, est-ce vrai pour l'algorithme de Prim? EDIT: Pour être plus précis, je veux savoir si un MST …

13 algorithms graphs minimum-spanning-tree

1

Machines à accès aléatoire avec seulement addition, multiplication, égalité

La littérature est assez claire sur le fait que les RAM à coût unitaire avec multiplication primitive sont déraisonnables, dans la mesure où elles ne peut pas être simulé par les machines de Turing en temps polynomial peut résoudre des problèmes PSPACE complets en temps polynomial Cependant, toutes les références …

13 complexity-theory reference-request computation-models history

3

Quelle est la différence entre un calcul et un langage de programmation?

Je pense que je suis assez confus à propos de ce qu'on appelle un calcul et ce qu'on appelle un langage de programmation. J'ai tendance à penser, et on aurait pu le dire, qu'un calcul est un système formel de raisonnement sur l'équivalence des programmes. Les programmes ont une sémantique …

13 terminology programming-languages lambda-calculus semantics operational-semantics

3

Qu'obtiendriez-vous si vous ajoutez des paramètres à des grammaires sans contexte?

Je pensais aux grammaires pour les langues sensibles à l'indentation et il semble que les grammaires CF feraient l'affaire si elles étaient combinées avec des paramètres. À titre d'exemple, considérons ce fragment pour la grammaire Python simplifiée au format de type ANTLR: // on top-level the statements have empty indent …

13 formal-languages context-free formal-grammars parsers

1

Algorithmes avec complexité O (sqrt (N)) SPACE?

Existe-t-il des algorithmes connus pour les problèmes formulés qui nécessitent une complexité SPACE de O (sqrt (N))? Je sais qu'il existe des algorithmes avec cette complexité temporelle big-O.

13 complexity-theory asymptotics space-complexity

1

Trouver la séquence optimale de questions pour minimiser le temps total des élèves

Supposons qu'il y ait une session de tutorat dans une université. Nous avons un ensemble de kkk questions Q={q1…qk}Q={q1…qk}Q = \{ q_1 \ldots q_k \} et un ensemble de nnn élèves S={s1…sn}S={s1…sn}S = \{ s_1 \ldots s_n \} . Chaque élève a un doute dans un certain sous-ensemble de questions, …

13 algorithms complexity-theory np-complete np-hard

7

Comment vérifier si deux chaînes sont des permutations l'une de l'autre en utilisant l'espace supplémentaire O (1)?

Étant donné deux chaînes, comment pouvez-vous vérifier si elles sont une permutation l'une de l'autre en utilisant l'espace O (1)? La modification des chaînes n'est en aucun cas autorisée. Remarque: espace O (1) par rapport à la longueur de la chaîne ET à la taille de l'alphabet.

13 algorithms strings space-complexity