L'informatique

3

Compréhension concrète de la différence entre les définitions PP et BPP

Je suis confus quant à la façon dont PP et BPP sont définis. Supposons χχ\chi est la fonction caractéristique d'un langage LL\mathcal{L} . M être la machine de Turing probabiliste. Les définitions suivantes sont-elles correctes: P P = { L : P r [ χ ( x ) ≠ M …

9 complexity-theory terminology randomized-algorithms complexity-classes

1

Dureté et sens des réductions

Disons que nous savons que le problème A est difficile, puis nous réduisons A au problème inconnu B pour prouver que B est également difficile. Par exemple: nous savons que la coloration 3 est difficile. Ensuite, nous réduisons la coloration 3 à la coloration 4. En combinant l'une des couleurs …

9 complexity-theory np-complete reductions

2

Taille de la correspondance maximale dans le graphique bipartite

Ai-je raison de dire que la cardinalité de la correspondance maximale d'un graphe bipartite est toujours égale à ?MMMG(U,V,E)G(U,V,E)G(U, V, E)min(|U|,|V|)min(|U|,|V|)\min(|U|, |V|)

9 graph-theory graphs bipartite-matching

2

Machine de Turing alphabet infini

Une machine de Turing autorisée à lire et à écrire des symboles d'un alphabet infini est-elle plus puissante qu'une MT régulière (c'est la seule différence, la machine a toujours un nombre fini d'états)? L'intuition me dit que non, car il faut un nombre infini d'états pour différencier chaque symbole. Je …

9 computability turing-machines reductions simulation

3

Big O: imbriqué pour boucle avec dépendance

On m'a confié un devoir avec Big O. Je suis coincé avec des boucles imbriquées qui dépendent de la boucle précédente. Voici une version modifiée de ma question de devoirs, car je veux vraiment la comprendre: sum = 0; for (i = 0; i < n; i++ for (j = …

9 algorithms algorithm-analysis runtime-analysis landau-notation

3

Est régulier?

J'ai passé ma théorie des examens de calcul il y a quelques semaines, et c'était l'une des questions: Supposons que la langueL={(anbm)r∣n,m,r≥0}L={(anbm)r∣n,m,r≥0}L=\{(a^nb^m)^r \mid n,m,r\ge 0\} L est-il régulier? Si oui, fournissez-lui une expression régulière ou un automate. Après que je lui ai brièvement demandé la réponse après l'examen, il semble …

9 formal-languages regular-languages regular-expressions

3

Quicksort a-t-il toujours un temps d'exécution quadratique si vous choisissez un élément maximum comme pivot?

Si vous disposez d'un algorithme de tri rapide et que vous sélectionnez toujours le plus petit (ou le plus grand) élément comme pivot; Ai-je raison de supposer que si vous fournissez un ensemble de données déjà trié, vous obtiendrez toujours les performances les plus défavorables, que votre liste «déjà triée» …

9 algorithms time-complexity algorithm-analysis runtime-analysis sorting

1

Supprimer les doublons efficacement et avec une surcharge de mémoire faible

Je veux filtrer efficacement une liste d'entiers pour les doublons d'une manière que seul l'ensemble résultant doit être stocké. Cela peut être vu d'une manière: nous avons une gamme d'entiers S={1,…,N}S={1,…,N}S = \{1, \dots{}, N\} avecNNN grand (disons2402402^{40} ) nous avons une fonction f:S→Sf:S→Sf : S \to S avec, supposément, …

9 algorithms data-structures sorting

3

Intuition pour la convolution dans le traitement d'image

J'ai lu de nombreux documents sur la convolution dans le traitement d'image, et la plupart d'entre eux parlent de sa formule, de certains paramètres supplémentaires. Personne n'explique l'intuition et la véritable signification de la convolution sur une image. Par exemple, l'intuition de la dérivation sur le graphique le rend plus …

9 terminology intuition graphics computer-vision

2

Introduction à la vérification logique du premier ordre

J'essaie de m'enseigner différentes approches de la vérification logicielle. J'ai lu quelques articles. Pour autant que je sache, la logique propositionnelle avec le temporel utilise généralement la vérification de modèle avec des solveurs SAT (dans les systèmes en cours - réactifs), mais qu'en est-il de la logique du premier ordre …

9 reference-request logic formal-methods sat-solvers software-verification

1

Un algorithme de réseau neuronal artificiel pourrait-il être exprimé en termes d'opérations de réduction de carte?

Un algorithme de réseau neuronal artificiel pourrait-il être exprimé en termes d'opérations de réduction de carte? Je m'intéresse également plus généralement aux méthodes de parallélisation appliquées aux RNA et à leur application au cloud computing. Je pense qu'une approche consisterait à exécuter un ANN complet sur chaque nœud et à …

9 parallel-computing artificial-intelligence neural-networks

1

Transformation grammaticale des expressions arithmétiques

Dans l'article Parsing Expressions by Recursive Descent de Theodore Norvell (1999), l'auteur commence par la grammaire suivante pour les expressions arithmétiques: E --> E "+" E | E "-" E | "-" E | E "*" E | E "/" E | E "^" E | "(" E ")" | …

9 formal-languages context-free formal-grammars left-recursion

3

Le codage Huffman est-il toujours optimal?

L'exigence que le codage soit exempt de préfixe se traduit par de grands arbres car l'arbre doit être complet. Existe-t-il un seuil où le stockage de données non codé de longueur fixe serait plus efficace que le codage des données?

9 information-theory data-compression

5

Combien de mathématiques faut-il savoir pour comprendre les mathématiques / structures discrètes en informatique?

Normalement, les universités enseignent les mathématiques discrètes / la structure discrète. Ma question est, combien de mathématiques faut-il savoir pour comprendre ce domaine? Le calcul est-il nécessaire ou le précalcul fonctionnera-t-il très bien? Faut-il avoir fait des preuves avant de pouvoir comprendre ce domaine? Merci à tous pour vos réponses. …

9 discrete-mathematics

3

Ressources d'apprentissage en ligne pour les mathématiques discrètes

Existe-t-il de bonnes ressources Web d'apprentissage des mathématiques discrètes avec des ensembles de problèmes?

9 reference-request education discrete-mathematics