L'informatique reference-question

7

Quelle est la définition de P, NP, NP-complet et NP-difficile?

Je suis un cours d' informatique et de complexité et je suis incapable de comprendre la signification de ces termes. Tout ce que je sais, c'est que NP est un sous-ensemble de NP-complete, qui est un sous-ensemble de NP-hard, mais je n'ai aucune idée de ce qu'ils signifient réellement. Wikipedia …

249 complexity-theory terminology complexity-classes p-vs-np reference-question

3

Existe-t-il un système derrière la magie de l'analyse algorithmique?

Il y a beaucoup de questions sur la façon d'analyser le temps d' exécution des algorithmes (voir, par exemple, l' exécution d'analyse et d'analyse de l' algorithme ). Beaucoup sont similaires, par exemple ceux qui demandent une analyse des coûts des boucles imbriquées ou des algorithmes de division et de …

159 algorithms algorithm-analysis runtime-analysis proof-techniques reference-question

4

Comment convertir des automates finis en expressions régulières?

Convertir des expressions régulières en NFA (minimales) acceptant le même langage est facile avec des algorithmes standard, tels que celui de Thompson . L’autre direction semble être plus fastidieuse, cependant, et les expressions résultantes sont parfois désordonnées. Quels algorithmes existe-t-il pour convertir NFA en expressions régulières équivalentes? Existe-t-il des avantages …

115 algorithms formal-languages finite-automata regular-expressions reference-question

5

Comment ne pas résoudre P = NP?

Il y a beaucoup de tentatives pour prouver soit ou , et naturellement beaucoup de gens réfléchissent à la question, ayant des idées pour prouver la direction dans laquelle ils veulent aller.P ≠ N PP = N PP=NP\mathsf{P} = \mathsf{NP} P ≠ N PP≠NP\mathsf{P} \neq \mathsf{NP} Je sais qu'il a …

97 complexity-theory reference-request history p-vs-np reference-question

3

Comment sait-on quelle notation de l'analyse de la complexité temporelle utiliser?

Dans la plupart des classes d'introduction aux algorithmes, des notations telles que (Big O) et sont introduites, et un étudiant apprendra généralement à utiliser l'une de celles-ci pour rechercher la complexité temporelle.ΘOOOΘΘ\Theta Cependant, il existe d'autres notations, telles que , et . Existe-t-il des scénarios spécifiques dans lesquels une notation …

91 algorithms terminology asymptotics landau-notation reference-question

11

Résoudre ou approximer les relations de récurrence pour des suites de nombres

En informatique, nous avons souvent à résoudre des relations de récurrence , c'est-à-dire à trouver une forme fermée pour une suite de nombres définie récursivement. Quand on considère les temps d'exécution, on s'intéresse souvent principalement à la croissance asymptotique de la séquence . Des exemples sont Le temps d'exécution d'une …

90 asymptotics proof-techniques combinatorics recurrence-relation reference-question

5

Comment prouver qu'une langue n'est pas sans contexte?

Nous avons appris la classe des langages sans contexte . Il se caractérise à la fois par des grammaires sans contexte et des automates à pile , il est donc facile de montrer qu’une langue donnée est sans contexte.CFLCFL\mathrm{CFL} Comment puis-je montrer le contraire, cependant? Mon assistante professionnelle a insisté …

89 formal-languages context-free proof-techniques reference-question

10

Comment prouver qu'une langue n'est pas régulière?

Nous avons appris à propos de la classe des langages normaux . Il se caractérise par un concept unique parmi les expressions régulières, les automates finis et les grammaires linéaires à gauche; il est donc facile de montrer qu'une langue donnée est régulière.REGREG\mathrm{REG} Comment puis-je montrer le contraire, cependant? Mon …

76 formal-languages regular-languages proof-techniques reference-question

6

Comment pouvons-nous supposer que les opérations de base sur les nombres prennent un temps constant?

Normalement, dans les algorithmes, nous ne nous soucions pas de la comparaison, de l'addition ou de la soustraction de nombres - nous supposons qu'ils sont exécutés dans le temps . Par exemple, nous supposons cela lorsque nous disons que le tri basé sur la comparaison est O ( n log …

74 algorithms complexity-theory algorithm-analysis time-complexity reference-question

1

Comparaison théorique des langages des grammaires LL et LR

Les gens disent souvent que les analyseurs syntaxiques LR (k) sont plus puissants que les analyseurs syntaxiques LL (k) . Ces déclarations sont vagues la plupart du temps; en particulier, devrions-nous comparer les classes pour un fixe ou l'union sur tous les k ? Alors, comment est la situation vraiment? …

68 formal-languages formal-grammars parsers reference-question

8

Comment prouver qu'une langue est régulière?

Il existe de nombreuses méthodes pour prouver qu'une langue n'est pas régulière , mais que dois-je faire pour prouver qu'une langue est régulière? Par exemple, si on me donne que est régulier, comment puis - je prouver que les éléments suivants L ' est régulière, aussi?LLLL′L′L' L′: = { W …

48 formal-languages regular-languages automata proof-techniques reference-question

2

Comment montrer qu'une fonction n'est pas calculable?

Je sais qu'il existe une machine de Turing, si une fonction est calculable. Ensuite, comment montrer que la fonction n’est pas calculable ou qu’il n’ya pas de machine de Turing pour cela. Y a-t-il quelque chose comme un lemme de pompage?

43 computability proof-techniques undecidability reference-question

6

Faire face à l'intracabilité: problèmes NP-complets

Supposons que je suis un programmeur et que j'ai un problème NP-complet dont j'ai besoin pour le résoudre. Quelles méthodes sont disponibles pour traiter les problèmes des PNJ? Existe-t-il une enquête ou quelque chose de similaire sur ce sujet?

43 algorithms reference-request np-complete efficiency reference-question

1

Quelle est la différence entre un algorithme, une langue et un problème?

Il semble que sur ce site, les gens corrigent souvent les autres pour avoir confondu "algorithmes" et "problèmes". Quelle est la différence entre ceux-ci? Comment savoir quand je devrais envisager des algorithmes et des problèmes? Et quel est leur lien avec le concept de langage dans la théorie des langages …

40 algorithms complexity-theory formal-languages terminology reference-question

4

Quelles sont les techniques courantes pour réduire les problèmes les uns aux autres?

Dans la théorie de la calculabilité et de la complexité (et peut-être dans d'autres domaines), les réductions sont omniprésentes. Il en existe de nombreuses sortes, mais le principe reste le même: montrez qu'un problème est au moins aussi complexe qu'un autre problème en mappant des instances de à des solutions …

40 complexity-theory computability reductions proof-techniques reference-question

Questions marquées «reference-question»