Questions marquées «big-picture»

La balise de grande image est pour une "vue ou perspective globale et large d'un problème ou d'un problème."

3
AM / MA et NP par analogie avec P et BPP
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 aléatoire.AMAM\mathsf{AM}BP⋅NPBP⋅NP\mathsf{BP}\cdot \mathsf{NP}MAMA\mathsf{MA}NPNP\mathsf{NP} Existe-t-il un sens dans lequel l'un d'entre eux est plus …
4
Quelle est la notion la plus importante de rareté pour la conception d'algorithmes de graphes efficaces?
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 avec une largeur d'arbre bornée. (Même …
2
Meilleur protocole de communication extraterrestre?
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, qu'avez-vous?) Supposons que nous avons décidé de prendre contact avec …
2
Conséquence de PIT sur
É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 il vaut pour les champs généraux et et il existe un algorithme randomisé efficace pour ce …
2
Y a-t-il une explication à la difficulté de prouver des bornes inférieures quadratiques pour des problèmes NP intéressants?
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 pour lequel les gens se soucient …
4
Intelligence humaine et algorithmes
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 supra-informatiques uniques de l'intelligence humaine?
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 …
3
Pourquoi n'utilisons-nous pas des classes plus grandes pour étudier le déterminisme contre le non-déterminisme?
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 question me vient à l'esprit. Pourquoi …
1
Quelle est la «question» à laquelle la théorie du langage de programmation essaie de répondre?
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 peuvent / ne peuvent pas être …
2
Comment / pourquoi les systèmes linéaires sont-ils si cruciaux pour l'informatique?
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, etc.) Je sais que certains d'entre eux sont …
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.