Ciencias de la computación teórica

Después de la discusión sobre los límites inferiores para 3SAT [ 1 ], me pregunto cuáles son los principales resultados del límite inferior formulados como compensaciones espacio-tiempo. Estoy excluyendo resultados como, por ejemplo, el teorema de Savitch; una buena entrada se centraría en un solo problema y sus límites. Un …

13 cc.complexity-theory  ds.algorithms  big-list  space-time-tradeoff 

Esta es una pregunta inspirado en el problema de corte libre-H . Dado un gráfico, una partición de su vértice establece en r partes V 1 , V 2 , ... , V r no tiene H si G [ V i ] no induce una copia de H para …

13 graph-theory  np-hardness  co.combinatorics 

Es fácil verificar que, dada la cuadrícula d dimensional de los puntos enteros , con la adyacencia regular, se puede encontrar un separador de tamaño n d - 1 (simplemente elija cualquier hiperplano medio y elimine todos sus vértices). Tampoco es demasiado difícil (pero definitivamente no es inmediato) verificar que …

13 reference-request  cg.comp-geom  lower-bounds 

En el artículo Quantum Random Walks Hit Exponencialmente más rápido ( arXiv: quant-ph / 0205083 ) Kempe da una noción del tiempo de golpeo para caminatas cuánticas (en el hipercubo) que no es muy popular en la literatura de la caminata cuántica. Se define de la siguiente manera: One-Shot Quantum …

13 quantum-computing  random-walks  markov-chains  quantum-walk 

En pocas palabras: ¿cuál es la correspondencia entre las máquinas de Turing con oráculos y las familias de circuitos uniformes con oráculos? ¿Cómo se definen estos últimos para obtener el mismo modelo computacional, para una máquina de Oracle Turing dada? Esta puede ser una pregunta elemental, pero no es obvio …

13 cc.complexity-theory  turing-machines  oracles  circuit-families 

Los gráficos de Paley P q son aquellos cuyo conjunto de vértices está dado por el campo finito GF (q), para las potencias primarias q≡1 (mod 4), y donde dos vértices son adyacentes si y solo si difieren en un 2 para algunos a ∈ GF (q). En el caso …

13 ds.algorithms  graph-theory 

Gracias a Immerman y Szelepcsényi, se sabe que if (incluso para funciones construibles que no son espaciales).NSPACE(f)=coNSPACE(f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f=Ω(log)f=Ω(log)f=\Omega(\log) En el mismo documento, Immerman declara que la jerarquía alterna del espacio de registro se colapsa, esto significa que (la definición de la máquina de turing alterna delimitada y de qué …

13 cc.complexity-theory  reference-request  space-bounded  alternating-hierarchy 

Tengo un conjunto de datos que es una serie de objetos dispuestos en una cuadrícula 2D. Sé que tengo un orden estricto, aumentando a medida que avanza de izquierda a derecha dentro de cada fila, y aumentando de arriba a abajo dentro de cada columna. Por ejemplo, 1 2 3 …

13 ds.algorithms  total-ordering  sorting 

¿Cuáles son algunos problemas del mundo real que se han resuelto utilizando un algoritmo genético? ¿Cuál es el problema? ¿Cuál es la prueba de aptitud utilizada para resolver este problema?

13 ds.algorithms  machine-learning  ai.artificial-intel  application-of-theory  ne.neural-evol 

Digamos que queríamos un lenguaje de programación funcional y puro, como Haskell o Idris, que esté dirigido a la programación de sistemas sin recolección de basura y no tenga tiempo de ejecución (o al menos no más que los "tiempos de ejecución" de C y Rust). Algo que puede correr, …

13 pl.programming-languages  language-design 

En su libro Computational Complexity , Papadimitriou define FNP de la siguiente manera: Supongamos que es un lenguaje en NP . Por la proposición 9.1, hay una decidable de tiempo polinómico, polinomialmente equilibrada relación R L tal que para todas las cadenas de x : No es una cadena y …

13 complexity 

La complejidad de clase PPAD fue inventado por Christos Papadimitriou en su seminal 1994 de papel . La clase está diseñada para capturar la complejidad de los problemas de búsqueda en los que la existencia de una solución está garantizada por el "argumento de paridad en gráficos dirigidos": si hay …

13 cc.complexity-theory  reductions  search-problem  ppad 

Para ser honesto, no sé mucho acerca de cómo se generan los números aleatorios (¡los comentarios son bienvenidos!), Pero supongamos el siguiente modelo teórico: podemos obtener enteros uniformemente aleatorios de y nuestro objetivo es genera un entero uniformemente aleatorio de [1,3].[1,2n][1,2n][1,2^n] Una solución simple cuyo tiempo de ejecución esperado es …

13 cc.complexity-theory  np-hardness  randomized-algorithms 

Ahora podemos ver que la Iglesia estaba asociada con el Cálculo Lambda Simplemente Escrito . De hecho, parece que explicó el cálculo de Lambda simplemente tipado para reducir los malentendidos sobre el cálculo de Lambda. Ahora, cuando John McCarthy creó Lisp, lo basó en el cálculo Lambda . Esto es …

13 lambda-calculus  term-rewriting-systems  lisp 

El ancho de árbol y el ancho de ruta son parámetros populares, que miden la cercanía de un gráfico a un árbol o una ruta, respectivamente. De hecho, parece que el ancho de árbol es tan popular que aparece en muchos documentos, libros y notas de conferencias que ofrecen (incluso …

13 reference-request  graph-algorithms  parameterized-complexity