Ciencias de la Computación

Encontré este problema y estoy luchando por encontrar una manera de abordarlo. Cualquier idea sería muy apreciada! Supongamos que se nos da una matriz { - 1 , 0 , 1 }n × k {−1,0,1}n × k\{-1, 0, 1\}^{n\ \times\ k} , por ejemplo, ⎡⎣⎢⎢⎢⎢⎢⎢1- 10 0- 110 00 01- …

9 algorithms  optimization  combinatorics  matrices  permutations 

El problema es probar o refutar la existencia de , st, ; ; d (c_i, c_j) \ geq2,1 \ leq i &lt;j \ leq32 . ( d significa distancia de hamming)CCC|c|=6,∀c∈C|c|=6,∀c∈C|c| = 6,\forall c\in C|C|=32|C|=32|C| = 32d(ci,cj)≥2,1≤i&lt;j≤32d(ci,cj)≥2,1≤i&lt;j≤32d(c_i,c_j)\geq2,1\leq i<j\leq32ddd Traté de construir un código satisfactorio. Lo mejor que puedo obtener es …

9 information-theory  coding-theory  encoding-scheme 

Estoy trabajando en un problema relacionado con los cuadrados latinos, y quiero un método para lo que esencialmente se reduce al problema de decisión: Entrada : Un gráfico simple finito G. Salida : YESsi G tiene un automorfismo no trivial, de lo NOcontrario. Por lo tanto... Pregunta : ¿Existe un …

9 algorithms  graphs  graph-theory  reference-request 

Una declaración del teorema de Rice se da en la página 35 de "Complejidad computacional: un enfoque moderno" (Arora-Barak): Una función parcial de { 0 , 1 }∗{0,1}∗\{0,1\}^* a { 0 , 1 }∗{0,1}∗\{0,1\}^* es una función que no está necesariamente definida en todas sus entradas. Decimos que una TM …

9 computability  turing-machines  undecidability  rice-theorem 

Hay múltiples anotaciones , como u etc. Me preguntaba si hay variaciones de las que en realidad son como u , o si son matemáticamente incorrectas.OOOO(n)O(n)O(n)O(n2)O(n2)O(n^2)O(2n2)O(2n2)O(2n^2)O(logn2)O(log⁡n2)O(\log n^2) ¿O sería correcto decir que es posible mejorar un a un ? Todavía no puedo y no necesito calcular tiempos de ejecución y …

9 complexity-theory  time-complexity  optimization  big-o-notation 

Muchas clases de complejidad tienen problemas "completos". ¿Existen problemas completos para la clase de complejidad de problemas que se pueden resolver en el tiempo ?O ( 1 )O(1)O(1) Una complicación es que esta clase depende del modelo de cálculo; un problema puede resolverse en el tiempo en un modelo razonable …

9 complexity-theory  time-complexity  constant-time 

Me gustaría comparar el rendimiento de las estructuras de datos codificadas por funciones (Church / Scott's) con las codificadas clásicamente (ensamblador / C). Pero antes de hacerlo, necesito saber qué tan eficiente es / puede ser la representación de funciones en la memoria. La función puede, por supuesto, aplicarse parcialmente …

9 lambda-calculus  functional-programming 

Dado que: Un lenguaje con sistemas de tipos muy expresivos (por ejemplo, Idris ) también puede tener mecanismos de escape como interfaces de funciones foráneas / unsafePerformIO. Hay asistentes de prueba que pueden usarse para probar algunas propiedades de un programa escrito en un lenguaje que no tiene un sistema …

9 type-theory  proof-assistants  curry-howard 

Veo muchos problemas algorítmicos que siempre reducen a algo las líneas de: Tiene una matriz entera h[1..n]≥0h[1..n]≥0h[1..n]\geq 0 , necesita encontrar i,ji,ji,j tal que maximice (h[j]−h[i])(j−i)(h[j]−h[i])(j−i)(h[j]-h[i])(j-i) en el tiempo O(n)O(n)O(n) . Obviamente, la solución de tiempo O(n2)O(n2)O(n^2) es considerar todos los pares, sin embargo, ¿hay alguna forma de maximizar la …

9 algorithms  algorithm-analysis  optimization 

Dado un matriz booleana , dejemos que entradas representen el mar y entradas representen la tierra. Definir una isla como (pero no en diagonal) vertical u horizontalmente adyacentes entradas.n×mn×mn \times mXX\mathrm X000111111 La pregunta original era contar el número de islas en una matriz dada. El autor describió una solución …

9 algorithms  matrices  counting  streaming-algorithm 

¿Por qué (si es así) el separador ##\# está haciendo una diferencia entre los dos idiomas? Digamos: L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L=\{ws : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L_{\#}=\{w\#s : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} Aquí hay una prueba y una gramática que representa LLL como CFLCFLCFL Y debajo estoy …

9 formal-languages  context-free  pumping-lemma 

En Spanner, TrueTime y The CAP Theorem , Eric Brewer escribe: Una cosa sutil acerca de Spanner es que obtiene serialización de los bloqueos, pero obtiene consistencia externa (similar a la linealización ) de TrueTime [ énfasis agregado ]. ¿Cuál es la definición de consistencia externa y cómo difiere de …

9 distributed-systems 

En las Pruebas y Tipos de Girard podemos leer: Desde un punto de vista algorítmico, el cálculo posterior no tiene isomorfismo de Curry-Howard, debido a la multitud de formas de escribir la misma prueba. Esto nos impide usarlo como un cálculo λλ\lambda tipificado, aunque vislumbramos alguna estructura profunda de este …

9 reference-request  logic  parallel-computing 

Estoy leyendo este conocido artículo sobre los universos en la teoría de tipos . Al principio esperaba algo similar a SetωAgda, pero resulta que es incluso algo más general. Parece generalizar la construcción del universo de un tipo simple inductivo-recursivo a una carpeta (similar a y Σ ). La pregunta …

9 lambda-calculus  type-theory 

A continuación se presenta gramática independiente del contexto de una "colgando más" tipo de ambigüedad (imagina que sinónimo de y b representa y c representa algún otro tipo de instrucción o bloque): Saaaif expr thenbbbelseccc Por ejemplo,aacbcse puede analizar como(a(acbc))o como(a(ac)bc)(esta es la palabra ambigua más simple / más corta …

9 context-free  formal-grammars  parsers  ambiguity