Ciencias de la Computación

La función de conteo primo , degradada , se define como el número de números primos menores o iguales que .π(x)π(x)\pi(x)xxx Podemos definir un problema de decisión desde siguiente manera:π(x)π(x)\pi(x) Dados dos números y , escritos en binario, decida si .xxxnnnπ(x)=nπ(x)=n\pi(x) = n Un amigo y yo estábamos hablando sobre …

13 complexity-theory  primes 

Estoy leyendo un libro sobre un tema de ciencias de la computación, pero me falta algo de los requisitos previos. Normalmente, cuando me encuentro con términos que no entiendo, simplemente los busco, pero para Universal Search simplemente no he podido encontrar una explicación adecuada para un lector sin experiencia en …

13 algorithms  terminology  search-algorithms 

Estoy tratando de entender la existencia de lenguajes no reconocibles. Para obtener esto, necesito saber por qué una máquina Turing reconoce solo un idioma, no varios. ¿Por qué es esto?

13 turing-machines  computation-models 

Me pregunto si decidir la capacidad de decisión del problema es un problema decidible. Supongo que no, pero después de las búsquedas iniciales no puedo encontrar ninguna literatura sobre este problema.

13 computability  undecidability  decision-problem 

En 1962, podría ganar un premio de $ 10 000 (aproximadamente $ 80 000 en dinero de hoy) si encuentra la solución a un problema de vendedor ambulante euclidiano definido en 33 ciudades. http://www.math.uwaterloo.ca/tsp/history/pictorial/car54.html Mirando la imagen, el problema parece bastante fácil. Sin embargo, no pude encontrar recursos más detallados …

13 optimization  traveling-salesman 

Antecedentes \newcommand\ms[1]{\mathsf #1}\def\msD{\ms D}\def\msS{\ms S}\def\mfS{\mathfrak S}\newcommand\mfm[1]{#1}\def\po{\color{#f63}{\mfm{1}}}\def\pc{\color{#6c0}{\mfm{c}}}\def\pt{\color{#08d}{\mfm{2}}}\def\pth{\color{#6c0}{\mfm{3}}}\def\pf{4}\def\pv{\color{#999}5}\def\gr{\color{#ccc}}\let\ss\gr Supongamos que tengo dos lotes idénticos de canicas. Cada canica puede ser uno de los colores c , donde c≤n . Deje n_i denotar el número de canicas de color i en cada lote.nnccc≤nc≤nnin_iii Sea S\msS el multiset {1,…,1n1,2,…,2n2,…,1c,…,cnc}\small\{\overbrace{\po,…,\po}^{n_1},\;\overbrace{\pt,…,\pt}^{n_2},\;…,\;\overbrace{\vphantom 1\pc,…,\pc}^{n_c}\} representando un lote. En …

13 algorithms  combinatorics  probability-theory  permutations  sampling 

Estaba jugando el otro día en este sitio web: http://regexcrossword.com/ y me pregunté cuál era la mejor manera de resolverlo. ¿Puedes resolver el siguiente problema en tiempo polinómico o es NP-hard? Dada una cuadrícula NxM con N expresiones regulares para las columnas y M para las filas, encuentre cualquier solución …

13 complexity-theory  np-hard  regular-expressions 

La página del problema de isomorfismo gráfico de Wikipedia parece indicar que, no, no se ha resuelto. Sin embargo, un amigo mío señaló un Algoritmo de tiempo polinómico para el isomorfismo gráfico . No soy lo suficientemente sofisticado como para seguir el razonamiento en el documento. Tengo mi propio intento …

13 complexity-theory  reference-request  time-complexity  graph-isomorphism 

Todavía estoy un poco confundido con los términos "longitud de entrada" y "tamaño de entrada" cuando se usan para analizar y describir el límite superior asintomático de un algoritmo Parece que la longitud de entrada para el algoritmo depende mucho del tipo de datos y del algoritmo del que está …

13 complexity-theory  terminology  algorithm-analysis  time-complexity  runtime-analysis 

Algunos hipervisores optimizan el uso de la memoria usando un método que se llama globo (al menos así lo llama KVM), este método deduplica la memoria entre máquinas virtuales y establece páginas comunes para solo lectura con copia en escritura. Esto es más o menos lo contrario de una llamada …

13 operating-systems  memory-management  virtual-memory 

Cuando ocurre una interrupción, el procesador se adelanta al proceso actual y llama al código del núcleo para manejar la interrupción. ¿Cómo sabe el procesador dónde ingresar el núcleo? Entiendo que hay controladores de interrupciones que se pueden instalar para cada línea de interrupción. Pero dado que el procesador solo …

13 computer-architecture  operating-systems  os-kernel 

La página de Wikipedia sobre algoritmos de multiplicación menciona una interesante de Donald Knuth . Básicamente, implica combinar la multiplicación de transformada de Fourier con una tabla precalculada de multiplicaciones de tamaño logarítmico. Se ejecuta en tiempo lineal. El artículo actúa como si este algoritmo de alguna manera no cuenta …

13 algorithms  runtime-analysis  multiplication 

A propósito de la sugerencia de Raphael sobre la intersección de dos NPDA : Deje y A 2 NPDA para lenguajes libres de contexto L 1 y L 2 , respectivamente. Suponiendo que sabemos que L = L 1 ∩ L 2 no tiene contexto, ¿podemos (efectivamente) construir NPDA para …

13 computability  automata  pushdown-automata 

Descubrí que si no entiendo la etimología detrás de un término cs / programación, generalmente significa que he perdido o malinterpretado algún concepto subyacente importante. No entiendo por qué la estrella de Kleene también se llama cierre de Kleene. ¿Está relacionado con los cierres en la programación, una función con …

13 automata  regular-expressions 

He leído en Wikipedia y algunos otros textos que El problema de detención es [...] decidible para autómatas lineales (LBA) [y] máquinas deterministas con memoria finita. Pero antes se escribe que el problema de detención es un problema indecidible y, por lo tanto, TM no puede resolverlo. Dado que LBA …

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata