Preguntas etiquetadas con big-list

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 

Estoy buscando una lista sobre la complejidad conocida o desconocida de varios problemas teóricos / algebraicos de números. Por ejemplo, El MCD en está abierto,NC1NC1NC^1 factoring en está abierto,PPP la cohomología informática de la gavilla es -duro#P#P\#P , Arora y Barak afirman que una variante de factorización es -completa (aunque …

12 cc.complexity-theory  big-list  algebra  open-problem 

¿Cuáles son los problemas con las siguientes propiedades: 1) son restricciones de problemas (posiblemente bien conocidos) que están completos en PSPACE; 2) las versiones restringidas están en PSPACE, pero es un problema abierto si son PSPACE-complete (o incluso si son NP-hard). Cuatro ejemplos de "rompecabezas y C.": La complejidad de …

12 big-list  open-problem 

¿Qué algoritmos útiles existen que funcionan en grandes flujos de datos y también sus resultados son bastante pequeños y uno puede calcular el resultado para una mezcla de dos flujos fusionando de alguna manera sus resultados? Puedo nombrar algunos: Las cosas obvias como sum, min, max, count, top-K, etc. Aproximadamente …

12 ds.algorithms  big-list  data-streams 

¿Cuáles son algunas afirmaciones (no conocidas) de que si es cierto, el PH debe colapsar? Se agradecen las respuestas que contienen una afirmación corta de alto nivel con referencia (s). Traté de hacer una búsqueda inversa sin mucha suerte.

12 cc.complexity-theory  complexity-classes  big-list 

Estoy buscando problemas NP-hard para una reducción. Hasta ahora he encontrado los siguientes problemas: Problema de 3 particiones problema de embalaje Emparejamiento numérico tridimensional TSP Cualquier problema de NP completo sin datos numéricos, por ejemplo, SATISFIABILIDAD, CICLO HAMILTONIANO, 3-COLOURABILIDAD. ¿Alguien sabe de una lista de problemas fuertemente NP-hard? Si no, …

11 np-hardness  big-list  hamiltonian-paths 

En 1996, un problema abierto de larga data fue resuelto por una computadora; a saber, que el álgebra de Robbins y el álgebra booleana son lo mismo. La prueba fue encontrada por un probador de teoremas automatizado. Además, la prueba conocida del teorema de cuatro colores contiene componentes generados por …

11 soft-question  big-list  proofs  automated-theorem-proving 

Todos los museos y exposiciones relacionados con la informática que conozco parecen abarcar solo la historia de la maquinaria informática, pero nada sobre temas de informática. Usted está involucrado en la creación de un nuevo Museo de Computación, creado para educar, entretener e inspirar al público en general en una …

11 soft-question  big-list  ho.history-overview 

Soy un estudiante de CS. Hicimos teoría de grafos en un curso. Lo encontre interesante. ¿Cuáles son las aplicaciones reales de la teoría de grafos en el campo de la informática? Por ejemplo, descubrí que algunos conceptos en la teoría de grafos se pueden usar para diseñar redes. ¿Cuáles son …

11 graph-theory  co.combinatorics  big-list  application-of-theory 

Me preguntaba cuál es la lista de problemas computacionales naturales actuales para los que no existe una ventaja de complejidad conocida en el uso de una computadora cuántica. Para empezar, creo que el cálculo de la distancia de edición es uno para el cual el algoritmo cuántico más rápido conocido …

11 ds.algorithms  quantum-computing  big-list 

Los algoritmos de aproximación pueden dar salida hasta algún factor constante. Esto es un poco menos satisfactorio que los algoritmos exactos. Sin embargo, los factores constantes se ignoran en la complejidad del tiempo. Entonces, me pregunto si el siguiente truco es posible o si fue utilizado, para resolver algún problema …

11 ds.algorithms  big-list  approximation-algorithms 

Antecedentes: el procesamiento de transacciones ha sido un tema de investigación tradicional en la teoría de bases de datos. Hoy en día, las transacciones distribuidas se popularizan por los sistemas de almacenamiento distribuido a gran escala que generalmente implican la partición de datos (también llamada fragmentación) y la replicación de …

10 reference-request  big-list  dc.distributed-comp  db.databases 

Estoy interesado en ejemplos de construcciones en la teoría de la complejidad que son mejores que las construcciones aleatorias. El único ejemplo de tal construcción que conozco es en el campo de los códigos de corrección de errores. Los códigos de geometría algebraica son mejores en algún rango de parámetros …

10 reference-request  big-list  derandomization  pr.probability 

Soy un teórico de la homotopía, interesado en la informática. Me gustaría preguntar ¿cuáles son algunas aplicaciones interesantes de álgebra homotópica (categorías de modelos, categorías de infinito, categorías simples, etc.) en la informática teórica?

9 big-list  algebraic-topology 

Sea un alfabeto, es decir, un conjunto finito no vacío. Una cadena es cualquier secuencia finita de elementos (caracteres) de . Como ejemplo, es el alfabeto binario y es una cadena para este alfabeto.Σ { 0 , 1 } 0110ΣΣ\SigmaΣΣ\Sigma{ 0 , 1 }{0,1} \{0, 1\}011001100110 Por lo general, siempre …

9 big-list  encoding  examples