Soit soit un graphe acyclique orienté , et soit λ est une fonction de marquage en correspondance chaque sommet v ∈ V à une étiquette λ ( v ) dans un alphabet fini L . Écriture n : = | V | , une sorte topologique de G est une bijection σ de { 1 , … , n } à V (c'est-à-dire un ordre deG = ( V,...
Est ? Ou, plus généralement, N P P P ⊆ P P P / p o l y ?NPPP=PPPNPPP=PPP\mathsf{NP^{PP}} = \mathsf{P^{PP}}NPPP⊆PPP/polyNPPP⊆PPP/poly\mathsf{NP^{PP}} \subseteq
Je m'intéresse aux propriétés combinatoires des réseaux sociaux sous forme de graphes. Les gens ont regardé des choses telles que la distribution des degrés, le coefficient de regroupement et la compressibilité de ces graphiques. Une question fondamentale est la suivante: ces graphiques sont-ils...
Un antichaîne dans un DAG est un sous - ensemble de sommets qui sont inaccessibles par paires, à savoir, il n'y a pas tel que est accessible à partir de dans . D'après le théorème de Dilworth dans la théorie de l'ordre partiel, on sait que si DAG n'a pas d'antichaîne de taille , alors il peut être...
Soit un langage et une fonction sur deux paramètres avec la propriété que pour tout et , renvoie un élément de si et seulement si et sont des éléments de :f : Σ ⋆ × Σ ⋆ → Σ ⋆ x y f L x y LLLLF: Σ⋆× Σ⋆→ Σ⋆f:Σ⋆×Σ⋆→Σ⋆f\colon {\Sigma^\star}\times\Sigma^\star\to\Sigma^\starXxxyyyFFfLLLXXxyyyLLL F( x ,y)...
J'ai lu des livres, des articles et des articles publiés sur l'informatique quantique. J'ai trouvé que tous les matériaux que j'ai vus sont, au lieu de décrire la porte quantique de la physique de base à l'abstraction, s'efforçant d' éviter de parler des détails de mise en œuvre des portes...
Considérons le problème suivant: étant donné une matrice , les indices i, j \ in \ {1, \ dots, n \ } et un entier a . Remplacer M [i, j] par une et appeler nouvelle matrice \ M chapeau . Est-ce que par (M)> par (\ chapeau M) ? i , j ∈ { 1 , ... , n } a M [ i , j ] une M p e r ( M ) > p e r (...
En regardant les modèles de polymorphisme paramétrique, je suis curieux de savoir pourquoi les catégories de graphe réflexif sont utilisées? En particulier, pourquoi n'incluent-ils pas la composition relationnelle? En regardant les modèles, ils semblent tous soutenir une notion naturelle de...
Dans un document de conférence, afin de prouver la complétude d'un problème, j'ai écrit la phrase stupide "Il est clair que le problème est dans . Nous allons donc prouver que c'est -difficile". En fait, ce n'était pas clair du tout. Cela semble même être un problème ouvert. Pour le public ciblé,...
Je programme depuis plusieurs années, mais je ne connais pas très bien le CS théorique. J'ai récemment essayé d'étudier les langages de programmation, et dans le cadre de cela, la vérification de type et l'inférence. Ma question est, si j'essaie d'écrire un programme d'inférence de type et de...
J'essaie de comprendre la logique linéaire pour mieux comprendre les systèmes de type linéaire. Cependant, quand je lis les règles, je ne parviens pas à avoir une intuition comme je l'ai fait dans la logique modale - signifie A est requis comme dans les cadres Kripke A est requis pour chaque monde...
Soit toute structure finie. Est-ce que sa théorie du premier ordre a un rang de quantificateur borné, dans le sens où il y a un tel que pour tout avec il y a un avec et ?UNEA\mathfrak{A} T: = TH ( A )T:=TH(A) \mathfrak{T} := \mathfrak{TH}(\mathfrak{A}) q∈ Nq∈N q\in\mathbb{N} φ ∈ Tφ∈T...
Soit un oracle générique au sens de la catégorie Cohen / Baire. Soit un oracle aléatoire.ggGRRR Existe-t-il des classes de complexité A et B avec ou le dans l'autre sens, UNEg= BgetUNER≠ BRUNEg=BgetUNER≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne \mathrm{B}^RUNEg≠ BgetUNER=...
Je suis conscient que le calcul des constructions est en train de normaliser fortement, ce qui signifie que chaque expression a une normale pour laquelle elle ne peut pas être bêta, eta-réduite davantage. Il s'agit donc en fait de l'expression la plus efficace qui calcule la même valeur que...
La logique monadique du premier ordre, également connue sous le nom de classe monadique du problème de décision, est l'endroit où tous les prédicats prennent un argument. Il a été démontré qu'il est décidable par Ackermann et est NEXPTIME complet . Cependant, des problèmes comme SAT et SMT ont des...
En général, décider si une équation diophantienne a des solutions entières équivaut au problème d'arrêt. Je crois que décider si une équation diophantienne quadratique a une solution est NP-complet. Existe-t-il une restriction supplémentaire sur les équations impliquées qui génère un problème de...
J'ai un ensemble de nnn vecteurs binaires S={s1,…,sn}⊆{0,1}k∖{1k}S={s1,…,sn}⊆{0,1}k∖{1k}S = \{s_1, \ldots, s_n \} \subseteq \{0,1\}^k \setminus \{1^k\} et un vecteur cible t=1kt=1kt = 1^k qui est le vecteur tout-en-un. Conjecture: si peut être écrit comme une combinaison linéaire d'éléments de S...
Question générale Le théorème de la hiérarchie spatiale se généralise-t-il au calcul non uniforme? Voici quelques questions plus spécifiques: L/poly⊊PSPACE/polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Pour toutes les fonctions constructibles spatiales f(n)f(n)f(n) ,...
Il est bien connu que pour une classe de concept de dimension VC , il suffit d'obtenir exemples étiquetés pour PAC learn . Il n'est pas clair pour moi si l'algorithme d'apprentissage PAC (qui utilise ces nombreux échantillons) est approprié ou inapproprié? Dans les manuels de Kearns et Vazirani...
Je m'intéresse au problème classique INCLUSION DE LA LANGUE RÉGULIÈRE. Étant donné une expression régulière , nous notons L ( E ) le langage régulier qui lui est associé. (Les expressions régulières sont sur un alphabet fixe Σ , avec les opérations union, Kleene-star et concaténation.)EEEL (...