L'informatique

1

Limites d'exécution sur les algorithmes de problèmes complets de NP en supposant P ≠ NP

Supposons .P ≠ N PP≠NPP\neq NP Que pouvons-nous dire sur les limites d'exécution de tous les problèmes NP-complete? c'est-à-dire quelles sont les fonctions les plus étroites pour lesquelles nous pouvons garantir qu'un algorithme optimal pour tout problème NP-complet s'exécute dans un temps d'au moins et au plus sur une entrée …

13 complexity-theory time-complexity np-complete p-vs-np

4

Quelle est la relation entre corrélation et causalité dans l'apprentissage automatique?

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. Contrairement à d'autres tâches, comme la …

13 machine-learning statistics

3

Une quine dans le calcul lambda pur

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 …

13 lambda-calculus

2

Complexité de Kolmogorov: Pourquoi auriez-vous besoin de plus d'octets que la chaîne elle-même?

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 …

13 kolmogorov-complexity

2

Y a-t-il une théorie / abstraction derrière la POO?

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é objet?

13 terminology lambda-calculus functional-programming object-oriented

1

Comment trouver la représentation la plus courte pour un sous-ensemble d'un jeu de puissances?

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 ∈ …

13 algorithms formal-languages encoding-scheme

4

Complexité de l'algorithme de Fibonacci récursif

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 impliquées?

13 algorithms time-complexity recursion

4

Pont des théorèmes pour la théorie des groupes et les langages formels

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 et les …

13 formal-languages reference-request automata discrete-mathematics group-theory

3

Qui a besoin de linéarisation?

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 …

13 concurrency databases

6

Un arbre de syntaxe abstraite doit-il être un arbre?

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 syntaxe?

13 compilers parsing

1

Utilisez un nombre minimum de swaps pour que chaque bac contienne des boules de la même couleur

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 à …

13 algorithms complexity-theory balls-and-bins

1

Trouver la factorisation maximale des langues régulières

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 X, y \in Y\} (X,Y)(X,Y)(X,Y) est maximal si pour chaque paire avec soit ou …

13 algorithms regular-languages optimization

5

En quoi la non-ambuiguïté est-elle différente du déterminisme?

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 confusion est de ne pas pouvoir dire …

13 context-free formal-grammars parsers

3

Calcul de la fonction de castor occupé

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 …

13 computability busy-beaver

2

Échantillonnage de la correspondance parfaite uniformément au hasard

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 …

13 algorithms complexity-theory matching sampling