Ciencias de la computación teórica

Actualmente estoy tratando de encontrar problemas completos de EXPSPACE (principalmente para encontrar inspiración para una reducción), y estoy sorprendido por la pequeña cantidad de resultados que se presentan. Hasta ahora, encontré estos, y tengo problemas para expandir la lista: universalidad (u otras propiedades) de expresiones regulares con exponenciación. problemas relacionados …

23 cc.complexity-theory  reference-request  big-list 

Por lo que entiendo (que es muy poco, ¡así que corrígeme donde me equivoco!), La teoría de los lenguajes de programación a menudo se ocupa de las pruebas "intuicionistas". En mi propia interpretación, el enfoque requiere que tomemos en serio las consecuencias del cálculo en la lógica y la demostrabilidad. …

23 lo.logic  soft-question  pl.programming-languages  constructive-mathematics 

Un importante artículo de 2003 de Childs et al.introdujo el "problema de los árboles combinados": un problema que admite una aceleración cuántica exponencial que es diferente a casi cualquier otro problema que conozcamos. En este problema, se nos da un gráfico exponencialmente grande como el que se muestra a continuación, …

23 graph-algorithms  quantum-computing  randomized-algorithms  random-walks  decision-trees 

Considere los problemas de optimización de la siguiente forma. Sea f(x)f(x)f(x) una función computable en tiempo polinómico que mapea una cadena xxx en un número racional. El problema de optimización es este: ¿cuál es el valor máximo de f(x)f(x)f(x) sobre cadenas de nnn bits xxx ? Digamos que tal problema …

23 cc.complexity-theory  graph-algorithms  complexity-classes  optimization  linear-programming 

Dado un conjunto de personas, me gustaría sentarlas para una secuencia de comidas en mesas de tamaño k . (Por supuesto, hay suficientes mesas para sentarse todas | S | para cada comida.) Me gustaría organizar esto de tal manera que nadie comparta una mesa con la misma persona dos …

23 graph-theory  co.combinatorics 

Es posible que algunos de ustedes hayan estado siguiendo esta pregunta , que se cerró debido a que no tenía nivel de investigación. Entonces, estoy extrayendo la parte de la pregunta que está a nivel de investigación. Más allá de las técnicas "más simples", como reducir a la clasificación o …

23 cc.complexity-theory  reference-request  fl.formal-languages  time-complexity  reductions 

Recientemente he visto varios artículos sobre arxiv que se refieren a un sistema de prueba llamado suma de cuadrados. ¿Alguien puede explicar qué es una prueba de suma de cuadrados y por qué esas pruebas son importantes / interesantes? ¿Cómo se relacionan con otros sistemas de prueba algebraica? ¿Son algún …

23 cc.complexity-theory  lo.logic  algebraic-complexity  proof-complexity  sum-of-squares 

Claramente, hay una reducción de CLIQUE a k-Color porque ambos son NP-Complete. De hecho, puedo construir uno componiendo una reducción de CLIQUE a 3-SAT con una reducción de 3-SAT a k-Color. Lo que me pregunto es si existe una reducción directa razonable entre estos problemas. Digamos, una reducción que podría …

23 cc.complexity-theory  graph-theory  np-hardness  reductions 

Estoy tratando de encontrar qué tan cerca están realmente y E [ t w ( G ) ] , cuando G ∈ G ( n , p = c / n ) y c > 1 es una constante que no depende de n (entonces E [ t w ( …

23 graph-theory  co.combinatorics  treewidth  random-graphs 

Publiqué esto antes en MSE, pero se sugirió que aquí podría haber un mejor lugar para preguntar. El teorema de aproximación universal establece que "la red estándar de alimentación multicapa con una sola capa oculta, que contiene un número finito de neuronas ocultas, es un aproximador universal entre funciones continuas …

23 approximation-algorithms  ne.neural-evol  na.numerical-analysis 

Sabemos que el conjunto máximo independiente (MIS) es difícil de aproximar dentro de un factor de para cualquier menos que P = NP. ¿Cuáles son algunas clases especiales de gráficos para los que se conocen mejores algoritmos de aproximación?n1−ϵn1−ϵn^{1-\epsilon}ϵ>0ϵ>0\epsilon > 0 ¿Cuáles son los gráficos para los que se conocen …

23 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms 

El problema de detención indica que es imposible escribir un programa que pueda determinar si otro programa se detiene, para todos los programas de entrada posibles . Sin embargo, ciertamente puedo escribir un programa que pueda calcular el tiempo de ejecución de un programa como: for(i=0; i<N; i++) { x …

23 computability  time-complexity  formal-methods  se.software-engineering 

mmmnnnm≫nm≫nm \gg nXiXiX_iiiiXmaxXmaxX_\maxXminXminX_\minXsec−maxXsec−maxX_{\mathrm{sec-max}}Xi−Xj∼N(0,2m/n)Xi−Xj∼N(0,2m/n)X_i - X_j \sim N(0,2m/n)|Xi−Xj|=Θ(m/n−−−−√)|Xi−Xj|=Θ(m/n)|X_i - X_j| = \Theta(\sqrt{m/n}) i,ji,ji,jXmax−Xmin=O(mlogn/n−−−−−−−−√)Xmax−Xmin=O(mlog⁡n/n)X_{\max} - X_{\min} = O(\sqrt{m\log n/n})n/2n/2n/2 pares de contenedores separados. Este argumento (no completamente formal) nos lleva a esperar que la brecha entre XmaxXmaxX_{\max} y XminXminX_{\min} sea Θ(mlogn/n−−−−−−−−√)Θ(mlog⁡n/n)\Theta(\sqrt{m\log n/n}) con alta probabilidad. Estoy interesado en la brecha entre XmaxXmaxX_\max …

23 reference-request  pr.probability 

Inspirado por esta pregunta , ¿cuáles son los principales problemas y las soluciones existentes que necesitan mejoras en el dominio de sistemas distribuidos (teóricos). ¿Algo como protocolos de membresía, consistencia de datos?

23 big-list  dc.distributed-comp 

Se sabe que el ciclo hamiltoniano (jamón para abreviar) tiene NP completo y que el ciclo de jamón planar tiene NP completo. La prueba para Planar Ham Cycle no es de Ham Cycle. ¿Hay un buen dispositivo que, dado un gráfico G, reemplazará todos los cruces con algún dispositivo plano …

23 cc.complexity-theory  np-hardness  planar-graphs  hamiltonian-paths