Ciencias de la Computación

Inicialmente, matroides se introdujeron generalizar las nociones de independencia lineal de una colección de subconjuntos sobre algún motivo previsto Me . Ciertos problemas que contienen esta estructura permiten que los codiciosos algoritmos encuentren soluciones óptimas. El concepto de greedoids se introdujo más tarde para generalizar esta estructura para capturar más …

23 algorithms  optimization  combinatorics  greedy-algorithms  matroids 

Estoy buscando un cálculo simple que admita el razonamiento sobre la reflexión , a saber, la introspección y la manipulación de programas en ejecución. ¿Existe una extensión de cálculo tipo que permita convertir los términos λ en una forma que pueda ser manipulada sintácticamente y luego evaluada?λλ\lambdaλλ\lambda Me imagino que …

23 logic  lambda-calculus  semantics  reflection 

EPAL, el lenguaje de incluso palíndromos, se define como el lenguaje generado por la siguiente gramática libre de contexto inequívoca: S→ a aS→aaS \rightarrow a a S→ b bS→bbS \rightarrow b b S→ a SunaS→aSaS \rightarrow a S a S→ b SsiS→bSbS \rightarrow b S b EPAL es la "ruina" …

23 formal-languages  formal-grammars  parsers 

Por aquí , Dave Clarke propuso que para comparar el crecimiento asintótico, debe trazar las funciones disponibles. Como científico de la computación teóricamente inclinado, llamo (ed) a este vudú ya que una trama nunca es una prueba. Pensándolo bien, tengo que estar de acuerdo en que este es un enfoque …

23 asymptotics  didactics 

Esta pregunta se migró de Intercambio teórico de apilamiento de informática porque se puede responder en Intercambio apilado de informática. Migrado hace 7 años . Este problema está tomado de interviewstreet.com Se nos da una matriz de enteros Y={y1,...,yn}Y={y1,...,yn}Y=\{y_1,...,y_n\} que representa nnn segmentos de línea de modo que los puntos …

23 algorithms  probability-theory 

Esta pregunta se migró de Intercambio teórico de apilamiento de informática porque se puede responder en Intercambio apilado de informática. Migrado hace 7 años . "Alan Turing demostró en 1936 que no puede existir un algoritmo general para resolver el problema de detención para todos los posibles pares de entrada …

23 computability  formal-methods  halting-problem  software-verification 

Esta pregunta se migró de Mathematics Stack Exchange porque se puede responder en Computer Science Stack Exchange. Migrado hace 3 años . He estado tratando de encontrar un algoritmo para encontrar la cobertura máxima del ciclo de vértices de un gráfico dirigido , es decir, un conjunto de ciclos disjuntos …

23 graph-theory  algorithms 

Mientras leía un libro, me encontré con un párrafo que figura a continuación: Para sincronizar todas las operaciones de una computadora, se utiliza un reloj del sistema, un pequeño cristal de cuarzo ubicado en la placa base. El reloj del sistema envía una señal regularmente a todos los demás componentes …

23 computer-architecture  clocks 

Esta pregunta se migró de Intercambio teórico de apilamiento de informática porque se puede responder en Intercambio apilado de informática. Migrado hace 7 años . En este artículo de Wikipedia sobre el problema de la camarilla en la teoría de grafos , establece al principio que el problema de encontrar …

23 complexity-theory  graph-theory  np-complete  complexity-classes 

Como dice el título, pasé un par de horas el fin de semana pasado tratando de aclarar mi mente sobre la clase de idiomas que coinciden con las expresiones regulares compatibles con Perl, excluyendo cualquier operador coincidente que permita ejecutar código arbitrario dentro del patrón . Si no sabe qué …

23 formal-languages  regular-expressions 

Estoy buscando algunas pistas en una pregunta que me hizo mi instructor. Así que descubrí que este problema de decisión es :NP-completeNP-complete\sf{NP\text{-}complete} En un gráfico , ¿hay un árbol de expansión en G que contenga un conjunto exacto de S = { x 1 , x 2 , ... , …

23 complexity-theory  graphs  np-complete 

En la clasificación por radix primero ordenamos por el dígito menos significativo, luego ordenamos por el segundo dígito menos significativo y así sucesivamente, y terminamos con una lista ordenada. Ahora, si tenemos una lista de nnn números, necesitamos lognlog⁡n\log n bits para distinguir entre esos números. Así número de radix …

23 algorithms  sorting 

¿Cuándo se usó Big O por primera vez en informática y cuándo se convirtió en estándar? La página de Wikipedia sobre esto cita a Knuth, Big Omicron y Big Omega y Big Theta , SIGACT de abril a junio de 1976, pero el comienzo de ese artículo dice La mayoría …

22 asymptotics  history 

Sé que, en los lenguajes de programación imperativos, un bucle while-do es suficiente como una construcción de flujo de control para completar el lenguaje Turing (en lo que respecta al flujo de control, por supuesto, también necesitamos memoria ilimitada y ciertos operadores ...) . La esencia de mi pregunta es: …

22 programming-languages  turing-completeness  loops  imperative-programming 

Me estoy preparando para una entrevista de codificación y realmente no puedo encontrar la forma más eficiente de resolver este problema. Digamos que tenemos dos matrices que consisten en números que no están ordenados. La matriz 2 contiene un número que la matriz 1 no tiene. Ambas matrices tienen números …

22 algorithms  search-algorithms  arrays  efficiency