Ciencias de la Computación

Me encontré con las siguientes dudas sobre la complejidad de Towers of Hanoi , sobre las cuales quisiera sus comentarios. ¿Está en NP? Intento de respuesta: supongamos que Peggy (probador) resuelve el problema y lo envía a Victor (verificador). Víctor puede ver fácilmente que el estado final de la solución …

20 complexity-theory  time-complexity 

Supongamos que tenemos un grafo dirigido y dos nodos y . Me gustaría saber si ya hay algoritmos para calcular el siguiente problema de decisión:G=(V,E)G=(V,E)G=(V,E)AAABBB ¿Hay al menos dos caminos entre y de la misma longitud?AAABBB ¿Qué tal la complejidad? ¿Puedo resolverlo en tiempo polinómico? Me gustaría agregar una nueva …

20 complexity-theory  graph-theory  time-complexity  graphs 

Este es un rompecabezas sobre la medición de la latencia de red que creé. Creo que la solución es que es imposible, pero los amigos no están de acuerdo. Estoy buscando explicaciones convincentes de cualquier manera. (Aunque se plantea como un rompecabezas, creo que encaja en este sitio web debido …

20 computer-networks  protocols  distributed-systems 

Estoy buscando una estructura de datos que empuje su elemento más antiguo / último si se inserta un nuevo elemento. Por ejemplo, vamos a Drepresentar la estructura. Dcontiene 3 elementos de los Number Dvalores predeterminados del tipo que se inicializarán en 1, 2y 3. D = [ 1 , 2 …

20 data-structures  arrays  queues 

Si un sistema de tipos puede asignar un tipo a λ x . x x, o al que no termina (λx . x x) (λ x . x x), ¿entonces ese sistema es inconsistente como consecuencia? ¿Todos los tipos bajo ese sistema están habitados? ¿Puedes probar que es falso?

20 lambda-calculus  dependent-types 

Comparando un par ordenado (x, y) con un par desordenado {x, y} (conjunto), entonces la información teóricamente, la diferencia es solo un bit, ya que si x viene primero o y requiere exactamente un solo bit para representar. Entonces, si se nos da un conjunto {x, y} donde x, y …

20 information-theory  data-compression 

Algunos algoritmos complicados ( union-find ) tienen la función inversa de Ackermann casi constante que aparece en la complejidad de tiempo asintótica, y son óptimos en el peor de los casos si se ignora el término de Ackermann inverso casi constante. ¿Hay ejemplos de algoritmos conocidos con tiempos de ejecución …

20 reference-request  algorithm-analysis  time-complexity  runtime-analysis 

Los lenguajes libres de contexto no están cerrados bajo complemento, lo sabemos. Por lo que yo entiendo, los lenguajes sin contexto que son un subconjunto de a∗b∗un∗si∗a^*b^* para algunas letras a,bun,sia,b están cerrados bajo el complemento (!?) Aquí está mi argumento. Cada lenguaje CF LLL tiene una imagen Parikh semi-lineal …

20 formal-languages  reference-request  context-free  closure-properties 

En el libro de Andrew W. Appel, Modern Compiler Implementation in ML , dice en el capítulo 17 que la teoría de la computabilidad muestra que siempre será posible inventar nuevas transformaciones optimizadoras y procede a demostrar que un compilador completamente optimizador resolverá el problema de detención: un programa Q …

20 computability  compilers  program-optimization 

Un artículo llamado La derivada de un tipo regular es su tipo de contextos de un agujero muestra que la "cremallera" de un tipo, sus contextos de un agujero, siguen las reglas de diferenciación en álgebra de tipos. Tenemos: ∂xx∂x0∂x1∂x(S+T)∂x(S×T)↦1↦0↦0↦∂xS+∂xT↦∂xS×T+S×∂xT∂xx↦1∂x0↦0∂x1↦0∂x(S+T)↦∂xS+∂xT∂x(S×T)↦∂xS×T+S×∂xT\begin{align} \partial_x x &\mapsto 1 \\ \partial_x 0 &\mapsto 0 \\ …

20 type-theory  algebra 

Esto está inspirado en una pregunta de entrevista . Se nos da una matriz de enteros y tenemos que determinar si hay distintos manera quea1,…,ana1,…,ana_1, \dots, a_ni<j<ki<j<ki \lt j \lt k ak−aj=aj−aiak−aj=aj−aia_k - a_j = a_j - a_i k−j=j−ik−j=j−ik - j = j - i es decir, las secuencias y …

20 algorithms  complexity-theory  lower-bounds 

Bien, antes de comenzar, me doy cuenta de que esto está al margen del tema (he leído la ayuda de Preguntas para este sitio), particularmente porque este no es un problema del mundo real. Sin embargo: No puedo encontrar nada relevante en Google ¿Desde un punto de vista purista seguramente …

20 reference-request  human-computing 

Sé lo que es la computación en un sentido vago (es lo que hacen las computadoras), pero me gustaría una definición más rigurosa. Dictionary.comLas definiciones de computación, computación, cálculo y computación son circulares, por lo que no ayuda. Wikipediadefine el cálculo como "cualquier tipo de cálculo que siga un modelo …

20 terminology  computability 

Wikipedia afirma que el problema de la suma de subconjuntos es encontrar un subconjunto de un conjunto múltiple de números enteros, cuya suma es cero. Además, afirma que es equivalente a encontrar un subconjunto con la suma de para cualquier dado .ssssss Entonces, como son equivalentes, debe haber una reducción …

20 complexity-theory  reductions  np-hard 

En el diseño del compilador, ¿por qué debería eliminarse la recursividad izquierda en las gramáticas? Estoy leyendo que es porque puede causar una recursión infinita, pero ¿no es cierto también para una gramática recursiva correcta?

20 formal-grammars  compilers  left-recursion