Ciencias de la Computación

Tengo una tarea para la cual me he estado golpeando la cabeza durante algún tiempo, y agradecería cualquier pista. Se trata de elegir un problema conocido, cuya integridad NP está probada, y construir una reducción de ese problema al siguiente problema que llamaré DGD (diagnóstico de gráfico dirigido). Problema Una …

11 complexity-theory  np-hard  graph-theory 

Este es el precursor de mi otra pregunta más avanzada sobre la inspección de la pila. Stack Inspection es un mecanismo de seguridad introducido en la JVM para manejar el código en ejecución que se origina en ubicaciones que tienen diferentes niveles de confianza. Esta pregunta tiene como objetivo encontrar …

11 terminology  security  stack-inspection 

El algoritmo simplex camina con avidez por las esquinas de un politopo para encontrar la solución óptima al problema de programación lineal. Como resultado, la respuesta es siempre una esquina del politopo. Los métodos de punto interior recorren el interior del politopo. Como resultado, cuando un plano completo del politopo …

11 algorithms  optimization  linear-programming 

Actualmente estoy aprendiendo el cálculo lambda y me preguntaba sobre los siguientes dos tipos diferentes de escribir un término lambda. λxy.xyλxy.xy\lambda xy.xy λx.λy.xyλx.λy.xy\lambda x.\lambda y.xy ¿Hay alguna diferencia en el significado o la forma en que aplica la reducción beta, o esas son solo dos formas de expresar lo mismo? …

11 logic  lambda-calculus 

Si entiendo correctamente, NFA tiene el mismo poder expresivo que las expresiones regulares. A menudo, leer expresiones regulares equivalentes de NFA es fácil: traduce ciclos a estrellas, uniones como alternativas, etc. Pero qué hacer en este caso: [ fuente ] Los ciclos superpuestos hacen que sea difícil ver qué acepta …

11 algorithms  formal-languages  finite-automata  regular-expressions 

Tengo el siguiente idioma { 0yo1j2k∣ 0 ≤ i ≤ j ≤ k }{0i1j2k∣0≤i≤j≤k}\qquad \{0^i 1^j 2^k \mid 0 \leq i \leq j \leq k\} Estoy tratando de determinar en qué clase de idioma Chomsky encaja. Puedo ver cómo se podría hacer usando una gramática sensible al contexto, así que …

11 formal-languages  context-free  formal-grammars  pumping-lemma 

Esto podría estar al borde de la ciencia cognitiva computacional, pero tengo curiosidad sobre cómo el proceso seguido por los algoritmos de búsqueda de caminos comunes (como A * ) se compara con el proceso que los humanos usan en diferentes situaciones de búsqueda de caminos (dada la misma información). …

11 algorithms  graphs  artificial-intelligence 

Sistema de reescritura es un conjunto de reglas en forma de . Si aplicamos esa regla a una cadena , reemplazamos cualquier subcadena en con una subcadena y viceversa.A↔BA↔BA \leftrightarrow BwwwAAAwwwBBB Dada una cadena de inicio podemos derivar en el sistema con las siguientes reglas:AAABBAAABBAAABBBAABBAABBAAB A↔BAA↔BAA \leftrightarrow BA BABA↔AABBBABA↔AABBBABA \leftrightarrow …

11 computability  term-rewriting 

Un dispensador de bebidas requiere que el usuario inserte una moneda ( ), luego presione uno de los tres botones: solicita una taza de té , lo mismo para el café , y solicita un reembolso (es decir, la máquina devuelve la moneda: ). Este dispensador puede modelarse mediante el …

11 logic  concurrency  modelling  process-algebras  ccs 

¿Cómo se puede decidir si ππ\pi tiene alguna secuencia de dígitos? me inspiró a preguntar si la siguiente variación de aspecto inocente es computable: f(n)={10if n¯ occurs in the decimal representation of πotherwisef(n)={1if n¯ occurs in the decimal representation of π0otherwisef(n) = \begin{cases} 1 & \text{if \(\bar n\) occurs in …

11 computability  real-numbers 

Deje , L_2 , L_3 , \ dots ser una secuencia infinita de lenguajes libres de contexto, cada uno de los cuales está definido sobre un alfabeto común Σ . Deje que L sea el in fi nito de unión L_1 , L_2 , L_3 , \ dots ; es …

11 formal-languages  context-free  closure-properties 

Considere un sistema de archivos dirigido a algunos dispositivos integrados que hace poco más que almacenar archivos en una estructura de directorios jerárquica. Este sistema de archivos carece de muchas de las operaciones a las que puede estar acostumbrado en sistemas como Unix y Windows (por ejemplo, sus permisos de …

11 operating-systems  filesystems 

He observado que hay dos tipos diferentes de estados en la predicción de ramas. En la ejecución superescalar, donde la predicción de ramificación es muy importante, y se debe principalmente a la demora de ejecución en lugar de la demora de recuperación. En la canalización de instrucciones, donde la recuperación …

11 cpu-pipelines  computer-architecture 

¿Cuál de las siguientes afirmaciones es correcta? existen condiciones suficientes y necesarias sobre la regularidad de un idioma pero aún no se han descubierto. No hay una condición suficiente y necesaria sobre la regularidad de un idioma. El lema de bombeo es una condición necesaria para la no regularidad de …

11 formal-languages  regular-languages 

Considerando este pseudocódigo de un bubbleort: FOR i := 0 TO arraylength(list) STEP 1 switched := false FOR j := 0 TO arraylength(list)-(i+1) STEP 1 IF list[j] > list[j + 1] THEN switch(list,j,j+1) switched := true ENDIF NEXT IF switched = false THEN break ENDIF NEXT ¿Cuáles serían las ideas …

11 algorithms  time-complexity  sorting  average-case