Ciencias de la computación teórica

¿Qué herramientas utilizas para escribir artículos? Por la poca experiencia que tengo, los teóricos pasan una gran cantidad de tiempo escribiendo y refinando artículos, además de ser creativos. Es decir, comunicar su trabajo a otras personas. Tal vez los documentos no son la forma correcta de hacerlo, pero eso debería …

55 soft-question  big-list  research-practice  writing 

Hay algunos problemas de conteo que implican contar exponencialmente muchas cosas (en relación con el tamaño de la entrada) y, sin embargo, tienen sorprendentes algoritmos deterministas exactos de tiempo polinómico. Ejemplos incluyen: Contar combinaciones perfectas en un gráfico plano (el algoritmo FKT ), que es la base de cómo funcionan …

54 cc.complexity-theory  counting-complexity  big-picture 

En Complejidad descriptiva , Immerman tiene Corolario 7.23. Las siguientes condiciones son equivalentes: 1. P = NP. 2. Sobre estructuras finitas, ordenadas, FO (LFP) = SO. Esto puede considerarse como "amplificación" de P = NP a un enunciado equivalente sobre (presumiblemente) clases de mayor complejidad. Tenga en cuenta que SO …

54 cc.complexity-theory  reference-request  complexity-classes  conditional-results  polynomial-hierarchy 

Es mi primera pregunta en este sitio. Estoy tomando un curso de maestría en teoría de la computación. ¿Cómo explicarías el problema P = NP a un niño de 10 años y por qué tiene una recompensa monetaria? Su toma? Actualizaré la pregunta a medida que mi cabeza se aclare …

54 cc.complexity-theory  soft-question  teaching  p-vs-np 

¿Cuáles son sus ejemplos favoritos donde la teoría de la información se usa para probar una declaración combinatoria ordenada de una manera simple? Algunos ejemplos que se me ocurren se relacionan con los límites para disminuir localmente códigos descifrables, por ejemplo, en este documento: supongamos que para un montón de …

54 co.combinatorics  big-list  it.information-theory 

Suponga que y son dos gráficos no dirigidos en el conjunto de vértices . Los gráficos son isomórficos si y solo si hay una permutación tal que , o más formalmente, si hay una permutación tal que es una ventaja en si y solo if es una ventaja en . …

53 cc.complexity-theory  graph-isomorphism  pcp 

Muchos investigadores y grupos de investigación de primer nivel en informática) mantienen blogs activos que nos mantienen actualizados sobre las últimas investigaciones en los campos de interés de los autores. En la mayoría de los casos, las publicaciones de blog son más fáciles de entender que los documentos formales, porque …

53 soft-question 

Mi doctorado es pura matemática, y admito que no sé mucho (es decir, nada) sobre CS teórica. Sin embargo, he comenzado a explorar opciones no académicas para mi carrera y al presentarme al aprendizaje automático, me topé con declaraciones como "Nadie entiende por qué las redes neuronales funcionan bien", lo …

52 machine-learning 

Para (versiones de búsqueda) de problemas completos de NP , verificar una solución es claramente más fácil que encontrarla, ya que la verificación se puede hacer en tiempo polinómico, mientras que encontrar un testigo lleva (probablemente) tiempo exponencial. En P , sin embargo, la solución también se puede encontrar en …

52 cc.complexity-theory  ds.algorithms  reference-request 

Considere familias disjuntas de subconjuntos de {1,2, ..., n}, .tttF1,F2,…FtF1,F2,…Ft{\cal F}_1,{\cal F_2},\dots {\cal F_t} Suponer que (*) Para cada y cada , y , hay que contiene .i<j<ki<j<ki \lt j \lt kR∈FiR∈FiR \in {\cal F}_iT∈FkT∈FkT \in {\cal F}_kS∈FjS∈FjS \in {\cal F}_jR∩TR∩TR \cap T La pregunta básica es: ¿Qué tan grande …

52 co.combinatorics  cg.comp-geom  open-problem  linear-programming 

Dos formas de analizar la eficiencia de un algoritmo son poner un límite superior asintótico en su tiempo de ejecución, y para ejecutarlo y recopilar datos experimentales. Me pregunto si hay casos conocidos en los que haya una brecha significativa entre (1) y (2). Con esto quiero decir que (a) …

52 ds.algorithms  big-list  ds.data-structures 

Esta pregunta está inspirada en otra pregunta sobre las novedades en PFDS desde la publicación del libro de Okasaki en 1998 . Comenzaré con dos preguntas que tengo: ¿Existe una estructura de datos de conjunto puramente funcional que se aproxime a la velocidad de las tablas hash? Los intentos aún …

51 big-list  ds.data-structures  functional-programming 

A menudo me preguntan qué hace un informático teórico. Sería genial tener algunas buenas respuestas a esta pregunta. Tiendo a recurrir a la jerga técnica y los ojos de las personas generalmente se vuelven vidriosos en este punto. ¿Qué hace un informático teórico, en términos que pueden ser entendidos por …

51 big-list  soft-question 

En su célebre artículo "Codificación Conjugada" (escrito alrededor de 1970), Stephen Wiesner propuso un esquema para el dinero cuántico que es incondicionalmente imposible de falsificar, suponiendo que el banco emisor tiene acceso a una tabla gigante de números aleatorios, y que los billetes pueden ser traídos De vuelta al banco …

50 quantum-computing 

Después de una fructífera pregunta en MO , pensé que valdría la pena discutir algunos nombres notables en papel en CS. Está bastante claro que la mayoría de nosotros podría sentirse atraída por leer (o al menos mirar) un artículo con un título interesante (al menos lo hago cada vez …

50 soft-question  big-list