L'informatique reference-request

2

Qu'est-ce que la théorie de la complexité structurelle?

Je suis nouveau dans la théorie de la complexité et je veux savoir ce qu'est la théorie de la complexité structurelle? quels problèmes les théoriciens tentent-ils de résoudre dans ce domaine et quel est son avenir? Du wikipedia: La théorie de la complexité structurelle ou simplement la complexité structurelle est …

8 complexity-theory reference-request

2

Nom correct pour un analyseur de descente récursif qui utilise des boucles pour gérer la récursion gauche?

Cette grammaire est récursive: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term | MultiplicationExpression '/' Term Term ::= Number | '(' AdditionExpression ')' Number ::= [+-]?[0-9]+(\.[0-9]+)? Donc, en théorie, la descente récursive ne fonctionnera pas. Mais en …

8 reference-request formal-grammars recursion parsers left-recursion

1

Les langages formels peuvent-ils être utilisés pour étudier la notation mathématique?

Question: Existe-t-il des textes d'introduction en langage formel ou en théorie du langage de programmation qui discutent de la façon de l'appliquer à l'étude de la notation optimale? En particulier, je suis intéressé à savoir quels sont les langages de pile, les arbres d'analyse et les indices, et comment prédire …

8 formal-languages reference-request formal-grammars programming-languages

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

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

2

Des applications du monde réel pour le problème de l'arbre de Steiner?

Existe-t-il des applications réelles du problème de l'arbre de Steiner (STP)? Je comprends que la conception de la puce VSLI est une bonne application du STP. Y a-t-il d'autres exemples de problèmes réels que les gens peuvent suggérer qui pourraient être formulés en termes de STP? Contexte: Je commence ma …

8 graph-theory reference-request optimization combinatorics applied-theory

1

Que savons-nous de NP ∩ co-NP et de sa relation avec NPI?

Une AT est passée aujourd'hui pour s'enquérir de certaines choses au sujet du NP et du co-NP. Nous sommes arrivés à un point où j'étais aussi perplexe: à quoi ressemble un diagramme de Venn de P, NPI, NP et co-NP en supposant P ≠ NP (l'autre cas est ennuyeux)? Il …

8 complexity-theory reference-request complexity-classes np

1

Quelle est la pertinence pratique des algorithmes d'exclusion mutuelle des manuels?

Il y a eu beaucoup de recherches sur les algorithmes d'exclusion mutuelle - par exemple, beaucoup d'entre eux sont présentés dans des manuels classiques tels que The Art of Multiprocessor Programming , où un chapitre entier leur est consacré. Je me demande quelles sont les situations pratiques où l'on pourrait …

8 reference-request concurrency mutual-exclusion

1

Analogue exponentiel de NC?

La classe de Nick (NC) est la classe de problèmes qui peuvent être résolus en temps poly-log en utilisant un nombre polynomial de processeurs. Je veux en savoir plus sur l'analogue exponentiel, qui couvrirait les problèmes qui peuvent être résolus en temps polynomial en utilisant un nombre exponentiel de processeurs. …

8 complexity-theory reference-request parallel-computing complexity-classes

4

Informatique pour programmeurs

Je suis un programmeur autodidacte et je code depuis 8 ans. Grâce à cette expérience, je connais déjà très bien les principes de programmation (tels que les instructions if, les classes, le polymorphisme, etc.). Cependant, je n'ai jamais appris "l'informatique", seulement la programmation. Quelles sont les bonnes ressources pour quelqu'un …

8 reference-request

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

Mathématiques élevées pour la théorie des jeux

Je suis un doctorant débutant. étudiant en informatique, et j'essaie de comprendre certains articles classiques de théorie des jeux, tels que ceux de Nash, Kalai et Smorodinsky. Mais j'ai du mal à comprendre les parties mathématiques. Il semble que ces articles ont été écrits par des mathématiciens, pour des mathématiciens. …

8 reference-request game-theory mathematical-analysis

1

Papier avec preuve que

Ces diapositives de cours esquissent une preuve queL = {unenbn∣ n ≥ 0 } ∪ {unenb2 n∣ n ≥ 0 }L={anbn∣n≥0}∪{anb2n∣n≥0}L=\{ a^n b^n \mid n \geq 0 \} \cup \{ a^n b^{2n} \mid n \geq 0 \} ne peut être accepté par aucun automate déterministe à refoulement. Malheureusement, les diapositives …

8 formal-languages reference-request automata pushdown-automata nondeterminism

1

Le problème de l'univers pour les automates à guichet unique avec une taille d'alphabet restreinte est-il indécidable?

Considérez le problème d'univers suivant . Le problème de l'univers. Étant donné un ensemble fini pour une classe de langages, et un automate acceptant le langage L , décidez si L = \ Sigma ^ * .ΣΣ\SigmaLLLL=Σ∗L=Σ∗L=\Sigma^* Dans [1], il est indiqué et prouvé que le problème de l'univers est …

8 formal-languages reference-request automata undecidability decision-problem

6

Application pratique des machines à états finis

Je recherche des applications pratiques des machines à états finis comme les machines DFA, NFA, Moore, Mealy ... Il serait utile que quelqu'un pointe vers des exemples du noyau Linux. Je sais que DFA est utilisé dans la correspondance de chaînes comme l'algorithme KMP. Quelle est la signification des machines …

8 reference-request automata finite-automata

Questions marquées «reference-request»