Quelqu'un pourrait-il expliquer la différence entre: Types de données algébriques (que je connais assez bien) Types de données algébriques généralisés (qu'est-ce qui les rend généralisés?) Types inductifs (par exemple Coq) (Types particulièrement inductifs.) Merci.
J'ai remarqué que les langues régulières sur l'alphabet peuvent naturellement être considérées comme un poset, et même un treillis. De plus, la concaténation avec le langage vide définit une structure monoïdale stricte sur cette catégorie qui est distributive sur les jointures (je ne suis pas sûr des rencontres). Est-ce une …
Comme nous le savons, la fonction kkk -clique CLIQUE(n,k)CLIQUE(n,k)CLIQUE(n,k) prend un sous-graphe ( couvrant ) d'un graphe sommet complet , et les sorties si contient une -clique . Les variables dans ce cas correspondent aux arêtes de K n . On sait (Razborov, Alon-Boppana) que, pour 3 ≤ k ≤ …
Dernièrement, j'ai commencé à chercher des algorithmes d'approximation pour les problèmes NP-difficiles et je me demandais les raisons théoriques de les étudier. (La question n'est pas censée être incendiaire - je suis simplement curieux). Une théorie vraiment belle est sortie de l'étude des algorithmes d'approximation - la connexion entre le …
capture l'idée d'une parallélisation efficace, et une interprétation de celui-ci est les problèmes qui peuvent être résolus dans le temps O ( log c n ) en utilisantdes processeurs parallèles O ( n k ) pour certaines constantes c , k . Ma question est de savoir s'il existe une …
J'ai vu (et entendu) qu'il a affirmé qu'il est sûr d'ajouter l'axiome classique du milieu exclu à Coq, mais je n'arrive pas à trouver un document soutenant cette affirmation. Les articles que je vois répertoriés sur le wiki Coq sur le milieu exclu montrent une incohérence avec l'ensemble imprédicatif. En …
Considérons l'ensemble des graphes planaires où toutes les faces internes sont des triangles. S'il y a un point intérieur de degré impair, le graphique ne peut pas être tricolore. Si chaque point intérieur a un degré égal, peut-il toujours être tricolore? Idéalement, je voudrais un petit contre-exemple.
Le code de Huffman pour une distribution de probabilité est le code de préfixe avec la longueur moyenne pondérée minimale du mot de code , où est la longueur du ème mot de code. C'est un théorème bien connu que la longueur moyenne par symbole du code Huffman est comprise …
(transféré de MathOverflow) Salut, Je lisais ce fil: /mathpro/16393/finding-a-cycle-of-fixed-length Je veux trouver un cycle 5 sur un graphique. En fait, ce que je veux vraiment, c'est un cycle impair le plus court d'une longueur d'au moins 5, mais c'est peut-être un peu à côté du point. Pour mes besoins, je …
(Il s'agit d'un suivi de cette question et de sa réponse .) J'ai le programme linéaire d'entier (ILP) totalement unimodulaire (TU) suivant. Ici sont tous des entiers positifs donnés dans le cadre de l'entrée. Un sous-ensemble spécifié des variables x i j est mis à zéro, et le reste peut …
Le lemme de pompage pour les langues régulières peut être prouvé en considérant un automate à états finis qui reconnaît la langue étudiée, en choisissant une chaîne avec une longueur supérieure à son nombre d'états et en appliquant le principe du pigeonhole. Le lemme de pompage pour les langues sans …
Je suis curieux au sens large de ce que l'on sait des algorithmes de parallélisation en P. J'ai trouvé l'article wikipedia suivant sur le sujet: http://en.wikipedia.org/wiki/NC_%28complexity%29 L'article contient la phrase suivante: On ne sait pas si NC = P, mais la plupart des chercheurs soupçonnent que cela est faux, ce …
(Von Neumann a donné un algorithme qui simule une pièce équitable donnant accès à des pièces biaisées identiques. L'algorithme nécessite potentiellement un nombre infini de pièces (bien qu'en attente, un nombre fini suffira). Cette question concerne le cas où le nombre de lancers autorisés est délimité.) Supposons que nous ayons …
J'ai déjà posté cette question il y a un certain temps sur MathOverflow , mais à ma connaissance, elle est toujours ouverte, donc je la republie ici dans l'espoir que quelqu'un en ait entendu parler. Énoncé du problème Soit , Q et R trois partitions en p parties non vides …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.