J'ai lu l'article de Freyd «Catégories algébriquement complètes» dans le célèbre Como90 et j'ai deux questions sur la notion de compacité algébrique qu'il a définie dans cet article. (Si vous n'êtes pas familier avec la définition, la voici: une catégorie est appelée algébriquement compacte si chaque endofuncteur a une algèbre …
Je recherche des références bibliographiques pour l'algorithme / problème suivant: je l'ai nommé "BiSelect" ou "t-ary Select" ou "Select in Union of Sorted Arrays", mais je suppose qu'il a été introduit auparavant sous un autre nom? Problème Considérez le problème suivant: Étant donné tableaux triés disjoints A 1 , …
J'essaie de comprendre à quelle classe de complexité appartient le problème suivant: Exponentiating Polynomial Root Problem (EPRP) Soit un polynôme avec deg ( p ) ≥ 0 avec des coefficients tirés d'un champ fini G F ( q ) avec q un nombre premier, et r une racine primitive pour …
TC0TC0\mathsf{TC^0}TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd L'entrée Zoo pour TC0TC0\mathsf{TC^0} ne mentionne que la séparation entre la profondeur 2 et 3. Existe-t-il également une référence standard pour le fait que la hiérarchie AC0dACd0\mathsf{AC^0_d} ne s'effondre pas?
Je fais actuellement des recherches sur le langage formel impliquant des classes de langues au-dessus de Regular mais en dessous de Context Free. Je regarde des choses comme les machines à compteurs multiples inversées, les compteurs à pile unique, les LFC déterministes, etc. Je me demande si quelqu'un connaît un …
L'algorithme simplex est souvent traité soit dans l'arithmétique réelle, soit dans le monde discret avec des calculs exacts. Cependant, il semble être implémenté le plus souvent avec une arithmétique à virgule flottante. Cela conduit à se demander si l'algorithme simplex doit être considéré comme un algorithme numérique, en particulier comment …
Si vous recevez une collection d'ordres partiels, le tri topologique vous indiquera s'il existe une extension de la collection à un ordre total (une extension dans ce cas est un ordre total cohérent avec chacun des ordres partiels). Je suis tombé sur une variation: Correction d' un ensemble . On …
Un MPA (automate multipebble) est un 2DFA (automate fini déterministe bidirectionnel) qui peut utiliser un nombre arbitraire de cailloux (en fait au plus cailloux sur une entrée donnée w - l'entrée est écrite sur la bande entre deux extrémités -marqueurs comme # w # ). Pendant le calcul, un MPA …
J'espère que quelqu'un connaît une référence à cela, donc je n'ai pas à lire la littérature ... Considérons une séquence de nombres . Considérez la séquence comme intervalles . De toute évidence, la séquence d'origine est bitonique si un point quelconque de la ligne réelle est poignardé à 2 intervalles …
Le SAT unique est le problème bien connu: étant donné une formule CNF , est-il vrai que F a exactement un modèle?FFFFFF Je m'intéresse au problème «Exactement -SAT»: étant donné une formule CNF F et un entier m > 1 , est-il vrai que F a exactement m modèles?mmmFFFm>1m>1m>1FFFmmm Les …
Si est un graphique avec un degré maximum 3 et est un mineur de H , alors G est un mineur topologique de H .GGGHHHGGGHHH Wikipedia cite ce résultat de la "théorie des graphes" de Diestel. Il est répertorié comme Prop 1.7.4 dans la dernière version du livre. Le livre …
Nous pouvons considérer la complexité de Kolmogorov d'une chaîne xxx comme la longueur du programme le plus court PPP et saisir yyy tel que x=P(y)x=P(y)x = P(y) . Habituellement, ces programmes sont tirés d'un ensemble complet de Turing (comme PPP pourrait être la description d'une machine de Turing, ou ce …
Existe-t-il un aperçu (à partir d'un article, d'un chapitre de livre, d'un tutoriel, de liens, ...) de la sémantique des différentes fonctionnalités du langage de programmation? J'étais à l'origine submergé par les fonctionnalités de D ici http://www.digitalmars.com/d/2.0/comparison.html Je voudrais voir ce que je pourrais obtenir d'ici, bien que j'ai posé …
Je suis à la recherche d'une bonne référence pour les plus courts chemins de goulot d'étranglement. Plus précisément, étant donné les sommets s et t dans un graphique non orienté avec des poids de bord, vous voulez le chemin le plus court de s à t, où la longueur d'un …
Que sait-on du problème suivant? Étant donné une collection de fonctions f : { 0 , 1 } n → { 0 , 1 } , trouver une plus grande sous-collection S ⊆ C soumise à la contrainte VC-Dimension ( S ) ≤ k pour un entier k .CCCF: { …
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.