Ciencias de la computación teórica

Esta pregunta se le hizo a Jeannette Wing después de su presentación PCAST sobre informática. “Desde una perspectiva física, ¿hay un volumen máximo de información que podamos tener?” (Una buena pregunta desafiante para la comunidad teórica de la informática ya que creo que plantea la pregunta “¿Qué es la información?”) …

33 it.information-theory  physics 

Como aficionado de TCS, estoy leyendo material muy introductorio sobre informática cuántica. Aquí están los pocos datos elementales que he aprendido hasta ahora: No se sabe que las computadoras cuánticas resuelvan problemas NP-completos en tiempo polinómico. "La magia cuántica no será suficiente" (Bennett et al. 1997): si descarta la estructura …

33 cc.complexity-theory  complexity-classes  quantum-computing  conditional-results  physics 

El problema central de la teoría de la complejidad es posiblemente vs .PAGSPAGSPnortePAGSnortePAGSNP Sin embargo, dado que la naturaleza es cuántica, parecería más natural considerar las clases (es decir, problemas de decisión que una computadora cuántica puede resolver en tiempo polinómico, con una probabilidad de error de 1/3 como máximo …

33 cc.complexity-theory  complexity-classes  quantum-computing 

A menudo escucho que para muchos problemas conocemos algoritmos aleatorios muy elegantes, pero no, o solo soluciones deterministas más complicadas. Sin embargo, solo conozco algunos ejemplos de esto. Lo más destacado Selección rápida aleatoria (y algoritmos geométricos relacionados, por ejemplo, para cascos convexos) Mincut aleatorizado Prueba de identidad polinómica Problema …

33 ds.algorithms  randomized-algorithms  derandomization 

En 1995, Russell Impagliazzo propuso cinco mundos de complejidad: 1- Algoritmica: con todas las asombrosas consecuencias.PAGS= NPAGSPAGS=nortePAGSP=NP 2- Heuristica: los completos de son difíciles en el peor de los casos ( ) pero se pueden resolver de manera eficiente en el caso promedio.nortePAGSnortePAGSNPPAGS≠ NPAGSPAGS≠nortePAGSP \ne NP 3- Pessiland: existen problemas …

33 cc.complexity-theory  conditional-results  average-case-complexity 

Esta pregunta trata sobre problemas para los cuales existe una gran brecha de complejidad abierta entre el límite inferior conocido y el límite superior, pero no debido a problemas abiertos en las propias clases de complejidad. Para ser más precisos, digamos que un problema tiene clases de brecha (con A …

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

Descargo de responsabilidad: solo puedo dar fe de mis campos de investigación, a saber, métodos formales, semántica y teoría del lenguaje de programación. La situación es posiblemente diferente en otras partes de la disciplina. Parece que TCS se ha vuelto bastante orientado a la conferencia. Los investigadores apuntan a publicar …

32 soft-question  conferences 

Tengo cierta experiencia en informática científica, y he usado ampliamente kd-trees para aplicaciones BSP (partición de espacio binario). Recientemente me he familiarizado con los octrees, una estructura de datos similar para particionar espacios euclidianos en 3-D, pero que funciona a intervalos regulares fijos, por lo que deduzco. Un poco de …

32 ds.data-structures  tree 

En el espíritu de algunas discusiones generales como esta , estoy abriendo este hilo con la intención de reunir opiniones sobre cuáles son los desafíos abiertos y los temas candentes en la investigación sobre lenguajes de programación . Espero que la discusión pueda traer a la superficie opiniones sobre el …

32 pl.programming-languages  open-problem  research-practice 

Mirar las preguntas a través de la lente algorítmica (es decir, desde un punto de vista algorítmico o de complejidad) se ha vuelto útil en disciplinas fuera del "dominio estándar" de la informática. En particular, CS ha tenido un impacto en la biología a través de la biología computacional, en …

32 reference-request  soft-question  big-picture  social-sciences  algorithmic-lens 

Defina LOGLOG como la clase de lenguajes que se pueden calcular en el espacio O (loglog n) mediante una máquina de Turing determinista (con acceso bidireccional a la entrada). De manera similar, defina NLOGLOG como la clase de lenguajes que se pueden calcular en el espacio O (log log n) …

32 cc.complexity-theory  reference-request  space-bounded 

Si bien he aprobado algunos cursos sobre teoría de la probabilidad, tanto en la escuela secundaria como en la universidad, me cuesta leer los documentos de TCS cuando se trata de probabilidad. Parece que los autores de los artículos de TCS están muy familiarizados con la probabilidad. Trabajan mágicamente con …

32 reference-request  big-list  pr.probability  books 

En el artículo The Random Oracle Hypothesis Is False , los autores (Chang, Chor, Goldreich, Hartmanis, Håstad, Ranjan y Rohatgi) discuten las implicaciones de la hipótesis del oráculo aleatorio . Argumentan que sabemos muy poco acerca de las separaciones entre clases de complejidad, y la mayoría de los resultados implican …

32 cc.complexity-theory  complexity-classes  big-list  complexity-assumptions 

Es imposible escribir un lenguaje de programación que permita todas las máquinas que se detienen en todas las entradas y no en otras. Sin embargo, parece fácil definir dicho lenguaje de programación para cualquier clase de complejidad estándar. En particular, podemos definir un lenguaje en el que podamos expresar todos …

32 cc.complexity-theory  computability  pl.programming-languages 

Dos de los supuestos comunes para probar la dureza de los resultados de aproximación son y Unique Games Conjecture. ¿Hay alguna dureza de los resultados de aproximación suponiendo N P ≠ c o N P ? Estoy buscando el problema A tal que "es difícil aproximar A dentro de un …

32 approximation-hardness  conditional-results