Ciencias de la computación teórica

Considere el siguiente problema: Dado planar maximal Gráficos de y , encontrar el gráfico con el número máximo de bordes de tal manera que hay un subgrafo (no necesariamente inducida) tanto en y que es isomorfo a .G1G1G_1G2G2G_2GGGG1G1G_1G2G2G_2GGG ¿Se puede hacer esto en tiempo polinómico? ¿Si es así, entonces cómo? …

13 ds.algorithms  graph-algorithms  planar-graphs 

Estoy comenzando a investigar la posibilidad de confiar en un solucionador SAT para abordar un problema de optimización que me interesa, y actualmente estoy buscando una encuesta que presente ejemplos de transformaciones "inteligentes" a variantes de SAT (es decir, transformaciones que resultan en un problema de tamaño razonable, ya que …

13 ds.algorithms  reference-request  sat  optimization 

Cada vez que enseño NP-Completeness, los estudiantes preguntan "¿hay algún problema que se sepa que no pertenece a NP?" ¿Cómo responderías? Por lo general, les doy un problema indecidible como ejemplo, pero esto a menudo no resulta bien: (a) si les doy el problema de detención, piensan que es un …

13 cc.complexity-theory  complexity-classes  teaching 

A lo que me refiero como contar es el problema que consiste en encontrar el número de soluciones para una función. Más precisamente, dada una función F: N→ { 0 , 1 }F:norte→{0 0,1}f:N\to \{0,1\} (no necesariamente caja negra), aproximada # { x ∈ N∣ f( x ) = 1 …

13 ds.algorithms  reference-request  counting-complexity  time-complexity 

Dadas denominaciones de monedas, con c 1 = 1 y c 2 < c 3 < . . < c n son números aleatorios distribuidos uniformemente en el rango [ 2 , N ] . Asintóticamente, ¿para qué fracción de monedas el algoritmo codicioso genera un cambio óptimo usando este …

13 ds.algorithms 

Suponiendo que NP! = CoNP, entonces no hay un certificado de tamaño polinómico para el problema de coNP completo. ¿Pero qué pasa con el certificado de tamaño subexponencial? Particularmente para coSAT, ¿hay una prueba de tamaño subexponencial para demostrar que una fórmula no es satisfactoria? Si no, ¿cuál es la …

13 cc.complexity-theory  proof-complexity 

Los parámetros fijos y la aproximación son enfoques totalmente diferentes para resolver problemas difíciles. Tienen motivaciones diferentes. La aproximación busca un resultado más rápido con una solución aproximada. El parámetro fijo busca una solución exacta con complejidad de tiempo en términos de la función exponencial o alguna de k y …

13 cc.complexity-theory  reference-request  approximation-algorithms  fixed-parameter-tractable 

Los algoritmos genéticos evolucionan en menos generaciones con una población más grande, pero también tardan más en calcular una generación. ¿Existen algunas pautas para equilibrar esos dos factores, a fin de llegar a una solución viable lo antes posible? Además, ¿es este el mejor lugar para la pregunta?

13 ds.algorithms  machine-learning  genetic-algorithms 

He intentado la siguiente relajación LP de conjunto independiente máximo max∑iximax∑ixi\max \sum_i x_i s.t. xi+xj≤1 ∀(i,j)∈Es.t. xi+xj≤1 ∀(i,j)∈E\text{s.t.}\ x_i+x_j\le 1\ \forall (i,j)\in E xi≥0xi≥0x_i\ge 0 Obtengo 1/21/21/2 por cada variable por cada gráfico cúbico no bipartito que probé. ¿Es cierto para todos los gráficos no bipartitos cúbicos conectados? ¿Hay relajación …

13 graph-theory  co.combinatorics  linear-programming 

Es bien sabido que existe un algoritmo óptimo para el peor de los casos para calcular el código Huffman en el tiempo . Esto se mejora de dos maneras ortogonales:θ(nlgn)θ(nlg⁡n)\theta(n\lg n) Los códigos libres de prefijos óptimos se pueden calcular más rápido si el conjunto de frecuencias distintas es pequeño …

13 cc.complexity-theory 

La teoría del compilador parece ser un tema bastante investigado. ¿Cuáles son algunos problemas abiertos o investigaciones actuales que están ocurriendo en el campo?

13 soft-question  big-list  open-problem  compilers 

Esto está relacionado con la pregunta general de " ¿Cómo arbitro un trabajo? ". Estoy revisando un documento para una conferencia, y este documento debe ser rechazado, porque no es lo suficientemente significativo para su publicación y tiene fallas en algunos de sus detalles técnicos. El documento no está equivocado, …

13 soft-question  paper-review 

Encontré que los sistemas de transición etiquetados son un buen modelo para mi aplicación, es decir, hay un documento sobre modelos de casos de uso con LTS. La pregunta es, ¿qué se puede probar fácilmente sobre los LTS? Me gustaría reutilizar las soluciones existentes para ver si son útiles para …

13 lo.logic  formal-modeling  model-checking  program-verification  automated-theorem-proving 

La cubierta de vértices se puede reducir fácilmente a conjunto independiente y viceversa. Sin embargo, en el contexto de la complejidad parametrizada, el conjunto independiente es más difícil que Vertex Cover. Existe un kernel con vértices para Vertex Cover, pero Independent Set es W 1 duro.2k2k2k ¿Cómo cambia la naturaleza …

13 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable 

Una observación asociada con la criptografía asimétrica es que algunas funciones son (se cree que son) fáciles de realizar en una dirección pero difíciles de invertir. Además, si existe alguna información de 'trampa' que permite que la operación inversa se calcule rápidamente, entonces el problema se convierte en candidato para …

13 cc.complexity-theory  cr.crypto-security  homomorphic-encryption