Ciencias de la Computación

Estoy leyendo el libro de Sistemas Operativos de Galvin. Galvin explica qué son los modos kernel y de usuario, privilegios de instrucción otorgados para ambos modos y también sobre el modo-bit. Pero me interesa saber cómo cambia el modo de uno a otro. Básicamente quiero resolver la siguiente pregunta: Una …

8 computer-architecture  operating-systems  memory-management  cpu-cache  memory-access 

Dejar LLLser un lenguaje normal Es el idiomaL2={y:∃x,z s.t.|x|=|z| and xyz∈L}L2={y:∃x,z s.t.|x|=|z| and xyz∈L}L_2 = \{y : \exists x,z\ \ s.t.|x|=|z|\ and\ xyz \in L \} ¿regular? Sé que es muy similar a la pregunta aquí , pero el problema es que no es una simple subcadena de una palabra …

8 formal-languages  regular-languages  closure-properties 

Sudoku es un rompecabezas bien conocido que se sabe que es NP completo y es un caso especial de un problema más general conocido como cuadrados latinos. Una solución correcta del cuadrado consiste en llenar cada fila y cada columna con números del al con la condición de que cada …

8 complexity-theory  np-complete 

Soy muy nuevo en las redes neuronales y he estado tratando de resolver algunas cosas. Entonces, supongamos que se encuentra con una red neuronal que tiene 100 entradas, una capa oculta con 200 nodos y 32 salidas. Digamos también que usted, el "descubridor" de esta instancia particular de una red …

8 machine-learning  neural-networks 

Dejar A = { L ∣ Les un contador y L¯ también es un contador }A={L∣Lis one-counter and L¯ is also one-counter}A= \{L \mid L \;\text{is one-counter and \(\bar{L}\) is also one-counter} \} Claramente,Un contador determinista ⊆ ADeterministic one-counter⊆A\text{Deterministic one-counter} \subseteq A ¿Es el caso que ?A = contador deterministaA=Deterministic …

8 formal-languages  automata  closure-properties  pushdown-automata 

Estoy buscando aplicaciones prácticas de máquinas de estado finito como máquinas DFA, NFA, Moore, Mealy ... Sería útil si alguien señalara ejemplos del kernel de Linux. Sé que DFA se usa en la coincidencia de cadenas como el algoritmo KMP. ¿Cuál es el significado de las máquinas NFA, Moore y …

8 reference-request  automata  finite-automata 

Tengo algunas dificultades para comprender el algoritmo distribuido para el árbol 6: colorear en O (Iniciar sesión∗n )O(Iniciar sesión∗⁡norte)O(\log^*n) hora. La descripción completa se puede encontrar en el siguiente artículo: Simetría paralela : ruptura en gráficos dispersos. Goldberg, Plotkin, Shannon . En resumen, la idea es ... A partir de …

8 algorithms  runtime-analysis  distributed-systems  colorings 

Entrada: Un conjunto de arrays (de números). Los elementos dentro de cada matriz están ordenados, pero el conjunto de matrices no está necesariamente ordenado. Las matrices no son necesariamente del mismo tamaño. El número total de elementos es .ℓℓ\ellAiAiA_innn Salida: El ésimo más pequeño elemento de todos los elementos en …

8 algorithms  algorithm-analysis 

Teóricamente hablando, ¿es posible tener un compilador Lisp / Scheme que pueda producir código que pueda competir con C compilado, digamos dentro de un margen de 15-25%? En mis pruebas, descubrí que la cosecha actual de compiladores (Bigloo, SBCL, Gambit, Chicken, etc.) es 20-50 veces más lenta que el código …

8 optimization  compilers 

Considere el siguiente problema: Deje ser una constante. Se nos da una matriz -ary de y 's. Deje .kkkkkkUNAre1× … ×rekAd1×…×dkA_{d_1\times\ldots\times d_k}0 000111norte=∏ki = 1reyoN=∏i=1kdiN = \prod_{i=1}^k d_i Queremos crear una estructura de datos preprocesando para realizar el siguiente tipo de operaciones de consulta:UNAAA Dadas las coordenadas de un -ary …

8 reference-request  data-structures  space-complexity 

Realmente me gustaría su ayuda para probar o refutar la siguiente afirmación: . En la teoría de la complejidad computacional, BPP, que significa tiempo polinómico probabilístico de error limitado, es la clase de problemas de decisión que puede resolver una máquina de Turing probabilística en tiempo polinómico, con una probabilidad …

8 complexity-theory  time-complexity  probabilistic-algorithms 

Considere el siguiente problema: Deja que un -wheel puede definir como una lista ligada circularmente índice de números enteros. Por ejemplo…kkkkkk {3, 4, 9, -1, 6} ... es un 5 ruedas con 3 en la posición 0, 4 en la posición 1, y así sucesivamente. Una rueda soporta la operación …

8 algorithms 

Dada una matriz entera (tamaño máximo 50000), tengo que encontrar la mínima y máxima de tal manera que para alguna , con .XXXX=ap⊕ap+1⊕⋯⊕aqX=ap⊕ap+1⊕⋯⊕aqX = a_p \oplus a_{p+1} \oplus \dots \oplus a_qpppqqqp≤qp≤qp \leq q He intentado este proceso: para todo . Lo precalculé en y luego el valor de para algunos …

8 algorithms  algorithm-analysis  performance  binary-arithmetic  arithmetic 

Estoy particularmente interesado en soluciones al problema de que la búsqueda encapsulada puede depender del orden de evaluación. De acuerdo con [1], la búsqueda encapsulada en PAKCS depende del orden de evaluación, mientras que en MCC no, pero su uso requiere conocimiento de la implementación del compilador y no sigue …

8 reference-request  functional-programming  nondeterminism  logic-programming 

El problema de 3 colores puede probarse NP-Complete haciendo uso de la reducción de 3SAT Graph Coloring (de 3SAT) . Como consecuencia, el problema de 4 colores es NP-Completo usando la reducción de 3 colores: Reducción de la instancia de 3 colores: agregando un vértice adicional al gráfico del problema …

8 complexity-theory  graph-theory  terminology  np-complete