Informatique théorique cc.complexity-theory

1

Exiger l'unicité des réponses valides pour Merlin limite-t-il la puissance des protocoles Arthur-Merlin?

Préambule. La classe de complexité AM sont les problèmes qui peuvent être résolus par un système de preuve interactif à deux tours entre un prouveur "Merlin" et un vérificateur "Arthur". Un problème - qui teste certaines propriétés d'un objet X - est dans AM si: Pour les instances OUI , …

15 cc.complexity-theory interactive-proofs unique-solution

1

Résoudre une équation diophantienne linéaire approximativement

Considérez le problème suivant: Entrée : un hyperplan , donné par un vecteur et en représentation binaire standard.H= { y ∈ Rn: unTy = b }H={y∈Rn:uneTy=b}H = \{ \mathbf{y} \in \mathbb{R}^n: \mathbf{a}^T\mathbf{y} = {b}\}a ∈ Znune∈Zn\mathbf{a} \in \mathbb{Z}^nb ∈ Zb∈Zb \in \mathbb{Z} Sortie :x ∈ Zn= argmin d( x , …

15 cc.complexity-theory optimization linear-algebra integer-lattice

10

Quels sont les problèmes où nous savons que nous avons un algorithme optimal?

Quels sont les problèmes non triviaux où nous savons que l'algorithme actuel que nous avons est asymptotiquement optimal? (Pour les machines de turing) Et comment cela est-il prouvé?

15 cc.complexity-theory ds.algorithms complexity-classes

1

Classement de la difficulté des problèmes difficiles de NP dans la pratique

Cette question est étroitement liée à un autre article: Transitions de phase dans les problèmes difficiles NP, mais elle est quelque peu différente. Bien que cette question concerne la dureté d'instances particulières de problèmes difficiles NP, il s'agit de classer la difficulté des mêmes instances. Il y a beaucoup de …

15 cc.complexity-theory np-hardness sat

1

Maintenir l'ordre dans une liste en

Le problème de maintenance des commandes (ou «maintien de l'ordre dans une liste») est de supporter les opérations: singleton: crée une liste avec un élément, lui renvoie un pointeur insertAfter: donné un pointeur sur un élément, insère un nouvel élément après, renvoyant un pointeur sur le nouvel élément delete: donne …

15 ds.data-structures soft-question pl.programming-languages graph-theory tree cc.complexity-theory pcp co.combinatorics cg.comp-geom pr.probability vc-dimension cc.complexity-theory complexity-classes relativization soft-question advice-request career soft-question research-practice paper-review journals co.combinatorics cc.complexity-theory complexity-classes pr.probability average-case-complexity cc.complexity-theory lo.logic descriptive-complexity finite-model-theory ds.algorithms cc.complexity-theory approximation-hardness csp pcp cc.complexity-theory circuit-complexity

1

Frapper un ensemble de familles qui se croisent par paire

Un ensemble de frappe d'une famille est un sous-ensemble de tel que pour . Le problème pour trouver un ensemble de frappe minimum d'une famille donnée est NP-difficile en général, car il généralise le problème de couverture de vertex. Maintenant ma question est:H ⋃ n i = 1 S i …

15 cc.complexity-theory np-hardness approximation-hardness

3

Des références pour les techniques de réductions FPT?

Comme tout le monde le sait, le célèbre livre de Garey et Johnson (et bien d'autres) fournit une excellente référence pour la technique de réduction en milieu classique. Existe-t-il des enquêtes ou des livres sur le thème de la technique de réduction dans l'algorithme paramétré, disons la réduction fpt?

15 cc.complexity-theory reference-request reductions parameterized-complexity

3

Théories qui caractérisent les classes de complexité informatique

En lisant l'article " Une théorie applicative pour la FPH ", vous pouvez rencontrer le passage suivant: Compte tenu des théories qui caractérisent les classes de complexité informatique, il existe trois approches différentes: dans l'un, les fonctions qui peuvent être définies dans la théorie sont «automatiquement» dans une certaine classe …

15 cc.complexity-theory reference-request complexity-classes lo.logic proof-complexity

2

Complexité borne inférieure: l'écart entre les arbres de décision et les RAM

J'ai récemment découvert une borne inférieure quadratique sur la complexité d'un problème dans le modèle d'arbre de décision, et je me demande si ce résultat pourrait être partiellement généralisé au modèle de machine à accès aléatoire. Par partiellement , je veux dire une généralisation aux programmes RAM avec un certain …

15 cc.complexity-theory lower-bounds

1

Conception et complexité des algorithmes - Comment penser de cette manière?

Ma question est d'ordre général: comment commencer à penser en termes de conception d'algorithmes et de complexité? Je vais suivre un cours d'études supérieures en conception d'algorithmes. Je m'y étais inscrit plus tôt mais je l'ai abandonné plus tard parce que je ne pouvais pas suivre. Je dois suivre ce …

15 cc.complexity-theory ds.algorithms soft-question advice-request research-practice

3

Des enquêtes sur la conception d'un générateur de nombres pseudo-aléatoires?

Je m'intéresse à la génération de nombres pseudo-aléatoires pour la cryptographie. Outre le chapitre 5 de Menezes / Oorschot / Vanstone ; Chapitre 8 de Stinson ; et le chapitre 3 de Goldreich , où pourrais-je trouver plus? Je m'intéresse aux principes généraux de conception des PRNG (propriétés souhaitables, tests, …

15 cc.complexity-theory reference-request pseudorandomness

1

Bit le plus significatif de multiplication d'entiers et de diagrammes de décision binaires

Soit et y deux nombres binaires à n bits et z = x ⋅ y le nombre binaire (longueur 2 n ) du produit de x et y . Nous voulons calculer le bit le plus siginifcant z 2 n - 1 du produit z = z 2 n - …

15 cc.complexity-theory binary-decision-diagrams

3

Complexité de la coloration des bords dans les graphes plans

La coloration à 3 arêtes des graphiques cubiques est complète. Le théorème à quatre couleurs équivaut à «Chaque graphique cubique sans pont plan est colorable sur 3 bords».NPNPNP Quelle est la complexité de la coloration à 3 arêtes des graphiques planaires cubiques? De plus, il est conjecturé que la coloration …

15 cc.complexity-theory graph-theory np-hardness graph-colouring

4

Existe-t-il des fonctions connues avec la propriété de somme directe suivante?

Cette question peut être posée soit dans le cadre de la complexité des circuits des circuits booléens, soit dans le cadre de la théorie de la complexité algébrique, soit probablement dans de nombreux autres contextes. Il est facile de montrer, en comptant les arguments, qu'il existe des fonctions booléennes sur …

15 cc.complexity-theory circuit-complexity algebraic-complexity

3

Compter le nombre de cycles hamiltoniens dans des graphiques hamiltoniens cubiques?

Il est difficile de trouver une approximation à facteur constant du cycle le plus long dans les graphiques hamiltoniens cubiques. Les graphiques hamiltoniens cubiques ont au moins deux cycles hamiltoniens.NPNPNP Quelles sont les limites supérieure et inférieure les plus connues sur le nombre de cycles hamiltoniens dans les graphiques hamiltoniens …

15 cc.complexity-theory counting-complexity

Questions marquées «cc.complexity-theory»