Considérons un graphe cubique aléatoire connecté desommets, tirés de G (n, 3 -reg ) (tel que défini ici , c'est-à-dire que 3n est pair et que deux graphiques quelconques ont la même probabilité).G=(V,E)G=(V,E)G=(V,E)G ( n , 3 )n=|V|n=|V|n =|V|G(n,3G(n,3G(n, 3)))3n3n3n Bien sûr , il y a nnn...
La matrice de Moore est similaire à la matrice de Vandermonde mais a une définition légèrement modifiée. http://en.wikipedia.org/wiki/Moore_matrix Quelle est la complexité du calcul du déterminant d'une matrice de Moore de rang complet modulo un entier?n×nn×nn \times n Le déterminant de Moore...
Supposons que nous considérons 3-SAT avec des variables et des clauses . Je recherche une méthode qui semble prendre temps / espace pour résoudre tout problème SAT correspondant à cette description, à l'intérieur d'une erreur qui peut être ajustée à un montant arbitraire. Cependant, il y a un hic.c...
Pour un graphe non orienté et un ensemble de sommets, ce qui est l'algorithme connu asymptotiquement le plus rapide pour trouver un chemin simple contenant tous les éléments de . Et si nous voulons que le chemin soit le plus court possible?S
L'ensemble est donné. Pour chaque élément , nous avons le poids et le coût . Le but est de trouver le sous-ensemble de taille qui maximise la fonction objectif suivante: .e i w i > 0 c i > 0 M k ∑
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...
Quelle est la meilleure limite actuelle pour effectuer des requêtes de comptage de demi-espace sur un ensemble de points dimensionnels, exprimée sous la forme d'un compromis temps / espace. Selon l'article fondamental de Matousek de 1993 (Théorème 6.2, Recherche de plage avec des coupes...
Dans l'étude sur deux problèmes de théorie de l'information , Erdõs et Rényi donnent des limites inférieures sur le nombre minimum de pesées à faire pour déterminer le nombre de fausses pièces dans un ensemble de pièces.nnn Plus formellement: Les fausses pièces ont un poids plus petit que les...
Je suis nouveau sur ce site et cette question n'est certainement pas au niveau de la recherche - mais bon. J'ai un peu d'expérience en génie logiciel et presque aucun en CSTheory, mais je le trouve attrayant. Pour faire une longue histoire, je voudrais une réponse plus détaillée à ce qui suit si...
JBV a suggéré de transformer certains commentaires en question, alors voici. Une autre question [1] pose sur les applications de l'informatique QM. Une réponse [2] était "simuler efficacement la mécanique quantique". Apparemment, cette idée remonte aux premiers écrits de Feynman sur le sujet; même...
Soit un graphe non orienté. Une décomposition de en sous-ensembles disjoints est appelée une décomposition de Hamilton de si le sous-graphe induit par chaque ensemble est soit un graphe de Hamilton, soit un seul bord avec .V V iG = ( V, E)g=(V,E)G=(V,E)VVVVjeVjeV_iV i | V i | = 2ggGVjeVjeV_i| Vje|...
J'essaie d'utiliser des arbres de suffixes pour comparer les séquences de chaînes. J'ai trouvé des implémentations / théorie pour le problème de sous-chaîne commun le plus long en utilisant des arbres de suffixes. Cependant, ce que je recherche est une discussion du problème connexe - "toutes les...
Est-ce que implique
Je sais que pour un graphique bipartite non pondéré, je peux trouver la couverture de sommet minimale en trouvant d'abord la correspondance maximale et en la transformant en couverture de sommet en utilisant le théorème de König. Y a-t-il une modification que l'on pourrait utiliser si les nœuds...
Le calcul d'une machine de Turing non déterministe (NTM) est bien connu pour être représentable comme un arbre de configurations, enraciné à la configuration de départ. Toute transition dans le programme est représentée par un lien père-enfant dans cet arbre. Des arbres similaires peuvent également...
Il est bien connu que la machine analytique de Charles Babbage avait une architecture ressemblant fortement à l'architecture moderne de Von Neumann. Il est également à noter que les tableaux de représentation d'un programme pour la machine analytique de Babbage (
Wikipédia écrit: FPT contient les problèmes traitables à paramètres fixes, qui sont ceux qui peuvent être résolus dans le temps pour une fonction calculable f . En règle générale, cette fonction est considérée comme une seule exponentielle, comme 2 O ( k ), mais la définition admet des fonctions...
Décider de l'homomorphisme du graphe est en général NP-complet. Y a-t-il des résultats qui étudient ce problème lorsque les graphiques sous-jacents ont une structure algébrique (tels que la décision d'homomorphismes à partir de graphiques de Cayley ou de cosets Cayley vers d'autres graphiques avec...
Lorsque l'on considère les interactions sur les réseaux, il est généralement très difficile de calculer la dynamique analytiquement , et des approximations sont utilisées. Les approximations de champ moyen finissent généralement par ignorer complètement la structure du réseau, et sont donc rarement...
Il y a quelques années, j'ai rencontré la règle de gauche suivante pour l'égalité dans le calcul séquentiel: s≐t⇝θθ(Γ)⊢θ(C)Γ,s≐t⊢Cs≐t⇝θθ(Γ)⊢θ(C)Γ,s≐t⊢C \frac{s \doteq t \leadsto \theta \qquad \theta(\Gamma) \vdash \theta(C)} {\Gamma, s \doteq t \vdash C} Ici, s≐t⇝θs≐t⇝θs \doteq t \leadsto \theta...