Ciencias de la Computación

Entiendo que un número de Iglesia parece a (... n veces ...) . Esto no significa nada más que "la función aplicados veces a la función ". λ s . λ z . s sCnortecnc_nλ s . λ z. sλs.λz.s\lambda s. \lambda z. ss n zszszs\;zsssnortennzzz Una posible definición de …

10 lambda-calculus  church-numerals 

Considere un modelo CSP donde cambiar el valor de una variable particular es costoso. ¿Existe algún trabajo en el que la función objetivo también considere el número de cambios en el valor de la variable durante el proceso de búsqueda? Un ejemplo: la variable costosa de cambiar puede estar bajo …

10 algorithms  constraint-programming 

En un trazador de rayos Whitted, cada intersección de objeto de rayo genera un rayo transmitido (si el objeto era translúcido), un rayo reflejado y un rayo de sombra. El rayo de sombra contribuye al componente de iluminación directa. Pero, ¿qué sucede si el rayo de sombra se cruza con …

10 graphics 

En la teoría de la codificación, "qué tan bueno es un código" significa cuántos errores de canal pueden corregirse, o mejor dicho, el nivel de ruido máximo con el que puede lidiar el código. Para obtener mejores códigos, los códigos están diseñados con un alfabeto grande (en lugar de uno …

10 information-theory  coding-theory 

Dado un entero y un conjunto de tripletes de enteros distintos encuentre un algoritmo que encuentre una permutación del conjunto tal que o determina correctamente que no existe tal permutación. Menos formalmente, queremos reordenar los números del 1 al ; cada Triple en indica que debe aparecer antes de en …

10 algorithms  optimization  scheduling 

Tengo el siguiente problema algorítmico: Determine el espacio Turing complejidad de reconocer cadenas de ADN que son palíndromos de Watson-Crick. Los palíndromos de Watson-Crick son cuerdas cuyo complemento invertido es la cuerda original. El complemento se define en forma de letra, inspirado en el ADN: A es el complemento de …

10 algorithms  algorithm-analysis  turing-machines  space-complexity 

Soy curioso. He estado trabajando en este tipo de datos en OCaml : type 'a exptree = | Epsilon | Delta of 'a exptree * 'a exptree | Omicron of 'a | Iota of 'a exptree exptree Que se puede manipular utilizando funciones recursivas escritas explícitamente (una característica que se …

10 logic  programming-languages  coq  inductive-datatypes 

Estoy tratando de entender qué está mal con la siguiente prueba de la siguiente recurrencia T(n)=2T(⌊n2⌋)+nT(n)=2T(⌊n2⌋)+n T(n) = 2\,T\!\left(\left\lfloor\frac{n}{2}\right\rfloor\right)+n T(n)≤2(c⌊n2⌋)+n≤cn+n=n(c+1)=O(n)T(n)≤2(c⌊n2⌋)+n≤cn+n=n(c+1)=O(n) T(n) \leq 2\left(c\left\lfloor\frac{n}{2}\right\rfloor\right)+n \leq cn+n = n(c+1) =O(n) La documentación dice que está mal debido a la hipótesis inductiva de que T(n)≤cnT(n)≤cn T(n) \leq cn ¿Qué me estoy perdiendo?

10 algorithms  landau-notation  asymptotics  recurrence-relation 

Bien, aquí hay una pregunta de una prueba anterior en mi clase de Teoría de la computación: Un estado inútil en una TM es uno que nunca se ingresa en ninguna cadena de entrada. Deje que Demuestre que es indecidible.U S E L E S S T MUSELESSTM={⟨M,q⟩∣q is a …

10 computability  undecidability  formal-methods  turing-machines 

Deje el conjunto de terminal y el conjunto de símbolos no terminales de algunos gramática libre de contexto .N GΣΣ\SigmanortenorteNsolsolG Digamos que tengo una cadena tal que donde y son las formas enunciativas de . x a y ∈ S ( G ) x , y ∈ ( Σ ∪ …

10 algorithms  context-free  formal-grammars  compilers 

La programación de dos niveles es útil cuando un sistema ejecuta más procesos de los que caben en la RAM: un programador de nivel inferior cambia entre procesos residentes y un programador de nivel superior intercambia grupos de procesos dentro y fuera. No encuentro otra mención de la programación de …

10 operating-systems  process-scheduling 

En las redes de computadoras y el diseño de computadoras de clúster de alto rendimiento, la topología de red se refiere al diseño de la forma en que los nodos están conectados por enlaces para formar una red de comunicación. Las topologías de red comunes incluyen la malla, el toro, …

10 computer-networks  network-topology 

En el problema de coincidencia estable , se afirma que pueden existir casos en los que la lista de hombres puede contentarse con sus decisiones, pero la lista de f no puede cuando el algoritmo se ejecuta con las propuestas de los hombres.metrometromFFf Por lo que leo, un partido inestable …

10 combinatorics 

Originalmente en matemáticas . SE pero sin respuesta allí. Considere el siguiente algoritmo. u := 0 v := n+1; while ( (u + 1) is not equal to v) do x := (u + v) / 2; if ( x * x <= n) u := x; else v := …

10 algorithms  loop-invariants  correctness-proof 

Tal como está actualmente, esta pregunta no es adecuada para nuestro formato de preguntas y respuestas. Esperamos que las respuestas estén respaldadas por hechos, referencias o experiencia, pero esta pregunta probablemente solicitará debate, argumentos, encuestas o discusión extendida. Si cree que esta pregunta se puede mejorar y posiblemente volver a …

10 education