Ciencias de la computación teórica

Estoy interesado en modelos de gráficos aleatorios que son similares a los gráficos de redes informáticas reales. No estoy seguro de si el modelo común bien estudiado ( vértices, cada borde posible se selecciona con probabilidad ) es bueno para estudiar redes informáticas reales (¿verdad?).G ( n , p )sol(norte,pag)G(n,p)nortenortenpagpagp …

19 reference-request  graph-theory  co.combinatorics 

¿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 en http://www.ams.org/meetings/lectures/current-events-bulletin y …

19 cc.complexity-theory  unique-games-conjecture 

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 tiempo de ejecución …

19 ds.algorithms  approximation-algorithms  online-learning  linear-programming 

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: (4,3,5,1,6,2,4,3,3,8,9,1) y consulto …

19 ds.algorithms  online-algorithms  data-streams 

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 …

19 graph-theory  co.combinatorics  puzzles 

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 describir con un autómata finito …

19 automata-theory  regular-expressions  fl.formal-languages 

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, haré los siguientes supuestos …

19 soft-question  gt.game-theory 

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 generalización similar para el arrepentimiento interno? (No estoy totalmente seguro ni siquiera qué significa …

19 lg.learning  online-learning 

¿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 …

19 reference-request  lo.logic  proof-complexity  feasible-interpolation 

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 …

19 computability 

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 respuesta, intente mantener su respuesta corta (una o dos líneas).

19 ds.algorithms  big-list 

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 imperativos, programas con comandos de asignación. …

19 imperative-programming  semantics  big-picture 

El problema de decisión CNF-SAT se puede describir de la siguiente manera: Entrada: Una fórmula booleana en forma conjuntiva normal.ϕϕ\phi Pregunta: ¿Existe una asignación variable que satisfaga ?ϕϕ\phi Estoy considerando varios enfoques diferentes para resolver CNF-SAT con una máquina de Turing de dos cintas no determinista . Creo que hay …

19 time-complexity  sat  turing-machines  np  nondeterminism 

¿Cuál sería una buena prueba informal / intuitiva para "dar en el blanco" sobre la dualidad LP? ¿Cuál es la mejor manera de mostrar que la función objetivo minimizada es realmente la mínima con una forma intuitiva de entender el límite? La forma en que me enseñaron la Dualidad solo …

19 linear-programming  primal-dual 

Estoy interesado en el siguiente problema: dadas matrices enteras decide si cada producto infinito de estas matrices finalmente es igual a la matriz cero.UN1, A2, ... , AkA1,A2,…,AkA_1,A_2, \ldots, A_k Esto significa exactamente lo que crees que hace: diremos que el conjunto de matrices tiene la propiedad de que todos …

19 linear-algebra  decidability