Recuerde que π(n)π(n)\pi(n) el número de primos ≤n≤n\le n es la función de recuento de primos . Por "PRIMES en P", calcular π(n)π(n)\pi(n) está en #P. ¿Es el problema # P-completo? O, tal vez, ¿hay una razón compleja para creer que este problema no es # P-completo? PD: Me doy cuenta de que esto...
Hoy en Nueva York y en todo el mundo se celebra el cumpleaños de Christos Papadimitriou. Esta es una buena oportunidad para preguntar sobre las relaciones entre la clase de complejidad PPAD de Christos (y sus otras clases relacionadas) y las computadoras cuánticas. En su célebre artículo de 1994,...
La "optimización convexa en línea" de Zinkevich ( http://www.cs.cmu.edu/~maz/publications/ICML03.pdf ) generaliza los algoritmos de aprendizaje de "minimización de arrepentimiento" de una configuración lineal a una configuración convexa y ofrece un buen "arrepentimiento externo" . ¿Existe una...
En la sección "Introducción a los lenguajes de programación" de Anthony Aaby sobre semántica , hace la siguiente observación: Gran parte del trabajo en la semántica de los lenguajes de programación está motivado por los problemas encontrados al tratar de construir y comprender programas...
¿Hay alguna encuesta de algoritmos para calcular interpolantes? ¿Qué pasa con los documentos en un solo algoritmo? El caso que más me interesa es y , más la restricción de que el interpolante es lo más pequeño posible. (Conozco el artículo de McMillan de 2005 , que describe cómo obtener...
Sea un gráfico simple en n vértices ( n > 3 ) sin vértices de grado n - 1 . Suponga que para cualquiera de los dos vértices de G , hay un vértice único adyacente a ambos. Es un ejercicio de A Course in Combinatorics , van Lint y Wilson, para demostrar que dicho gráfico es...
Bloqueado . Esta pregunta y sus respuestas están bloqueadas porque la pregunta está fuera de tema pero tiene un significado histórico. Actualmente no acepta nuevas respuestas o interacciones. ¿Qué algoritmos se usan con más frecuencia? Escriba un solo algoritmo por...
La mayoría de las implementaciones modernas de expresiones regulares, como las de perl o .NET, van más allá de la definición informática clásica de REGEXes con características como mirar hacia adelante y mirar hacia atrás. ¿Estas características les permiten analizar declaraciones que no se pueden...
¿Cómo diseñarías una imagen para ilustrar la conjetura de los juegos únicos? Esto es para una presentación de "Eventos actuales" sobre juegos únicos en la próxima reunión conjunta de AMS y para el folleto que se producirá. Ejemplos del tipo de ilustraciones producidas en el pasado están...
He estado buscando el algoritmo más eficiente (transmisión ??) que me dice los elementos 'k' que ocurren con mayor frecuencia en un flujo de datos en cualquier momento. Esta publicación: Los algoritmos de flujo de datos "Divide y vencerás" me interesaron. Por ejemplo, supongamos que hay números:...
Considere , una función que devuelve 1 si n ceros aparecen consecutivamente en π . Ahora alguien me dio una prueba de que f ( n ) es computable:f(n)f(n)f(n)nnnππ\pif(n)f(n)f(n) O para todo n, aparece en π , o hay una am st 0 m aparece en π y 0 m + 1 no. Para la primera posibilidad f ( n ) : = 1...
Para concretar, considere el LP para resolver un juego de suma cero de dos jugadores donde cada jugador tiene acciones. Suponga que cada entrada de la matriz de pagos A es como máximo 1 en valor absoluto. Para simplificar, no hagamos suposiciones de escasez.nortenortenUNUNA Supongamos que el...
Aquí hay una abstracción de un problema de aprendizaje / bandido en línea en el que he estado trabajando en el verano. No he visto un problema como este antes, y parece bastante interesante. Si conoce algún trabajo relacionado, agradecería referencias. El problema La configuración es la de los...
Esta reciente pregunta de teoría de juegos me hizo pensar (esto es una tangente, por supuesto): ¿es posible optimizar eficientemente una estrategia personal para elegir preguntas de investigación para trabajar en el uso de la teoría de juegos? Para avanzar hacia una formalización de la pregunta,...
La paridad y son como gemelos inseparables. O eso parece durante los últimos 30 años. A la luz del resultado de Ryan, habrá un renovado interés en las clases pequeñas.A C0 0AC0AC^0 Furst Saxe Sipser a Yao a Hastad son todas paridades y restricciones aleatorias. Razborov / Smolensky es un polinomio...
Un DFA tiene una palabra de sincronización si hay una cadena que envía cualquier estado del DFA a un solo estado. En 'La conjetura de Cerny para autómatas aperiódicos ”por AN Trahtman (Matemática discreta y ciencias de la computación teórica vol. 9: 2, 2007, pp.3-10), escribió: Cerny conjeturó...
Estoy buscando formas de mantener un árbol de expansión de un gráfico relativamente equilibrado, a medida que agrego nuevos nodos / bordes al gráfico. Tengo un gráfico no dirigido que comienza como un solo nodo, la "raíz". En cada paso, agrego al gráfico un nuevo nodo y un borde que lo conecta al...
EDITAR el 2011/02/08: Después de encontrar y leer algunas referencias, decidí separar la pregunta original en dos. Aquí está la parte relativa a UP vs NP, para la parte de clases sintácticas y semánticas, consulte Beneficios para clases sintácticas y semánticas . (el tiempo polinómico...
Me preguntaba si la especificación JSON definía un lenguaje regular. Parece bastante simple, pero no estoy seguro de cómo demostrarlo yo mismo. La razón por la que pregunto es porque me preguntaba si uno podría usar expresiones regulares para analizar JSON de manera efectiva. ¿Podría alguien con...
He leído en alguna parte que una máquina de Turing no puede calcular esto y, por lo tanto, es indecidible, pero ¿por qué? ¿Por qué es computacionalmente imposible para una máquina generar el árbol de análisis y tomar una decisión? ¿Quizás estoy equivocado y se puede