Informatique théorique

3

Quels programmes linéaires entiers sont faciles?

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 …

13 reference-request linear-programming polynomial-time integer-programming integrality-gap

2

La largeur de clique est-elle préservée sous les contractions des bords?

Soit une classe de graphiques avec une largeur de clique bornée. Dans chaque graphique en G, certaines arêtes sont contractées (par exemple au hasard). La largeur de la clique est-elle toujours limitée?ggGggG Dans le cas où il n'est (en général) plus délimité, je serais très intéressé par un contre-exemple.

13 graph-theory co.combinatorics cliquewidth

4

Concernant les méthodes Pfaffiennes en comptage et combinatoire

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 …

13 reference-request co.combinatorics counting-complexity

2

Le problème du carré magique à moitié rempli est-il complet?

Voici le problème: Nous avons un carré avec des nombres de 1..N dans certaines cellules. Il est nécessaire de déterminer s'il peut être complété par un carré magique. Exemples: 2 _ 6 2 7 6 _ 5 1 >>> 9 5 1 4 3 _ 4 3 8 7 _ …

13 cc.complexity-theory np-hardness np puzzles

3

Classes de graphiques avec cycle hamiltonien facile mais TSP NP-dur

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 mesurée …

13 cc.complexity-theory np-hardness hamiltonian-paths tsp graph-classes

2

L a-t-il une définition en termes de circuits?

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 uniformes. Existe-t-il donc …

13 cc.complexity-theory complexity-classes circuit-complexity

1

Théorème de Ramsey pour les collections d'ensembles

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 …

13 reference-request co.combinatorics ramsey-theory

1

Multiplication matricielle en

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 Will prend trop …

13 ds.algorithms linear-algebra matrix-product

1

Caractérisation de la complexité du circuit pour DLogTime et NLogTime

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 avoir lu cette question , je deviens curieux de voir si la séparation entre ces deux classes …

13 cc.complexity-theory circuit-complexity

3

Algorithmes de modèle de requête statistique?

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 données et non des observations individuelles elles-mêmes, c'est-à-dire qui utilisent …

13 lg.learning machine-learning

1

Puissance de calcul des réseaux de neurones?

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 …

13 cc.complexity-theory circuit-complexity machine-learning ne.neural-evol

5

Défaillances de processeur en informatique distribuée qui ne sont pas en panne ou byzantines

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 …

13 reference-request dc.distributed-comp

2

complexité des commérages aléatoires

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 …

13 reference-request dc.distributed-comp

2

Quand un processus engendre un autre processus

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 …

13 dc.parallel-comp process-algebra

2

Évaluer la multilinéarisation d'un circuit arithmétique?

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 …

13 cc.complexity-theory polynomials