Ciencias de la computación teórica

Preguntas y respuestas para científicos informáticos teóricos e investigadores en campos relacionados.

2
Pregunta sobre dos matrices: Hadamard v. "El mágico" en la prueba de la conjetura de la sensibilidad
La prueba reciente e increíblemente hábil de la conjetura de la sensibilidad se basa en la construcción explícita * de una matriz , definida recursivamente de la siguiente manera: y, para , En particular, es fácil ver que para todo .An∈{−1,0,1}2n×2nAn∈{−1,0,1}2n×2nA_n\in\{-1,0,1\}^{2^n\times 2^n}A1=(0110)A1=(0110)A_1 = \begin{pmatrix} 0&1\\1&0\end{pmatrix}n≥2n≥2n\geq 2An=(An−1In−1In−1−An−1)An=(An−1In−1In−1−An−1)A_{n} = \begin{pmatrix} A_{n-1}&I_{n-1}\\I_{n-1}&-A_{n-1}\end{pmatrix}A2n=nInAn2=nInA_n^2 = …



3
¿Cuáles son las relaciones entre esas hipótesis en la teoría de la complejidad de grano fino?
La teoría de la complejidad, a través de conceptos como la completitud de NP, distingue entre problemas computacionales que tienen soluciones relativamente eficientes y aquellos que son intratables. La complejidad "de grano fino" tiene como objetivo refinar esta distinción cualitativa en una guía cuantitativa en cuanto al tiempo exacto requerido …




2
¿El Cheeger es constante
He leído en innumerables artículos que determinar la constante Cheeger de un gráfico es -duro. Parece ser un teorema popular, pero nunca he encontrado ni una cita ni una prueba de esta afirmación. ¿A quién debo dar crédito por ello? En un documento antiguo (Isoperimetric Numbers of Graphs, J. Comb. …




3
Representando OR con polinomios
Sé que trivialmente la función OR en nortenn variables X1, ... , xnortex1,…,xnx_1,\ldots, x_n puede representarse exactamente por el polinomio p ( x1, ... , xnorte)p(x1,…,xn)p(x_1,\ldots,x_n) como tal: p ( x1, ... , xnorte) = 1 - ∏nortei = 1( 1 - xyo)p(x1,…,xn)=1−∏i=1n(1−xi)p(x_1,\ldots,x_n) = 1-\prod_{i = 1}^n\left(1-x_i\right) , que es …



1
Muestreo de fórmulas 3-SAT satisfactorias
Considere la siguiente tarea computacional: Queremos muestrear una fórmula 3-SAT de variables (una variante: n variables m cláusulas) con respecto a la distribución de probabilidad uniforme, condicionada a que la fórmula sea satisfactoria:nortennnortennmetromm P1: ¿Se puede lograr esto de manera eficiente con una computadora clásica (con bits aleatorios)? P2: ¿Se …

Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.