Ciencias de la computación teórica

Mientras intentaba corregir un error en una biblioteca, busqué documentos para encontrar subranges en árboles rojos y negros sin éxito. Estoy considerando una solución con cremalleras y algo similar a la operación de adición habitual utilizada en algoritmos de eliminación para estructuras de datos inmutables, pero todavía me pregunto si …

14 ds.data-structures  tree 

El teorema de Rice establece que cada propiedad no trivial del conjunto reconocida por alguna máquina de Turing es indecidible. Estoy buscando un teorema del tipo Rice de teoría de la complejidad que nos indique qué propiedades no triviales de los conjuntos de NP son intratables.

14 cc.complexity-theory  computability  np 

¿Quién introdujo la idea de recursión ? ¿Alguien puede explicar de dónde vino y cómo impactó la informática?

14 reference-request  ho.history-overview  recursion 

Robin Milner definió bigraphs como un tipo de estructura gráfica con una estructura similar a un gráfico, pero donde los nodos se pueden anidar. Generalizan cálculos de procesos como CCS y el cálculo , pero Milner parece haber tenido la intención de que se usen de manera mucho más general: …

14 process-algebra  ho.history-overview 

Si está familiarizado con la verificación del programa, es probable que prefiera leer la Pregunta antes que los Antecedentes . Si no está familiarizado con la verificación del programa, es posible que aún pueda responder esta pregunta, pero es probable que prefiera leer el Fondo primero. Antecedentes A menudo se …

14 cc.complexity-theory  lo.logic  program-verification  program-logic 

Deje que G sea un árbol en 2n vértices. El ancho de árbol de G, tw (G) = 1. Ahora supongamos que agregamos n aristas a G para obtener un gráfico H. Un límite superior fácil en tw (H) es n + 1. ¿Es esto esencialmente el mejor posible? Parece …

14 upper-bounds  treewidth 

Recientemente me enteré de la conjetura codiciosa para el problema de la supercuerda más corta . En este problema, se nos da un conjunto de cadenas s1, ... , snortes1,...,snortes_1,\dots, s_n queremos encontrar la súper cadena más corta, sss decir, cada syosyos_i aparece como una subcadena de sss . Este …

14 reference-request  approximation-algorithms  greedy-algorithms 

Para una teoría de tipos, por consistencia, quiero decir que tiene un tipo que no está habitado. De la fuerte normalización del cubo lambda, se deduce que el sistema y el sistema son consistentes. Los tipos inductivos MLTT + también tienen una prueba de normalización. Sin embargo, todos estos deberían …

14 type-theory  proof-theory 

Let ser un lenguaje, entonces definimos la congruencia sintáctica como u ~ v : ⇔ ∀ x , y ∈ X * : x T y ∈ L ↔ x v y ∈ L y el cociente monoid X * / ~ L es llamado el monoide sintáctica de L …

14 fl.formal-languages  automata-theory  regular-language  algebra  monoid 

Basado en el libro de texto Introducción a los algoritmos , la corrección de un algoritmo codicioso requiere que un problema tenga dos propiedades: propiedad de elección codiciosa subestructura óptima Es fácil encontrar contraejemplos para los que una solución codiciosa falla debido a la falta de la propiedad de elección …

14 greedy-algorithms 

Estoy buscando ejemplos de resultados que van en contra de la intuición de las personas para una audiencia general. Resultados que, si se les pregunta a los no expertos "¿qué te dice tu intuición?", Casi todos se equivocarían. La declaración de resultados debe ser fácilmente explicable a los estudiantes de …

14 big-list  teaching  intuition 

Se puede hablar de la treewidth de un circuito booleano, definiéndola como la treewidth del gráfico "moralizado" en los alambres (vértices) obtenido como sigue: los cables de conexión ununa y sisib cuando sisib es la salida de una puerta que tiene ununa como entrada (o viceversa); cables de conexión ununa …

14 circuit-complexity  pr.probability  treewidth  arithmetic-circuits 

Me parece que la mayoría de los teóricos de la complejidad generalmente creen en la siguiente regla filosófica: Si no podemos imaginar un algoritmo eficiente para el problema , y podemos reducir el problema Una de problema B , entonces probablemente no es un algoritmo eficiente para el problema B …

14 cc.complexity-theory  big-picture  reductions 

Como estudiante de informática, me presentaron la teoría de juegos, pero no vi muchos detalles sobre el tema. Busqué en Google, miré algunos libros sobre teoría de juegos y me confirmaron su uso en informática. He comenzado un estudio formal de la teoría de juegos desde la perspectiva del economista. …

14 reference-request  gt.game-theory 

Me pregunto cómo encontrar la circunferencia de un gráfico escaso no dirigido. Por escaso quiero decir . Por óptimo me refiero a la menor complejidad de tiempo.|E|=O(|V|)|E|=O(|V|)|E|=O(|V|) Pensé en alguna modificación en el algoritmo de Tarjan para gráficos no dirigidos, pero no encontré buenos resultados. En realidad, pensé que si …

14 ds.algorithms  graph-theory  open-problem