Ce que j'appelle compter, c'est le problème qui consiste à trouver le nombre de solutions à une fonction. Plus précisément, étant donné une fonction (pas nécessairement une boîte noire), approximative .f:N→{0,1}f:N→{0,1}f:N\to \{0,1\}# { x ∈ N∣ f( x ) = 1 } = | F- 1( 1 ) |#{X∈N∣F(X)=1}=|F-1(1)|\#\{x\in N\mid …
Les paramètres fixes et l'approximation sont des approches totalement différentes pour résoudre des problèmes difficiles. Ils ont une motivation différente. L'approximation recherche un résultat plus rapide avec une solution approximative. Le paramètre fixe recherche une solution exacte avec une complexité temporelle en termes d'exponentielle ou une fonction de k et …
Tout en essayant de résoudre un problème, j'ai fini par en exprimer une partie comme le programme linéaire entier 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 prendre des …
Récemment, je passais en revue une introduction aux algorithmes holographiques. Je suis tombé sur des objets combinatoires appelés Pfaffians. Je ne connais pas vraiment grand-chose à ce sujet en ce moment et je suis tombé sur des utilisations surprenantes qui peuvent être utilisées. Par exemple, j'ai appris qu'ils peuvent être …
En explorant différentes techniques pour prouver les limites inférieures des algorithmes distribués, il m'est venu à l'esprit que la variante suivante du théorème de Ramsey pourrait avoir des applications - s'il se trouve que c'est vrai. Les paramètres: kkk , KKK , nnn sont donnés, puis NNN est choisi pour …
Il existe deux principaux types de pannes de processeur dans les modèles informatiques distribués: (1) Échecs de plantage: un processeur s'arrête et ne redémarre plus. (2) Défaillances byzantines: les processeurs se comportent de manière adversaire, malveillante. Ma question est: Quels sont les autres types de pannes de processeur qui ont …
Le problème des commérages dans les systèmes distribués est le suivant. Nous avons un graphe avec n sommets. Chaque sommet v a un message m v qui doit être envoyé à tous les nœuds.ggGnnnvvvmvmvm_v Maintenant, ma question se situe dans le contexte du modèle de réseau ad hoc (nous supposons …
La question Quoi de neuf dans les structures de données purement fonctionnelles depuis Okasaki? , et la réponse épique de jbapple, mentionnant l'utilisation de listes de différences dans la programmation fonctionnelle (par opposition à la programmation logique), ce qui m'a récemment intéressé. Cela m'a amené à trouver l' implémentation de …
On sait que déterminer si une variété triangulée donnée est ou non une sphère 3 est en NP, via les travaux de Saul Schleimer en 2004: "La reconnaissance de la sphère réside dans NP" arXiv: math / 0407047v1 [math.GT] . Je me demande si cela a été établi pour être …
Contexte: En apprentissage automatique, nous travaillons souvent avec des modèles graphiques pour représenter des fonctions de densité de probabilité dimensionnelle élevée. Si nous rejetons la contrainte qu'une densité intègre (somme) à 1, nous obtenons une fonction d'énergie structurée graphiquement non normalisée . Supposons que nous ayons une telle fonction d'énergie, …
On dit que deux arbres de recherche binaires sont linéairement équivalents lorsqu'ils s'accordent dans leurs traversées dans l'ordre. Le théorème suivant explique pourquoi les rotations d'arbres sont si fondamentales: Soit A et B des arbres de recherche binaires. Alors A et B sont linéairement équivalents si et seulement s'ils sont …
Il est facile de vérifier que, étant donné la grille dimensionnelle d des points entiers , avec la contiguïté régulière, on peut trouver un séparateur de taille n d - 1 (il suffit de choisir n'importe quel hyperplan central et de supprimer tout ses sommets). Il n'est pas non plus …
Il est connu grâce à Immerman et Szelepcsényi que si f = Ω ( log ) (même pour les fonctions constructibles non spatiales).NSPACE(f)=coNSPACE(f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f=Ω(log)f=Ω(log)f=\Omega(\log) Dans le même article, Immerman déclare que la hiérarchie alternative de l'espace journal s'effondre, cela signifie que (la définition de la machine de turing alternée …
La largeur d'arbre et la largeur de chemin sont des paramètres populaires, mesurant la proximité d'un graphique avec un arbre ou un chemin, respectivement. En effet, il semble que la largeur d'arbre soit si populaire qu'elle figure dans de nombreux articles, livres et notes de cours qui donnent (même très …
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.