¿Cuál es el más eficiente (en la complejidad del tiempo) algoritmo conocido hoy en día para la Divisibity Decisión Problema: dados dos números enteros, por ejemplo y b , hace una división B ? Que quede claro que lo que pido no es (necesariamente) un algoritmo para el cálculo del resto. Solo quiero...
Defina como la clase de idiomas que puede aceptar una máquina de Turing (multitapa) en el tiempo f ( n ) + 1 . (El " + 1 " es simplemente para simplificar la notación y evitar confusiones). Observe que no hay O ( ⋅ ) alrededor de f ( n ) + 1
Tengo parte de un intento de prueba de . El intento de prueba consiste en una reducción de Karp desde -complete problem 3-REGULAR VERTEX COVER a SAT. ⊕ P ⊕⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP}⊕P⊕P\oplus \mathbf{P}⊕⊕\oplus Dado un gráfico cúbico , la reducción genera una fórmula CNF que...
TC0TC0\mathsf{TC^0} dTC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd La entrada del zoológico para TC0TC0\mathsf{TC^0} solo menciona la separación entre la profundidad 2 y 3. ¿También hay una referencia estándar para el hecho de que la jerarquía AC0dACd0\mathsf{AC^0_d} no...
Recientemente comencé a leer mucho sobre la complejidad de las pruebas y realmente he disfrutado lo que he estado leyendo. Realmente me gustaría aprender más sobre esto, pero estoy teniendo dificultades para encontrar un buen material para principiantes para comenzar. ¿Alguien podría recomendar...
Aquí hay un problema con un sabor similar al de las juntas de aprendizaje: Entrada: Una función f:{0,1}n→{−1,1}f:{0,1}n→{−1,1}f: \{0,1\}^n \rightarrow \{-1,1\} , representada por un oráculo de membresía, es decir, un oráculo que dado xxx , devuelve f(x)f(x)f(x) . Objetivo: encontrar un subcubo...
En el artículo de Stephen Cook sobre el problema P vs NP, [1] afirma lo siguiente [2]: Tesis de viabilidad: un problema natural tiene un algoritmo factible si tiene un algoritmo de tiempo polinómico. Mi pregunta es, ¿qué quiere decir exactamente él (o, en general, qué quiere decir uno) con "un...
Hasta donde sé, la norma de factorización del límite inferior dada por Linial y Shraibman es esencialmente el único límite inferior conocido para la complejidad de la comunicación cuántica (o al menos subsume todos los demás). ¿Hay alguna evidencia en contra de que este límite sea estricto? La...
En la complejidad parametrizada, las personas utilizan la reducción de parámetros fijos manejables (FPT) para demostrar la dureza W [t]. Teóricamente, una reducción de FPT no es una reducción de tiempo polinomial, ya que puede ejecutarse exponencialmente en el parámetro k. Pero en la práctica,...
Supongamos que nuestra entrada es una binaria y tenemos que generar , donde es un número entero constante. Esto es solo un cambio si es una potencia de dos, pero ¿qué pasa con otros números? ¿Podemos hacerlo con un circuito de profundidad constante para cada ? ¿Qué pasa con ?⌊ x / c ⌋ c c c c =...
Merlín, que tiene recursos computacionales ilimitados, quiere convencer a Arthur de que m|∑p≤N, p primepkm|∑p≤N, p primepkm|\sum_{p\le N,\ p\text{ prime}}p^k para (N,m,k)(N,m,k)(N,m,k) con k=O(logN)k=O(logN)k=O(\log N) y m=O(N).m=O(N).m=O(N). Calcular esta suma de forma directa (exponenciación...
Estoy tratando de encontrar problemas cuya complejidad de espacio de casos promedio ha sido analizada. Más específicamente, estoy interesado en saber si hay algún problema con un límite inferior de complejidad espacial comprobada que sea superlineal, y especialmente si hay alguno con un análisis...
En una fórmula CNF de lectura dos veces opuesta, cada variable aparece dos veces, una vez positiva y otra negativa. Estoy interesado en el problema , que consiste en calcular la paridad del número de asignaciones satisfactorias de una fórmula CNF de lectura dos veces
¿Hay problemas cuya complejidad de caso promedio es la misma que su peor complejidad de caso? ¿Cuáles son las propiedades subyacentes de estos problemas que hacen posible reducir el peor de los casos al caso promedio
Sea una secuencia de enteros donde cada a j ∈ { 1 , 2 , ... , n } . Para i ∈ { 1 , 2 , ... , n } , sea m i = | { j : a j = i } | . El k ésimo momento de frecuencia se define comouna1, una2, ... , unmetroa1,a2,…,ama_1, a_2,\dotsc, a_munaj∈ { 1 , 2 , ... , n }aj∈{1,2,…,n}a_j \in \{1,2,\dotsc,n\}i ∈ {...
Dana Angluin ( 1987 ; pdf ) define un modelo de aprendizaje con consultas de membresía y consultas teóricas (contraejemplos de una función propuesta). Ella muestra que un lenguaje regular que está representado por un DFA mínimo de estados se puede aprender en tiempo polinómico (donde las funciones...
Un teorema directo del producto, informalmente, dice que calcular instancias de una función es más difícil que calcular una vez.kkkffffff Los teoremas típicos de productos directos (p. Ej., El Lema XOR de Yao) analizan la complejidad de los casos promedio y argumentan (muy a grandes rasgos) que no...
NL⊈PNL⊈P\mathsf{NL} \nsubseteq \mathsf{P} Consideremos ahora las familias de circuitos con puertas de Oracle - por ejemplo, , donde es una clase de la complejidad del circuito que contiene logspace con acceso a Oracle a otra clase , a través de puertas de Oracle adjuntas a la base de . ¿Hay algún...
Deje ser un campo. Como de costumbre, para una definimos como la complejidad lineal de sobre . Sea el conjunto de monomios de , es decir, los monomios que aparecen en con coeficiente distinto de cero.kkkf∈k[x1,x2,…,xn]f∈k[x1,x2,…,xn]f\in k[x_{1},x_{2},\ldots,x_{n}]L(f)L(f)L(f)fffkkkFFFffffff...
¿Qué tipo de teoremas de jerarquía existen para la profundidad del circuito? Declaraciones como g(n)∈o(f(n))g(n)∈o(f(n))g(n) \in o(f(n))f(n)∈nO(1)f(n)∈nO(1)f(n) \in n^{O(1)}SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))\mathsf{SizeDepth}(n^{O(1)}, g(n))...