Je viens de commencer à lire sur la théorie du calcul. Si nous comparons ce qui est le plus puissant (en acceptant des chaînes), les deux sont identiques. Mais qu'en est-il de l'efficacité? DFA sera rapide par rapport à NFA, car il n'a qu'un seul bord sortant et il n'y aura aucune ambiguïté. Mais...
Je suis en quelque sorte nouveau, mais très intéressé par le domaine de l'informatique et de la théorie de la complexité, et je veux clarifier ma compréhension de la façon de classer les problèmes et de la façon dont les problèmes sont liés à la machine utilisée pour les résoudre. Ma compréhension...
Supposons que j'ai un graphe avec M ( G ) le (inconnu) ensemble de couplages parfaits de G . Supposons que cet ensemble ne soit pas vide, alors à quel point est-il difficile d'échantillonner uniformément au hasard à partir de M ( G ) ? Et si je suis d'accord avec une distribution proche de...
La fonction de décalage max du castor occupé, , a des valeurs connues pour n ≤ 4 . Y a-t-il une raison structurelle fondamentale pour laquelle il est inconcevable que nous trouvions un jour S ( n ) pour n > 4 ? Qu'est-ce qui est si différent de n = 4 que ? Ou ? Quelque part en cours de route, il...
Il y a bacs, le i ème bac contient un i balles. Les boules ont n couleurs, il y a i boules de couleur i . Soit m = ∑ n i = 1 a i .nnniiiaiaia_innnaiaia_iiiim=∑ni=1aim=∑i=1naim=\sum_{i=1}^n a_i Un échange consiste à prendre une balle dans un bac et à l'échanger avec une balle dans un autre bac. Nous...
La sortie d'un analyseur doit-elle être un arbre ou pourrait-elle également être un graphique général? De plus, existe-t-il un langage existant ou un langage plausible qui utilise une représentation graphique générale au lieu d'arbres pour leur
J'ai lu sur les différences entre la sérialisation et la linéarisation , qui sont tous deux des critères de cohérence pour les systèmes répliqués tels que les bases de données répliquées. Cependant, je ne sais pas dans quels cas la linéarisation serait nécessaire, même si elle est plus forte que la...
Que language soit régulier.L⊆Σ∗L⊆Σ∗\mathcal{L} \subseteq \Sigma^* Une factorisation de est une paire maximale d'ensembles de mots avecLL\mathcal{L}(X,Y)(X,Y)(X,Y) X⋅Y⊆LX⋅Y⊆LX \cdot Y \subseteq \mathcal{L} X≠∅≠YX≠∅≠YX \neq \emptyset \neq Y , où | .X⋅Y={xyX⋅Y={xyX \cdot Y = \{xyx∈X,y∈Y}x∈X,y∈Y}x \in...
Existe-t-il un moyen naturel ou notable de relier ou de lier des groupes mathématiques et des langages CS formels ou un autre concept CS fondamental, par exemple les machines de Turing? Je recherche des références / applications. Notez cependant que je suis conscient du lien entre les semigroupes...
J'essaie de comprendre ce que l'on entend par «déterministe» dans des expressions telles que «grammaire déterministe sans contexte». (Il y a des "choses" plus déterministes dans ce domaine). J'apprécierais un exemple plus que l'explication la plus élaborée! Si possible. Ma principale source de...
En utilisant l'algorithme récursif de Fibonacci suivant: def fib(n): if n==0: return 0 elif n==1 return 1 return (fib(n-1)+fib(n-2)) Si j'entre le nombre 5 pour trouver fib (5), je sais que cela produira 5 mais comment puis-je examiner la complexité de cet algorithme? Comment calculer les étapes...
Quelle est la complexité de MIN-2-XOR-SATMIN-2-XOR-SAT\text{MIN-2-XOR-SAT} et MAX-2-XOR-SATMAX-2-XOR-SAT\text{MAX-2-XOR-SAT} ? Sont-ils en P? Sont-ils durs en NP? Pour formaliser cela plus précisément, Φ ( x ) = ∧njeCje,Φ(X)=∧jenCje,\Phi\left(\mathbf x\right)={\huge\wedge}_{i}^{n}C_i, où x =( x1, …...
Je recherche un algorithme efficace pour le problème suivant ou une preuve de dureté NP. Soit ΣΣ\Sigma un ensemble et A ⊆ P ( Σ )A⊆P(Σ)A\subseteq\mathcal{P}(\Sigma) un ensemble de sous-ensembles de ΣΣ\Sigma . Trouver une séquence w ∈ Σ ∗w∈Σ∗w\in \Sigma^* de moindre longueur telle que pour chaque L...
Je lisais l'entrée de Wikipedia sur la complexité de Kolmogorov ( grâce à cette question ), qui dit: Il peut être démontré que la complexité de Kolmogorov d'une chaîne ne peut pas dépasser de quelques octets la longueur de la chaîne elle-même. Pourquoi auriez-vous besoin de quelque chose de plus...
La programmation fonctionnelle a le très élégant Lambda Calculus et ses variantes comme théorie de sauvegarde. Y a-t-il une telle chose pour OOP? Qu'est-ce qu'une abstraction pour le modèle orienté
Je voudrais un exemple de quine en calcul lambda pur . J'ai été assez surpris de ne pas en trouver un en cherchant sur Google. La page quine répertorie les quines pour de nombreuses langues "réelles", mais pas pour le calcul lambda. Bien sûr, cela signifie définir ce que je veux dire par une quine...
C'est un fait bien connu que «la corrélation n'est pas égale à la causalité», mais l'apprentissage automatique semble être presque entièrement basé sur la corrélation. Je travaille sur un système pour estimer les performances des étudiants sur des questions basées sur leurs performances passées....
J'ai lu dans Wikipedia et dans quelques autres textes Le problème d'arrêt est décidable [...] pour les automates linéaires bornés (LBA) et les machines déterministes à mémoire finie. Mais plus tôt, il est écrit que le problème d'arrêt est un problème indécidable et donc TM ne peut pas le résoudre!...
Apropois à la suggestion de Raphaël sur l' intersection de deux NPDA : Soit et A 2 NPDA pour les langues sans contexte L 1 et L 2 , respectivement. En supposant que nous savons que L = L 1 ∩ L 2 est sans contexte, pouvons-nous (effectivement) construire NPDA A pour L
La page wikipedia sur les algorithmes de multiplication en mentionne une intéressante par Donald Knuth . Fondamentalement, cela implique de combiner la multiplication par transformée de Fourier avec une table précalculée de multiplications de taille logarithmique. Il fonctionne en temps linéaire....