Ciencias de la computación teórica

Estoy interesado en aprender conexiones entre el "caos" o, más ampliamente, los sistemas dinámicos y la pregunta Aquí hay un ejemplo del tipo de literatura que estoy buscando:PAG= NPAGPAG=nortePAGP{=}NP Ercsey-Ravasz, Mária y Zoltán Toroczkai. "La dureza de la optimización como caos transitorio en un enfoque analógico para satisfacer la restricción". …

18 cc.complexity-theory  p-vs-np 

Me gustaría saber si hay bibliotecas de gráficos gratuitas para probar si existe un conjunto específico de menores en un gráfico determinado.

18 graph-algorithms  implementation  graph-minor 

El problema de detención para las máquinas de Turing es quizás el conjunto canónico indecidible. Sin embargo, demostramos que hay un algoritmo que decide casi todas las instancias del mismo. Por lo tanto, el problema de detención se encuentra entre la creciente colección de quienes exhiben el fenómeno del "agujero …

18 cc.complexity-theory  reference-request  computability  undecidability 

La famosa conjetura del isomorfismo de Berman y Hartmanis dice que todos los lenguajes completos son polinomiales en tiempo isomorfo (p-isomorfo) entre sí. El significado clave de la conjetura es que implica . Fue publicado en 1977, y una evidencia de apoyo fue que todos los completos de conocidos en …

18 cc.complexity-theory  complexity-classes  p-vs-np  np-complete 

El problema Max-Sat le pide que encuentre una asignación de una fórmula CNF que satisfaga tantas cláusulas como sea posible. Para el problema SAT más simple, existen muchos casos especiales conocidos que pueden resolverse en tiempo polinómico, por ejemplo, podemos resolver 2-SAT en tiempo polinómico. Para Max-Sat la situación es …

18 sat  treewidth  max2sat 

Muchos problemas de gráficos duros se pueden resolver en tiempo polinómico en gráficos de ancho de árbol acotado . De hecho, los libros de texto suelen utilizar, por ejemplo, un conjunto independiente como ejemplo, que es un problema local . Aproximadamente, un problema local es un problema cuya solución se …

18 graph-theory  graph-algorithms  treewidth 

Coq, Agda e Idris tienen una jerarquía de tipos infinita (Tipo 1: Tipo 2: Tipo 3: ...). Pero, ¿por qué no hacerlo como λC, el sistema en el cubo lambda que está más cerca del cálculo de las construcciones, que tiene solo dos tipos, ∗∗* y , y estas reglas?◽◽◽ …

18 coq  dependent-type  calculus-of-constructions 

Estoy tratando de resolver un problema en particular, y pensé que podría resolverlo usando la teoría de autómatas. Me pregunto, ¿qué modelos de autómatas tienen una contención decidible en tiempo polinómico? es decir, si tiene máquinas , puede probar si eficiente. L ( M 1 ) ⊆ L ( M …

18 fl.formal-languages  automata-theory  time-complexity  polynomial-time  decidability 

Considere el lenguaje consiste en todas las cadenas -letter sobre modo que no haya dos letras iguales: k ΣLk−distinctLk−distinctL_{k-distinct}kkkΣΣ\Sigma Lk−distinct:={w=σ1σ2...σk∣∀i∈[k]:σi∈Σ and ∀j≠i:σj≠σi}Lk−distinct:={w=σ1σ2...σk∣∀i∈[k]:σi∈Σ and ∀j≠i:σj≠σi} L_{k-distinct} :=\{w = \sigma_1\sigma_2...\sigma_k \mid \forall i\in[k]: \sigma_i\in\Sigma ~\text{ and }~ \forall j\ne i: \sigma_j\ne\sigma_i \} Este lenguaje es finito y, por lo tanto, regular. Específicamente, …

18 automata-theory  lower-bounds  regular-language  communication-complexity  streaming 

Este problema surgió de mi reciente publicación de blog , supongamos que se le da un recorrido TSP, ¿es completo para determinar si es mínimo? Más precisamente es el siguiente problema NP-complete: Instancia: dado un gráfico completo G con aristas ponderadas con enteros positivos y un ciclo simple C que …

18 np-hardness 

Actualmente estoy haciendo una encuesta bibliográfica sobre el problema del isomorfismo gráfico (GI). Me gustaría saber algunas preguntas abiertas relacionadas con lo siguiente ¿Cuáles son los parámetros del gráfico para los que la trazabilidad de parámetros fijos de GI es un problema abierto? ¿Cuáles son los parámetros del gráfico? Al …

18 graph-isomorphism  fixed-parameter-tractable 

¿Cómo puedo determinar la cantidad de rutas simples únicas dentro de un gráfico no dirigido? Ya sea para una determinada longitud o para un rango de longitudes aceptables. Recuerde que una ruta simple es una ruta sin ciclos, así que estoy hablando de contar el número de rutas sin ciclo.

18 graph-theory  co.combinatorics  counting-complexity 

¿Hay una secuencia de gráficos no dirigidos , donde cada C n tiene exactamente n vértices y el problema{Cn}n∈N{Cn}n∈N\{C_n\}_{n\in \mathbb N}CnCnC_nnnn Dado y un gráfico G , ¿es C n un subgrafo inducido de G ?nnnGGGCnCnC_nGGG se sabe que está en la clase ? (Por ejemplo, cuando C n = …

18 cc.complexity-theory  graph-theory 

Me gustaría aprender sobre la Complejidad Parametrizada (tanto en el lado algorítmico como en el lado de la dureza). ¿Qué libros / apuntes puedo leer sobre este tema?

18 reference-request  parameterized-complexity  fixed-parameter-tractable 

Me gustaría calcular el ancho de árbol de un gráfico. Hay muy buenas heurísticas para otros problemas de gráficos NP-hard, como VF2 para isomorfismo de subgrafo, con código disponible en igraph, por ejemplo. Los probé en mis gráficos y encuentro que se ejecutan muy rápido para mis datos. ¿Hay algún …

18 ds.algorithms  graph-algorithms  treewidth  heuristics