Preguntas etiquetadas con cc.complexity-theory

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 …

15 cc.complexity-theory  interactive-proofs  unique-solution 

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 :x∈Zn=argmind(x,H)x∈Zn=arg⁡mind(x,H)\mathbf{x} \in \mathbb{Z}^n = \arg \min d( \mathbf{x}, H) En la notación anterior …

15 cc.complexity-theory  optimization  linear-algebra  integer-lattice 

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

15 cc.complexity-theory  ds.algorithms  complexity-classes 

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 instancias. Hay mucha bibliografía sobre …

15 cc.complexity-theory  np-hardness  sat 

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 elemento delete: …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

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 …

15 cc.complexity-theory  np-hardness  approximation-hardness 

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

15 cc.complexity-theory  reference-request  reductions  parameterized-complexity 

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 "automáticamente" dentro de una cierta clase de …

15 cc.complexity-theory  reference-request  complexity-classes  lo.logic  proof-complexity 

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 con una …

15 cc.complexity-theory  lower-bounds 

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 …

15 cc.complexity-theory  ds.algorithms  soft-question  advice-request  research-practice 

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 deseables, pruebas, …

15 cc.complexity-theory  reference-request  pseudorandomness 

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 …

15 cc.complexity-theory  binary-decision-diagrams 

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 exponencialmente muchas puertas …

15 cc.complexity-theory  circuit-complexity  algebraic-complexity 

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 conjetura que color …

15 cc.complexity-theory  graph-theory  np-hardness  graph-colouring 

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 hamiltonianos en gráficos hamiltonianos cúbicos? Dado un gráfico hamiltoniano cúbico, …

15 cc.complexity-theory  counting-complexity