L'informatique

2

Qu'est-ce que l'analogue de Curry-Howard pour les logiques linéaires?

Comme défini par Wikipedia, (La correspondance Curry-Howard) est une généralisation d'une analogie syntaxique entre les systèmes de logique formelle et les calculs computationnels qui a été découverte pour la première fois par le mathématicien américain Haskell Curry et le logicien William Alvin Howard. Le λ-cube qui lui est associé est …

8 logic type-theory functional-programming

2

Quels sont les moyens efficaces de trouver les différences entre deux grands corpus de texte qui ont un contenu similaire mais ordonné différemment?

J'ai deux gros fichiers contenant des paragraphes de texte anglais: Le premier texte fait environ 200 pages et compte environ 10 paragraphes par page (chaque paragraphe fait 5 phrases). Le deuxième texte contient presque exactement les mêmes paragraphes et texte que le premier. Il comprend également 200 pages et 10 …

8 strings data-mining natural-language-processing edit-distance

2

Étant donné une MT

Je veux déterminer si ce problème de décision est décidable. J'ai essayé d'établir des réductions à partir de Halt et "Accepte une chaîne vide", mais je n'ai pas encore trouvé de solution. Est-ce que quelqu'un peut m'aider?

8 computability turing-machines undecidability

1

Quelle est la relation entre les problèmes et les langues?

Je veux demander exactement quelle est la relation entre les problèmes et les langues. Nous savons que l'ensemble de toutes les langues est innombrable. L'ensemble des problèmes est-il également indénombrable? Chaque problème peut-il être défini par une langue? Une langue peut-elle résoudre plus d'un problème et vice versa? Existe-t-il une …

8 formal-languages

2

Quelle est la complexité temporelle de cet algorithme? Et pourquoi?

Je suis bloqué par l'analyse de la complexité temporelle de l'algorithme suivant: def fun (r, k, d, p): if d > p: return r if d = 0 and p = 0: r <- r + k return r if d > 0: fun (r, k + 1, d - …

8 algorithm-analysis runtime-analysis

1

La fonction d'activation doit-elle être monotone dans les réseaux de neurones?

De nombreuses fonctions d'activation dans les réseaux de neurones (sigmoïde, tanh, softmax) sont monotones, continues et différenciables (à l'exception de quelques points, où la dérivée n'existe pas). Je comprends la raison de la continuité et de la différentiabilité, mais je ne peux pas vraiment comprendre la raison de la monotonie.

8 machine-learning neural-networks

2

Affectation pour rendre la formule insatisfaisante

Imaginons que nous ayons une formule satisfaisante Le problème à résoudre est "Y a-t-il une affectation pour les variables qui fera F insatisfaisant? ". Une façon de résoudre est de trouver toutes les solutions pour F en termes de variables et si le nombre est < , la solution manquante …

8 logic satisfiability sat-solvers

2

Minimiser les automates finis déterministes sans états d'acceptation

J'ai un automate fini sans état final / acceptant, donc F est vide. Comment puis-je le minimiser? J'ai obtenu ceci sur un test et je ne savais pas comment aborder le problème parce que l'automate n'avait aucun état d'acceptation. Un seul état initial avec toutes les transitions en lui-même est-il …

8 automata finite-automata

2

Comment un système d'étiquettes cycliques peut-il s'arrêter avec une sortie?

Par exemple, nous pouvons dire que nous avons un programme abstrait qui, étant donné une chaîne binaire finie en entrée, supprime tous les zéros (c'est-à-dire que 0010001101011 est évalué à 111111), ce qui est certainement une fonction calculable par Turing. Comment un système de balises cycliques peut-il calculer cela (ce …

8 computability turing-machines

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

2

Recoloration des graphes bipartis

Étant donné un graphique bipartite G = ( A , B , E)G=(A,B,E)G = (A,B,E) où chaque sommet est coloré en rouge ou en bleu, j'essaie de minimiser le nombre de sommets bleus en utilisant l'opération suivante: Choisissez un sommet vunevav_a dans UNEAA Retournez les couleurs de N[vune]N[va]N[v_a], ce qui …

8 algorithms graphs

1

Y a-t-il un hachage continu?

Des questions: Peut-il y avoir un hachage (cryptographiquement sécurisé) qui préserve la topologie des informations de {0,1}∗{0,1}∗\{0,1\}^{*}? Pouvons-nous ajouter un prédicat de proximité efficacement calculable qui, étant donné hk(x)hk(X)h_k(x) et hk(y)hk(y)h_k(y) (ou yyy lui-même) nous dit si yyyest très proche dexXx (par exemple la distance de Levenshtein ou la distance …

8 complexity-theory cryptography hash string-metrics topology

1

Définition du modèle d'apprentissage PAC

Le modèle d'apprentissage probablement correct (PAC) est défini comme suit: Une classe conceptuelle CCC est dit être PAC-apprenant s'il existe un algorithme AAA et une fonction polynomiale poly(⋅,⋅,⋅,⋅)poly(·,·,·,·)poly(·,·,·,·)de telle sorte que pour tout ε>0ε>0ε>0 et δ>0δ>0δ>0 , pour toutes les distributions DDD sur XXX et pour tout concept cible c∈Cc∈Cc∈C …

8 machine-learning

2

Domaines d'informatique traitant des systèmes peer-to-peer

Je suis un étudiant de premier cycle et j'ai hâte de devenir universitaire; faire tout le doctorat et commencer à faire des recherches. Je m'intéresse à une variété de sujets liés à l'informatique, mais dernièrement, les technologies P2P ont vraiment attiré mon intérêt. J'ai l'impression que je dois choisir l'un …

8 distributed-systems research

2

Une médiane d'une AVL. Comment profiter de l'AVL?

Voici la source de ma question. Étant donné un arbre à équilibrage automatique (AVL), codez une méthode qui renvoie la médiane. (Médiane: la valeur numérique séparant la moitié supérieure d'un échantillon de données de la moitié inférieure. Exemple: si la série est 2, 7, 4, 9, 1, 5, 8, 3, …

8 data-structures search-trees selection-problem balanced-search-trees