Ciencias de la computación teórica

En un hilo reciente en la lista de correo de Agda, surgió la cuestión de las leyes , en la que Peter Hancock hizo un comentario estimulante .ηη\eta Tengo entendido que las leyes ηη\eta vienen con tipos negativos, es decir. conectivos cuyas reglas de introducción son invertibles. Para deshabilitar ηη\eta …

18 lo.logic  type-theory  lambda-calculus  proof-theory 

La noción de reducciones de tiempo polinomiales (reducciones de Cook) es una abstracción de un concepto muy intuitivo: resolver eficientemente un problema utilizando un algoritmo para un problema diferente. Sin embargo, en la teoría de la completitud de , la noción de dureza de N P se captura mediante reducciones …

18 cc.complexity-theory  np-hardness  soft-question 

Nunca antes había visto un algoritmo con un registro en el denominador, y me pregunto si hay algún algoritmo realmente útil con este formulario. Entiendo muchas cosas que podrían hacer que un factor de registro se multiplique en el tiempo de ejecución, por ejemplo, algoritmos de clasificación o basados ​​en …

18 ds.algorithms  big-list  time-complexity 

Sea la clase de los problemas de decisión que tienen un algoritmo aleatorio de error de dos lados limitado que se ejecuta en el tiempo .O ( f ( n ) )B P T I M E (f( n ) )BPTIME(f(n))\mathsf{BPTIME}(f(n))O ( f( n ) )O(f(n))O(f(n)) ¿Conocemos algún problema tal …

18 cc.complexity-theory  ds.algorithms  randomized-algorithms  derandomization 

Sé que es imposible decidir la equivalencia para el cálculo lambda sin tipo. Citando a Barendregt, HP El cálculo Lambda: su sintaxis y semántica. Holanda Septentrional, Amsterdam (1984). :ββ\beta Si A y B son disjuntos, conjuntos no vacíos de términos lambda que están cerrados en igualdad, entonces A y B …

18 lo.logic  computability  lambda-calculus  normalization  decidability 

La teoría de categorías y el álgebra abstracta tratan la forma en que las funciones se pueden combinar con otras funciones. La teoría de la complejidad trata de cuán difícil es calcular una función. Es extraño para mí que no haya visto a nadie combinar estos campos de estudio, ya …

18 cc.complexity-theory  algebra  algebraic-complexity 

¿Todas las funciones cuyo peso de Fourier se concentra en los conjuntos de tamaño pequeño (o términos con bajo grado) se calculan mediante circuitos ?AC0AC0\mathsf{AC}^0

18 cc.complexity-theory  circuit-complexity  boolean-functions  fourier-analysis 

¿Se ha trabajado en cómo la complejidad de las instancias aleatorias de # 2-SAT varía con la densidad de la cláusula? Es decir: ¿cómo varía la dificultad de contar soluciones satisfactorias para una instancia de 2-SAT generada aleatoriamente , a medida que varía la densidad de la cláusula? En particular, …

18 cc.complexity-theory  counting-complexity  random-k-sat 

El complejo zoológico no tiene mucho sobre . Estoy buscando un buen problema que se encuentra en los niveles superiores de la jerarquía, es decir, un problema en pero no se sabe que está en .SCSC\mathsf{SC} † D T i m e S p a c e ( n O …

18 cc.complexity-theory  complexity-classes 

Una regla de trama , como la que se muestra a continuación, captura la idea de que, dado un programa ccon una condición previa pque se cumple antes de que se ejecute y quna condición posterior que se cumple después, alguna condición disjunta rdebe mantenerse antes y después de las …

18 lo.logic  pl.programming-languages  program-logic 

Supongamos que es un árbol de grado constante cuya estructura no conocemos. El problema es generar el árbol haciendo preguntas de la forma: "¿El nodo encuentra en la ruta del nodo al nodo ?". Suponga que cada consulta puede ser respondida en tiempo constante por un oráculo. Conocemos el valor …

18 ds.algorithms  reference-request  graph-algorithms  oracles  query-complexity 

¿Es posible probar algorítmicamente si un número computable es racional o entero? En otras palabras, ¿sería posible que una biblioteca que implementa números computables proporcione las funciones isIntegero isRational? Supongo que no es posible, y que esto está relacionado de alguna manera con el hecho de que no es posible …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Estoy trabajando en un conjunto de problemas para una clase, y pensé en una pregunta relacionada con lo que estaba trabajando. ¿Existe un número mínimo de estados que debe tener un autómata finito para aceptar cadenas binarias que representan números divisibles por un entero n? En un conjunto de problemas …

18 automata-theory 

¿Cuáles son los algoritmos eficientes conocidos para calcular un determinante de una matriz entera con coeficientes en , el anillo de residuos módulo . El número puede no ser primo sino compuesto (por lo que los cálculos se realizan en anillo, no en un campo). mmZmetroZm\mathbb{Z}_mmetrommmetromm Hasta donde yo sé …

18 ds.algorithms  reference-request  linear-algebra  comp-number-theory 

Mafia es un popular juego de rol en fiestas, una descripción detallada está disponible en wikipedia http://en.wikipedia.org/wiki/Mafia_%28game%29 . Básicamente, funciona de la siguiente manera: Al principio, a cada uno de los jugadores se le asigna un rol en secreto, ya sea alineado con la mafia o con la ciudad. Cada …

18 cc.complexity-theory  gt.game-theory  combinatorial-game-theory