Dans la programmation de type dépendant, il existe deux façons principales de décomposer les données et d'effectuer la récursivité: Correspondance de modèle dépendante : les définitions de fonction sont données sous forme de clauses multiples. L'unification garantit que tous les cas omis sont...
L'algorithme de Brzozowski peut être étendu aux automates de Moore mais sa complexité temporelle est exponentielle en général. Existe-t-il un autre algorithme pour minimiser les automates Moore? Quels sont les temps d'exécution de ces algorithmes, le cas
Je ne connais pas la terminologie correcte pour poser cette question, donc je vais la décrire avec beaucoup de mots à la place, supportez-moi. Contexte , juste pour que nous soyons sur la même longueur d'onde: les programmes contiennent souvent des caches - un compromis temps / mémoire. Une erreur...
É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...
Quels algorithmes d'apprentissage automatique (outre les SVM) utilisent le principe de minimisation des risques structurels
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 pas de...
Existe-t-il de bonnes ressources Web d'apprentissage des mathématiques discrètes avec des ensembles de
Je travaille sur un problème lié aux carrés latins, et je veux une méthode pour ce qui se résume essentiellement au problème de décision: Entrée : Un graphe fini et simple G. Sortie : YESsi G a un automorphisme non trivial, NOsinon. Par conséquent... Question : Existe-t-il un algorithme efficace...
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...
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...
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 = 2 1 x i = 2 b i 1 + 2 b i 2...
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, l'alphabet d'entrée et la fonction de transition de A...
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...
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
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 utiliser les langages dans la...
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 où u = t...
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...
@ 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 de données...
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...
La classe de Nick (NC) est la classe de problèmes qui peuvent être résolus en temps poly-log en utilisant un nombre polynomial de processeurs. Je veux en savoir plus sur l'analogue exponentiel, qui couvrirait les problèmes qui peuvent être résolus en temps polynomial en utilisant un nombre...