Ciencias de la computación teórica

Estoy leyendo La implementación de los lenguajes de programación funcional de Simon Peyton Jones y hay una declaración que me sorprendió un poco (en la página 39): En un grado mucho mayor que el caso de los lenguajes imperativos, los lenguajes funcionales son en gran medida variaciones sintácticas entre sí, …

17 functional-programming  semantics  imperative-programming 

El problema que consideramos aquí es la extensión del conocido problema de coloreado de intervalos. En lugar de intervalos, consideramos rectángulos que tienen lados paralelos a los ejes. El objetivo es colorear los rectángulos usando un número mínimo de colores, de modo que a cualquiera de los dos rectángulos superpuestos …

17 ds.algorithms  approximation-algorithms  cg.comp-geom  graph-colouring  online-algorithms 

Soy nuevo en la teoría de los lenguajes de programación y estoy buscando un buen recurso sobre un recurso para la semántica formal de los lenguajes de programación. Específicamente buscando semántica operacional estructural. Tengo algunas recomendaciones de libros. Pero estoy buscando un recurso en un nivel más introductorio. Especialmente se …

17 reference-request  pl.programming-languages  semantics  formal-systems 

Es fácil ver que cualquier problema que sea decidible en el espacio de registro determinista ( ) se ejecuta en la mayoría de los casos de polinomios ( P ). Muchos algoritmos de espacio de registro conocidos (por ejemplo: conectividad st no dirigida, isomorfismo de gráfico plano) se ejecutan en …

17 cc.complexity-theory  space-bounded  space-time-tradeoff 

Estoy tratando de averiguar si hay resultados generales o ejemplos sobre la completitud NP del problema de encontrar una segunda solución a un problema NP-completo. Más precisamente, estoy interesado en cualquier problema de la siguiente forma: Dada una solución a una instancia I de un problema NP-completo, ¿hay una solución …

17 cc.complexity-theory  reference-request  np-hardness  unique-solution 

Dada una caminata aleatoria en un gráfico, el tiempo de cobertura es la primera vez (número esperado de pasos) que cada vértice ha sido golpeado (cubierto) por la caminata. Para gráficos conectados no dirigidos, se sabe que el tiempo de cobertura está limitado por . Hay dígrafos fuertemente conectados con …

17 graph-theory  co.combinatorics  markov-chains  random-walks 

Según tengo entendido, todos saben que las reglas de pivote deterministas para algoritmos simplex tienen entradas específicas en las que el algoritmo requiere tiempo exponencial (o al menos no polinomial) para encontrar el óptimo. Llamemos a estas instancias 'patológicas' ya que generalmente (es decir, en la mayoría de las entradas) …

17 cc.complexity-theory  reference-request  linear-programming  simplex 

Una extensión lineal de un poset P es un orden lineal en los elementos de P , de tal manera que x ≤ y en P implica x ≤ y en L para todo x , y ∈ P .LLLPP\mathcal{P}PP\mathcal{P}x≤yx≤yx \leq yPP\mathcal{P}x≤yx≤yx \leq yLLLx,y∈Px,y∈Px,y\in\mathcal{P} Un gráfico de extensión lineal es …

17 graph-theory  co.combinatorics 

Al leer un documento sobre el uso de métodos algebraicos para detectar algunos subgrafos inducidos, parece que el ideal de borde es una herramienta importante que conecta el álgebra conmutativa y la teoría de grafos. Como no estoy familiarizado con los cálculos de objetos algebraicos, ¿hay alguna buena referencia o …

17 ds.algorithms  reference-request  algebra  algebraic-complexity 

En el pasado, implementé modelos de coordinación utilizando SAT y satisfacción de restricciones regulares como el caballo de batalla principal en sus motores. Continuando en esta línea de trabajo, me gustaría hacer que los modelos sean más interactivos, y la mejor manera que veo de hacerlo es abrir el solucionador …

17 sat  lo.logic  csp 

Esta pregunta está inspirada en la camiseta de Georgia Tech Algorithms and Randomness Center , que pregunta "¿Aleatorizar o no?" Hay muchos ejemplos en los que la aleatorización ayuda, especialmente cuando se opera en entornos adversos. También hay algunas configuraciones donde la aleatorización no ayuda ni perjudica. Mi pregunta es: …

17 randomness  big-picture  randomized-algorithms 

Se dice que una distribución ϵ -engaña una función f si | E x ∈ U ( f ( x ) ) - E x ∈ D ( f ( x ) ) | ≤ ϵ . Y se dice que engaña a una clase de funciones si engaña a …

17 cc.complexity-theory  derandomization  space-bounded  pseudorandomness 

Digamos que construyes una computadora que calculará el estado de todos los átomos en el Universo en cierto momento futuro. Debido a que el Universo es, por definición, todo lo que existe (y todo lo que interactúa con el resto), también incluye la computadora que está construyendo. ¿Puedes calcular el …

17 computability 

Estoy interesado en las propiedades de los gráficos dirigidos al azar con un grado externo fijoddd . Me estoy imaginando un modelo de gráfico aleatorio donde cada vértice elige d vecinos (digamos, con reemplazo) uar Pregunta : ¿Se sabe algo sobre la distribución estacionaria y los tiempos de mezcla de …

17 graph-theory  co.combinatorics  automata-theory  random-walks 

La dinámica de Glauber es una cadena de Markov en los colores de un gráfico en el que en cada paso se intenta cambiar el color de un vértice elegido aleatoriamente con un color aleatorio. No se mezcla para los 3 colores de un ciclo 5: hay 30 colores 3, …

17 graph-theory  markov-chains