Tengo un pequeño problema para entender la prueba del Teorema de la Jerarquía del Tiempo (Hennie y Stearns, 1966) que asegura la existencia de un lenguaje aceptable en pero no aceptable en para cualquier función , de modo que sea construible en el tiempo yU( n )U(norte)U(n)T( n )T(norte)T(n)T( n...
Si tiene un lenguaje L, sin hacer ninguna prueba, ¿hay alguna manera de saber si es reconocible, co-reconocible o decidible? Básicamente, cualquier pista o truco que se pueda usar para contar. ¿O tal vez los patrones comunes a buscar para saber de qué tipo
¿Nuestra PC funciona como máquina de Turing? El modelo de una máquina de Turing consiste en una cinta de memoria infinita, que significa estados infinitos. Pero supongamos que si nuestra PC tiene 128 MB de memoria y 30 GB de disco, tendría 256 ^ 30128000000 estados y, por lo tanto, tiene estados...
Considera este problema: Dado un gráfico no dirigido , encuentre tal que:G=(V,E)G=(V,E)G = (V, E)G′=(V′,E′)G′=(V′,E′)G' = (V', E') G′G′G' es un subgrafo inducido deGGG G′G′G' no tiene 3 camarillas |V′||V′||V'|es máximo Por lo tanto, se debe eliminar el menor número de vértices de...
Por isomorfismo gráfico, sabemos que dos gráficos A y B son isomorfos si hay una matriz de permutación P tal que A = P× B ×PAGS- 1UNA=PAGS×si×PAGS-1A = P \times B \times P^{-1} Entonces, para resolver el problema, si dos gráficos son isomorfos, necesitamos encontrar una matriz de permutación de...
Deje que sea un lenguaje regular. Pruebalo:LLL L+−−={w:∃u|u|=2|w|∧wu∈L}L+−−={w:∃u|u|=2|w|∧wu∈L}L_{+--}=\left\{w: \exists_u |u|=2|w| \wedge wu\in L\right\} L++−={w:∃u2|u|=|w|∧wu∈L}L++−={w:∃u2|u|=|w|∧wu∈L}L_{++-}=\left\{w: \exists_u 2|u|=|w| \wedge wu\in L \right\}...
¿Qué modelo teórico paralelo es más cercano al modelo de programación CUDA / OpenCL? Por ejemplo, se ajusta en cierto grado al modelo genérico de Máquina de acceso aleatorio paralelo (PRAM). Sin embargo, eso es demasiado genérico, ya que hace abstracción de varias latencias de acceso a memoria y...
Estoy tratando de entender (intuitivamente) los dos términos "capacidad de decisión" y "capacidad de verificación". He realizado una cantidad razonable de búsqueda y revisión de los diversos textos que puedo tener en mis manos. Sin embargo, su comprensión intuitiva parece escapar de mí,...
Considere el siguiente problema del universo . El problema del universo. Dado un conjunto finitoΣΣ\Sigma para una clase de idiomas y un autómata que acepta el idioma LLL, decidir si L=Σ∗L=Σ∗L=\Sigma^*. En [1], se afirma y prueba que el problema del universo es indecidible para una clase...
Estas diapositivas de la conferencia bosquejan una prueba de queL = {unanortesinorte∣ n ≥ 0 } ∪ {unanortesi2 n| N ≥ 0 }L={unanortesinorte∣norte≥0 0}∪{unanortesi2norte∣norte≥0 0}L=\{ a^n b^n \mid n \geq 0 \} \cup \{ a^n b^{2n} \mid n \geq 0 \} no puede ser aceptado por ningún autómata determinista...
Defina la equivalencia de Nerode sobre un idioma como iff para cada .L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^{*}u∼Lvu∼Lvu \sim_L vuw∈L⇔vw∈Luw∈L⇔vw∈Luw \in L \Leftrightarrow vw \in Lw∈Σ∗w∈Σ∗w \in \Sigma^{*} La equivalencia de Nerode tiene finitamente muchas clases de equivalencia precisamente cuando puede ser...
Dado un gráfico , encuentre vértices , cuya eliminación daría como resultado un gráfico con el componente más grande más pequeño. G = ( V, E)sol=(V,mi)G = (V, E)kkk{v∗1,…,v∗k}{v1∗,...,vk∗}\{v^*_1,\dots,v^*_k\} Supongo que para grandesy grande el problema es difícil (NP-hard), pero estoy interesado...
Esto está algo relacionado con otra pregunta que hice , pero siento que es lo suficientemente diferente como para justificar su propia pregunta. Estoy investigando donde estoy tratando de encontrar la estructura de los complementos de una determinada clase de lenguajes finitos. Es fácil para mí...
Al calcular la dependencia del tiempo de ejecución de la entrada, ¿qué cálculos se consideran? Por ejemplo, creo que aprendí que la indexación de matrices y las declaraciones de asignación no se cuentan, ¿por qué es
Actualmente estoy trabajando en mi tesis de maestría, y se trata de la agrupación en gráficos. Estoy trabajando con una idea usando hormigas para resolver el problema. Actualmente estoy trabajando en la implementación y me pregunto exactamente qué tan bien representar los bordes del gráfico. Cada...
Dado un conjunto ordenado de enteros, quiero encontrar el número de pares que suman 000 . Por ejemplo, dado { - 3 , - 2 , 0 , 2 , 3 , 4 }{−3,−2,0,2,3,4}\{-3,-2,0,2,3,4\} , el número de pares suma a cero es 222 . Sea norteNN el número de elementos en la matriz de entrada. Si uso la búsqueda binaria...
Según CLRS, los algoritmos de Prim se implementan a continuación: MST-PRIM(G,w,r)MST-PRIM(G,w,r)\mathtt{\text{MST-PRIM}}(G,w,r) para cada dou∈V[G]u∈V[G]u \in V[G] key[u]←∞key[u]←∞\mathtt{\text{key}}[u] \leftarrow \infty π[u]←NILπ[u]←NIL\pi[u] \leftarrow \mathtt{\text{NIL}}...
Soy un Ph.D. estudiante de ciencias de la computación, y estoy tratando de entender algunos documentos clásicos de teoría de juegos, como los de Nash, Kalai y Smorodinsky. Pero me resulta difícil entender las partes matemáticas. Parece que estos documentos fueron escritos por matemáticos, para...
Estoy buscando un algoritmo que proporcione una cadena canónica para un gráfico de color dado. Es decir. un algoritmo que devuelve una cadena para un gráfico, de modo que dos gráficos obtienen la misma cadena si y solo si son isomórficos. En particular, estoy buscando un algoritmo simple que sea...
Varios algoritmos populares de aprendizaje automático, como la regresión logística o las redes neuronales, requieren que sus entradas sean numéricas. Lo que me interesa es cómo hacer que estos algoritmos funcionen en entradas no numéricas (como cadenas cortas). Como ejemplo, supongamos que...