Llamemos un idioma NP escasamente certificado si y solo si:L∈L∈L \in Existe un polinomio tal que para cada entrada de tamaño , si entonces el conjunto de certificados que verifican que tiene un tamaño polinómico, es decir .p:N→Np:N→Np : \mathbb{N} \rightarrow \mathbb{N}x∈Σ∗x∈Σ∗x \in...
¿Cuál es la definición estándar de Planar 3-SAT? He visto varias definiciones diferentes. ¿Cuál fue el documento original que lo definió y demostró que era NP
En Temas avanzados en tipos y lenguajes de programación se menciona, en el capítulo sobre sistemas de tipos subestructurales, que un cálculo lambda afín "cuidadosamente elaborado" con un combinador de recursión para listas solo puede escribir términos que tienen tiempo de ejecución polinómico (no...
Estoy interesado en el siguiente problema. Se nos da como entrada una "permutación de destino" , así como una lista ordenada de índices . Luego, comenzando con la lista (es decir, la permutación de identidad), en cada paso de tiempo intercambiamos el elemento en con el elemento, con probabilidad...
¿Hay algún problema que se pueda resolver en el tiempo polinomial solo si P! = NP, y de otra manera se puede resolver en (digamos) tiempo?O(2n)O(2n)O(2^n) Un ejemplo simple sería: Si P! = NP, calcule una prueba de primalidad para un número aleatorio de n bits, de lo contrario, evalúe una posición...
Usando el modelo real-RAM / BSS, tenemos la clase NP , (donde un BSS es el modelo Blum-Shub-Smale de una computadora con operaciones sobre reales). Tenemos problemas completos de NP . Entonces, la pregunta es ¿hay un análogo de la conjetura de Berman Hartmanis para la clase NP ? Por supuesto, la...
Cruzado desde MO . El isomorfismo del gráfico de color (borde) es GI que conserva los colores (de los bordes si está coloreado). Hay varias reducciones utilizando transformaciones / gadgets de GI de color (borde) a GI. Para GI de color de borde, lo más simple es reemplazar el borde de color por...
Supongamos que tenemos una función booleana de . Está claro que un polinomio multivariado real p ( x ) tal que f ( x ) = p ( x ) en x ∈ { 0 , 1 } n puede ser multilineal. ¿Cuáles son algunas clases interesantes de funciones booleanas para las cuales el grado mínimo de p ( x )F: { 0 , 1 }norte→ { 0...
nnortenx1,…,xnx1,…,xnx_1,\ldots, x_nkkkn>kn>kn > kmaxi≠jVar(xTixj)maxi≠jVar(xiTxj)\max_{i\neq j} \mathrm{Var}(x_i^T x_j)E[xTixj]=0E[xiTxj]=0\mathbb{E}[x_i^Tx_j]=0 Intenté algunas distribuciones y casi todas tienen varianza 1/k1/k1/k . Por ejemplo, tanto la distribución en la que cada...
Babai y Seress demostraron que dado un subgrupo y un conjunto generador S de G , cualquier permutación en G puede escribirse como un producto de generadores y sus inversos de longitud e ( 1 + o ( 1 ) ) √G ≤ Snortesol≤SnG \leq S_nSSSGGGGGG . Este límite es óptimo ya queSntiene un elemento de...
Digamos que trabajo en la teoría del tipo de homotopía y mis únicos objetos de estudio son categorías convencionales. Las equivalencias aquí son dadas por los functores y que proporcionan equivalencias de las categorías . Existen isomorfismos naturales y para que este functor y functor "inverso"...
Específicamente, lo que quiero decir con suma es que definimos como el alfabeto . Dadas lenguajes regulares y en virtud de algún alfabeto , vistazo a .ΣiΣi\Sigma_i{0,1,2,...,i}{0,1,2,...,i}\{0, 1, 2, ..., i\}AAABBBΣiΣi\Sigma_iA×BA×BA\times B Para cada par ordenado , defina la "suma" de este par...
La hipótesis de Riemann de más de ½ siglo de antigüedad tiene profundas implicaciones en las matemáticas y ahora se prueba condicionalmente un gran edificio de teoría matemática y numerosas variantes. Recientemente encontré una referencia a un resultado condicional en TCS basado en la hipótesis de...
Antecedentes: el procesamiento de transacciones ha sido un tema de investigación tradicional en la teoría de bases de datos. Hoy en día, las transacciones distribuidas se popularizan por los sistemas de almacenamiento distribuido a gran escala que generalmente implican la partición de datos...
Mi pregunta es sobre algoritmos cuánticos para cálculos de QED (electrodinámica cuántica) relacionados con las constantes de estructura fina. Tales cálculos (como se me explicó) equivalen a calcular series similares a Taylor donde α es la constante de estructura fina (alrededor de 1/137) y c k es...
¿Cuál es el enfoque estándar para minimizar Büchi-Automata (o también Müller-Automata)? Transferir la técnica habitual de palabras finitas, es decir, establecer dos estados para que sean iguales si las palabras "agotándose" de los estados aceptados son las mismas, no funcionará. Por ejemplo,...
En el artículo de 1965 " Sobre la complejidad computacional de los algoritmos " de Hartmanis y Stearns, los autores conjeturan que si una máquina de Turing en tiempo real calcula el número real en, por ejemplo, la base 10, entonces es un número racional o un número trascendentalrrrrrrr ¿Existe un...
De manera equivalente, ¿existe una semántica denotacional conocida para los lenguajes de programación funcional probabilísticos de orden superior? Específicamente, ¿existe un modelo de dominio de cálculo puro sin tipo extendido por una operación de elección binaria aleatoria...
La complejidad de la prueba es un área más básica de la teoría de la complejidad computacional. Un propósito final de esta área es probar , es decir, cualquier comprobador no puede dar una prueba de insatisfacción de la fórmula de entrada dada. nortePAG≠ c o NPAGNP≠coNPNP\neq coNP Un gráfico es...
Es un hecho bastante conocido que derivar una contradicción de una desigualdad (por ejemplo, ) en la teoría de tipo Martin-Loef requiere un universo.( 0 = 1 ) → ⊥(0=1)→⊥(0=1) \to \bot La prueba también es bastante sencilla: en ausencia de universos, podemos borrar las dependencias de cualquier...