Ciencias de la Computación

Tengo un tetraedro un poliedro p . t está restringido de tal manera que siempre comparte todos sus vértices con p . Quiero determinar si t se encuentra dentro de p .ttt pagpagptttpagpagpttt pagpagp Me gustaría agregar un detalle al problema en caso de que pueda contribuir a la solución: …

15 algorithms  computational-geometry  topology 

Sé que se puede demostrar que PROLOG es Turing completo mediante la construcción de un programa que simula una máquina de Turing como esta: turing(Tape0, Tape) :- perform(q0, [], Ls, Tape0, Rs), reverse(Ls, Ls1), append(Ls1, Rs, Tape). perform(qf, Ls, Ls, Rs, Rs) :- !. perform(Q0, Ls0, Ls, Rs0, Rs) :- …

15 programming-languages  turing-completeness  logic-programming  prolog 

Estoy tratando de construir todas las matrices equivalentes (o n × n si lo desea) con los elementos 0 o 1. La operación que da matrices equivalentes es el intercambio simultáneo de la fila i y j Y la columna i y j. p.ej. para 1 ↔ 2 ( 0 …

15 algorithms  combinatorics 

Estoy tratando de estudiar para un examen y me di cuenta de que estoy confundido acerca de cómo funcionan el TLB y el caché de datos. Entiendo que el TLB es esencialmente un caché de las direcciones físicas utilizadas más recientemente. Sin embargo, estaba mirando un diagrama en mi libro …

15 computer-architecture  cpu-cache  virtual-memory 

library(ggplot2) compress <- function(str) { length(memCompress(paste(rep("a", str), collapse=""), type="bzip2")) / nchar(paste(rep("a", str), collapse="")) } cr <- data.frame(i = 1:10000, r = sapply(1:10000, compress)) ggplot(cr[cr$i>=5000 & cr$i<=10000,], aes(x=i, y=r)) + geom_line() La relación de compresión comienza en 37 para "a" y alcanza el punto de equilibrio en 39 "a" s (relación …

15 data-compression 

Quiero comenzar diciendo que esta NO es una pregunta de tarea. Estoy leyendo Introducción a los algoritmos, el famoso texto CLRS para ser un mejor programador. Estoy tratando de resolver los problemas y ejercicios dados en el libro por mí mismo. Estoy tratando de resolver el Ejercicio 10.1-2 del Capítulo …

15 data-structures  arrays  stacks 

Tenemos un DAG Tenemos una función en los nodos (en términos generales, numeramos los nodos). Nos gustaría crear un nuevo gráfico dirigido con estas reglas:F:V→NF:V→NF\colon V\to \mathbb N Solo los nodos con el mismo número pueden contraerse en el mismo nodo nuevo. . (Sin embargo, .)F(x)≠F(y)⇒x′≠y′F(x)≠F(y)⇒x′≠y′F(x) \neq F(y) \Rightarrow x' …

15 algorithms  graphs  np-complete  reductions 

Recientemente se hizo una pregunta interesante y posteriormente se eliminó. Para un lenguaje normal , su complejidad DFA es el tamaño del DFA mínimo que lo acepta, y su complejidad NFA es el tamaño del NFA mínimo que lo acepta. Es bien sabido que existe una separación exponencial entre las …

15 regular-languages  finite-automata 

¿Cuáles son algunos ejemplos de problemas de decisión difíciles que se pueden resolver en tiempo polinómico? Estoy buscando problemas para los cuales el algoritmo óptimo es "lento", o problemas para los cuales el algoritmo más rápido conocido es "lento". Aquí hay dos ejemplos: Reconocimiento de gráficas perfectas. En su artículo …

15 algorithms  complexity-theory  reference-request 

En el documento seminal de sistemas distribuidos The Part Time Parliament (el protocolo de Paxos), Leslie Lamport nombra legisladores ficticios que participan en el protocolo del parlamento de Paxon. Según este escrito , señala que: Les di a los legisladores griegos los nombres de los informáticos que trabajan en el …

15 distributed-systems  history 

Wikipedia dice : Las redes completas aparecen en muchas aplicaciones en matemáticas y ciencias de la computación. ¿Se refiere solo al hecho de que el álgebra booleana estándar utilizada en el cálculo es una red completa? ¿Hay algo que ganemos al trabajar en el nivel abstracto de celosías en lugar …

15 lattices  order-theory 

Estoy tratando de encontrar un método eficiente para detectar si un determinado gráfico G tiene dos árboles de expansión mínima diferentes. También estoy tratando de encontrar un método para verificar si tiene 3 árboles de expansión mínima diferentes. La solución ingenua que he pensado es ejecutar el algoritmo de Kruskal …

15 algorithms  graph-theory  graphs  spanning-trees 

Entonces, básicamente, L satisface las condiciones del lema de bombeo para los CFL pero no es un CFL (eso es posible de acuerdo con la definición del lema).

15 formal-languages  context-free  pumping-lemma 

Un Hidoku es una cuadrícula con algunos enteros precompletados de 1 a n 2 . El objetivo es encontrar un camino de enteros sucesivos (de 1 an×nn×nn \times nn2n2n^2 ) en la cuadrícula. Más concretamente, cada celda de la cuadrícula debe contener un número entero diferente de 1 a n …

15 complexity-theory  reductions  np-hard 

Después de aprender a construir una matriz de sufijos en complejidad O(N)O(N)O(N) , estoy interesado en descubrir las aplicaciones de las matrices de sufijos. Una de ellas es encontrar la subcadena común más larga entre dos cadenas, en el tiempo O(N)O(N)O(N) . Encontré en internet el siguiente algoritmo: fusionar las …

15 algorithms  suffix-array