Es un algoritmo determinista de tiempo polinómico conocido para el siguiente problema: Entrada: un número natural (en codificación binaria)nortenn Salida: un número primo .p > np>np > n (Según una lista de problemas abiertos de Leonard Adleman, el problema se abrió en 1995)....
En relación con el rompecabezas Slither Link , me he estado preguntando: supongamos que tengo una cuadrícula de celdas cuadradas , y quiero encontrar un ciclo simple de bordes de cuadrícula, uniformemente al azar entre todos los ciclos simples posibles.n×nn×nn\times n Una forma de hacer esto sería...
Formulé el siguiente problema hoy mientras jugaba con mi GPS. Aquí está : Supongamos que sea un gráfico dirigido, de modo que si entonces (v, u) \ notin E , es decir, G es una orientación del gráfico subyacente no dirigido. Considere las siguientes operaciones:e = ( u , v ) ∈...
He estado leyendo mucho sobre sistemas de tipos y tal, y entiendo aproximadamente por qué se introdujeron (para resolver la paradoja de Russel). También entiendo aproximadamente su relevancia práctica en lenguajes de programación y sistemas de prueba. Sin embargo, no estoy completamente seguro de...
Como no hubo respuesta en Lambda the Ultimate, lo intento de nuevo aquí: los sistemas de reescritura de términos se utilizan, por ejemplo, en teoremas automatizados que prueban un cálculo simbólico y, por supuesto, para definir gramáticas formales. Hay algunos lenguajes de programación basados en...
Pregunta: ¿Cuál es el límite inferior de tamaño de fórmula más conocido para una función explícita en AC 0 ? ¿Existe una función explícita con un límite inferior ?Ω ( n2)Ω(n2)\Omega(n^2) Fondo: Como la mayoría de los límites inferiores, los límites inferiores del tamaño de la fórmula son...
Hace poco estuve leyendo sobre el analizador Earley y creo que es uno de los algoritmos más elegantes que he visto hasta la fecha. Sin embargo, el algoritmo en su sentido tradicional es un reconocedor y no un analizador, lo que significa que puede detectar si una cadena coincide con un CFG...
Los solucionadores SAT son muy importantes en los ataques algebraicos , por ejemplo, walkingat y minisat . Sin embargo, al resolver los problemas de referencia disponibles aquí, existe una enorme diferencia de rendimiento entre los dos: Walksat es mucho más rápido que el minisat para estos...
Como se indica en el título, me pregunto si existe alguna relación y diferencia entre CIC e ITT. ¿Podría alguien explicarme o señalarme alguna literatura que compare estos dos sistemas?
El resultado por Robertson y Seymour demuestra un algoritmo para comprobar que es un gráfico fijo G es un menor de H . Tengo dos preguntas y media sobre este tema:O ( n3)O(norte3)O(n^3)solsolGHHH 1) Parece que ha habido mejoras en este algoritmo desde entonces. ¿Cuál es el algoritmo más conocido...
He leído en varios artículos que la existencia de funciones unidireccionales se cree ampliamente. ¿Alguien puede arrojar luz sobre por qué este es el caso? ¿Qué argumentos tenemos para apoyar la existencia de funciones
Asistiré a mi primera conferencia de ciencias de la computación y después de leer los consejos sobre cómo mejorar las conferencias , noté que varias sugerencias eran sobre estudiantes graduados que asistían a su primera conferencia. ¿Qué consejo tiene para un estudiante graduado que asiste a su...
Supongamos que tenemos una clase de objetos (por ejemplo, gráficos, cadenas) y una relación de equivalencia en estos objetos. Para los gráficos esto podría ser isomorfismo gráfico. Para las cadenas, podríamos declarar dos cadenas equivalentes si son anagramas entre sí. Estoy interesado en calcular...
Dado un gráfico no dirigido y no ponderado y un entero par , ¿cuál es la complejidad computacional de contar conjuntos de vértices tal que y el subgrafo de restringido al conjunto de vértices admite una combinación perfecta? ¿La complejidad # P-completa? ¿Hay alguna referencia para este problema?k...
Esta pregunta surge por pura curiosidad (surgió mientras pensaba en desarmar una cadena , pero no estoy seguro de si realmente está relacionada), así que espero que sea apropiada. Hay varios productos gráficos, y estoy interesado en alguno de ellos aquí. ¿Cuál es la complejidad de determinar si un...
Volumen III de Knuth de The Art of Computer Programming (capítulo 5, verso 3.2) incluye la siguiente tabla que enumera el exacto número mínimo de comparaciones requeridas para seleccionar el -ésimo elemento más pequeño de un conjunto sin ordenar de tamaño , para todos . Esta tabla, junto con las...
Lo que se sabe sobre la complejidad del siguiente problema: Dado: números racionales .x1<x2<…<xnx1<x2<…<xnx_1 < x_2 < \dotso < x_n Salida: enteros .y1≤y2≤…≤yny1≤y2≤…≤yny_1 \le y_2 \le \dotso \le y_n Objetivo: minimizar donde∑1≤i<j≤ne(i,j),∑1≤i<j≤ne(i,j),\sum_{1 \le i < j...
El lema de regularidad de Szemeredi dice que cada gráfico denso puede aproximarse como una unión de O(1)O(1)O(1) muchos gráficos expansores bipartitos. Más exactamente, hay una partición de la mayoría de los vértices en conjuntos O(1)O(1)O(1) tal manera que la mayoría de los pares de conjuntos...
Recientemente, Ryan Willams demostró que la constructividad en la prueba natural es inevitable para derivar una separación de clases de complejidad: y . NEXPNEXP\mathsf{NEXP}TC0TC0\mathsf{TC}^{0} La constructividad en la prueba natural es una condición que satisface todas las pruebas combinatorias...
¿Qué se sabe sobre la complejidad computacional de factorizar enteros en campos de números generales? Más específicamente: Sobre los enteros representamos enteros a través de sus expansiones binarias. ¿Cuáles son las representaciones análogas de enteros en los campos numéricos generales? ¿Se sabe...