Ciencias de la computación teórica

Este artículo sugiere que hay combinadores (que representan cálculos simbólicos) que no pueden ser representados por el cálculo Lambda (si entiendo las cosas correctamente):

18 lo.logic  lambda-calculus 

En los sistemas de prueba para la lógica proposicional clásica, si se quiere mostrar que una determinada fórmula no es derivable, simplemente se muestra que se puede derivar (aunque ciertamente son posibles otras técnicas). La no derivabilidad se deriva esencialmente de la solidez y la integridad del sistema de prueba.ψψ\psi¬ψ¬ψ\neg\psi …

18 lo.logic 

¿Qué universidades tienen un sólido plan de estudios de computación cuántica y ofrecen algún tipo de computación cuántica / cursos de información / investigación? El objetivo aquí es recopilar una lista útil para alguien que esté considerando estudiar un posgrado en estos campos, no discutir cuál es el "mejor". Para …

18 soft-question  quantum-computing  big-list  quantum-information 

¿Alguien sabe acerca de un resultado de completitud NP para el problema DOMINATORIO SET en gráficos, restringido a la clase de gráficos bipartitos planos de grado máximo 3? Sé que es NP completo para la clase de gráficos planos de grado máximo 3 (ver el libro de Garey y Johnson), …

18 cc.complexity-theory  graph-theory 

Defina la complejidad gaussiana de una matriz como el número mínimo de operaciones elementales de fila y columna requeridas para llevar la matriz a la forma triangular superior. Esta es una cantidad entre 0 y n 2 (a través de Gaussian elemination). La noción tiene sentido sobre cualquier campo.n×nn×nn \times …

18 cc.complexity-theory  lower-bounds  matrices 

Problema: se nos da un conjunto de palos que tienen longitudes enteras. La suma total de sus longitudes es n (n + 1) / 2. ¿Podemos separarlos para obtener palos de tamaño en tiempo polinómico? 1 , 2 , ... , n1,2,...,norte{1,2,\ldots,n} Sorprendentemente, la única referencia que encuentro para este …

18 reference-request  complexity-classes  puzzles 

Parity-P es el conjunto de lenguajes reconocidos por una máquina de Turing no determinista que solo puede distinguir entre un número par o un número impar de rutas de "aceptación" (en lugar de un número cero o no cero de rutas de aceptación). Por lo tanto Paridad-P es básicamente PP …

18 cc.complexity-theory  complexity-classes  np 

Estoy interesado en una función booleana explícita con la siguiente propiedad: si es constante en algún subespacio afín de , entonces la dimensión de este subespacio es .f:0,1n→0,1f:0,1n→0,1f \colon \\{0,1\\}^n \rightarrow \\{0,1\\}fff0,1n0,1n\\{0,1\\}^no(n)o(n)o(n) No es difícil demostrar que una función simétrica no satisface esta propiedad considerando un subespacio . Cualquier tiene …

18 cc.complexity-theory  circuit-complexity  derandomization  linear-algebra 

Es bien sabido que las computadoras cuánticas son estrictamente más poderosas que sus contrapartes clásicas en términos de complejidad de consulta . ¿Existen otros modelos (naturales o artificiales) que estén estrictamente entre lo cuántico y lo clásico en términos de complejidad de consulta? La separación puede estar en problemas específicos: …

18 cc.complexity-theory  quantum-computing  query-complexity 

El problema de la satisfacción es, por supuesto, un problema fundamental en la CS teórica. Estaba jugando con una versión del problema con infinitas variables. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Configuración básica. Sea un conjunto de variables no vacío y posiblemente infinito . Un literal es una variable o su negación . Una …

18 reference-request  lo.logic  sat  topology  lattice 

Acabo de leer la pregunta " ¿Es la factorización entera un problema NP-completo? " ... así que decidí gastar algo de mi reputación :-) haciendo otra pregunta teniendo :QQQPAG( Q es trivial ) ≈ 1PAG(Q es trivial)≈1P(\text{Q is trivial}) \approx 1 Si es un oráculo que resuelve la factorización de …

18 cc.complexity-theory  oracles  factoring 

Una palabra www se llama primitiva , si no hay una palabra vvv y k > 1, dek>1k > 1 modo que w = v kw=vkw = v^k . El conjunto QQQ de todas las palabras primitivas sobre un alfabeto ΣΣ\Sigma es un lenguaje bien conocido. WLOG podemos elegir Σ …

17 fl.formal-languages 

Pido disculpas si esto está fuera de tema. Parece que el nombre de dominio ha expirado. Espero que algunos miembros de la comunidad aquí (no soy uno) puedan saber quién era el administrador / propietario de ese sitio. Fue un recurso bastante útil.

17 soft-question 

¿Cuáles son algunos de los principales problemas de complejidad computacional abierta que surgen de los lenguajes de programación, especialmente el análisis y la compilación de programas? Estoy buscando problemas en las líneas de "la complejidad temporal de la inferencia de tipo Hindley-Milner" o "la complejidad temporal de 0CFA" (aunque ambos …

17 cc.complexity-theory  pl.programming-languages  big-list  open-problem 

¿Es posible convertir un CNF CC\mathcal C en otro CNF modo queΨ(C)Ψ(C)\Psi(\mathcal C) La función se puede calcular en tiempo polinómico a partir de algún parámetro aleatorio secreto .ΨΨ\Psirrr Ψ(C)Ψ(C)\Psi(\mathcal C) tiene una solución si y solo si tiene una solución.CC\mathcal C Cualquier solución de se puede convertir eficientemente en …

17 cc.complexity-theory  cr.crypto-security  one-way-function  cryptojacking