Ciencias de la Computación

Me pregunto si esto es posible, ya que{anbncn∣n≥0}∉CFL{anbncn∣n≥0}∉CFL\{a^n b^n c^n \mid n \geq 0\} \not\in \mathrm{CFL} . Por lo tanto, un PDA que puede distinguir una palabra del resto de podría aceptarla , lo que me parece contradictorio.w∈{anbncn∣n≥0}w∈{anbncn∣n≥0}w\in\{a^n b^n c^n \mid n \geq 0\}{a∗b∗c∗}{a∗b∗c∗}\{a^*b^*c^*\} Supongo que necesito aprovechar la naturaleza …

16 formal-languages  automata  context-free  pushdown-automata 

En esta pregunta solo consideramos las máquinas de Turing que detienen todas las entradas. Si entonces por denotamos la máquina de Turing cuyo código es .k ∈ N k∈Nk \in \mathbb{N}T kTkT_k kkk Considere la siguiente función s ( x , y ) = min { k ∣ | L …

16 computability  turing-machines 

Tengo algunos objetos con prioridad que son de tipo compuesto y solo están parcialmente ordenados . Necesito seleccionar los objetos en orden de esta prioridad (es decir, producir un elemento mínimo cada vez). Pero en lugar de completar arbitrariamente el pedido, preferiría que la cola fuera estable en el sentido …

16 data-structures  priority-queues 

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 análisis?L …

16 formal-languages  regular-languages  formal-grammars  parsers  regular-expressions 

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 …

16 machine-learning  neural-networks 

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 …

16 complexity-theory  reference-request  turing-machines  machine-models  simulation 

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 deben ser …

16 algorithms  time-complexity  algorithm-analysis  computational-geometry  runtime-analysis 

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 Riemann , determiné que la brecha principal …

16 algorithms  reference-request  discrete-mathematics 

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 …

16 algorithms  computational-geometry 

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 …

16 algorithms  computational-geometry 

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

16 terminology  programming-languages  semantics 

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 una clase enorme pero finita de …

16 complexity-theory  cryptography  asymptotics 

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

16 complexity-theory  terminology  decision-problem 

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 procesador , …

16 probability-theory  scheduling  parallel-computing 

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, no necesitamos construir el árbol …

16 algorithms  graphs  data-structures  search-algorithms