Informatique théorique

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

4
Preuves, barrières et P vs NP
Il est bien connu que toute preuve résolvant la question P vs NP doit surmonter la relativisation , les preuves naturelles et les barrières d' algèbre . Le diagramme suivant partitionne "l'espace de preuve" en différentes régions. Par exemple, correspond à l'ensemble des preuves qui relativisent et naturalisent. (théorie de …
4
Intersection DFA dans l'espace sub-quadratique?
L'intersection de deux DFA (minimes) avec n états peut être calculée en utilisant O (n 2 ) temps et espace. Ceci est optimal en général, car le DFA résultant (minimal) peut avoir n 2 états. Cependant, si le DFA minimal résultant a z états, où z = O (n), peut-il …
5
Problème de connectivité Flip minimum
J'ai formulé le problème suivant aujourd'hui en jouant avec mon GPS. C'est ici : Soit G(V,E)G(V,E)G(V,E) un graphe orienté tel que si e=(u,v)∈Ee=(u,v)∈Ee=(u,v) \in E alors (v,u)∉E(v,u)∉E(v,u) \notin E , c'est-à-dire que est une orientation du graphe non orienté sous-jacent. Considérez les opérations suivantes:GGG Flip(u,v)Flip(u,v)Flip(u,v) : remplacer un bord(u,v)(u,v)(u,v) par …
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.