Una clase hereditaria de estructuras (p. Ej., Gráficas) es aquella que se cierra bajo subestructuras inducidas, o de manera equivalente, se cierra bajo eliminación de vértices. Las clases de gráficos que excluyen a un menor tienen buenas propiedades que no dependen del menor excluido específico....
Disculpas de antemano si esta pregunta es demasiado simple. Básicamente, lo que quiero saber es si hay alguna función F(x )F(X)f(x) con las siguientes propiedades: Tome Fnorte( x )Fnorte(X)f_n(x) como F( x )F(X)f(x) cuando el dominio y el codominio están restringidos a cadenas de nortenorten...
Este es un seguimiento de esta pregunta y está relacionado con esta pregunta de Shiva Kinali. Parece que las pruebas en estos documentos ( Allender , Caussinus-McKenzie-Therien-Vollmer , Koiran-Perifel ) usan teoremas de jerarquía. Quiero saber si las pruebas son teoremas de diagonalización " pura...
Hay dos teorías principales y estudiadas del cálculo lambda, la teoría beta y su extensión Post-completa, la teoría beta-eta. ¿Estas dos teorías tienen una regla intermedia intermedia que da una teoría de reescritura confluente? ¿Hay alguna noción interesante de extensionalidad parcial a la que...
Siempre me intriga la falta de evidencia numérica de las matemáticas experimentales a favor o en contra de la pregunta P vs NP. Si bien la hipótesis de Riemann tiene alguna evidencia de respaldo de la verificación numérica, no conozco evidencia similar para la pregunta P vs NP. Además, no estoy al...
Las pruebas naturales son una barrera para probar los límites inferiores de la complejidad del circuito de las funciones booleanas. Ellos no implican directamente cualquier barrera en probar límites inferiores en el la complejidad del circuito. ¿Hay algún progreso hacia la identificación de tales...
La transformación de Walsh-Hadamard (WHT) es una generalización de la transformación de Fourier, y es una transformación ortogonal en un vector de números reales o complejos de dimensión . La transformación es popular en la computación cuántica, pero se ha estudiado recientemente como una especie...
En una presentación de 2006 titulada GRÁFICOS DE EXPANDER - ¿HAY MISTERIOS IZQUIERDOS? Nati Linial planteó el siguiente problema abierto: ¿Qué problema computacional de duro en el gráfico sigue siendo difícil cuando se restringe a los gráficos de expansión?nortePAGNPNP Desde entonces, ¿se han...
Savitch dio un algoritmo determinista para resolver la conectividad st usando el espacio , lo que implica N L ⊆ D S P A C E ( log 2 n ) . El algoritmo de Savitch se ejecuta en el tiempo 2 O ( log 2 n ) . Es un gran problema abierto si la conectividad st puede resolverse mediante un algoritmo...
En el documento de Pruebas naturales de Razborov-Rudich , página 6, en la parte que discuten que hay "fuertes pruebas de límites inferiores contra modelos de circuito monótono " y cómo encajan en la imagen, están las siguientes oraciones: Aquí el problema no es la constructividad, las...
Es duro encontrar una aproximación de factor constante del ciclo más largo en gráficos hamiltonianos cúbicos. Los gráficos hamiltonianos cúbicos tienen al menos dos ciclos hamiltonianos.nortePAGnortePAGNP ¿Cuáles son los límites superior e inferior más conocidos en el número de ciclos...
Supongamos que queremos encontrar o max x ∏ i j ∈ E f(xi,xj)∑x∏ij∈Ef(xi,xj)∑x∏ij∈Ef(xi,xj)\sum_x \prod_{ij \in E} f(x_i,x_j)maxx∏ij∈Ef(xi,xj)maxx∏ij∈Ef(xi,xj)\max_x \prod_{ij \in E} f(x_i,x_j) Donde Max o la suma se toma sobre todos los marcajes de VVV , el producto se toma sobre todos los...
La coloración de 3 bordes de los gráficos cúbicos es -completa. El teorema de cuatro colores es equivalente a "Cada gráfico cúbico plano sin puente es coloreable por 3 bordes".nortePAGnortePAGNP ¿Cuál es la complejidad de la coloración de 3 bordes de los gráficos planos cúbicos? Además, se...
Esta pregunta puede hacerse en el marco de la complejidad del circuito de los circuitos booleanos, o en el marco de la teoría de la complejidad algebraica, o probablemente en muchos otros entornos. Es fácil mostrar, contando argumentos, que existen funciones booleanas en N entradas que requieren...
Deje e dos números binarios conxxxyyynnn bits y el número binario (longitud 2 n ) del producto de x e y . Queremos calcular el bit más significativo z 2 n - 1 del producto z = z 2 n - 1 ... z 0 .z=x⋅y z=x⋅y z = x \cdot y\ 2n2n2nxxxyyyz2n−1z2n−1z_{2n-1}z=z2n−1…z0z=z2n−1…z0z = z_{2n-1} \ldots...
Estoy interesado en la generación de números pseudoaleatorios para la criptografía. Además del Capítulo 5 de Menezes / Oorschot / Vanstone ; Capítulo 8 de Stinson ; y el Capítulo 3 de Goldreich , ¿dónde más podría encontrar más? Me interesan los principios generales para diseñar PRNG (propiedades...
Mi pregunta es general: ¿cómo empiezo a pensar en términos de diseño y complejidad de algoritmos? Voy a tomar un curso de posgrado en diseño de algoritmos. Me había inscrito en él antes, pero lo abandoné más tarde porque no podía seguir el ritmo. Tengo que tomar este curso como requisito. ¿Hay un...
Al tratar de idear mi propio algoritmo de clasificación, estoy buscando el punto de referencia óptimo con el que pueda compararlo. Para una ordenación no ordenada de los elementos A y una ordenación ordenada B , ¿cuál es una manera eficiente de calcular el número óptimo de transposiciones para...
Una extensión clásica del problema del flujo máximo es el problema del "flujo máximo en el tiempo": se le da un dígrafo, dos de los cuales se distinguen como la fuente y el sumidero, donde cada arco tiene dos parámetros, una capacidad por -unidad-tiempo y un retraso. También se le dará un horizonte...
A menudo consideramos clases de complejidad donde estamos limitados en la cantidad de espacio que nuestra máquina Turing puede usar, por ejemplo: o NSPACE ( f ( n ) ) . Parece que al principio de la teoría de la complejidad hubo mucho éxito con estas clases, como el teorema de la jerarquía espacial...