Arora et Barak montrent que peut être exprimé comme c'est-à-dire l'ensemble des langues qui ont des réductions aléatoires à 3SAT. est également une généralisation aléatoire naturelle de en ce que vous remplacez le vérificateur déterministe par un vérificateur
Disons que nous découvrons des civilisations extraterrestres capables d'envoyer et de recevoir des messages à l'aide d'un canal de communication numérique interstellaire. (Par exemple, en utilisant des ondes radio modulées, des impulsions laser, en repositionnant des étoiles sur diverses orbites,...
Il existe plusieurs notions concurrentes de «graphe clairsemé». Par exemple, un graphique intégrable en surface peut être considéré comme clairsemé. Ou un graphique avec une densité de bord borné. Ou un graphique avec une circonférence élevée. Un graphique avec une grande expansion. Un graphique...
Quand je pense à un logiciel qui n'est pas sûr, je pense qu'il est "trop utile" et peut être utilisé abusivement par un attaquant. Donc, dans un sens, la sécurisation des logiciels est le processus qui rend les logiciels moins utiles. En informatique théorique, vous ne travaillez pas avec le...
Étant donné telle sorte que les coefficients de p , q soient bornés par B , est-ce que p ≡ q est vrai ?p(x1,…,xn),q(x1,…,xn)∈Z[x1,…,xn]p(x1,…,xn),q(x1,…,xn)∈Z[x1,…,xn]p(x_1,\dots,x_n),q(x_1,\dots,x_n)\in \Bbb Z[x_1,\dots,x_n]p,qp,qp,qBBBp≡qp≡qp\equiv q Le lemme de Schwartz-Zippel s'applique ici car...
Ceci fait suite à ma question précédente: Meilleure complexité temporelle déterministe connue borne inférieure pour un problème naturel dans NP Je trouve déconcertant que nous n'ayons pas été en mesure de prouver de limite inférieure de temps déterministe quadratique pour un problème NP intéressant...
Y a-t-il eu des études pour déterminer si l'intelligence humaine peut surpasser les algorithmes (c.-à-d. Tester si le théorème du déjeuner gratuit s'applique à l'intelligence humaine)? Dans le même ordre d'idées, quelqu'un a-t-il développé une méthode technique pour tirer parti des propriétés...
Pour répondre "quels problèmes peuvent être résolus par l'informatique", nous avons développé la théorie de la calculabilité. Pour les problèmes qui sont calculables, existe-t-il une théorie pour répondre à la question "est-ce que le programme est le plus simple"? Je ne pense pas que la complexité...
En un mot, les théorèmes de la hiérarchie du temps disent qu'une machine de Turing peut résoudre plus de problèmes si elle a plus de temps pour le calcul. En détail pour TM déterministe et fonctions constructibles dans le temps avec c'est et pour TM non déterministe et fonctions constructibles dans...
Dans la complexité de la communication, la conjecture log-rank déclare que cc(M)=(logrk(M))O(1)cc(M)=(logrk(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
Dans une question précédente sur la hiérarchie temporelle, j'ai appris que les égalités entre deux classes peuvent être propagées à des classes plus complexes et les inégalités peuvent être propagées à des classes moins complexes, avec des arguments utilisant le remplissage. Par conséquent, une...
Je m'intéresse à divers sujets comme la logique combinatoire, le calcul lambda, la programmation fonctionnelle depuis un certain temps et je les étudie. Cependant, contrairement à la «Théorie du calcul» qui s'efforce de répondre à la question de la «calculabilité», c'est-à-dire des choses qui...
J'ai récemment pensé à "importer" une question liée à la physique dans Quantum CS: La notion de phénomène de loi d'aire dans les systèmes hamiltoniens représente généralement un hamiltonien local sur un réseau, dont l'état fondamental présente une propriété dans laquelle l'intrication de toute...
La théorie de la complexité informatique classe les problèmes en fonction de leur difficulté inhérente. La théorie des systèmes complexes aborde les systèmes qui présentent des comportements qui ne découlent évidemment pas des propriétés des différentes parties du système. Les exemples incluent les...
Il est bien connu que le problème NP-Complete appelé Subset Sum a un FPTAS. Je me demandais s'il existait un problème PSPACE Complete qui a également un FPTAS? Merci
Il s'agit d'un article séparé de Conséquences de UP est égal à NP , et aussi d'une question de suivi sur les classes de complexité sémantique vs syntaxique . Dans le post ci-dessus, nous avons appris les classes sémantiques et syntaxiques . En bref, quand une classe peut être caractérisée comme une...
J'ai commencé à m'intéresser à l'optimisation mathématique assez récemment et je l'adore. Il semble que beaucoup de problèmes d'optimisation peuvent être facilement exprimés et résolus sous forme de programmes linéaires (par exemple, flux de réseau, couverture de bord / sommet, vendeur itinérant,...