Preguntas etiquetadas con big-list

¿Hay conjeturas en la informática teórica que impliquen algún parámetro n y se hayan probado para valores pequeños de n AND para números primos pero luego resultaron ser falsos? En teoría de números existen tales problemas, por ejemplo. como Aaron Meyerowitz señala el de los coeficientes de los polinomios ciclotómicos. …

17 big-list  primes 

Soy un estudiante graduado en matemáticas con una sólida formación en lógica. He tomado un curso de posgrado en lógica junto con cursos de posgrado sobre teoría de modelos finitos y otro sobre forzado y teoría de conjuntos. La mayoría de los textos de CS parecen asumir solo un trasfondo …

17 lo.logic  soft-question  big-list  books  formal-methods 

¿Cuáles son algunos ejemplos importantes de desrandomización exitosa o al menos progreso en mostrar evidencia concreta hacia el objetivo (no la conexión de aleatoriedad de dureza)?PAG= B PPAGPAG=siPAGPAGP=BPP El único ejemplo que me viene a la mente es la prueba de primitiva de tiempo polinomial determinista de AKS (incluso para …

15 cc.complexity-theory  big-list  randomized-algorithms  derandomization  pseudorandom-generators 

Larry Wasserman tiene una publicación reciente donde habla sobre la "policía de valor p". Él hace un punto interesante (todo el énfasis es mío) (la premisa en cursiva que agregué y su respuesta debajo): La queja más común es que físicos y periodistas explican incorrectamente el significado de un valor …

15 ds.algorithms  soft-question  big-list 

max { k , n / k }max{k,norte/ /k}\max \left\{k, n/k\right\}k = n--√k=nortek=\sqrt n Algoritmo de paso gigante de paso de bebé para calcular el logaritmo discreto en O ( n--√)O(norte)O(\sqrt n) , rango ortogonal 2D estático que cuenta en tiempo O ( n--√)O(norte)O(\sqrt n) y memoria O ( n …

15 ds.algorithms  ds.data-structures  big-list  teaching 

Busqué en Internet, pero no pude encontrar ninguna 'gran lista' de variantes del problema SAT. Aparte del (común) SE SENTÓ, k-SAT, MAX-kSAT, Medio SAT, XOR-SAT, NAE-SAT ¿Qué más variantes hay? (también será realmente útil si se dan clases de complejidad (cuando sea posible))

14 cc.complexity-theory  sat  big-list 

Estoy comenzando mi doctorado este otoño y estoy planeando trabajar en teoría de la complejidad para mi tesis. Estoy compilando una lista de documentos importantes que todo teórico de la complejidad debería saber. ¿Qué documentos le sugerirías a una persona como yo? Y explique brevemente por qué cree que el …

14 cc.complexity-theory  reference-request  big-list 

¿Se conocen los resultados que descartan la existencia de estructuras de datos "demasiado buenas para ser verdaderas"? Por ejemplo: ¿se puede agregar la funcionalidad y J o i n a una estructura de datos de mantenimiento de pedidos (ver Dietz y Sleator STOC '87 ) y aún obtener operaciones de …

14 ds.data-structures  big-list  lower-bounds  time-complexity 

¿Qué tipo de conjeturas y principales problemas abiertos son los más importantes en la teoría algorítmica de juegos (o la teoría de juegos en general en lo que se refiere a CS)? Por ejemplo, la resolución de NASH como PPAD completo, creo, habría sido la más grande hasta que se …

14 big-list  gt.game-theory 

Dos documentos que incluiría son: D. Kozen, "Indización de clases subrecursivas" , STOC, 1978. R. Ladner, "Sobre la estructura de la reducibilidad del tiempo polinomial" , JACM, 1975.

14 cc.complexity-theory  lo.logic  computability  big-list  structural-complexity 

Estoy buscando ejemplos de resultados que van en contra de la intuición de las personas para una audiencia general. Resultados que, si se les pregunta a los no expertos "¿qué te dice tu intuición?", Casi todos se equivocarían. La declaración de resultados debe ser fácilmente explicable a los estudiantes de …

14 big-list  teaching  intuition 

Suponga que se está reuniendo con programadores que han tomado algunos cursos de programación profesional (/ pensamiento propio) pero no estudiaron matemáticas a nivel universitario. Para mostrarles la belleza de TCS, me gustaría reunir algunos buenos resultados / preguntas abiertas provenientes de TCS que puedan explicarse fácilmente. Un buen candidato …

13 soft-question  big-list  big-picture  teaching 

¿Hay libros recientes sobre algoritmos en línea? Solo conozco dos libros sobre el tema. Computación en línea y análisis competitivo de Allan Borodin y Ran El-Yaniv: este es un libro clásico pero antiguo, y no contiene muchos avances recientes en el campo. El diseño de algoritmos competitivos en línea a …

13 reference-request  big-list  online-algorithms 

Para celebrar el cumpleaños número 100 de Alan Turing, quiero ver un documental sobre su vida. Sin embargo, hay varios documentales para elegir. ¿Qué documental sobre Alan Turing es tu favorito? Incluya solo un documental por respuesta.

13 reference-request  soft-question  big-list  ho.history-overview 

La teoría del compilador parece ser un tema bastante investigado. ¿Cuáles son algunos problemas abiertos o investigaciones actuales que están ocurriendo en el campo?

13 soft-question  big-list  open-problem  compilers