Ciencias de la computación teórica

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, todas las reducciones de FPT …

11 cc.complexity-theory  np-hardness  reductions  parameterized-complexity 

Los juegos de dos rondas y una ronda (2P1R) son una herramienta esencial para la dureza de la aproximación. Específicamente, la repetición paralela de juegos de una ronda de dos probadores ofrece una forma de aumentar el tamaño de una brecha en la versión de decisión de un problema de …

11 cc.complexity-theory  approximation-hardness 

Esta es una continuación de mi pregunta anterior sobre límites inferiores de comunicación para funciones booleanas parciales . ¿Alguien puede sugerir alguna referencia en los límites inferiores para la comunicación multipartidista no determinista? He estado examinando los documentos en el campo, pero todo el mundo parece mostrar separaciones del siguiente …

11 cc.complexity-theory  reference-request  lower-bounds  communication-complexity  norms 

Lo siento si me equivoco con el lugar para hacer la pregunta (¿tal vez debería ir a stackoverflow.com/mathoverflow.net?). Me pregunto si hay una prueba de que al evaluar el algoritmo euclidiano extendido, los coeficientes de Bézout (es decir, s y t en identidad como + bt = mcd ( a …

11 ds.algorithms  nt.number-theory 

Lo que sigue puede parecer estúpido (y eso probablemente refleja mi pobre comprensión, así que tengan paciencia conmigo) Tenía una consulta sobre el teorema de PCP. Sabemos que después de los primeros tres pasos a saber. Reducción de grados, expansión y amplificación de huecos , tenemos un gráfico de restricción …

11 cc.complexity-theory  pcp 

Últimamente he estado aprendiendo sobre pruebas interactivas y me he estado preguntando si todo esto no era más que una curiosidad teórica, o si tenía alguna aplicación práctica. Pensé comenzar con un ejemplo que se me ocurrió en la ducha: Últimamente ha salido la noticia de que "Número de Dios" …

11 proofs  puzzles  interactive-proofs 

Suponga que NP = co-NP y el polinomio limita la longitud de la prueba de insatisfacción para una instancia de 3-CNF x . Entonces, ¿hay algún resultado sobre qué forma puede tomar cualquier prueba de insatisfacción para x de longitud ≤ p ( x ) ? Es decir, en general, …

11 cc.complexity-theory  lo.logic  np  proof-complexity 

¿Se han realizado estudios para determinar si la inteligencia humana puede superar los algoritmos (es decir, comprobar si el Teorema de No Free Lunch se aplica a la inteligencia humana)? En la misma línea, ¿alguien ha desarrollado un método técnico para aprovechar las propiedades únicas y supra-computacionales de la inteligencia …

11 ds.algorithms  big-picture  ai.artificial-intel 

Los datos del mundo real a veces tienen una cantidad natural de clústeres (intentar agruparlos en una cantidad de clústeres menor que un poco de magia k causará un aumento dramático del costo de la agrupación). Hoy asistí a una conferencia del Dr. Adam Meyerson y se refirió a ese …

11 lg.learning  clustering 

¿Algún organismo conoce alguna buena referencia para el significado de la simulabilidad en línea recta? Actualmente estoy profundamente inmerso en el marco de Universal Composability (UC) de Canetti, pero no puedo encontrar ninguna buena referencia para el significado de la simulabilidad en línea recta. Cualquier ayuda es apreciada.

11 cr.crypto-security 

Considere una gráfica con vértices ym aristas. Los vértices están etiquetados con variables reales x i , donde x 1 = 0 es fijo. Cada borde representa una "medida": para el borde ( u , v ) , obtengo una medida z ≈ x u - x v . Más …

11 ds.algorithms  graph-algorithms 

Mi pregunta es un poco genérica, así que estoy inventando una buena historia para justificarla. Ten paciencia conmigo si no es realista ;-) Historia El Sr. X, jefe del departamento de seguridad informática de una gran empresa, es un poco paranoico: exige que todos los empleados cambien sus contraseñas una …

11 lg.learning 

Dados y M , ¿es posible obtener el bit M '(o dígito de cualquier base pequeña) de N ! en tiempo / espacio de O ( p ( l n ( N ) , l n ( M ) ) ) , donde p ( x , y ) es …

11 ds.algorithms  nt.number-theory 

DDD{0,1}d×{0,1}{0,1}d×{0,1}\{0,1\}^d\times \{0,1\}CCCf:{0,1}d→{0,1}f:{0,1}d→{0,1}f:\{0,1\}^d\rightarrow\{0,1\}f∈Cf∈Cf \in Cerr(f,D)=Pr(x,y)∼D[f(x)≠y]err(f,D)=Pr(x,y)∼D[f(x)≠y]err(f,D) = \Pr_{(x,y) \sim D}[f(x) \neq y]OPT(C,D)=minf∈C err(f,D)OPT(C,D)=minf∈C err(f,D)OPT(C,D) = \min_{f \in C}\ err(f,D) Digamos que un algoritmo AAA aprende agnósticamente CCC sobre cualquier distribución, si para cualquier DDD puede con una probabilidad 2/32/32/3 encontrar una función fff tal que err(f,D)≤OPT(C,D)+ϵerr(f,D)≤OPT(C,D)+ϵerr(f,D) \leq OPT(C,D) + \epsilon , dado …

11 reference-request  machine-learning  lg.learning 

He estado desarrollando un algoritmo SAT durante un tiempo y he llegado a un punto en el que me gustaría compartirlo. No conozco a muchas personas en ciencias de la computación, y no estoy seguro exactamente a dónde acudir. Me pregunto qué recursos están disponibles para alguien con un algoritmo …

11 sat  soft-question  proofs