Ciencias de la Computación

Es bien sabido que 2-SAT está en P. Sin embargo, parece bastante interesante que contar el número de soluciones para una fórmula 2-SAT dada, es decir, # 2-SAT es # P-difícil. Es decir, tenemos un ejemplo de un problema para el cual la decisión es fácil, pero contar es difícil. …

14 complexity-theory  counting 

Sé que las compuertas NAND se pueden usar para crear circuitos que implementen todas las tablas de verdad, y las computadoras modernas se componen de compuertas NAND. ¿Cuál es el vínculo teórico entre las puertas NAND y la integridad de Turing? Me parece que los circuitos de compuerta NAND están …

14 turing-machines  turing-completeness  digital-circuits 

Por lo general, Sudoku es , pero esta pregunta se extiende a n 2 × n 2 rompecabezas con n > 3 también. Hay muchas reglas de deducción de tiempo polinomial que pueden avanzar en la búsqueda de una solución para un rompecabezas de Sudoku. Pero a veces, puede ser …

14 complexity-theory  sudoku 

Estoy seguro de que alguien ha pensado en esto antes o lo descartó de inmediato, pero ¿por qué la teoría de la dicotomía de Schaefer junto con el teorema de Mahaney sobre conjuntos dispersos no implican P = NP? Aquí está mi razonamiento: crear un lenguaje que sea igual a …

14 complexity-theory  np-complete  satisfiability  p-vs-np 

Aquí leo eso: Haskell definitivamente no tiene el sistema de tipos más avanzado (ni siquiera cerca si cuenta los idiomas de investigación), pero de todos los idiomas que realmente se usan en la producción, Haskell probablemente esté en la cima. Entonces estoy preguntando dos cosas: qué lenguajes de investigación tienen …

14 programming-languages  type-theory 

Sé que esta es una pregunta muy común. Pero tengo un ángulo diferente en mi mente. Trataré de articularlo aquí. Por lo que sé, cada instrucción que ejecuta una CPU está en lenguaje de máquina y todo lo que la CPU puede hacer es realizar algunas operaciones aritméticas gracias a …

14 computer-architecture  cpu 

Para medir la complejidad de un algoritmo, ¿es la complejidad del tiempo o la complejidad computacional? ¿Cuál es la diferencia entre ellos? Solía ​​calcular el recuento máximo (peor) de la operación básica (más costosa) en el algoritmo.

14 complexity-theory  terminology  algorithm-analysis  time-complexity 

Me pregunto, ¿cuál es el algoritmo más conocido, en términos de notación Big- , para resolver la programación lineal entera?OOO Sé que el problema es completo, por lo que no espero nada polinomial. Y sé que hay muchas heurísticas y otras que se usan en aplicaciones prácticas como CPLEX, pero …

14 algorithms  complexity-theory  reference-request  np-complete  integer-programming 

Estoy tratando de entender la prueba del teorema de Karp-Lipton como se afirma en el libro "Complejidad computacional: un enfoque moderno" (2009). En particular, este libro establece lo siguiente: Teorema de Karp-Lipton Si NP , entonces PH .P ∖ p o l y⊆⊆\subseteq P∖polyP∖polyP_{\backslash poly} = Σpag2=Σ2p= \Sigma^p_2 Prueba: según …

14 complexity-theory  complexity-classes 

Idiomas como HALTTMHALTTM\text{HALT}_{TM} son RE-completeRE-complete\textsf{RE-complete} bajo muchas reducciones. Es trivial ver que co-REco-RE\text{co-RE} tiene problemas completos. S. Schmitz [1] considera algunas clases entre ELEMELEM\text{ELEM} y RECREC\text{REC} . Presentan problemas completos para estas clases bajo reducciones específicamente diseñadas. ¿Existen problemas completos para R=RE∩co-RER=RE∩co-RE\textsf{R} = \textsf{RE} \cap \textsf{co-RE} (también conocido como RECREC\textsf{REC} …

14 computability  reductions  turing-completeness  recursion-theory 

ej. ?xy+x+y=x+y(x+1)xy+x+y=x+y(x+1)xy+x+y=x+y(x+1) Las expresiones son del álgebra ordinaria de la escuela secundaria, pero están restringidas a la suma y multiplicación aritmética (por ejemplo, ), sin inversos, restas o divisiones. Las letras son variables.2+2=4;2.3=62+2=4 4;2.3=6 62+2=4; 2.3=6 Si ayuda, podemos prohibir cualquier expresión representable con valores numéricos distintos de ; es …

14 complexity-theory  time-complexity  decision-problem 

Un estudiante recientemente me pidió que verificara una prueba de dureza NP para ellos. Realizaron una reducción en la línea de: Reduzco este problema P′P′P' que se sabe que es NP completo a mi problema PPP (con una reducción múltiple de tiempo múltiple), por lo que PPP es NP-duro. Mi …

14 complexity-theory  reference-request  complexity-classes  real-numbers  computable-analysis 

Un microkernel implementa todos los controladores como programas de espacio de usuario e implementa características centrales como IPC en el núcleo mismo. Sin embargo, un kernel monolítico implementa los controladores como parte del kernel (por ejemplo, se ejecuta en modo kernel). He leído algunas afirmaciones de que los microkernels son …

14 operating-systems  performance  os-kernel 

Supongamos que se nos dan dos números y y que queremos encontrar para l \ le i, \, j \ le r .lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r El algoritmo ingenuo simplemente verifica todos los pares posibles; por ejemplo en ruby ​​tendríamos: def max_xor(l, r) max = 0 (l..r).each do |i| (i..r).each …

14 algorithms  algorithms  machine-learning  statistics  testing  terminology  asymptotics  landau-notation  reference-request  optimization  scheduling  complexity-theory  time-complexity  lower-bounds  communication-complexity  computational-geometry  computer-architecture  cpu-cache  cpu-pipelines  operating-systems  multi-tasking  algorithms  algorithm-analysis  education  correctness-proof  didactics  algorithms  data-structures  time-complexity  computational-geometry  algorithms  combinatorics  efficiency  partitions  complexity-theory  satisfiability  artificial-intelligence  operating-systems  performance  terminology  computer-architecture 

Supongamos que quiero construir un sistema operativo basado en un kernel inferior nativo muy pequeño que actúe como un intérprete de código administrado / tiempo de ejecución y un kernel superior más grande compilado en un lenguaje de máquina no nativo (código de bytes Java, CIL, etc.). Ejemplos de sistemas …

14 operating-systems  type-checking  interpreters  os-kernel