Informatique théorique reference-request

5

Quelles sont les bonnes références pour comprendre l'apprentissage en ligne?

Plus précisément, je demande des ressources pour en savoir plus sur les systèmes d'apprentissage automatique qui peuvent mettre à jour leurs réseaux de croyances respectifs (ou équivalent) pendant le fonctionnement. J'en ai même rencontré quelques-uns, même si je n'ai pas réussi à les mettre en signet. Comme vous pouvez l'imaginer, …

10 reference-request machine-learning lg.learning ai.artificial-intel online-learning

1

La complexité de Kolmogorov des tables de vérité du problème d'arrêt est-elle connue de manière asymptotique?

Soit HA L TnHALTnHALT_n la chaîne de longueur 2n2n2^n correspondant à la table de vérité du problème d'arrêt pour les entrées de longueur nnn . Si la séquence des complexités de Kolmogorov K( HA L Tn)K(HALTn)K(HALT_n) était O ( 1 )O(1)O(1) , alors l'une des chaînes de conseil serait utilisée …

10 cc.complexity-theory reference-request computability lower-bounds

1

Apprentissage PAC correct du 2-DNF sous distribution uniforme

Quel est l'état de l'art sur la complexité des requêtes des formules 2-DNF d'apprentissage PAC appropriées avec des exemples de requêtes et sous une distribution uniforme ? Ou tout lien non trivial dessus? Parce que je ne connais pas du tout la théorie de l'apprentissage et que cette question est …

10 reference-request lg.learning boolean-functions

1

La source du graphe de décomposition modulaire

Lors de l'introduction de la décomposition modulaire des graphes , la plupart des auteurs utilisent le graphe à 11 sommets, que je copie de wikipedia. La question est de savoir qui en est le concepteur d'origine. (Je ne demande pas qui a dessiné ce graphique pour wikipedia, mais la source …

9 reference-request graph-theory

1

Preuve du problème de la limite supérieure de la somme des racines carrées

Dans [1], Garey et al. identifier ce qui serait plus tard connu sous le nom de problème de la somme des racines carrées au cours de l'élaboration de l'exhaustivité NP du TSP euclidien. Étant donné les entiers a1,a2,…,ana1,a2,…,ana_1, a_2, \ldots, a_n et LLL , déterminez si a1−−√+a2−−√+⋯+an−−√<La1+a2+⋯+an<L\sqrt{a_1} + \sqrt{a_2} + …

9 reference-request cg.comp-geom na.numerical-analysis

1

Tailles PCP asymptotiques les plus connues / 3-SAT

Quelles sont les limites supérieures asymptotiques les plus connues sur les tailles des preuves vérifiables de manière probabiliste? Idéalement, je recherche une enquête contemporaine sur cette large question, mais s'il n'y en a pas, je suis particulièrement intéressé par l'inapproximabilité du 3-SAT. Soit 7/8 + ε-3-SAT soit 3-SAT avec la …

9 cc.complexity-theory reference-request np-hardness pcp

2

Décidabilité de l'inférence de type et de la vérification de type dans MLTT

Dans Une théorie intuitioniste des types de Martin-Löf : partie prédicative, il est prouvé que la vérification de type est décidable sous réserve d' un être typable en premier lieu, en prouvant un théorème de normalisation pour les termes typables fermés. D'un autre côté, je l'ai vu écrit à plusieurs …

9 reference-request type-theory type-inference

1

Existe-t-il des modèles de calcul basés sur les protéines?

Existe-t-il un cadre / formalisme qui définit des modèles de calcul basés sur des protéines autres que le modèle d'ADN d'Adleman ou ce travail de Cherry et Qian ?

9 reference-request machine-models

1

Complexité de vérifier si deux mots ont un entrelacement dans une langue

Pour une langue fixe sur un alphabet A , considérons le problème suivant, que j'appelle L -INTERLEAVING :LLLAAALLL Entrée: deux mots u,v∈A∗u,v∈A∗u, v \in A^* Rendement: s'il existe un entrelacement de et v , qui est en L .uuuvvvLLL Ici, un entrelacement de deux mots et v est un mot …

9 cc.complexity-theory reference-request regular-language

1

Correspondance de motifs avec indifférence: plusieurs motifs

Le papier SODA de 2 pages de Kalai fournit un algorithme simple et efficace pour la correspondance de motifs avec les soucis (jokers qui correspondent à un caractère). En substance, c'est aussi simple que la convolution. Mais que se passe-t-il si nous recherchons plusieurs modèles sans souci? Peut-on encore le …

9 ds.algorithms reference-request string-matching

1

Langages réguliers et complexité de communication constante

Soit une langue, et définissons par ssi . Je recherche une référence pour:L ⊆ A∗L⊆A∗L \subseteq A^*f L ( x , y ) = 1 x ⋅ y ∈ LFL: A∗× A∗→ { 0 , 1 }fL:A∗×A∗→{0,1}f_L\colon A^* \times A^* \to \{0, 1\}FL( x , y) = 1fL(x,y)=1f_L(x, y) = …

9 reference-request communication-complexity regular-language

1

Complexité de l'homomorphisme digraphique à un cycle orienté

Étant donné un graphe orienté fixe (digramme) , le problème de décision -coloration demande si un digramme d'entrée a un morphisme de . (Un homomorphisme de à est un mappage de à qui préserve les arcs, c'est-à-dire que si est un arc de , alors est un arc de )D …

9 reference-request graph-theory np-hardness csp homomorphism

2

Nombre d'automorphismes d'un graphique pour l'isomorphisme du graphique

Soit GGG et HHH deux graphes connectés rrr réguliers de taille nnn . Soit AAA l'ensemble des permutations PPP tel que PGP−1=HPGP−1=HPGP^{-1}=H . Si G=HG=HG=H alors AAA est l'ensemble des automorphismes de GGG . Quelle est la limite supérieure la plus connue sur la taille de AAA ? Y a-t-il …

9 reference-request graph-theory co.combinatorics graph-isomorphism gr.group-theory

2

Nommez la classe du graphe: union disjointe d'une clique et d'un ensemble indépendant

Soit un graphe qui est l'union disjointe d'une clique et d'un ensemble indépendant, ie ggGG = Kn1+ Kn2¯¯¯¯¯¯¯¯= Kn1+ Jen2.g=Kn1+Kn2¯=Kn1+jen2.G = K_{n_1} + \overline{K_{n_2}} = K_{n_1} + I_{n_2} . La classe de graphes de tous ces graphes est caractérisée par les sous-graphes induits interdits définis et est donc l'intersection d'un …

9 reference-request graph-theory graph-classes

2

Comprendre le théorème mineur du graphe

Cette question est double et est principalement orientée vers la référence: Y a-t-il un endroit où les principales intuitions pour prouver le théorème mineur du graphe sont données, sans trop entrer dans les détails? Je sais que la preuve est longue et difficile, mais il doit sûrement y avoir des …

9 reference-request graph-theory graph-minor

Questions marquées «reference-request»