Considere el siguiente modelo: una cadena de n bits r = r 1 ... r n se elige de manera uniforme al azar. A continuación, cada índice i∈ {1, ..., n} se coloca en un conjunto A con probabilidad independiente 1/2. Por último, se permite que un adversario, para cada i∈A separado, a r flip i si se...
¿Hay un ejemplo de una clase de gráficos para los cuales el problema de coloración de vértices está en P pero el conjunto independiente si el problema es NP
Una matriz se llama totalmente regular si todas sus submatrices cuadradas tienen rango completo. Tales matrices se usaron para construir superconcentradores. ¿Cuál es la complejidad de decidir si una matriz dada es totalmente regular sobre los racionales? Sobre campos finitos? Más en general,...
Una propiedad básica de los espacios vectoriales es que un espacio vectorial de dimensión n - d puede caracterizarse por d restricciones lineales linealmente independientes, es decir, existen d vectores linealmente independientes w 1 , ... , w d ∈ F n 2 que son ortogonales a V .V⊆Fn2V⊆F2nV...
Feedback Vertex Set es NP-complete para gráficos generales. Se sabe que es NP-completo para gráficos limitados de grado 8 debido a una reducción de la cubierta del vértice. El artículo de Wikipedia dice que es polisoluble para gráficos limitados de grado 3 y NP-completo para gráficos limitados de...
¿Podemos calcular una puerta de umbral de bits por tamaño de polinomio (entrada de ventilador sin límites) de profundidad lg nnortenn ? Alternativamente, ¿podemos contar el número de 1s en los bits de entrada usando estos circuitos?lgnortelglgnortelgnlglgn\frac{\lg n}{\lg \lg n} Es ?T C0 0⊆ A l...
Actualmente estoy estudiando matemáticas. Sin embargo, no creo que quiera convertirme en un matemático profesional en el futuro. Estoy pensando en aplicar mi conocimiento de las matemáticas para hacer investigación en inteligencia artificial. Sin embargo, no estoy seguro de cuántos cursos de...
¿Cuáles son las limitaciones de la programación funcional total? No es completo de Turing, pero aún admite un gran subconjunto de los posibles programas. ¿Hay construcciones importantes que podrías escribir en un lenguaje completo de Turing, pero no en un lenguaje funcional total? ¿Y es correcto...
En la informática distribuida, el problema del consenso parece ser uno de los temas centrales que ha atraído una investigación intensiva. En particular, el artículo "Imposibilidad de consenso distribuido con un proceso defectuoso" recibió el Premio de papel influyente PODC 2001 . Entonces, ¿por...
Estoy buscando un documento de encuesta o un libro que cubra los resultados sobre la complejidad espacial de las operaciones comunes de álgebra lineal, como el rango de la matriz, el cálculo de valores propios, etc. Insisto en la parte de "complejidad espacial" que significa la complejidad del...
Es bien sabido que los combinadores S y K son Turing completos. ¿Hay combinadores que sean suficientes para producir (solo) las funciones recursivas
¿Cuál sería una buena prueba informal / intuitiva para "dar en el blanco" sobre la dualidad LP? ¿Cuál es la mejor manera de mostrar que la función objetivo minimizada es realmente la mínima con una forma intuitiva de entender el límite? La forma en que me enseñaron la Dualidad solo condujo a una...
Tengo una educación matemática de pregrado razonable, pero nunca me he sentido 100% cómodo con el álgebra abstracta (las matemáticas de grupos, anillos, campos, etc.). Creo que esto se debió en parte a que necesitaba ver aplicaciones y cualquiera que pudiera encontrar estaba en física, no en CS....
¿Cuál es la complejidad del tiempo (no la complejidad de la consulta) del algoritmo de Grover? Me parece claro que es ya que hayΩ( √Ω ( log( N) N--√)Ω(log(N)N)\Omega(\log(N) \sqrt{N})iteraciones y cada iteración requiere el uso de la operación de reflexión que a su vez lleva tiempoΩ(log(N))usando...
¿Alguien puede ayudarme con el siguiente problema? Quiero encontrar algunos valores a i , b jai,bja_i,b_j (mod norteNN ) donde i = 1 , 2 , ... , K , j = 1 , 2 , ... , Ki=1,2,…,K,j=1,2,…,Ki=1,2,…,K, j=1,2,…,K (por ejemplo K = 6K=6K=6 ), dada una lista de valores K 2K2K^2 que corresponden a las...
Supongamos que t(G)t(G)t(G) denota el número de árboles de expansión en un gráfico con vértices. Hay un algoritmo que calcula en operaciones aritméticas . Este algoritmo es para calcular , donde Q es el laplaciano de G y J es la matriz que consiste únicamente en 1 's. Para obtener más información...
Estoy interesado en el siguiente problema: dadas matrices enteras decide si cada producto infinito de estas matrices finalmente es igual a la matriz cero.UN1, A2, ... , AkA1,A2,…,AkA_1,A_2, \ldots, A_k Esto significa exactamente lo que crees que hace: diremos que el conjunto de matrices tiene la...
En la computación cuántica adiabática (AQC), uno codifica la solución a un problema de optimización en el estado fundamental de un [problema] Hamiltoniano . Para llegar a este estado fundamental, comienza en un estado inicial (fundamental) fácilmente refrigerable con Hamiltoniano H i y "recocido"...
Estoy interesado en el concepto de "integridad de r-Turing", según lo definido por Axelsen y Glück (2011) . Un sistema está completo en T-ruring si puede calcular el mismo conjunto de funciones que una máquina de Turing reversible, sin producir ningún dato "basura". Esto es lo mismo que poder...
Me gustaría probar (o refutar) la siguiente conjetura: Conjetura : un autómata de dos contadores (2CA) no puede decidir el siguiente idioma: L = { n ∣L={n∣L = \{ n \mid the ternary y las representaciones binarias de tienen longitud par o longitud impar}nortenn}}\} Un 2CA puede verificar...