Esta es una pregunta de seguimiento de esta . En una pregunta anterior sobre máquinas de estado exóticas , Alex ten Brink y Raphael abordaron las capacidades computacionales de un tipo peculiar de máquina de estados: los autómatas de min-montón. Pudieron demostrar que el conjunto de idiomas...
Tenga en cuenta que esta es una pregunta relacionada con el estudio en un curso de CS en una universidad, NO es tarea y se puede encontrar aquí en el examen de otoño de 20112. Aquí están las dos preguntas que estoy viendo en un examen anterior. Parecen estar relacionados, el primero: Dejar...
Estoy tratando de demostrar que un montón binario con nodos tiene exactamente hojas, dado que el montón se construye de la siguiente manera:nnn⌈n2⌉⌈n2⌉\left\lceil \frac{n}{2} \right\rceil Cada nuevo nodo se inserta a través de percolar . Esto significa que cada nuevo nodo debe crearse en el...
Estoy aprendiendo la prueba de teorema automatizado / solucionadores SMT / asistentes de prueba por mi cuenta y publico una serie de preguntas sobre el proceso, comenzando aquí . ¿Por qué los probadores de teoremas automatizados, es decir , los solucionadores de ACL2 y SMT no necesitan asistencia...
De acuerdo con Wikipedia : Informalmente, desde el punto de vista de la teoría de la información algorítmica, el contenido de información de una cadena es equivalente a la longitud de la representación autónoma más corta posible de esa cadena. ¿Cuál es la definición rigurosa informal análoga...
Me di cuenta de que se utilizan diferentes estructuras de datos cuando implementamos algoritmos de búsqueda. Por ejemplo, utilizamos colas para implementar la búsqueda de amplitud, pilas para implementar la búsqueda de profundidad y min-montones para implementar el algoritmo A * . En estos casos,...
En la Teoría de la computación de Michael Sipser en la página 270, escribe: P = la clase de idiomas para los cuales la membresía se puede decidir rápidamente. NP = la clase de idiomas para los cuales la membresía se puede verificar rápidamente. ¿Cuál es la diferencia entre "decidido" y...
Generalmente se considera que un límite inferior asintótico, como la dureza exponencial, implica que un problema es "inherentemente difícil". Se cree que el cifrado que es "intrínsecamente difícil" de romper es seguro. Sin embargo, un límite inferior asintótico no descarta la posibilidad de que...
Digamos que tenemos una gran colección de tareas y una colección de procesadores idénticos (en términos de rendimiento) que operan completamente en paralelo. Para escenarios de interés, podemos suponer . Cada tarda una cierta cantidad de tiempo / ciclos en completarse una vez que se asigna a un...
El año pasado, estaba leyendo un fantástico artículo sobre "Mecánica cuántica para jardines de infancia" . No fue papel fácil. Ahora, me pregunto cómo explicar quicksort en las palabras más simples posibles. ¿Cómo puedo probar (o al menos handwave) que la complejidad promedio es y cuáles son los...
Realmente estoy luchando con esta propiedad: Deje que sea espacios de coherencia y es una función monótona. es continuo si y solo si , para todos modo que D es un conjunto dirigido.X,YX,YX,Yf f ( ⋃ x ∈ D x ) = ⋃ x ∈ D f ( x ) D ⊆ C l ( X ) Df:Cl(X)→Cl(Y)f:Cl(X)→Cl(Y)f: Cl(X) \rightarrow...
Se nos da un conjunto de puntos bidimensionales un entero . Debemos encontrar una colección de círculos que encierren todos los puntos de modo que el radio del círculo más grande sea lo más pequeño posible. En otras palabras, debemos encontrar un conjunto de puntos centrales de modo que la función...
He estado trabajando en el siguiente problema de este libro . Un cierto lenguaje de procesamiento de cadenas ofrece una operación primitiva que divide una cadena en dos partes. Como esta operación implica copiar la cadena original, se necesitan n unidades de tiempo para una cadena de longitud n,...
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...
Definición : Un polígono PPP en el plano se llama monótono con respecto a una línea recta LLL , si cada línea ortogonal a LLL cruza con PAGPAGP como máximo dos veces. Dado un polígono PPAGP , ¿es posible determinar si existe alguna línea LLL tal que el polígono PPP sea monótono con respecto a...
Estaba tratando de encontrar un sistema que evaluara los estatutos de una organización para determinar su lógica subyacente. Creo que un sistema de predicado de primer orden funcionaría para representar las reglas, que podrían traducirse del texto a través del etiquetado de parte del discurso y...
En el libro "Geometría computacional: algoritmos y aplicaciones" de Mark de Berg et al., Hay un algoritmo de fuerza bruta muy simple para calcular triangulaciones de Delaunay. El algoritmo utiliza la noción de bordes ilegales : bordes que pueden no aparecer en una triangulación de Delaunay válida y...
Introducción Paso uno Escribí una red neuronal de propagación hacia atrás estándar, y para probarla, decidí que mapeara XOR. Es una red 2-2-1 (con función de activación de tanh) X1 M1 O1 X2 M2 B1 B2 Para fines de prueba, configuré manualmente la neurona media superior (M1) para que sea una...
Si tengo una gramática de tipo 3, se puede representar en un autómata pushdown (sin realizar ninguna operación en la pila) para poder representar expresiones regulares utilizando lenguajes libres de contexto. Pero, ¿puedo saber si una gramática de tipo 3 es , , , etc. sin construir tablas de...
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...