Ciencias de la computación teórica

Un enfoque reciente para crear una moneda en línea descentralizada, llamada Bitcoin , ha generado cierto interés. El objetivo es tener una forma de transferir divisas sin una autoridad central y sin doble gasto o falsificación. Su enfoque es hacer que todos los nodos de la red intenten verificar una …

18 reference-request  cr.crypto-security 

Trabajar directamente con la complejidad del tiempo o los límites inferiores del circuito es aterrador. Por lo tanto, desarrollamos herramientas como la complejidad de la consulta (o la complejidad del árbol de decisiones) para manejar los límites inferiores. Dado que cada consulta toma al menos un paso unitario, y los …

18 cc.complexity-theory  reference-request  time-complexity  query-complexity 

Aquí el objetivo es reducir un problema SAT arbitrario a 3-SAT en tiempo polinómico usando el menor número de cláusulas y variables. Mi pregunta está motivada por la curiosidad. Menos formalmente, me gustaría saber: "¿Cuál es la reducción 'más natural' de SAT a 3-SAT?" Ahora la reducción que siempre he …

18 cc.complexity-theory  sat  reductions 

EDITAR (22 de agosto de 2011): Estoy simplificando aún más la pregunta y generando una recompensa por la pregunta. Quizás esta pregunta más simple tenga una respuesta fácil. También voy a tachar todas las partes de la pregunta original que ya no son relevantes. (¡Gracias a Stasys Jukna y Ryan …

18 cc.complexity-theory  lower-bounds  circuit-complexity 

Esto puede considerarse una pregunta estúpida. No soy un experto en informática (y tampoco soy matemático), así que discúlpeme si cree que las siguientes preguntas muestran algunos supuestos erróneos importantes. Si bien hay planes para formalizar el último teorema de Fermat (ver esta presentación ), nunca he leído ni escuchado …

18 automated-theorem-proving 

Mi hijo de 8 años se ha aburrido creando laberintos convencionales y ha comenzado a crear variantes que se parecen a esto: La idea es comenzar desde x y alcanzar o a través de las reglas normales. Además, puede "saltar" de cualquier número entero a cualquier otro número entero , …

18 ds.algorithms  optimization  puzzles 

(n+1)(n+1)(n + 1) se requieren puntos para determinar unívocamente un polinomio de grado nnn ; Por ejemplo, dos puntos en un plano determinan exactamente una línea. ¿Cuántos puntos se requieren para determinar de manera única una función computable f:N→Nf:N→Nf : N \rightarrow N , dada la longitud de un programa …

18 cc.complexity-theory  computability 

Creo que no lo entiendo, pero la conversión me parece una conversión que no hace nada, un caso especial de conversión donde el resultado es solo el término en la abstracción lambda porque no hay nada hacer, una especie de conversión sentido.β β βηη\etaββ\betaββ\betaββ\beta Entonces, tal vez -conversion es algo …

18 lo.logic  lambda-calculus  extensionality 

¿Alguien puede explicar brevemente (si es posible!) O referirme a una referencia, resumiendo las diferencias entre el cálculo lambda sin tipo y los cálculos lambda con tipo más comunes? Estoy buscando particularmente declaraciones de su poder expresivo, equivalencias a sistemas lógicos / aritméticos o métodos de cálculo, y analogías con …

18 lo.logic  type-theory  lambda-calculus 

En 1979, Freivalds demostró que la verificación de los productos matriciales en cualquier campo se puede hacer en un tiempo aleatorizado de . Más formalmente, dadas tres matrices A, B y C, con entradas de un campo F, el problema de verificar si AB = C tiene un algoritmo de …

18 ds.algorithms  linear-algebra  matrix-product 

Estoy revisando el Manual de Computación Inspirado en la Naturaleza e Innovador para SIGACT News. Es una lectura muy interesante. Sin embargo, cada capítulo tiene el sabor: "Esta es mi área de investigación, ¡y maldita sea, es increíble!" Entonces, parte de lo que estoy tratando de hacer es separar el …

18 soft-question 

¿Hay alguna manera de probar el siguiente teorema en Coq? Theorem bool_pirrel : forall (b : bool) (p1 p2 : b = true), p1 = p2. EDITAR : un intento de dar una breve explicación de "qué prueba es irrelevante" (corríjame a alguien si estoy equivocado o es inexacto) La …

18 lo.logic  type-theory  proof-assistants  coq 

Tengo muchos cuboides en el espacio 3D, cada uno tiene un punto de partida en (x, y, z) y tiene un tamaño de (Lx, Ly, Lz). Me pregunto cómo encontrar un cubo más grande en este espacio 3D contenido en la unión de los cuboides. ¿Existe un algoritmo eficiente para …

18 ds.algorithms  cg.comp-geom 

Esta es una reformulación de ¿Son los programas de gramáticas? previamente preguntado por Vag y con muchas sugerencias de los comentaristas. ¿De qué manera puede verse una gramática que especifica un modelo de cálculo? Si, por ejemplo, tomamos una gramática simple sin contexto, como G ::= '1' -> '0' '+' …

18 fl.formal-languages  pl.programming-languages  grammars  universal-computation 

2 preguntas para los geómetras computacionales o algebraistas: Estoy empezando a sumergirme en la geometría computacional y me encanta =) Estoy intentando leer el famoso artículo de Guibas y Stolfi llamado "Primitivas para la manipulación de subdivisiones generales y el cálculo de Diagramas de Voronoi" para implementar un algoritmo de …

18 reference-request  cg.comp-geom  algebra