L'informatique

1

Les tas soudables randomisés ont une opération "fusion", que nous utilisons ensuite pour définir toutes les autres opérations, y compris l'insertion. La question est, quelle est la hauteur attendue de cet arbre à nnn nœuds? Le théorème 1 de Gambin et Malinkowski, Randomized Meldable Priority Queues (Proceedings of SOFSEM 1998, …

9 algorithm-analysis data-structures randomized-algorithms heaps

4

Pourquoi devrions-nous étudier les trois formes de représentation des automates finis?

DFA, NFA et epsilon NFA tous les trois nous permettent de représenter une langue régulière particulière. Avec n'importe laquelle de ces représentations, nous pouvons arriver à la même expression régulière, alors pourquoi devons-nous étudier les trois formes de représentation des automates finis? Il peut y avoir des explications sur ce …

9 automata finite-automata education

2

Prouver une opération de tri dans le système de type

Je veux savoir dans quelle mesure un système de type dans un langage de programmation peut être bénéfique. Par exemple, je sais que dans un langage de programmation typé de manière dépendante, nous pouvons créer une Vectorclasse incorporant la taille du vecteur dans la signature de type. C'est comme un …

9 type-theory functional-programming dependent-types

1

Que signifie la flèche vers le haut (

J'apprends des arbres de points de vue, et je l'ai rencontré en lisant le document Structures de données et algorithmes pour la recherche du plus proche voisin dans les espaces métriques généraux par Peter Yianilos ( Actes de SODA 1993 , SIAM, pages 311–321; PDF ). Le pseudocode suivant apparaît …

9 notation

2

Comment prouver que la 3-coloration est décidable?

Pour prouver que la 3-coloration est décidable, suffit-il de dire: Chaque nœud du graphique a 3 couleurs possibles Par conséquent, nous pouvons énumérer les possibilités, puis vérifier qu'il n'y a pas deux arêtes reliant les nœuds de la même couleur3n3n3^n Cela prouve-t-il que la coloration 3 est décidable? Ou dois-je …

9 computability turing-machines colorings

3

DFA pour accepter toutes les chaînes binaires de puissance de forme de

Nous pouvons former DFA en acceptant des nombres binaires divisibles par .nnn Par exemple, DFA acceptant des nombres binaires divisibles par 2 peut être formé comme suit: De même, DFA acceptant des nombres binaires divisibles par 3 peut être formé comme suit: Nous pouvons suivre une procédure bien définie pour …

9 regular-languages automata finite-automata regular-expressions

3

Le GC de comptage de références par rapport au GC de traçage est-il une propriété de langage ou une propriété d'implémentation?

On entend parfois «Swift ne fait pas de GC classique (traçage), il utilise ARC». Mais je ne sais pas s'il y a quelque chose dans la sémantique Swift qui nécessite un comptage de références. Il semble que l'on pourrait construire son propre compilateur Swift et son propre runtime pour utiliser …

9 semantics garbage-collection

1

Prédiction de séquence pseudo-aléatoire

Avertissement: je suis un biologiste, donc désolé pour (peut-être) une question de base formulée en termes aussi grossiers. Je ne sais pas si je devrais poser cette question ici ou sur DS / SC, mais CS est le plus grand des trois, alors voilà. (Après avoir posté, il m'est venu …

9 machine-learning probability-theory

1

Recherche de la sous-séquence répétée la plus longue

Étant donné une chaîne , je voudrais trouver la sous-séquence répétée la plus longue (au moins deux fois). Autrement dit, je voudrais trouver une chaîne qui est une sous-séquence (ne doit pas nécessairement être contiguë) de telle que . Autrement dit, w est une chaîne dont les moitiés apparaissent deux …

9 algorithms optimization dynamic-programming strings subsequences

1

Le non-déterminisme dans une machine de turing non déterministe est-il différent de celui des automates finis et des automates push down?

Soit une chaîne d'entrée donnée comme . Ensuite, si un NFA est actuellement dans l'état (et a lu l'entrée jusqu'à l'alphabet ), puis avant de lire le symbole d'entrée suivant, le NFA se divise en deux NFA, l'un étant dans l'état r et l'autre dans s , s'il y a …

9 turing-machines finite-automata pushdown-automata computation-models nondeterminism

1

Comment mesurer pratiquement l'entropie d'un fichier?

J'essaie de mesurer maintenant beaucoup d'informations non redondantes (réelles) que contient mon fichier. Certains appellent cela la quantité d'entropie. Bien sûr, il existe le journal standard p (x) {p (x)}, mais je pense que Shannon ne le considérait que du point de vue de la transmission via un canal. Par …

9 entropy

2

Décidabilité de la vérification d'un antidérivatif?

Supposons que j'ai deux fonctions et et je souhaite déterminer siGFFFggG F( x ) = ∫G ( x ) dx .F(X)=∫g(X)réX.F(x) = \int G(x)dx. Supposons que mes fonctions soient composées de fonctions élémentaires (polynômes, exponentielles, logs et fonctions trigonométriques), mais pas, disons, série Taylor. Ce problème est-il décidable? Sinon, est-ce …

9 computability undecidability mathematical-analysis computer-algebra

1

À propos des graphiques dont le jeu d'arêtes se décompose en correspondances parfaites

Existe-t-il une caractérisation de graphes dont l'ensemble de bords se décompose en une union disjointe de correspondances parfaites? Une classe triviale de tels graphes sont les graphes bipartites réguliers ( n , n ) . Leur jeu de bord se décompose en d disjoints filtrages parfait. rédd( n , n …

9 graph-theory graphs

1

Comment déterminez-vous le nombre d'erreurs dans l'algorithme Welch-Berlekamp?

Dans l'algorithme Welch-Berlekamp de décodage des codes Reed-Solomon, on donne une liste de points(ai,bi)(ai,bi)(a_i, b_i) représentant un message avec eee erreurs sur le bibib_i dans des emplacements inconnus (et eee est donné à l'algorithme). La sortie est un polynôme passant par tous les points donnés à l'exception de ceux dans …

9 algorithms error-correcting-codes

1

Les termes de logique combinatoire sont-ils toujours plus gros?

Il existe donc un algorithme pour convertir les termes de calcul lambda en logique combinatoire à l'aide de combinateurs SK. Il produit des choses qui explosent en taille. J'aimerais en savoir plus sur cette explosion de taille. Je n'arrive pas à penser à un meilleur algorithme cependant. J'ai entendu dire …

9 lambda-calculus functional-programming combinatory-logic