Ciencias de la computación teórica

Un gráfico H es un núcleo si cualquier homomorfismo de H a sí mismo es una biyección. Un subgrafo H de G es un núcleo de G si H es un núcleo y hay un homomorfismo de G a H. http://en.wikipedia.org/wiki/Core_%28graph_theory%29 Dado un gráfico G, ¿cuál es el algoritmo exacto …

24 ds.algorithms  graph-theory  graph-algorithms 

Una pregunta muy específica, lo sé, y dudo que sea respondida por alguien que no esté familiarizado con las reglas de Magic. Publicación cruzada en Draw3Cards . Aquí están las reglas integrales para el juego Magic: the Gathering . Vea esta pregunta para obtener una lista de todas las cartas …

24 turing-machines  card-games  recreational 

Existe una rica literatura y al menos un libro muy bueno que establece la dureza conocida de los resultados de aproximación para problemas NP-duros en el contexto de error multiplicativo (por ejemplo, la aproximación 2 para la cobertura de vértices es óptima suponiendo UGC). Esto también incluye clases de complejidad …

24 cc.complexity-theory  complexity-classes  np-hardness  approximation-hardness 

Está claro que cualquier problema que sea decidible en el espacio de registro determinista ( ) se ejecuta en la mayoría de los casos de polinomios ( ). Hay una gran cantidad de clases de complejidad entre y . Los ejemplos incluyen , , , , , . Se cree …

24 cc.complexity-theory  lower-bounds  space-bounded 

Estoy buscando expansores desequilibrados que sean "buenos" y "eficientes en espacio". Específicamente, un gráfico bipartito izquierdo-regular , , , con grado izquierdo es un -expansor si para cualquier de tamaño máximo , el número de vecinos distintos de en es al menos. Se sabe que los rendimientos método Probabilístico un …

24 graph-theory  derandomization  expanders 

El algoritmo de Coppersmith-Winograd es el algoritmo conocido asintóticamente más rápido para multiplicar dos matrices cuadradas. El tiempo de ejecución de su algoritmo es que es el más conocido hasta ahora. ¿Cuál es la complejidad espacial de este algoritmo? ¿Está en ?n×nn×nn \times nO(n2.376)O(n2.376)O(n^{2.376})Θ(n2)Θ(n2)\Theta(n^2)

24 ds.algorithms  matrices 

Se sabe que es NP completo para probar si existe un ciclo hamiltoniano en un gráfico de 3 regulares, incluso si es plano (Garey, Johnson y Tarjan, SIAM J. Comput. 1976) o bipartito (Akiyama, Nishizeki, y Saito, J. Inform. Proc. 1980) o para probar si existe un ciclo hamiltoniano en …

24 graph-theory  np-hardness  hamiltonian-paths 

Dada una enorme base de datos de palabras permitidas (ordenadas alfabéticamente) y una palabra, encuentre la palabra de la base de datos que esté más cerca de la palabra dada en términos de distancia de Levenshtein. El enfoque ingenuo es, por supuesto, simplemente calcular la distancia levenshtein entre la palabra …

24 ds.algorithms  reference-request  string-matching  string-search 

El enredo a menudo se considera el ingrediente clave que hace que los algoritmos cuánticos sean ... cuánticos, y esto se remonta a los estados de Bell que destruyen la idea de la física cuántica como un modelo probabilístico de estado oculto. En la teoría de la información cuántica (desde …

24 quantum-computing  big-picture 

¿Existe un análogo paralelo natural a los árboles rojo-negros con propiedades similares o incluso no terriblemente peores para las actualizaciones, mientras que es razonablemente eficiente en el trabajo? En términos más generales, ¿qué es lo mejor que podemos hacer para la búsqueda paralela con actualizaciones?

24 ds.algorithms  ds.data-structures  dc.parallel-comp  concurrency  dynamic-algorithms 

¿Cuáles son las consecuencias de tener problemas completos en ?nortePAGS∩ c o NPAGSNP∩coNPNP\cap coNP

24 cc.complexity-theory  conditional-results 

Además de ser completamente académico y obtener un doctorado / postdoctorado, o buscar un trabajo más o menos "estándar" en el desarrollo de software, ¿cuáles son otras opciones de carrera en el campo de CS completo o semi teórico?

24 soft-question  advice-request  career 

Wikipedia define un segundo ataque de preimagen como: dado un mensaje fijo m1, busque un mensaje diferente m2 tal que hash (m2) = hash (m1). Wikipedia define un ataque de colisión como: encuentre dos mensajes diferentes arbitrarios m1 y m2 de manera que hash (m1) = hash (m2). La única …

24 cr.crypto-security  hash-function 

¿Hay algún problema de NP completo para el cual se sabe un algoritmo de que el tiempo de ejecución esperado es polinómico (para alguna distribución sensata sobre las instancias)? Si no, ¿hay problemas para los cuales se ha establecido la existencia de tal algoritmo? ¿O la existencia de tal algoritmo …

24 cc.complexity-theory  np-hardness 

Veamos el futuro dentro de 30 años. Seamos optimistas y asumamos que las áreas relacionadas con el aprendizaje automático continúan desarrollándose tan rápido como lo que hemos visto en los últimos 10 años. Eso sería genial, pero ¿cuál sería el papel de los algoritmos tradicionales en un futuro así? Aquí, …

23 ds.algorithms  soft-question  machine-learning