Supposons que l'on vous donne un ensemble de n points dans le plan et que vous souhaitez vérifier s'ils forment un polygone n convexe, c'est-à-dire s'ils se trouvent tous sur la coque convexe. Je me demandais si quelqu'un savait comment faire cela en temps o (nlogn), c'est-à-dire sans calculer le...
Supposons que nous ayons un ensemble S de graphes (graphes finis, mais un nombre infini d'entre eux) et un groupe P de permutations qui agit sur S. Instance: Une permutation p dans P. Question: Existe-t-il un graphe g dans S qui admette l'automorphisme p? Ce problème est-il NP-complet pour certains...
Une formule Monotone-2CNF est une formule CNF où chaque clause est composée d'exactement 2 littéraux positifs. Maintenant, j'ai une formule Monotone-2CNF FFF. Soit SSS l'ensemble des affectations satisfaisantes de FFFJ'ai également un oracle qui est capable de donner les informations suivantes:OOO...
Dans une application que j'envisage, j'ai besoin de connaître la complexité de communication du problème suivant: Étant donné , soit S l'ensemble des entiers de 1 à n . Alice, Bob, Carol et chacun reçoit un sous - ensemble de S , notée A , B et C , respectivement. Ils veulent vérifier si A , B et C...
La classe de complexité PPAD est généralement définie en indiquant que End-Of-The-Line est PPAD-complete. La fin de ligne est un problème de recherche. L'entrée consiste en un graphe orienté dans lequel chaque nœud a au plus en degré et en degré 1. Le graphe est donné par une fonction calculable en...
La question m'est venue à l'esprit lorsque j'ai obtenu la réponse de Dana Moshkovitz à un autre sujet . Soit un langage NP , et soit la relation NP respective . Nous savons qu'il existe un polynôme tel que:LLLRLRLR_Lppp ∀x∈L,,∃w∈0,1p(|x|)(x,w)∈RL∀X∈L,,∃w∈0,1p(|X|)(X,w)∈RL\forall x \in L, \\,...
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...
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 NP-complet au cours des cinq ou six...
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...
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 qu'un...
Supposons que nous ayons un réseau de neurones à rétroaction simple couche avec k entrées et une sortie. Il calcule une fonction à partir de , il est assez facile de voir que cela a au moins la même puissance de calcul que A C 0 . Juste pour le plaisir, nous appellerons l'ensemble des fonctions...
Mon expérience est en théorie / logique de la complexité (où il n'y a qu'un seul processus la plupart du temps), et en informatique distribuée (où il y a processus, et un ou plusieurs peuvent échouer au fil du temps). Cependant, je veux maintenant pouvoir dire quelque chose à propos d'un processus...
Soit p(x1,…,xn)p(x1,…,xn)p(x_1,\ldots,x_n) un polynôme à plusieurs variables avec des coefficients sur un champ FFF . Le multilinearization de ppp , noté p , est le résultat du remplacement de façon répétée chaque x ; d i avec d > 1 par x i . Le résultat est évidemment un polynôme...
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...
J'ai posé cette question dans des questions- réponses validées de manière croisée, mais il semble qu'elle soit beaucoup plus liée à CS qu'aux statistiques. Pouvez-vous me donner des exemples d'algorithmes d'apprentissage automatique qui apprennent des propriétés statistiques de l'ensemble de...
Je cherchais sur la multiplication matricielle, donc j'ai d'abord visité les algorithmes de multiplication matricielle wiki , dans les références, j'ai trouvé un article qui prétend utiliser l' algorithme O ( n2l o g( n ) )O(n2log(n))O(n^2 log(n)) , je vais lire l'article mais c'est compliqué et...
De nombreuses classes de complexité définies avec les machines de Turing ont des définitions en termes de circuits uniformes. Par exemple, P peut également être défini en utilisant des circuits de taille polynomiale uniforme, et de même BPP, NP, BQP, etc. peuvent être définis avec des circuits...
Le problème du cycle hamiltonien (HC) consiste à trouver un cycle passant par tous les sommets d'un graphe non orienté donné. Le problème des vendeurs ambulants (TSP) consiste à trouver un cycle qui passe par tous les sommets d'un graphique pondéré sur les bords et minimise la distance totale...
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...
DLogTimeDLogTime\mathsf{DLogTime} etNLogTimeNLogTime\mathsf{NLogTime} sont deux des classes de complexité les plus petites que nous ayons. (Notez que la hiérarchie temporelle logarithmiqueLHLH\mathsf{LH} est égale àAC0AC0\mathsf{AC}^0 et ce sont les deux premiers niveaux deLHLH\mathsf{LH} ). Après...