Preguntas etiquetadas con reference-request

Me acabo de dar cuenta de que he estado asumiendo que la respuesta a mi pregunta es "sí", pero no tengo una buena razón. Me imagino que tal vez haya un recolector de basura que probablemente solo presente peor desaceleración. ¿Hay alguna referencia definitiva que pueda citar? En mi caso, estoy...

¿Alguien sabe de referencias que explican con precisión la conexión entre el algoritmo de unificación y la eliminación gaussiana? Estoy particularmente interesado en la relación entre las sustituciones triangulares y las descomposiciones LU. Wayne Snyder y Jean Gallier mencionan esta analogía de...

En el artículo "LA COMPLEJIDAD DE LOS PROBLEMAS DE SATISFIABILIDAD" de Thomas J. Schaefer, el autor ha mencionado que This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses,...

Esta pregunta es sobre la complejidad temporal del algoritmo de flujo máximo de Ford-Fulkerson cuando se usa DFS para encontrar rutas de aumento. Hay un ejemplo bien conocido que muestra que el uso de DFS puede necesitar un número lineal de iteraciones en el flujo máximo; consulte, por ejemplo, la...

Al jugar con el análisis LR no canónico, pensé en un método de análisis (con tablas de tamaño infinito, lo que lo hace poco práctico ) capaz de analizar exactamente las gramáticas inequívocas en el tiempo , y me preguntaba si es posible hacerlo mejor :O ( n2)O(norte2)O(n^2) ¿Se pueden analizar...

Un tensor es una generalización de vectores y matrices a dimensiones superiores y el rango de un tensor también generaliza el rango de una matriz. A saber, el rango de un tensor es el número mínimo de rango uno tensores que suma a T . Un vector y una matriz son tensores de grado 1 y 2...

Al diseñar algoritmos de aproximación, a veces se resuelve un programa semidefinido seguido de un paso de redondeo. Un ejemplo de uso frecuente para ilustrar esto es Max-Cut. (Ver, por ejemplo, Algoritmos de aproximación de Vijay Vazirani). ¿Existen buenas fuentes educativas o encuestas que vayan...

Deje ser un gráfico. Para un vértice x ∈ V , definir N ( x ) para ser el barrio (abierto) de x en G . Es decir, N ( x ) = { y ∈ VG = ( V, E)G=(V,E)G=(V,E)x ∈ Vx∈Vx\in Vnorte( x )N(x)N(x)XxxsolGG . Defina dos vértices u , v en G para que seangemelossi u y v tienen el mismo conjunto de vecinos, es...

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

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

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...

(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 valores...

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 análoga donde el...

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...

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...

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...

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...

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 suma. El documento se publica...

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...

Una cadena de suma es una secuencia de enteros positivos donde y cada índice , tenemos para algunos índices . La longitud de la cadena de adición es ; El objetivo de la cadena de suma es .x 1 = 1 i ≥ 2 x i = x j + x k 1 ≤ j , k < i n(x1,x2,…,xn)(x1,x2,…,xn)(x_1, x_2, \dots, x_n)x1=1x1=1x_1 =...