Preguntas etiquetadas con reference-request

Estoy buscando idiomas que "probablemente no estén libres de contexto" pero no podemos (des) probarlo usando técnicas estándar conocidas. ¿Hay una encuesta reciente sobre el tema o una sección de problemas abierta de una conferencia reciente? Probablemente no haya muchos idiomas que no se sepa que son CF, por lo …

21 reference-request  big-list  context-free 

Encontré el siguiente resultado durante mi investigación. limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1\lim\limits_{n\to \infty} \mathbb{E}\left[ \frac{\#\{|a_i-a_j|,1\le i,j\le m \}}{n} \right] = 1 donde m=ω(n−−√)m=ω(n)m=\omega(\sqrt n) y a1,⋯,ama1,⋯,ama_1,\cdots,a_m se eligen al azar de [n][n][n] . Estoy buscando una referencia / una prueba directa. Crossposted en MO

21 reference-request  co.combinatorics  pr.probability 

Cuando enseño límites de cola, uso la progresión habitual: Si su rv es positivo, puede aplicar la desigualdad de Markov Si tiene independencia y también varianza limitada, puede aplicar la desigualdad de Chebyshev Si cada rv independiente también tiene todos los momentos limitados, entonces puedes usar un límite de Chernoff. …

21 reference-request  pr.probability  randomized-algorithms 

Antecedentes: Sea dos vértices de un gráfico no dirigido . Un conjunto de vértices es un separador si y pertenecen a diferentes componentes conectados de . Si no hay un subconjunto adecuado de -separator es un -separator, entonces es un mínimo -separator. Un conjunto de vértices es un separador (mínimo) …

21 reference-request  graph-theory  graph-algorithms 

Hay muchos lugares donde se muestran los números y . Tengo curiosidad por saber acerca de los algoritmos cuyo tiempo de ejecución contiene la proporción áurea o en el exponente.ππ\pi(1+5–√)/2(1+5)/2(1+\sqrt5)/2ππ\pi

21 reference-request  big-list 

Considere el siguiente razonamiento: Deje que denote la complejidad de Kolmogorov de la cadena x . El teorema de incompletitud de Chaitin dice queK( x )K(x)K(x)Xxx para cualquier sistema coherente y suficientemente fuerte formales , existe una constante T (dependiendo sólo del sistema formal y su lenguaje) tal que para …

21 cc.complexity-theory  reference-request  lo.logic  circuit-complexity  kolmogorov-complexity 

He visto (y he oído) que afirmaba que es seguro agregar el axioma clásico del medio excluido a Coq, pero parece que no puedo encontrar un documento que respalde esta afirmación. Los documentos que veo enumerados en el wiki de Coq sobre el medio excluido muestran inconsistencia con el conjunto …

21 reference-request  lo.logic  coq 

Recientemente, trabajé en el problema para calcular la suma aproximada de una lista de números no negativos ordenados. Para cualquier fijo , un O ( log n ) esquema de aproximación tiempo se ha derivado de tal manera que da una ( 1 + ε ) : Aproximación para la …

21 ds.algorithms  reference-request 

(Este es un seguimiento de esta pregunta y su respuesta ). Tengo el siguiente programa lineal entero entero unimodular (TU) (ILP). Aquí son todos enteros positivos dados como parte de la entrada. Un subconjunto especificado de las variables x i j se establece en cero y el resto puede tomar …

21 ds.algorithms  reference-request  linear-programming  integer-programming  polynomial-time 

O ( log c n ) O ( n k )NCNC\mathsf{NC} captura la idea de eficientemente paralelizable, y una interpretación de la misma son los problemas que se pueden resolver en el tiempo usando procesadores paralelos para algunas constantes , . Mi pregunta es si hay una clase de complejidad …

21 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  dc.parallel-comp 

¿Existe una buena encuesta que compare diferentes extractores, concentradores y superconcentradores y exponga los mejores métodos en términos de compensación entre aleatoriedad, tiempo y espacio?

21 reference-request  randomness  derandomization 

Tengo dos preguntas históricas: ¿Quién describió por primera vez el cálculo no determinista? Sé que Cook describió problemas NP-completos, y que Edmonds propuso que los algoritmos P son algoritmos "eficientes" o "buenos". Busqué en este artículo de Wikipedia y hojeé "Sobre la complejidad computacional de los algoritmos", pero no pude …

20 reference-request  soft-question  ho.history-overview  nondeterminism 

Wikipedia proporciona ejemplos de problemas donde la versión de conteo es difícil, mientras que la versión de decisión es fácil. Algunos de estos están contando combinaciones perfectas, contando el número de soluciones para 222 -SAT y el número de clasificaciones topológicas. ¿Hay otras clases importantes (por ejemplo, ejemplos en celosías, …

20 reference-request  counting-complexity  nt.number-theory  permanent  decision-trees 

(Esta pregunta es un poco una "encuesta"). Actualmente estoy trabajando en un problema en el que trato de dividir los bordes de un torneo en dos conjuntos, los cuales son necesarios para cumplir con algunas propiedades estructurales. El problema "se siente" bastante difícil, y espero que sea -complete. Por alguna …

20 cc.complexity-theory  reference-request  np-hardness 

Si bien el teorema de Adleman muestra que , no conozco ninguna literatura que investigue la posible inclusión de B Q P ⊆ P / poly . ¿Qué consecuencias teóricas de la complejidad tendría tal inclusión?BPP⊆P/polyBPP⊆P/poly\mathsf{BPP} \subseteq \mathsf{P}/\text{poly}BQP⊆P/polyBQP⊆P/poly\mathsf{BQP} \subseteq \mathsf{P}/\text{poly} El teorema de Adleman a veces se llama "el progenitor …

20 reference-request  quantum-computing  derandomization  conditional-results