Informatique théorique cc.complexity-theory

1

Algorithmes quantiques pour les calculs QED liés aux constantes de structure fine

Ma question concerne les algorithmes quantiques pour les calculs QED (électrodynamique quantique) liés aux constantes de structure fine. De tels calculs (comme on m'a expliqué) revient à calculer des séries de type Taylor où α est la constante de structure fine (autour de 1/137) et c k est la contribution …

10 cc.complexity-theory quantum-computing physics

2

Implications des variantes de l'hypothèse de Riemann dans le TCS

L' hypothèse de Riemann vieille de plus d'un siècle et demi a des implications profondes en mathématiques et un grand édifice de la théorie mathématique est maintenant prouvé conditionnellement sur elle et de nombreuses variantes. Je suis récemment tombé sur une référence à un résultat conditionnel dans TCS basé sur …

10 cc.complexity-theory algebraic-complexity arithmetic-circuits

1

Isomorphisme de Berman-Hartmanis pour NP ?

En utilisant le modèle réel RAM / BSS, nous avons la classe NP , (où un BSS est le modèle Blum-Shub-Smale d'un ordinateur avec des opérations sur des réels). Nous avons des problèmes complets de NP _ {\ mathbb {R}} . Donc, la question est de savoir s'il existe un …

10 cc.complexity-theory computing-over-reals

1

Problème qui est dans P seulement si P! = NP

Y a-t-il des problèmes qui ne peuvent être résolus en temps polynomial que si P! = NP, et autrement résolu en (disons) temps?O(2n)O(2n)O(2^n) Un exemple simple serait: si P! = NP, calculez un test de primalité pour un nombre aléatoire de n bits, sinon, évaluez une position aléatoire dans le …

10 cc.complexity-theory reference-request

1

Problème NP-complet avec de nombreux certificats polynomiaux?

Appelons une langue NP peu certifiée si et seulement si:L∈L∈L \in Il existe un polynôme tel que pour chaque entrée x ∈ Σ ∗ de taille n , si x ∈ L alors l'ensemble U x des certificats u qui vérifient que x ∈ L est de taille polynomiale, ie …

10 cc.complexity-theory complexity-classes

1

Définition de Planar 3-SAT

Quelle est la définition standard de Planar 3-SAT? J'ai vu un certain nombre de définitions différentes. Quel est le document original qui l'a défini et a prouvé qu'il était NP-complet?

10 cc.complexity-theory reference-request np-hardness sat planar-graphs

1

Chemin caché dans les grilles carrées

Je suis tombé sur un problème ouvert posé par David Eppstein et je m'intéresse à son état de complexité. Il a supposé qu'il était NP-complet. Entrée: matrice par de 0 et 1, séquence de 0 et 1nnnnnnn2n2n^2 Question: Existe-t-il un chemin à travers les entrées de matrice adjacentes, couvrant chaque …

10 cc.complexity-theory graph-theory

1

Le calcul lambda affine peut-il résoudre tous les problèmes de P?

Dans les rubriques avancées sur les types et les langages de programmation, il est mentionné, dans le chapitre sur les systèmes de types sous-structurels, qu'un calcul lambda affiné "soigneusement conçu" avec un combinateur de récursivité pour les listes ne peut taper que des termes qui ont un temps d'exécution polynomial …

10 cc.complexity-theory type-theory lambda-calculus

1

Trouver un cycle pair dans les graphiques dirigés

Étant donné un graphe orienté, nous voulons décider s'il contient un cycle orienté de longueur paire. Ce document de 1997 de YUSTER et ZWICK déclare que le problème n'est pas connu pour être en ni pour complet.PPPNPNPNP Y a-t-il un résultat récent qui résout la complexité du problème de cycle …

10 cc.complexity-theory reference-request graph-theory

1

Implications entre

Si nous pouvons prouver que , cela implique-t-il que ?L = PL=P\mathsf{L}=\mathsf{P}N L = N PNL=NP\mathsf{NL}=\mathsf{NP} Je pensais que c'était le cas, mais je ne peux pas le prouver (également pour l'inverse).

10 cc.complexity-theory complexity-classes nondeterminism

1

Bijections monotones entre listes d'intervalles

J'ai le problème suivant: Entrée: deux ensembles d'intervalles et T (tous les points d'extrémité sont des entiers). Requête: existe-t-il une bijection monotone f : S → T ?SSSTTTf:S→Tf:S→Tf:S \to T Le bijection est monotones l'ordre wrt d'inclusion ensemble sur et T . ∀ X ⊆ Y ∈ S , f …

10 cc.complexity-theory ds.algorithms np-hardness partial-order matching

1

Est-ce en NP pour vérifier si la coque convexe contient la boule unitaire?

Étant donné un ensemble de points dans l' espace euclidien de dimension , le problème est de déterminer si la coque convexe contient la boule unitaire centrée à l'origine.nnnréréd Ce problème est-il dans NP? Il est en co-NP car on peut donner un point dans la balle en dehors de …

10 cc.complexity-theory cg.comp-geom

2

Intégralité couvrant les arbres

Un arbre couvrant un graphe est appelé arbre d'exhaustivité si l'ensemble de ses feuilles induit un sous-graphe complet dans le graphe hôte. Étant donné un graphique et un entier k , quelle est la complexité de décider si G contient un arbre d'exhaustivité avec au plus k feuilles?ggGkkkggGkkk Une raison …

10 cc.complexity-theory graph-theory graph-algorithms

1

L'isomorphisme du graphe est-il dans UP coUP?

L'isomorphisme du graphe (le problème de décision) est-il dans ? Ici est la classe de problèmes de décision acceptée par une machine de Turing sans ambiguïté (voir le zoo de la complexité ).UP∩coUPUP∩coUP\mathsf{UP}\cap \mathsf{coUP}UPUP\mathsf{UP}

10 cc.complexity-theory graph-isomorphism

1

, , cours

J'essayais de comprendre ces cours mais je me suis toujours embrouillé ... les questions sont: Quelle est la relation entre et , en particulier est-ce une question ouverte?# PFNPFNPFNP# P#P\#P Quelle est la relation de et ? cette question est-elle ouverte?N P⊕ P⊕P\oplus PNPNPNP Qu'en est-il de la relation entre …

10 cc.complexity-theory

Questions marquées «cc.complexity-theory»