Ciencias de la computación teórica

En el documento de Pruebas naturales de Razborov-Rudich , página 6, en la parte que discuten que hay "fuertes pruebas de límites inferiores contra modelos de circuito monótono " y cómo encajan en la imagen, están las siguientes oraciones: Aquí el problema no es la constructividad, las propiedades utilizadas en …

15 cc.complexity-theory  circuit-complexity  randomness  natural-proofs  boolean-functions 

Savitch dio un algoritmo determinista para resolver la conectividad st usando el espacio , lo que implica N L ⊆ D S P A C E ( log 2 n ) . El algoritmo de Savitch se ejecuta en el tiempo 2 O ( log 2 n ) . Es …

15 cc.complexity-theory  space-bounded 

En una presentación de 2006 titulada GRÁFICOS DE EXPANDER - ¿HAY MISTERIOS IZQUIERDOS? Nati Linial planteó el siguiente problema abierto: ¿Qué problema computacional de duro en el gráfico sigue siendo difícil cuando se restringe a los gráficos de expansión?nortePAGNPNP Desde entonces, ¿se han realizado progresos para probar dicho resultado para …

15 cc.complexity-theory  np-hardness  expanders 

La transformación de Walsh-Hadamard (WHT) es una generalización de la transformación de Fourier, y es una transformación ortogonal en un vector de números reales o complejos de dimensión . La transformación es popular en la computación cuántica, pero se ha estudiado recientemente como una especie de preacondicionador para proyecciones aleatorias …

15 ds.algorithms  linear-algebra 

Las pruebas naturales son una barrera para probar los límites inferiores de la complejidad del circuito de las funciones booleanas. Ellos no implican directamente cualquier barrera en probar límites inferiores en el la complejidad del circuito. ¿Hay algún progreso hacia la identificación de tales barreras? ¿Existen otras barreras en el …

15 cc.complexity-theory  circuit-complexity  barriers  natural-proofs 

Hay dos teorías principales y estudiadas del cálculo lambda, la teoría beta y su extensión Post-completa, la teoría beta-eta. ¿Estas dos teorías tienen una regla intermedia intermedia que da una teoría de reescritura confluente? ¿Hay alguna noción interesante de extensionalidad parcial a la que corresponda? Esta es la segunda pregunta …

15 lo.logic  lambda-calculus  extensionality 

Este es un seguimiento de esta pregunta y está relacionado con esta pregunta de Shiva Kinali. Parece que las pruebas en estos documentos ( Allender , Caussinus-McKenzie-Therien-Vollmer , Koiran-Perifel ) usan teoremas de jerarquía. Quiero saber si las pruebas son teoremas de diagonalización " pura ", o si usan algo …

15 cc.complexity-theory  lower-bounds  relativization  permanent 

Siempre me intriga la falta de evidencia numérica de las matemáticas experimentales a favor o en contra de la pregunta P vs NP. Si bien la hipótesis de Riemann tiene alguna evidencia de respaldo de la verificación numérica, no conozco evidencia similar para la pregunta P vs NP. Además, no …

15 cc.complexity-theory  soft-question  big-picture  experimental 

Disculpas de antemano si esta pregunta es demasiado simple. Básicamente, lo que quiero saber es si hay alguna función F(x )F(X)f(x) con las siguientes propiedades: Tome Fnorte( x )Fnorte(X)f_n(x) como F( x )F(X)f(x) cuando el dominio y el codominio están restringidos a cadenas de nortenorten bits. Luego Fnorte( x )Fnorte(X)f_n(x) …

15 cc.complexity-theory 

Una clase hereditaria de estructuras (p. Ej., Gráficas) es aquella que se cierra bajo subestructuras inducidas, o de manera equivalente, se cierra bajo eliminación de vértices. Las clases de gráficos que excluyen a un menor tienen buenas propiedades que no dependen del menor excluido específico. Martin Grohe demostró que para …

15 cc.complexity-theory  graph-theory  relational-structures 

En este documento sobre "Empaque circular para diseño de origami es difícil" por Erik D. Demaine, Sandor P. Fekete, Robert J. Lang, en la página 15, figura 13, afirman que la longitud lateral del cuadrado más pequeño que encierra dos círculos de área 1/2 cada uno es 1.471299. Según mis …

15 cg.comp-geom 

¿Existen ahora algoritmos / pruebas más simples para triangular un polígono plano en tiempo lineal? ¿Cuál es un buen recurso sobre el estado del arte de este famoso problema?

15 reference-request  cg.comp-geom 

Mientras trato de probar algunas propiedades básicas usando tipos coinductores en Coq, sigo encontrando el siguiente problema y no puedo solucionarlo. He destilado el problema en un simple script Coq de la siguiente manera. El tipo de árbol define árboles posiblemente infinitos con ramas marcadas con elementos de tipo A …

15 coq  proof-assistants 

Se dice que un problema P está en APX si existe alguna constante c> 0 tal que existe un algoritmo de aproximación de tiempo polinómico para P con factor de aproximación 1 + c. APX contiene PTAS (visto simplemente seleccionando cualquier constante c> 0) y P. ¿APX está en NP? …

15 cc.complexity-theory  complexity-classes  apx 

Estoy buscando un algoritmo en línea para mantener el cierre transitivo de un gráfico acíclico dirigido con una complejidad temporal menor que O (N ^ 2) por adición de borde. Mi algoritmo actual es así: For every new edge u->v connect all nodes in Pred(u) \cup { u } with …

15 ds.algorithms  graph-theory  ds.data-structures  transitive-closure