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...
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...
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 un...
Considere la siguiente tarea computacional: Queremos muestrear una fórmula 3-SAT de variables (una variante: n variables m cláusulas) con respecto a la distribución de probabilidad uniforme, condicionada a que la fórmula sea satisfactoria:nortennnortennmetromm P1: ¿Se puede lograr esto de manera...
¿Cuáles son las razones de peso para creer ? L es la clase de algoritmos de espacio logarítmico con punteros a la entrada.L≠PL≠PL\neq P Supongamos que L = P por el momento. ¿Cómo sería un algoritmo de espacio logarítmico para un problema P-completo en sus esquemas
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...
Sé que trivialmente la función OR en nortenn variables X1, ... , xnortex1,…,xnx_1,\ldots, x_n puede representarse exactamente por el polinomio p ( x1, ... , xnorte)p(x1,…,xn)p(x_1,\ldots,x_n) como tal: p ( x1, ... , xnorte) = 1 - ∏nortei = 1( 1 - xyo)p(x1,…,xn)=1−∏i=1n(1−xi)p(x_1,\ldots,x_n) =...
Para un alfabeto finito fijo , un lenguaje formal sobre es normal si existe un autómata finito determinista (DFA) sobre que acepta exactamente .L Σ Σ LΣΣ\SigmaLLLΣΣ\SigmaΣΣ\SigmaLLL Me interesan los idiomas que son "casi" regulares en el sentido de que pueden ser reconocidos por las familias de...
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...
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...
Un polinomio es una proyección monótona de un polinomio si = poly , y hay una asignación manera que . Es decir, es posible reemplazar cada variable de por una variable o una constante o para que el polinomio resultante coincida con . F( x1, ... , xnorte)f(x1,…,xn)f(x_1,\ldots,x_n)m ( n ) π : { y 1...
Dadas dos cadenas x e y, quiero construir un DFA de tamaño mínimo que acepte x y rechace y. Una forma de hacerlo es la búsqueda de fuerza bruta. Enumera los DFA que comienzan con los más pequeños. Intenta cada DFA hasta que encuentre uno que acepte x y rechace y. Quiero saber si hay alguna otra...
Deje que sean dos lenguajes regulares dados por NFA M 1 , M 2 como entrada.L1, L2L1,L2L_1,L_2METRO1, M2M1,M2M_1,M_2 Supongamos que nos gustaría verificar si . Esto puede hacerse claramente mediante un algoritmo cuadrático que computa el autómata del producto de M 1 , M 2 , pero me preguntaba si se...
He leído en innumerables artículos que determinar la constante Cheeger de un gráfico es -duro. Parece ser un teorema popular, pero nunca he encontrado ni una cita ni una prueba de esta afirmación. ¿A quién debo dar crédito por ello? En un documento antiguo (Isoperimetric Numbers of Graphs, J. Comb....
Motivado por el comentario de Fortnow en mi publicación, Evidencia de que el problema del isomorfismo gráfico no es NPNPNP -completo , y por el hecho de que GIGIGI es un candidato principal para NPNPNP -problema intermedio (no NPNPNP -completo ni en PPP ), estoy interesado en evidencias conocidos...
Actualmente, bitcoin tiene un sistema de prueba de trabajo (PoW) que usa SHA256. Otras funciones hash utilizan una prueba de gráficos de uso del sistema de trabajo, inversión parcial de la función hash. ¿Es posible usar un problema de Decisión en la teoría de nudos como el reconocimiento de nudos...
Para una constante , se puede determinar en tiempo lineal, dado un gráfico de entrada G , si su ancho de árbol es ≤ k . Sin embargo, cuando k y G se dan como entrada, el problema es NP-hard. ( Fuente )k ∈ Nk∈Nk \in \mathbb{N}solGG≤ k≤k\leq kkkksolGG Sin embargo, cuando el gráfico de entrada es...
La teoría de la complejidad, a través de conceptos como la completitud de NP, distingue entre problemas computacionales que tienen soluciones relativamente eficientes y aquellos que son intratables. La complejidad "de grano fino" tiene como objetivo refinar esta distinción cualitativa en una guía...
El acceso a un oráculo proporcionaría una mayor aceleración súper polinomial para todo en (suponiendo que el conjunto no esté vacío). Sin embargo, está menos claro cuánto se beneficiaría de este acceso al oráculo. Por supuesto, la aceleración en no puede ser superpolinomial, pero aún puede ser...
Es bien sabido que muchos parámetros importantes del gráfico muestran una concentración (fuerte) en gráficos aleatorios, al menos en algún rango de la probabilidad de borde. Algunos ejemplos típicos son el número cromático, la camarilla máxima, el conjunto independiente máximo, la coincidencia...