Supongamos que tengo un circuito booleano que calcula alguna función f : { 0 , 1 } n → { 0 , 1 } . Suponga que el circuito se compone de AND, OR y NO compuertas con entrada y salida de ventilador como máximo 2.CCCf: { 0 , 1 }norte→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n \to \{0,1\} Sea una entrada...
Motivación El otro día, estaba viajando por la ciudad en transporte público e inventé un interesante problema gráfico que modela el problema de encontrar la conexión de menor tiempo entre dos lugares. Todos conocemos el clásico "problema del camino más corto": dado un gráfico dirigido con...
No he podido encontrar en la literatura una caracterización precisa de la desaparición de la brecha de dualidad SDP. O, ¿cuándo se mantiene la "dualidad fuerte"? Por ejemplo, cuando uno va y viene entre Lasserre y SOS SDP, en principio uno tiene una brecha de dualidad. Sin embargo, de alguna...
Sea un polinomio sobre un campo finito fijo. Supongamos que se nos da el valor de en algún vector y el vector .PAG( x1, x2, ... , xnorte)PAG(X1,X2,...,Xnorte)P(x_1, x_2, \ldots, x_n)PAGPAGPy∈{ 0 , 1 }nortey∈{0 0,1}nortey \in \{0,1\}^nyyy Ahora queremos calcular el valor de en un vector manera que...
PREGUNTA CORTA: ¿MAJ-3CNF es un problema de PP completo bajo muchas reducciones? VERSIÓN MÁS LARGA: Es bien sabido que MAJSAT (decidir si la mayoría de las asignaciones de oración proposicional satisface la oración) es PP-completo bajo muchas reducciones y #SAT es # P-completo bajo reducciones...
¿El hecho de que un problema esté completo en el tiempo EXP implica que A no está en D T I M E ( 2 o ( n ) ) ?AAAAAADTIME(2o(n))DTIME(2o(n))DTIME(2^{o(n)}) Soy consciente de que, según el teorema de la jerarquía temporal, no está incluido en E = D T I M E ( 2 O ( n ) ) . Sin embargo, esto no...
Los estimadores sesgados son útiles en estadística porque pueden optimizar el error cuadrático medio más de lo que puede manejar un estimador imparcial . Me preguntaba si en teoría CS si hay ejemplos muy notables del uso efectivo de estimadores sesgados. Me doy cuenta de que esta lista podría ser...
En el papel clásico de cálculo de construcciones hay una regla que establece (página 7 del pdf, página 101 del documento original) Esta regla significaría que cualquier contexto es reducible a un miembro de ese contexto. Parece que esto no debería ser correcto, ya que implicaría 1 ≅ Nat 3 ≅...
¿Ha habido intentos de demostrar que la aleatoriedad de Kolmogorov sería suficiente para RP ? ¿La probabilidad utilizada en el enunciado "Si la respuesta correcta es SÍ, entonces (la máquina probabilística de Turing) devuelve SÍ con probabilidad ..." siempre estaría bien definida en ese caso? ¿O...
Deje HALTnHALTnHALT_n denotar la cadena de longitud 2n2n2^n correspondiente a la tabla de verdad del problema de detención para entradas de longitud nnn . Si la secuencia de las complejidades de Kolmogorov K(HALTn)K(HALTn)K(HALT_n) fuera O(1)O(1)O(1) , una de las cadenas de consejos se usaría...
Se desconoce si o , dondeP⊆CSLP⊆CSLP\subseteq CSLP⊈CSLP⊈CSLP\not\subseteq CSL PPP es el conjunto de todos los idiomas que se pueden decidir en tiempo polinómico en una máquina de Turing determinista, y CSLCSLCSL es la clase de lenguajes sensibles al contexto, conocidos por ser equivalentes a...
Tengo un idioma en el que los tipos no están en caja de forma predeterminada, con la inferencia de tipos basada en Hindley-Milner. Me gustaría agregar un polimorfismo de rango superior, principalmente para trabajar con tipos existenciales. Creo que entiendo cómo verificar estos tipos, pero no...
Deje ser una clase de la complejidad y BP- C sea el homólogo aleatorio de C definida como BPP con respecto a P . Más formalmente, proporcionamos polinómicamente muchos bits aleatorios y aceptamos una entrada si la probabilidad de aceptar es superior a 2CC\mathcal{C}BP-
Elberfeld, Jakoby y Tantau 2010 ( ECCC TR10-062 ) demostraron una versión eficiente del espacio del teorema de Bodlaender. Demostraron que para los gráficos con ancho de árbol como máximo , se puede encontrar una descomposición de árbol de ancho k usando espacio logarítmico. El factor constante en...
Supongamos que es un lenguaje parametrizado con respecto a algún alfabeto . La división de es , el conjunto de instancias en que tienen el parámetro . La clase de complejidad contiene los lenguajes parametrizados modo que para cada , posiblemente con un algoritmo diferente y un tiempo de ejecución...
Supongamos que tengo dos listas de enteros positivos de la personalidad limitada, y tomo el producto de todos los elementos de cada lista. ¿Cuál es la mejor manera de determinar qué producto es más grande? Por supuesto, simplemente puedo calcular cada producto, pero espero que haya un enfoque más...
Se nos dan pares de objetos (digamos, números). Cada objeto aparece como máximo en qqq pares. Nuestro objetivo es distribuir los pares en contenedores de igual tamaño, de modo que cada objeto ocurra en el menor número posible de contenedores diferentes. Más precisamente, estamos interesados en...
Motivación : Mientras desarrollamos herramientas para el control de versiones de datos, terminamos buscando algoritmos para "diferenciar" dos conjuntos de enteros, creando una secuencia de transformaciones que llevan un conjunto de enteros al otro. Pudimos reducir ese problema al siguiente problema...
Sea un grupo abeliano finito, y sea el politopo en definido como los puntos satisfacen las siguientes desigualdades:P R Γ xΓΓ\GammaPPPRΓRΓ\mathbb{R}^\Gammaxxx ∑g∈Gxg≤|G|xg≥0∀G≤Γ∀g∈Γ∑g∈Gxg≤|G|∀G≤Γxg≥0∀g∈Γ\begin{array}{cl} \sum_{g\in G} x_g \le |G| & \forall G \le \Gamma \\ x_g \ge 0 & \forall g \in...
Estoy interesado en determinar la complejidad del siguiente problema de decisión: dados dos enteros y l 2 (cada uno con m bits como máximo), decida si el bit más significativo de la multiplicación l 1 ⋅ l 2 es 1 (donde el resultado se imprime en bits de 2 m con posiblemente los primeros...