Al reunir resultados, a menudo es deseable tener algunos diagramas de aspecto profesional, en lugar de diagramas juntos en MS Paint. ¿Cuál es el estándar para dibujar estructuras de
(Von Neumann dio un algoritmo que simula que una moneda justa tiene acceso a monedas sesgadas idénticas. El algoritmo potencialmente requiere un número infinito de monedas (aunque en expectativa, muchas son suficientes). Esta pregunta se refiere al caso cuando el número de lanzamientos de monedas...
Preámbulo Goldwasser, Micali y Rackoff y Babai introdujeron sistemas de prueba interactivos y protocolos Arthur-Merlin en 1985. Al principio, se pensó que el primero es más poderoso que el segundo, pero Goldwasser y Sipser demostraron que tienen el mismo poder ( con respecto al reconocimiento del...
Tengo curiosidad en un sentido amplio sobre lo que se sabe sobre algoritmos de paralelización en P. Encontré el siguiente artículo de Wikipedia sobre el tema: http://en.wikipedia.org/wiki/NC_%28complexity%29 El artículo contiene la siguiente oración: Se desconoce si NC = P, pero la mayoría de...
¿Cuál es la relación entre los algoritmos de ADN y las clases de complejidad definidas usando las máquinas de Turing? ¿A qué corresponden las medidas de complejidad como el tiempo y el espacio en los algoritmos de ADN? ¿Se pueden usar para resolver casos de problemas NP-completos como TSP que las...
1- ¿Hay alguna propiedad específica para la matriz de adyacencia cuando un gráfico es plano? 2- ¿Hay algo especial para calcular el permanente de la matriz de adyacencia cuando un gráfico es
(cruzado desde MathOverflow) Hola, Estaba leyendo este hilo: /mathpro/16393/finding-a-cycle-of-fixed-length Quiero encontrar un ciclo 5 en un gráfico. En realidad, lo que realmente quiero es un ciclo impar más corto de longitud de al menos 5, pero tal vez eso sea un poco irrelevante. Para mis...
Considere el conjunto de gráficos planos donde todas las caras internas son triángulos. Si hay un punto interior de grado impar, el gráfico no puede ser de tres colores. Si cada punto interior tiene un grado par, ¿puede ser siempre de tres colores? Idealmente, me gustaría un pequeño...
(Este es un seguimiento de esta pregunta y su respuesta ). Tengo el siguiente programa lineal entero entero unimodular (TU) (ILP). Aquí son todos enteros positivos dados como parte de la entrada. Un subconjunto especificado de las variables x i j se establece en cero y el resto puede tomar valores...
He visto (y he oído) que afirmaba que es seguro agregar el axioma clásico del medio excluido a Coq, pero parece que no puedo encontrar un documento que respalde esta afirmación. Los documentos que veo enumerados en el wiki de Coq sobre el medio excluido muestran inconsistencia con el conjunto...
El código de Huffman para una distribución de probabilidad ppp es el código de prefijo con la longitud de palabra de código promedio ponderada mínima ∑piℓi∑piℓi\sum p_i \ell_i , donde ℓiℓi\ell_i es la longitud de la iii ésima palabra de código. Es un teorema bien conocido que la longitud promedio...
O ( log c n ) O ( n k )NCNC\mathsf{NC} captura la idea de eficientemente paralelizable, y una interpretación de la misma son los problemas que se pueden resolver en el tiempo usando procesadores paralelos para algunas constantes , . Mi pregunta es si hay una clase de complejidad análoga donde el...
El lema de bombeo para los idiomas regulares se puede probar considerando un autómata de estado finito que reconoce el idioma estudiado, escogiendo una cadena con una longitud mayor que su número de estados y aplicando el principio del casillero. El lema de bombeo para lenguajes libres de contexto...
Esta pregunta está inspirada en la conjetura polinómica de Hirsch (APS). Dado un politopo P de cara en R d , ¿el espacio espectral de su gráfico de borde-vértice (llamado G ) está limitado por Ω ( 1 / p o l y ( n ) ) ? Tenga en cuenta que el gráfico de ciclo en n vértices muestra que, incluso para...
Inspirado por la pregunta de factoraje conocido como P-hard , me pregunto cuál es el estado actual de conocimiento similar sobre la dureza del isomorfismo gráfico. Estoy seguro de que actualmente no se sabe si GI está en P, pero: ¿Cuál es la clase más grande actualmente conocida que GI es más...
Luca Trevisan mostró cuántas construcciones de generadores pseudoaleatorios pueden considerarse, de hecho, construcciones extractoras: http://www.cs.berkeley.edu/~luca/pubs/extractor-full.pdf ¿Hay una conversación significativa? Es decir, ¿pueden considerarse las construcciones "naturales" de...
¿Existe alguna hipótesis plausible de complejidad / criptografía que descarte la posibilidad de que los circuitos de tamaño polinomial tengan circuitos de tamaño subexponencial (es decir, con ϵ < 1 ) de profundidad limitada ( d = O ( 1 ) )?2O ( nϵ)2O(nϵ)2^{O(n^\epsilon)}ϵ <...
Últimamente comencé a buscar algoritmos de aproximación para problemas NP-difíciles y me preguntaba sobre las razones teóricas para estudiarlos. (La pregunta no pretende ser inflamatoria, solo tengo curiosidad). Del estudio de los algoritmos de aproximación ha surgido una teoría realmente hermosa:...
Recientemente, trabajé en el problema para calcular la suma aproximada de una lista de números no negativos ordenados. Para cualquier fijo , un O ( log n ) esquema de aproximación tiempo se ha derivado de tal manera que da una ( 1 + ε ) : Aproximación para la suma. El documento se publica...
¿Alguien podría explicar la diferencia entre: Tipos de datos algebraicos (con los que estoy bastante familiarizado) Tipos de datos algebraicos generalizados (¿qué los hace generalizados?) Tipos inductivos (por ejemplo, Coq) (Especialmente tipos inductivos.)