En lisant l'article " Une théorie applicative pour la FPH ", vous pouvez rencontrer le passage suivant: Compte tenu des théories qui caractérisent les classes de complexité informatique, il existe trois approches différentes: dans l'un, les fonctions qui peuvent être définies dans la théorie sont...
Supposons que nous ayons affaire à un langage de programmation prenant en charge les types linéaires (les termes de type linéaire peuvent être utilisés au maximum une fois, pour ainsi dire). Cela permet de traiter certains effets de calcul (comme la mutation, voire de changer le type de l'opérande)...
Comme tout le monde le sait, le célèbre livre de Garey et Johnson (et bien d'autres) fournit une excellente référence pour la technique de réduction en milieu classique. Existe-t-il des enquêtes ou des livres sur le thème de la technique de réduction dans l'algorithme paramétré, disons la réduction...
J'ai posé cette question sur Stack Overflow il y a un moment: Problème: la vente de Bob . Quelqu'un a également suggéré de poser la question ici. Quelqu'un a déjà posé une question liée à ce problème ici - sous- forêt de poids minimum de cardinalité donnée - mais pour autant que je comprends cela...
Étant donné une matrice (en supposant ), quel est l'algorithme le plus rapide pour calculer son rang et sa base des colonnes?m × nm×nm \times nm ≥ nm≥nm \ge n Je suis conscient qu'il peut être résolu par intersection matroïde linéaire, ce qui implique un algorithme déterministe temporel et un...
Je recherche des articles et des articles sur les logiques modales sous-structurelles - non pas sur la sémantique des modalités de logique linéaire, mais sur les logiques sous-structurelles augmentées d'opérateurs modaux standard, par exemple sous-structuraux K (quelque chose comme MALL avec...
Le théorème du point fixe de Banach dit que si nous avons un espace métrique complet non vide , alors toute fonction uniformément contractive a un point fixe unique . Cependant, la preuve de ce théorème nécessite l'axiome de choix - nous devons choisir un élément arbitraire a \ dans A pour...
Quels sont les bons papiers / livres pour mieux comprendre le pouvoir de la décomposition modulaire et ses propriétés? Je m'intéresse particulièrement aux aspects algorithmiques de la décomposition modulaire. J'ai entendu dire qu'il est possible de trouver une décomposition modulaire d'un graphe en...
Un ensemble de frappe d'une famille est un sous-ensemble de tel que pour . Le problème pour trouver un ensemble de frappe minimum d'une famille donnée est NP-difficile en général, car il généralise le problème de couverture de vertex. Maintenant ma question est:H ⋃ n i = 1 S i H ∩ S i ≠ ∅ 1 ≤ i ≤...
La hauteur d'étoile (généralisée) d'une langue est l'imbrication minimale des étoiles de Kleene requise pour représenter la langue par une expression régulière étendue. Rappelons qu'une expression régulière étendue sur un alphabet fini satisfait ce qui suit:AAA (1) et a sont des expressions...
J'essaie de comprendre certains concepts sur la décomposition modulaire et les graphiques à largeur de clique . Dans cet article ("On P4-tidy graphs"), il y a une preuve de la façon de résoudre des problèmes d'optimisation comme le nombre de cliques ou le nombre chromatique en utilisant la...
La défonctionnalisation est une transformation de programme qui convertit des programmes d'ordre supérieur en programmes de premier ordre. L'idée est que, compte tenu d'un programme, il n'y a qu'un nombre fini d'abstractions lambda, vous pouvez donc remplacer chaque lambda par un identifiant et...
Contexte Les fonctions dans sont PAC apprenables en temps quasi-polynomial avec un algorithme classique qui nécessite des requêtes choisies au hasard pour apprendre un circuit de profondeur d [1]. S'il n'y a pas d' algorithme de factorisation alors c'est optimal [2]. Bien sûr, sur un ordinateur...
Pouvez-vous s'il vous plaît indiquer comment construire la fonction Ackerman (en fait, je suis intéressé par une version proposée par Rózsa Péter et Raphael Robinson) via des opérateurs mu-récursifs standard? J'ai essayé des papiers originaux de Péter et Robinson, mais le papier de Péter utilise...
J'ai en fait deux questions: Qui a d'abord utilisé les relations logiques pour relier la sémantique? Je les ai retracés à " Sur la relation entre la sémantique directe et la continuation " de Reynold " , mais je ne peux pas prétendre avoir fait une recherche exhaustive. J'ai trouvé des références à...
J'utilise le terme de titre dans un sens très vague. Il y a une quantité importante de travail sur la théorie des jeux évolutifs, y compris ses fondements mathématiques. On m'a recommandé "Jeux évolutionnaires et dynamique des populations", mais je n'y suis pas encore allé. Il y a également une...
Il est connu via le théorème d'approximation universel qu'un réseau neuronal avec même une seule couche cachée et une fonction d'activation arbitraire peut approximer n'importe quelle fonction continue. Quels sont les autres modèles qui sont également des approximateurs de fonctions...
Une catégorie a des sous - produits lorsque les mêmes objets sont à la fois les produits et coproduits. Quelqu'un a-t-il étudié la théorie de la preuve des catégories avec des biproduits? L'exemple le plus connu est peut-être la catégorie des espaces vectoriels, dans laquelle la somme directe et...
Le problème de maintenance des commandes (ou «maintien de l'ordre dans une liste») est de supporter les opérations: singleton: crée une liste avec un élément, lui renvoie un pointeur insertAfter: donné un pointeur sur un élément, insère un nouvel élément après, renvoyant un pointeur sur le nouvel...
J'ai besoin de stocker des ensembles d'éléments de type a. Le type a est partiellement ordonné, donc comparer et un 2 peut retourner plus petit, plus grand, égal ou incomparable.une1une1a_1une2une2a_2 Un problème avec les tables de hachage est que deux éléments égaux peuvent être représentés...