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...
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...
Recientemente descubrí un límite inferior cuadrático en la complejidad de un problema en el modelo de árbol de decisión, y me pregunto si este resultado podría generalizarse parcialmente al modelo de máquina de acceso aleatorio. Por parcial , me refiero a una generalización de los programas de RAM...
Al leer el documento " Una teoría aplicativa para FPH " puede encontrar el siguiente pasaje: Considerando las teorías que caracterizan las clases de complejidad computacional, existen tres enfoques diferentes: en uno, las funciones que se pueden definir dentro de la teoría son...
Como todos saben, el famoso libro de Garey y Johnson (y muchos otros) proporciona una excelente referencia para la técnica de reducción en el entorno clásico. ¿Hay encuestas o libros sobre el tema de la técnica de reducción en algoritmos parametrizados, digamos la reducción de...
Un conjunto de bateo de una familia S= { S1, ... , Snorte}S={S1,...,Snorte}\mathcal{S} = \{S_1, \dots, S_n\} es un subconjunto HHH de ⋃nortei = 1Syo⋃yo=1norteSyo\bigcup_{i=1}^{n} S_i tal que H∩ Syo≠ ∅H∩Syo≠∅H \cap S_i \ne \emptyset para 1 ≤ i ≤ n1≤yo≤norte1 \le i \le n . El problema para encontrar...
El problema de mantenimiento de la orden (o "mantener el orden en una lista") es apoyar las operaciones: singleton: crea una lista con un elemento, le devuelve un puntero insertAfter: dado un puntero a un elemento, inserta un nuevo elemento después de él, devolviendo un puntero al nuevo...
Problema relacionado: el teorema de Veblen establece que "un gráfico admite una descomposición del ciclo si y solo si es par". Los ciclos son de borde disjunto, pero no necesariamente de nodo disjunto. Dicho de otra manera, "El conjunto de bordes de un gráfico se puede dividir en ciclos si y solo...
La clase de complejidad BQP corresponde a subrutinas cuánticas de tiempo polinómico que toman entradas clásicas y escupen una salida clásica probabilística. El asesoramiento cuántico modifica eso para incluir copias de algunos estados de asesoramiento cuántico predeterminados pero con entradas...
Esta pregunta está estrechamente relacionada con otra publicación: Transiciones de fase en problemas difíciles de NP, pero es algo diferente. Si bien esa pregunta es sobre la dureza de instancias particulares de problemas difíciles de NP, se trata de clasificar la dificultad de las mismas...
Considere el siguiente problema: Entrada : un hiperplano , dado por un vector y en representación binaria estándar.a ∈ Z n b ∈ ZH={y∈Rn:aTy=b}H={y∈Rn:aTy=b}H = \{ \mathbf{y} \in \mathbb{R}^n: \mathbf{a}^T\mathbf{y} = {b}\}a∈Zna∈Zn\mathbf{a} \in \mathbb{Z}^nb∈Zb∈Zb \in \mathbb{Z} Salida...
¿Cuáles son algunos problemas no triviales donde sabemos que el algoritmo actual que tenemos es el asintóticamente óptimo? (Para máquinas de turing) ¿Y cómo se prueba
Preámbulo. La clase de complejidad AM son aquellos problemas que pueden resolverse mediante un sistema de prueba interactivo de dos rondas entre un probador "Merlin" y un verificador "Arthur". Un problema, que prueba alguna propiedad de un objeto X , está en AM si: Para casos de SÍ , para un...
El algoritmo Weisfeiler-Lehman 1-dim (WL) se conoce comúnmente como etiquetado canónico o algoritmo de refinamiento de color. Funciona de la siguiente manera: La coloración inicial es uniforme, C 0 ( v ) = 1 para todos los vértices v ∈ V ( G ) ∪ V ( H ) .C0 0C0 0C_0C0 0( v ) = 1C0 0(v)=1C_0(v) =...
Considere el siguiente problema: dado un gráfico de consulta y un gráfico de referencia , queremos encontrar el mapeo inyectivo que minimiza el número de bordes tal que . Esta es una generalización del problema del isomorfismo del subgrafo en el que permitimos que los subgrafos sean isomorfos hasta...
¿Cuál es la complejidad computacional del siguiente problema: dados dos complejos matrices y verifique si hay una matriz de permutación tal que: n × nnorte×norten\times nUNUNAsisiBPAGPAGPB = PA PT.si=PAGUNPAGT.B = P A P^T. Si ayuda, uno puede suponer que y son hermitianos (o incluso que y son...