Ciencias de la Computación

¿Es teóricamente posible especificar un lenguaje de programación para el cual no podría existir una implementación? Un lenguaje de programación es una forma de definir funciones. Una implementación significa un método para ejecutar un programa dado en ese lenguaje en una entrada dada a la salida de la función correspondiente …

11 formal-languages  computability  programming-languages 

Dada una matriz simétrica real , ¿existe un algoritmo que calcule la suma sobre todo 1 \ leq i &lt;j &lt;k \ leq n con complejidad de tiempo mejor que O (n ^ 3) ?n×nn×nn \times nA=(aij)A=(aij)A=(a_{ij})∑i,j,kmax(aij,aik,ajk)∑i,j,kmax(aij,aik,ajk)\sum_{i,j,k}\max(a_{ij},a_{ik},a_{jk})1≤i&lt;j&lt;k≤n1≤i&lt;j&lt;k≤n1\leq i<j<k\leq nO(n3)O(n3)O(n^3)

11 algorithms  time-complexity 

En esta pregunta, pregunté cuál es la diferencia entre set y type . Estas respuestas han sido realmente esclarecedoras (por ejemplo, @AndrejBauer), por lo que, en mi sed de conocimiento, me someto a la tentación de preguntar lo mismo sobre las categorías: Cada vez que leo sobre la teoría de …

11 sets  category-theory 

Tengo entendido que las implementaciones más populares de un mutex (p. Ej., Std :: mutex en C ++) no garantizan la equidad , es decir, no garantizan que, en casos de contención, el bloqueo sea adquirido por hilos en el orden en que llamado lock (). De hecho, incluso es …

11 concurrency  synchronization  threads 

¿Qué es la inducción-inducción ? Los recursos que encontré son: el libro de HoTT , al final del capítulo 5.7. Artículo de nLab un artículo llamado definiciones inductivas-inductivas esta publicación de blog también menciona tipos inductivos-inductivos Las dos primeras referencias son demasiado breves para mí, y las dos últimas son …

11 type-theory  induction  inductive-datatypes 

Todo el mundo conoce "Garey &amp; Johnson", que es mi referencia cuando necesito un problema para transformarme para una prueba de dureza NP. Sin embargo, recientemente me encuentro en la necesidad de una prueba de dureza APX, y me pregunto si hay una colección similar (y más actualizada ...?) De …

11 complexity-theory  reference-request  time-complexity  complexity-classes 

Actualmente estoy leyendo la introducción a los algoritmos y encontré el algoritmo de Johnson que depende de asegurarse de que todas las rutas sean positivas. el algo depende de encontrar una nueva función de peso (w ') que sea positiva para todos los bordes y mantenga la corrección de las …

11 algorithms  graph-theory  graphs  shortest-path 

Me cuesta entender el propósito de la cuantificación universal y existencial de los tipos. Estoy jugando con un lenguaje de juguete basado en el cálculo de las construcciones . He estado leyendo sobre Morte y Henk para ayudarme a comprenderlo mejor. No entiendo por qué el CoC tiene abstracción lambda …

11 lambda-calculus  type-theory  calculus-of-constructions 

Quiero expresar la siguiente restricción, en un programa lineal entero: y={01if x=0if x≠0.y={0if x=01if x≠0.y = \begin{cases} 0 &\text{if } x=0\\ 1 &\text{if } x\ne 0. \end{cases} Ya tengo las variables enteras y me prometieron que . ¿Cómo puedo expresar la restricción anterior, en una forma adecuada para usar con …

11 linear-programming  integer-programming 

Básicamente, el problema es: para un conjunto de números positivos, encuentre un número mínimo que no sea un divisor de ningún elemento de , es decir, .d S ∀ x ∈ S , d ∤ xSSSdddSSS∀x∈S, d∤x∀x∈S, d∤x\forall x \in S,\ d \nmid x Denote n=|S|n=|S|n = |S|y C=max(S)C=max(S)C = …

11 algorithms  number-theory 

Al tratar de comprender las relaciones entre la codificación Huffman, la codificación aritmética y la codificación por rango, comencé a pensar en las deficiencias de la codificación Huffman en relación con el problema del empaquetado de bits fraccional . Es decir, suponga que tiene 240 valores posibles para un símbolo, …

11 information-theory  data-compression  coding-theory  entropy  huffman-coding 

Complexity Zoo define como la clase de problemas de decisión que puede resolver una máquina de Turing determinista en tiempo lineal.LINLINLIN LIN⊆PLIN⊆PLIN \subseteq P Dado que HORN-SAT se puede resolver en (como se indica en los algoritmos de tiempo lineal para probar la satisfabilidad de las fórmulas proposicionales de bocina …

11 complexity-theory  time-complexity  reductions 

Cerrada . Esta pregunta está basada en la opinión . Actualmente no está aceptando respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que pueda ser respondida con hechos y citas editando esta publicación . Cerrado hace 4 años . Soy un fanático de la elegancia y el rigor matemático, …

11 algorithms  algorithm-analysis  reference-request  books 

¿Hay algún algoritmo conocido que muestre correctamente "sí" a un problema NP-completo sin generar implícitamente un certificado? Entiendo que es sencillo convertir un oráculo de satisfacción en un buscador de asignación satisfactoria: simplemente repita las variables, pidiéndole al oráculo de satisfacción que resuelva la conjunción de esa variable con el …

11 algorithms  complexity-theory  np-complete 

¿Es el problema de determinar si una expresión booleana dada es satisfactoriamente computacionalmente distinta de encontrar realmente una solución a la expresión? En otras palabras, ¿hay otra forma de encontrar que una expresión dada es satisfactoria sin determinar explícitamente la 'configuración correcta' para las variables booleanas? ¿O todas las pruebas …

11 complexity-theory  satisfiability