Preguntas etiquetadas con sample-complexity

Considere la siguiente tarea computacional: Queremos muestrear una fórmula 3-SAT de variables (una variante: n variables m cláusulas) con respecto a la distribución de probabilidad uniforme, condicionada a que la fórmula sea satisfactoria:nortennnortennmetromm P1: ¿Se puede lograr esto de manera eficiente con una computadora clásica (con bits aleatorios)? P2: ¿Se …

23 cc.complexity-theory  quantum-computing  sample-complexity 

Una cosa que las computadoras cuánticas pueden hacer (posiblemente incluso con solo circuitos cuánticos de profundidad logarítmica BPP +) es aproximar-muestrear la transformada de Fourier de una función de valor booleano en P.± 1±1\pm 1 Aquí y más abajo, cuando hablo de probar la transformada de Fourier, me refiero a …

17 cc.complexity-theory  quantum-computing  pr.probability  randomized-algorithms  sample-complexity 

Se sabe que para el aprendizaje PAC, existen clases de conceptos naturales (p. Ej., Subconjuntos de listas de decisiones) para las cuales hay brechas polinómicas entre la complejidad de la muestra necesaria para el aprendizaje teórico de la información por parte de un alumno computacionalmente ilimitado, y la complejidad de …

12 machine-learning  lg.learning  sample-complexity 

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 SSS de {0,1}n{0,1}n\{0,1\}^n con volumen |S|=2n−k|S|=2n−k|S|=2^{n-k} tal …

11 machine-learning  lg.learning  boolean-functions  sample-complexity 

Como no se dio respuesta, se ha establecido una bandera solicitando que esta pregunta se convierta en una wiki comunitaria. Los comentarios de Aaron Sterling, Sasho Nikolov y Vor se sintetizaron en la siguiente resolución, que está abierta para la discusión de la wiki comunitaria: Resuelto: con respecto a los …

9 quantum-computing  program-verification  sample-complexity