Un resultado fundamental en la complejidad parametrizada de los problemas gráficos es que la CUBIERTA VERTEX parametrizada por el tamaño de la solución es manejable con parámetros fijos (FPT). Por otro lado, cuando se parametriza mediante el "parámetro dual" , se convierte en equivalente a SET...
Deje que Alice y Bob calculen la función booleana .f(x1,…,x2n)f(x1,…,x2n)f(x_1,\dots,x_{2n}) Seleccionar un subconjunto aleatorio de cardinalidad y dejar que .n J = { 1 , ... , 2 n } ∖ II⊆{1,…,2n}I⊆{1,…,2n}\mathcal I\subseteq\{1,\dots,2n\}nnnJ={1,…,2n}∖IJ={1,…,2n}∖I\mathcal...
Me he estado preguntando por un tiempo sobre el origen de los nombres "inmunes" y "simples". También le hice la misma pregunta a Andrea Sorbi, quien a su vez involucró a algunos colegas más en la discusión. Sobre "simple" tenemos algunas conjeturas. Martin Davis sugiere que el nombre deriva de una...
Primero, disculpas si esta pregunta es apropiada o trivial para este sitio. Soy un físico que busca ayuda fuera de su zona de confort. En PRL 87 167902 (2001) se afirma que "... para un arbitrariamente pequeño existe un código de corrección de errores con (para alguna constante ) tal que la...
G=(V,E)G=(V,E)G=(V,E) iV(G)=min{|N(S)||S|:S⊆V,1≤|S|≤|V|2}iV(G)=min{|N(S)||S|:S⊆V,1≤|S|≤|V|2}i_V(G) = \min\{\frac{|N(S)|}{|S|} : S \subseteq V, 1\le |S|\le \frac{|V|}{2}\} ¿Puede dar una referencia donde el siguiente problema se muestra NP completo: dado un gráfico y un número , la pregunta es...
¿Se introdujo #P por primera vez en [1] ? [1] Valiant, Leslie G. "La complejidad de calcular lo permanente". Informática teórica 8.2 (1979):
Considere el problema de la intersección de conjuntos: Alice y Bob obtienen cada uno un subconjunto de {1,…,n}{1,…,n}\left\{ 1,\ldots, n\right\} , y les gustaría saber si sus conjuntos se intersecan. Este es un problema canónico de la complejidad de la comunicación, y es bien sabido que los...
¿Alguno de ustedes conoce una referencia para el siguiente resultado (sorprendentemente tedioso de probar)? Dado un gráfico plano conectado con vértices y aristas, tiene un separador de vértices de tamaño .GGGnnnn+tn+tn+tO(t√+1)O(t+1)O(
Esta es una confusión de referencia. A veces veo que la gente usa el término "metalenguaje computacional de Moggi" para referirse al cálculo presentado por Moggi, y a veces al "cálculo lambda computacional de Moggi". A veces usan λm lλmetrol\lambda_{ml} y a veces λCλC\lambda_c . Siempre he asumido...
De Wikipedia : VPVP\mathsf{VP} : La clase VP es el análogo algebraico de P; es la clase de polinomiosfff de grado del polinomio que tienen circuitos de tamaño polinómicas sobre un campo fijoKKK . VNPVNP\mathsf{VNP} : La clase VNP es el análogo de NP. VNP puede considerarse como la clase de...