L'informatique reference-request

2

Quelle est la situation actuelle des programmes parallèles ou simultanés dans l'isomorphisme de Curry-Howard?

Dans Girard's Proofs and Types, nous pouvons lire: D'un point de vue algorithmique, le calcul séquentiel n'a pas d'isomorphisme de Curry-Howard, en raison de la multitude de façons d'écrire la même preuve. Cela nous empêche de l'utiliser comme un -calculus typé, bien que nous apercevions une structure profonde de ce …

9 reference-request logic parallel-computing

1

L'astuce utilisée pour prouver la complexité doublement exponentielle de l'arithmétique Presburger

J'ai posté ceci sur MathUnderflow mais je n'ai reçu aucune réponse, alors j'ai pensé l'essayer ici, Je lis l'ancien article de Rabin et Fischer [publiera un lien si possible] où, entre autres, la complexité doublement exponentielle de l'arithmétique Presburger est prouvée. La preuve repose sur l'existence d'une formule affirmant de …

9 complexity-theory reference-request logic

1

Duals de triangulation uniques de polygones simples

Étant donné une triangulation (sans points de Steiner) d'un simple polygone , on peut considérer le dual de cette triangulation, qui est défini comme suit. Nous créons un sommet pour chaque triangle de notre triangulation, et nous connectons deux sommets si les triangles correspondants partagent une arête. Le double graphique …

9 reference-request computational-geometry

4

Pourquoi la recherche binaire est-elle appelée recherche binaire?

J'ai entendu plusieurs explications possibles, donc je voudrais une référence fiable. Mise à jour 05.19: Je m'intéresse à la question parce qu'un de mes étudiants a écrit dans sa thèse que le nom vient de l'explication ci-dessous (1). Jusqu'à présent, je pensais / entendais que cela venait de l'explication (2). …

9 terminology reference-request history

3

Équivalence de l'analyse du flux de données, de l'interprétation abstraite et de l'inférence de type?

@ La réponse de Babou à une question récente me rappelle qu'à un moment donné, je pense avoir lu un article sur l'équivalence (en termes à la fois des faits qui peuvent être inférés ou prouvés et de la complexité temporelle de l'exécution de l'algorithme d'inférence) de l'analyse du flux …

9 reference-request compilers type-inference program-optimization

1

Distributions de probabilités et complexité informatique

Cette question concerne l'intersection de la théorie des probabilités et de la complexité de calcul. Une observation clé est que certaines distributions sont plus faciles à générer que d'autres. Par exemple, le problème Étant donné un nombre nnn , renvoyer un nombre uniformément distribué iiiavec 0≤i<n0≤i<n0 \leq i < n …

9 complexity-theory reference-request probability-theory probabilistic-algorithms

1

Quels algorithmes existent pour résoudre les systèmes linéaires de nombres naturels?

Je regarde le problème suivant: Étant donné les vecteurs à dimensions des nombres naturels v 1 , … , v m et un vecteur d'entrée u , u est-il une combinaison linéaire des v i avec des coefficients de nombres naturels?nnnv1, … , Vmv1,…,vmv_1, \ldots, v_muuuuuuvjeviv_i c'est-à-dire qu'il y a …

9 algorithms reference-request linear-algebra integers knapsack-problems

1

Quels sont les isomorphismes appropriés entre les langages formels?

Un langage formel sur un alphabet Σ est un sous-ensemble de Σ ∗ , c'est-à-dire un ensemble de mots sur cet alphabet. Deux langages formels L et L ′ sont égaux, si les ensembles correspondants sont extensionnellement égaux en tant que sous-ensembles de L ∪ L ′ . On peut …

9 complexity-theory formal-languages reference-request

1

Différence entre les langues acceptées par deux DFA avec un état initial / états d'acceptation différents?

Récemment, j'ai posé une question sur Math SE. Pas encore de réponse. Cette question est liée à cette question, mais plus de détails techniques vers l'informatique. Étant donné deux DFA et B = ( Q , Σ , δ , q 2 , F 2 ) où l'ensemble des états, …

9 formal-languages reference-request finite-automata

2

Complexité d'une variante de somme de sous-ensemble

Cette variante du problème de somme de sous-ensemble est-elle facile / connue? Étant donné un entier mmm et un ensemble d'entiers positifs tels que chaque a au plus bits mis à ( ); existe-t-il un sous-ensemble tel que la somme de ses éléments soit égale à ?x i k = …

9 complexity-theory reference-request decision-problem

2

Introduction à la vérification logique du premier ordre

J'essaie de m'enseigner différentes approches de la vérification logicielle. J'ai lu quelques articles. Pour autant que je sache, la logique propositionnelle avec le temporel utilise généralement la vérification de modèle avec des solveurs SAT (dans les systèmes en cours - réactifs), mais qu'en est-il de la logique du premier ordre …

9 reference-request logic formal-methods sat-solvers software-verification

3

Ressources d'apprentissage en ligne pour les mathématiques discrètes

Existe-t-il de bonnes ressources Web d'apprentissage des mathématiques discrètes avec des ensembles de problèmes?

9 reference-request education discrete-mathematics

3

Quelle est la branche de l'informatique qui étudie le fonctionnement des programmes antivirus?

C'est un exercice banal dans les automates finis de montrer qu'il n'y a pas d'algorithme capable de détecter tous les virus, mais il existe de nombreuses sociétés de logiciels vendant des logiciels antivirus. Y a-t-il une partie de CS qui traite des virus et des antivirus? PS: Je ne demande …

9 reference-request security

1

Des algorithmes d'apprentissage automatique basés sur la «minimisation structurelle des risques»?

Quels algorithmes d'apprentissage automatique (outre les SVM) utilisent le principe de minimisation des risques structurels ?

9 reference-request machine-learning

2

Théorème de Courcelle: recherche de papiers

Je recherche un article simple et introductif sur la preuve du Théorème de Courcelle . Je m'intéresse également à son lien avec la complexité paramétrée concernant la largeur d'arbre . Je ne suis qu'un débutant dans ce domaine. Aucune suggestion?

9 complexity-theory graph-theory reference-request discrete-mathematics parameterized-complexity

Questions marquées «reference-request»