Sea una función fija construible en el tiempo.fff El clásico resultado de la simulación universal para TMs (Hennie y Stearns, 1966) establece que hay una TM dos cintas tal queUUU la descripción de un TM , y⟨M⟩⟨M⟩\langle M \rangle una cadena de entrada ,xxx corre por pasos y devuelve la...
Algunos comentarios: soy un informático recreativo e ingeniero de software empleado. Entonces, perdón si este mensaje parece algo fuera del campo izquierdo: juego rutinariamente con simulcra matemática y problemas abiertos cuando no tengo nada mejor que hacer. Mientras jugaba con la hipótesis de...
Llegué a saber que la unidad de procesamiento gráfico tiene algo llamado fusión de memoria. Al leerlo, no tenía claro el tema. ¿Está relacionado de alguna manera con el paralelismo del nivel de memoria? He buscado en Google pero no pude obtener una respuesta satisfactoria. Sería útil si alguien...
Soy asistente de pruebas de autoaprendizaje y decidí comenzar con algunas pruebas básicas y progresar. Como las pruebas se basan en otras pruebas y, por lo tanto, forman una jerarquía, ¿existe un depósito de la jerarquía de pruebas? Sé que puedo elegir un asistente de pruebas en particular y...
Estaba leyendo una pregunta en Stack Overflow preguntando si era NP difícil enumerar todos los ciclos simples en un gráfico que contiene un nodo particular y se me ocurrió que no podía pensar en ninguna clase de complejidad existente que fuera adecuada para hablando de problemas de la forma...
Recientemente me he vuelto extremadamente interesado en comprender y probar aspectos de lenguajes de programación (funcionales). Sin embargo, a medida que profundizo, cosas como el cálculo , la teoría de categorías y la semántica denotacional son un poco difíciles de asimilar sin una explicación...
¿Cuáles son algunos ejemplos de problemas de decisión difíciles que se pueden resolver en tiempo polinómico? Estoy buscando problemas para los cuales el algoritmo óptimo es "lento", o problemas para los cuales el algoritmo más rápido conocido es "lento". Aquí hay dos ejemplos: Reconocimiento de...
¿Alguien puede referirme a trabajos revisados por pares que estudien las ventajas o desventajas de escribir código en un estilo funcional? ¿Existen documentos que analicen las aplicaciones del cálculo Lambda en campos como el aprendizaje automático, el diseño del lenguaje,...
Deje un grafo, y dejar que y sea dos vértices de . Podemos degustar una manera eficiente más corto - ruta uniformemente y de forma independiente al azar del conjunto de todos los caminos más cortos entre y ? Por simplicidad, podemos suponer que es simple, no dirigido y no ponderado.s t G s t s t...
Supongamos que se nos dan dos números y y que queremos encontrar para l \ le i, \, j \ le r .lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r El algoritmo ingenuo simplemente verifica todos los pares posibles; por ejemplo en ruby tendríamos: def max_xor(l, r) max = 0...
Un estudiante recientemente me pidió que verificara una prueba de dureza NP para ellos. Realizaron una reducción en la línea de: Reduzco este problema P′P′P' que se sabe que es NP completo a mi problema PPP (con una reducción múltiple de tiempo múltiple), por lo que PPP es NP-duro. Mi...
Según el artículo de Wikipedia , la L en significa "exploración de izquierda a derecha", y la "R" significa "derivación más a la derecha". Sin embargo, en el artículo original de Knuth sobre las gramáticas L R ( k ) , define L R ( k ) (en la página 610) como un lenguaje que es "traducible de...
Los algoritmos y las estructuras de datos ajenos a la memoria caché son algo bastante nuevo, presentado por Frigo et al. en algoritmos ajenos a la memoria caché, 1999 . La tesis de Prokop del mismo año también presenta las primeras ideas. El artículo de Frigo et al. presentar algunos resultados...
Tengo varias preguntas relacionadas sobre estos dos temas. En primer lugar, la mayoría de los textos de complejidad sólo pasan por alto la clase NCNC\mathbb{NC} . ¿Existe un buen recurso que cubra la investigación más en profundidad? Por ejemplo, algo que discute todas mis preguntas a...
Me pregunto, ¿cuál es el algoritmo más conocido, en términos de notación Big- , para resolver la programación lineal entera?OOO Sé que el problema es completo, por lo que no espero nada polinomial. Y sé que hay muchas heurísticas y otras que se usan en aplicaciones prácticas como CPLEX, pero estoy...
Soy un hombre de 16 años que recientemente recibió una gran enciclopedia sobre informática de un amigo mío. Por lo general, no estoy tan interesado en las computadoras y la tecnología, pero la informática ha comenzado a fascinarme. Sin embargo, tengo la intención de estudiar Física y / o...
Una aplicación clásica de divide y vencerás es resolver el siguiente problema: Dada una matriz de elementos distintos y comparables, cuente el número de pares de inversión en la matriz: pares modo que e .( i , j ) a [ i ] > a [ j ] i < ja[1…n]a[1…n]a[1\dots
El problema del ancho de banda mínimo es encontrar un orden de los nodos del gráfico en la línea entera que minimiza la distancia más grande entre dos nodos adyacentes. El problema de decisión es NP-completo incluso para árboles binarios. Resultados de complejidad para la minimización del ancho...
La página del problema de isomorfismo gráfico de Wikipedia parece indicar que, no, no se ha resuelto. Sin embargo, un amigo mío señaló un Algoritmo de tiempo polinómico para el isomorfismo gráfico . No soy lo suficientemente sofisticado como para seguir el razonamiento en el documento. Tengo mi...
El problema posterior a la correspondencia (PCP) es indecidible. La versión limitada del PCP es -complete y la versión marcada del PCP (las palabras de una de las dos listas deben diferir en la primera letra) está en [1].N PnortePAG\mathrm{NP}P S P A C EPAGSPAGUNCmi\mathrm{PSPACE} ¿Se utilizan...