Informatique théorique

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

7
Pourquoi CNF est-il utilisé pour SAT et non DNF?
Je ne comprends pas très bien pourquoi presque tous les solveurs SAT utilisent CNF au lieu de DNF. Il me semble que résoudre SAT est plus facile en utilisant DNF. Après tout, il vous suffit de parcourir l'ensemble des implicants et de vérifier si l'un d'eux ne contient pas à …
2
Comment l'approche géométrique de Mulmuley-Sohoni pour produire des bornes inférieures évite-t-elle de produire des preuves naturelles (au sens de Razborov-Rudich)?
La formulation exacte du titre est due à Anand Kulkarni (qui a proposé la création de ce site). Cette question a été posée à titre d'exemple, mais je suis incroyablement curieux. Je connais très peu de choses sur la géométrie algébrique, et en fait, je n'ai aussi qu'une compréhension superficielle …
6
Analogues de la détection compressée
x∈Rnx∈Rnx \in \mathbb{R}^n∥x∥0&lt;k‖x‖0&lt;k\|x\|_0 < kAxAxAxAAARRRnnn matrice réelle où nous voulons . La magie de la détection compressée est que l'on peut explicitement construire telle sorte qu'il permet une récupération exacte rapide (temps quasi-linéaire) de toutR≪nR≪nR \ll nAAAkkk-sparse xxx avec RRR aussi petit que O(kno(1))O(kno(1))O(k n^{o(1)}) . Je n'ai peut-être pas …
8
Problèmes NP-difficiles sur les chemins
tout le monde sait qu'il existe de nombreux problèmes de décision qui sont NP-difficiles sur les graphiques généraux, mais je m'intéresse aux problèmes qui sont même NP-difficiles lorsque le graphique sous-jacent est un chemin. Alors, pouvez-vous m'aider à recueillir de tels problèmes? J'ai déjà trouvé une question connexe sur les …
4
Des problèmes qui peuvent être résolus de manière contre-intuitive dans la pratique?
Récemment, j'ai vécu l' expérience douloureuse et amusante d'expliquer de manière informelle le concept de complexité informatique à un jeune programmeur autodidacte talentueux, qui n'avait jamais suivi de cours formel en algorithmes ou en complexité auparavant. Sans surprise, beaucoup de notions semblaient étranges au début mais avaient du sens avec …
1
Complexité d'un problème matriciel
Le problème suivant est récemment apparu dans mes recherches. N'étant pas un expert des questions algorithmiques, j'ai beaucoup recherché sur Google dans la recherche de problèmes appropriés à réduire. Je ne vois pas comment 3SAT fonctionnerait, et même si ZOE est similaire dans l'esprit, une réduction n'est pas évidente. Une …
1
P est-il égal à l'intersection de toutes les classes temporelles superpolynomiales?
Appelons une fonction superpolynomiale si vaut pour chaque c&gt; 0 .f(n)f(n)f(n) limn→∞nc/f(n)=0limn→∞nc/f(n)=0\lim_{n\rightarrow\infty} n^c/f(n)=0c&gt;0c&gt;0c>0 Il est clair que pour tout langage il contient pour chaque temps superpolynomial lié f (n) . Je me demande si l'inverse de cette affirmation est également vrai? Autrement dit, si nous connaissons L \ in {\ …
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.