Ciencias de la computación teórica

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- CBP-C\textrm{BP-}\mathcal{C}CC\mathcal{C}BPPBPP\textrm{BPP}PAGP\textrm{P} .2323\frac{2}{3} Se sabe que para …

10 circuit-complexity  randomized-algorithms 

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 eficiente, …

10 time-complexity  nt.number-theory 

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 una función fff con …

10 combinatorics 

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 …

10 randomized-algorithms 

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 …

10 lo.logic  calculus-of-constructions  sequent-calculus 

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 estoy seguro de qué …

10 type-theory  type-inference  polymorphism 

¿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 …

10 exp-time-algorithms  complexity 

¿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 solo habría límites superior …

10 randomized-algorithms  randomness  pseudorandomness 

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 e …

10 polynomials  dynamic-algorithms 

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 …

10 approximation-hardness  convex-optimization  semidefinite-programming  sum-of-squares  primal-dual 

Deje que una máquina de Turing probabilística tenga acceso a una moneda injusta que sale cara con probabilidad (los lanzamientos son independientes). Defina B P P p como la clase de lenguajes reconocibles por dicha máquina en tiempo polinomial. Es un ejercicio estándar demostrar que:pagppB PPAGpagBPPpBPP_p A) Si es racional …

10 cc.complexity-theory  randomized-algorithms  probabilistic-complexity 

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 parsimoniosas. También es evidente que …

10 counting-complexity  complexity  probabilistic-complexity 

Esto está inspirado en esta pregunta. Sea la colección de todos los combinadores que solo tienen dos variables ligadas. ¿ C es combinatoriamente completa?CC\mathcal{C}CC\mathcal{C} Creo que la respuesta es negativa, sin embargo, no pude encontrar una referencia para esto. También me interesarían las referencias para pruebas de incompletitud combinatoria de …

10 lo.logic  lambda-calculus  combinatory-logic 

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 longitudes de borde y …

10 graph-algorithms  shortest-path 

Deje que UNAAA sea una matriz sobre el campo finito F2= { 0 , 1 }F2={0,1}\mathbb{F}_2 = \{0,1\} y Xxx , yyy ser vectores del espacio Fnorte2F2n\mathbb{F}_2^n . Estoy interesado en la complejidad computacional de decidir si existe t ∈ Nt∈Nt \in \mathbb{N} tal que Atx=yAtx=yA^t x = y , …

10 cc.complexity-theory  reference-request  linear-algebra