Informatique théorique

Q & A pour les informaticiens théoriques et les chercheurs dans des domaines connexes





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 …


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 …


2
Dureté d'un sous-boîtier de Set Cover
Quelle est la difficulté du problème Set Cover si le nombre d'éléments est limité par une fonction (par exemple, lognlog⁡n\log n ) où nnn est la taille de l'instance de problème. Officiellement, Soit U={e1,⋯,em}U={e1,⋯,em}\mathcal{U}=\{e_1, \cdots, e_m\} et où et . Est-il difficile de décider du problème suivantS i ⊆ U …


1
Racines entières d'un polynôme
Quel algorithme pouvons-nous utiliser pour trouver toutes les racines entières d'un polynôme avec des coefficients entiers?f(x)f(x)f(x) J'observe que Sage peut trouver les racines en quelques secondes même lorsque tous les coefficients de sont très grands. Comment est-il capable de faire cela?f(x)f(x)f(x)

1
Pourquoi la conjecture log-rank utilise-t-elle le rang sur les réels?
Dans la complexité de la communication, la conjecture log-rank déclare que cc(M)=(logrk(M))O(1)cc(M)=(log⁡rk(M))O(1)cc(M) = (\log rk(M))^{O(1)} Où est la complexité de communication de M ( x , y ) et r k ( M ) est le rang de M (sous forme de matrice) sur les réels.cc(M)cc(M)cc(M)M(x,y)M(x,y)M(x,y)rk(M)rk(M)rk(M)MMM Cependant, lorsque vous utilisez …

1
Un problème naturel dans
La classe de complexité est définie comme suit (à partir de Wikipedia ):SP2S2P\textrm{S}_2^\textrm{P} Un langage est dans s'il existe un prédicat polynomial tel queLLLSP2S2PS_2^PPPP Si , alors il existe un tel que pour tout ,x ∈ LX∈Lx \in LyyyzzzP( x , y, z) = 1P(X,y,z)=1P(x,y,z)=1 Si , alors il existe …



En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.