L'informatique

2

Pourquoi

Dans CLRS (aux pages 49-50), quelle est la signification de l'énoncé suivant: Σni=1O(i)Σi=1nO(i)\Sigma_{i=1}^{n} O(i) n'est qu'une seule fonction anonyme (de ), mais n'est pas la même chose queiiiO(1)+O(2)+⋯+O(n)O(1)+O(2)+⋯+O(n)O(1)+O(2)+\cdots+O(n), qui n'a pas vraiment d'interprétation. "

8 asymptotics landau-notation

3

Gödels (premier) théorème d'incomplétude et le problème de l'arrêt - Dans quelle mesure est-il limitatif?

Quand j'ai entendu parler de ces choses pour la première fois, j'étais très fasciné car je pensais que cela fixait vraiment une limite aux mathématiques et aux sciences en général. Mais dans quelle mesure ces choses sont-elles pertinentes dans la pratique? Pour le problème de l'arrêt: y a-t-il plus que …

8 computability logic halting-problem applied-theory

2

les langues NP Complete sont-elles fermées dans le cadre d'opérations régulières?

J'ai essayé de chercher en ligne, mais je n'ai trouvé aucune déclaration définitive. Il serait logique pour moi que l'union et l'intersection de deux langues NPC produisent une langue qui n'est pas nécessairement dans NPC. Est-il également vrai que les langages des PNJ ne sont pas fermés sous le complément, …

8 complexity-theory np-complete closure-properties

2

Comment les tables de hachage O (1) prennent-elles en compte la vitesse de hachage?

Les tables de hachage sont censées être amorties utilisant, par exemple, un simple enchaînement et un doublement à une certaine capacité.Θ(1)Θ(1)\Theta(1) Cependant, cela suppose que les longueurs des éléments sont constantes. Le calcul du hachage d'un élément nécessite de passer par l'élément, en prenant le temps où est la longueur.Θ(l)Θ(l)\Theta(l)lll …

8 hash-tables dictionaries

1

Problèmes NP avec une solution unique

Y a-t-il une classe de problèmes NP qui ont une solution unique? C'est ce que je demande, parce que lorsque j'étudiais la cryptographie, j'ai lu sur le sac à dos et j'ai trouvé l'idée très intéressante.

8 complexity-theory decision-problem np cryptography

5

Serait-il possible pour les virus informatiques de développer de nouveaux «gènes» pour leur permettre d'accomplir leur travail?

En tant qu'étudiant en biologie de niveau A, j'ai beaucoup réfléchi aux liens avec la biologie et l'informatique, et quelque chose qui me vient souvent à l'esprit sont les liens entre l'immunologie et la sécurité informatique / les virus. Par exemple, j'ai (en lisant sur le fonctionnement des programmes antivirus) …

8 security evolutionary-computing

1

Comment se retrouve-t-on avec un exposant non entier en complexité temporelle? (par exemple,

Je rencontre périodiquement des phrases comme "Variante de Winograd [20] de cet algorithme, dont la complexité asymptotique est également O (n2,81)O(n2.81)O(n^{2.81})sont considérés "(à partir de https://www.cise.ufl.edu/~sahni/papers/strassen.pdf ) Je comprends intuitivement comment nous nous retrouvons avec des complexités comme O (n2)O(n2)O(n^2) et O ( n logn )O(nlog⁡n)O(n \log n)parce que je …

8 complexity

1

Problème de hauteur d'empilement maximale

Le problème suivant a-t-il été étudié auparavant? Si oui, quelles approches / algorithmes ont été développés pour le résoudre? Problème ("Problème de hauteur d'empilage maximale") Étant donné polygones, trouvez leur disposition stable et sans chevauchement qui maximise leur hauteur d'empilement sur un sol fixe sous l'influence de la gravité.nnn Exemple …

8 algorithms time-complexity optimization computational-geometry heuristics

3

Y a-t-il quelque chose de plus bas que le niveau de bit de 1 et de 0?

Lors de l'apprentissage de l'architecture des ordinateurs et de son fonctionnement, nous pensons que le langage le plus bas que nous pouvons trouver que la machine comprend est binaire comme 1 et 0. Et tout ce que nous entrons devra être transformé / converti en binaire, mais étant des nombres …

8 computer-architecture

1

Lambda Calculus: comment fonctionnent les contextes d'évaluation

Dans le calcul lambda pur, nous avons l'ensemble de termes définis par induction (la grammaire): e::=x∣λx.e∣e1e2e::=x∣λx.e∣e1e2e::= x \mid \lambda x . e \mid e_1 e_2 Dans le cadre de la stratégie d'évaluation de l'appel par valeur, nous avons les règles d'inférence pour la réduction bêta et les règles sur la …

8 programming-languages lambda-calculus semantics

3

Application du théorème des quatre couleurs

Je lisais le théorème des quatre couleurs et je me demande s'il y a une application pratique. (Je ne pense pas que séparer la carte en quatre couleurs différentes puisse être considéré comme une application.) J'ai essayé Google pour les applications mais je n'en ai pas trouvé.

8 graph-theory colorings

1

L'algorithme implémenté par git bisect est-il optimal?

Soit un DAG. Nous savons que certains nœuds de sont "mauvais", tandis que les autres sont "bons"; un descendant d'un mauvais nœud est mauvais tandis que les ancêtres d'un bon nœud sont bons. Nous savons également que les mauvais nœuds ont un élément minimal unique en que nous aimerions trouver …

8 algorithms graphs

1

L'étoile Kleene d'une langue unaire infinie donne toujours une langue régulière

Laisser L = {unen∣ n ≥ 0 }L={an∣n≥0}L = \{a^n \mid n \ge 0\}, où une0= ϵa0=ϵa^0 = \epsilon et unen=unen - 1unean=an−1aa^n = a^{n-1}a pour tous n ≥ 1n≥1n \ge 1. Donc LLL se compose de séquences de uneaa de toutes les longueurs, y compris une séquence de longueur …

8 formal-languages regular-languages closure-properties

1

Compter et trouver toutes les correspondances parfaites / maximales dans les graphiques généraux

Récemment, j'ai été confronté à un problème qui m'a conduit aux questions suivantes: Existe-t-il un bon algorithme pour énumérer toutes les correspondances maximales / parfaites dans un graphique général? Existe-t-il un bon algorithme pour trouver toutes les correspondances maximales / parfaites dans un graphique général? Ces deux problèmes sont-ils équivalents …

8 algorithms complexity-theory graph-theory reference-request matching

1

Pourquoi décider de la régularité d'un langage sans contexte est-il indécidable?

Comme je l'ai étudié, décider de la régularité des langages sans contexte est indécidable. Cependant, nous pouvons tester la régularité en utilisant le théorème de Myhill – Nerode qui fournit une condition nécessaire et suffisante. Le problème devrait donc être décidable. Où est mon erreur?

8 formal-languages computability regular-languages undecidability