Estoy generando DFA aleatorios para probar un algoritmo de reducción de DFA en ellos. El algoritmo que estoy usando en este momento es el siguiente: para cada estado , para cada símbolo en el alfabeto , agregue a algún estado aleatorio. Cada estado tiene la misma probabilidad de convertirse en un...
Para mi título de CS, he tenido la mayoría de los antecedentes matemáticos "estándar": Cálculo: diferencial, integral, números complejos Álgebra: más o menos los conceptos hasta los campos. Teoría de números: XGCD y cosas relacionadas, principalmente para criptografía. Álgebra lineal: hasta...
Estoy tratando de entender los sistemas de prueba interactivos y probé el siguiente problema como ejercicio. Sabemos que e I P = P S P A C E , entonces, ¿ tenemos sistemas de prueba interactivos (fáciles de entender) para P H ?PAGSH⊆ PSPAGSA CmiPH⊆PSPACEPH \subseteq PSPACEyoPAGS= PSPAGSA...
Estoy buscando una gramática sensible al contexto que describa el siguiente lenguaje: .L = { w w ∣ w ∈ { a , b }∗, | w | ≥ 1 }L={ww∣w∈{una,si}∗,El |wEl |≥1}L = \{ ww \mid w ∈ \{a,b\}^{\ast}, |w| ≥ 1\} Tengo problemas con el hecho de que no se permiten reglas como y, por lo tanto, no puedo...
Un equipo ha decidido que cada mañana alguien debería traer cruasanes para todos. No debería ser la misma persona cada vez, por lo que debería haber un sistema para determinar a quién le toca el turno. El propósito de esta pregunta es determinar un algoritmo para decidir a quién le tocará traer...
He implementado una red neuronal (usando CUDA) con 2 capas. (2 neuronas por capa). Estoy tratando de hacer que aprenda 2 funciones polinómicas cuadráticas simples usando la propagación hacia atrás . Pero en lugar de converger, es divergente (la salida se está convirtiendo en infinito) Aquí hay...
¿Por qué los pesos iniciales de las redes neuronales se inicializan como números aleatorios? Había leído en alguna parte que esto se hace para "romper la simetría" y esto hace que la red neuronal aprenda más rápido. ¿Cómo la ruptura de la simetría hace que aprenda más rápido? ¿No sería una mejor...
Me gustaría probar un punto aleatorio uniforme en un polígono ... Si muestra una gran cantidad, es probable que se dividan en dos regiones si tienen la misma área. Esto sería bastante simple si fuera un cuadrado, ya que tomaría dos números aleatorios en [0,1] como mis coordenadas. La forma que...
Al insertar un elemento en un árbol de despliegue, las rotaciones se realizan en pares, ya sea en zig-zag o en zig-zig. Cuando hay que realizar un número impar de rotaciones, uno podría hacer la rotación adicional que comienza en la hoja o guardar la rotación adicional y hacerlo en la raíz....
Dado un programa que consta de variables e instrucciones que modifican estas variables, y una primitiva de sincronización (un monitor, mutex, Java sincronizado o bloqueo de C #), ¿es posible demostrar que dicho programa es seguro para subprocesos? ¿Existe incluso un modelo formal para describir...
Como dice la pregunta, ¿cómo demostramos que ?NTIME(f(n))⊆DSPACE(f(n))NTIME(f(n))⊆DSPACE(f(n))\textbf{NTIME}(f(n)) \subseteq \textbf{DSPACE}(f(n)) ¿Alguien puede señalarme una prueba o resumirla aquí?
¿Es posible usar tipos dependientes en la implementación existente de Typed Racket ? (es decir, ¿existen en él?) ¿Es razonablemente posible implementar un sistema de tipos dependientes usando Typed
Yo uso Mathematica para resolver problemas. Tengo una pregunta sobre la matriz inversa. si solo quiero un elemento de la matriz inversa, ¿existe un algoritmo más rápido que el uso Inversepara calcular la matriz inversa completa y extraer el elemento que
He estado aprendiendo sobre redes neuronales y SVM. Los tutoriales que he leído han enfatizado la importancia de la kernelización para SVM. Sin una función de kernel, los SVM son solo un clasificador lineal. Con la kernelización, los SVM también pueden incorporar características no lineales, lo que...
Estoy buscando un documento fácil e introductorio sobre la prueba del Teorema de Courcelle . También estoy interesado en su conexión con la complejidad parametrizada con respecto al ancho del árbol . Solo soy un principiante en este campo. ¿Alguna
Se sabe que las lógicas temporales LTL, CTL, CTL * se pueden traducir / incrustar en el cálculo . En otras palabras, el cálculo (modal) subsume estas lógicas (es decir, es más expresivo).μμ\muμμ\mu ¿Podría por favor explicarme / señalarme artículos / libros que detallen este asunto? En particular,...
Me parece extraño que el TSP niegue la posibilidad de ciudades repetidas. El objetivo de este vendedor ambulante es ir lo más rápido posible y visitar todas las ciudades, ¿verdad? Entonces, ¿qué pasa si es más rápido viajar por una ciudad en la que ya has
Uno de mis mayores tuvo una entrevista de trabajo y le preguntaron por qué se llama dinámico. No pudo responder y, después de darse por vencido, el entrevistador dijo que no había nada dinámico al respecto, simplemente se llama así. Eso me cuesta creerlo. ¿Se refiere al hecho de que los...
Antecedentes. Estoy escribiendo un código para la calificación semiautomática, utilizando la calificación de pares como parte del proceso de calificación. Los estudiantes reciben pares de ensayos a la vez, y los estudiantes tienen un control deslizante para elegir cuál es mejor y cuánto mejor. por...
Dado cualquier lenguaje regular infinito , ¿cómo puedo probar que puede dividirse en 2 idiomas regulares infinitos disjuntos ? Esto es: , , y y son ambos tanto infinito y regular.LLLLLLL1,L2L1,L2L_1, L_2L1∪L2=LL1∪L2=LL_1 \cup L_2 = LL1∩L2=∅L1∩L2=∅L_1 \cap L_2 = \varnothingL1L1L_1L2L2L_2 Hasta...