Preguntas etiquetadas con property-testing

En las pruebas de propiedades de gráficos, un algoritmo consulta un gráfico de destino para detectar la presencia o ausencia de aristas y necesita determinar si el objetivo tiene una determinada propiedad o está ϵϵ\epsilon lejos de tener la propiedad. (Se puede pedir que un algoritmo tenga éxito con un …

22 cc.complexity-theory  machine-learning  query-complexity  property-testing 

Existe una gran literatura sobre "pruebas de propiedad": el problema de realizar una pequeña cantidad de consultas de recuadro negro a una función para distinguir entre dos casos:F: { 0 , 1 }norte→ RF:{0 0,1}norte→Rf\colon\{0,1\}^n \to R es miembro de alguna clase de funciones CFFfCC\mathcal{C} es ε -lejos de cada …

20 reference-request  lg.learning  metrics  property-testing  black-box 

El método negativo del adversario ( ) es un SDP que caracteriza la complejidad de la consulta cuántica. Es una generalización del método adversario ampliamente utilizado ( A D V ) y supera las dos barreras que obstaculizaron el método adversario:ADV±ADV±ADV^\pmADVADVADV La barrera de la prueba de propiedad: si todas …

17 cc.complexity-theory  reference-request  quantum-computing  query-complexity  property-testing 

Decimos que una función booleana f : { 0 , 1 } n → { 0 , 1 }f:{0,1}n→{0,1}f: \{0,1\}^n \to \{0,1\} es una kkk -junta si fff tiene como máximo kkk variables de influencia. Sea f : { 0 , 1 } n → { 0 , 1 }f:{0,1}n→{0,1}f: …

16 co.combinatorics  boolean-functions  fourier-analysis  property-testing 

En [1], Turan muestra que la sensibilidad (llamada "complejidad crítica" en el documento) de una propiedad gráfica es estrictamente mayor que dondemes el número de vértices en el gráfico. Continúa conjeturando que cualquier propiedad de gráfico no trivial tiene sensibilidad≥m-1. Menciona que esto se ha verificado param≤5. ¿Se ha avanzado …

16 graph-theory  property-testing 

Alice y Bob tienen cadenas de n bits, y quieren averiguar si son iguales mientras hacen poca comunicación. La solución aleatoria estándar es tratar las cadenas de n bits como polinomios de grado luego evaluar los polinomios sobre algunos elementos elegidos al azar de un campo de tamaño mayor que …

14 communication-complexity  property-testing 

Un algoritmo de prueba de distribución para una propiedad de distribución P (que es solo un subconjunto de todas las distribuciones sobre [n]) puede acceder a las muestras de acuerdo con alguna distribución D, y se requiere que decida (whp) si D∈PD∈PD\in P o d(D,P)>ϵd(D,P)>ϵd(D,P)>\epsilon ( ddd aquí suele ser …

13 cc.complexity-theory  machine-learning  query-complexity  property-testing 

Me gustaría saber (en relación con esta otra pregunta ) si se conocen límites inferiores para el siguiente problema de prueba: a uno se le da acceso de consulta a una secuencia de números no negativos y ε ∈ ( 0 , 1 ) , con la promesa de que …

11 reference-request  randomized-algorithms  property-testing 

Me preguntaba si había algún límite inferior (en términos de complejidad de la muestra) conocido por el siguiente problema: Dado el acceso al oráculo de muestra a dos distribuciones desconocidas D1D1D_1 , D2D2D_2 en {1,…,n}{1,…,n}\{1,\dots,n\} , prueba (whp) si D1=D2D1=D2D_1=D_2 d2(D1,D2)=∥D1−D2∥2=∑ni=1(D1(i)−D2(i))2−−−−−−−−−−−−−−−−−−√≥ϵd2⁡(D1,D2)=‖D1−D2‖2=∑i=1n(D1(i)−D2(i))2≥ϵ\operatorname{d_2}(D_1,D_2)=\lVert D_1-D_2\rVert_2 = \sqrt{\sum_{i=1}^n\left(D_1(i)-D_2(i)\right)^2} \geq \epsilon Batu y col. [BFR …

11 ds.algorithms  lower-bounds  st.statistics  property-testing 

Deje que sea ​​un gráfico aleatorio en bordes. Con una probabilidad muy alta, tiene muchos ciclos. Nuestro objetivo es producir cualquiera de estos ciclos lo más rápido posible.G∼G(n,n−1/2)G∼G(n,n−1/2)G \sim G(n, n^{-1/2})≈n3/2≈n3/2\approx n^{3/2}GGG444444 Suponiendo que tenemos acceso a en forma de lista de adyacencia, podemos tener éxito con probabilidad constante en …

9 graph-theory  graph-algorithms  property-testing  random-graphs 

Supongamos que tenemos una gráfica y parámetros k , ϵ . ¿Hay rangos de valores para k (o es factible para todo k ) para el que es posible comprobar si G es ε -lejos de tener un conjunto independiente de tamaño al menos k en el tiempo O ( …

9 ds.algorithms  graph-theory  reference-request  property-testing