Parece que la teoría de la complejidad geométrica requiere mucho conocimiento de las matemáticas puras, como la geometría algebraica, la teoría de la representación. Si bien soy estudiante de CS y NO tengo clases de matemáticas muy abstractas y puras, estoy interesado en este programa. ¿Existe...
¿Hay alguna referencia (en línea o en forma de libro) que organice y discuta los teoremas de TCS mediante la técnica de prueba? Garey y Johnson hacen esto para los diversos tipos de construcciones de widgets necesarios para las pruebas de integridad de NP (particularmente en el capítulo 3 de su...
La complejidad cada vez mayor de los programas de computadora y la posición cada vez más crucial que tienen las computadoras en nuestra sociedad me hacen preguntarme por qué todavía no usamos colectivamente lenguajes de programación en los que tenga que dar una prueba formal de que su código...
Voy a hacer una pregunta bastante vaga, ya que la frontera entre la informática teórica y las matemáticas no siempre es fácil de distinguir. PREGUNTA: ¿Conoce algún resultado interesante en CS que sea independiente de ZFC (es decir, la teoría de conjuntos estándar), o que se demostró originalmente...
Una serie de problemas geométricos son fáciles cuando se consideran en , pero son NP-completos en para (incluido uno de mis problemas favoritos, la cubierta del disco de la unidad).R1R1R^1RdRdR^dd≥2d≥2d\geq2 ¿Alguien sabe de un problema que pueda resolverse en polytime para y , pero NP-complete...
Esta es una pregunta no técnica, pero ciertamente relevante para la comunidad TCS. Si se considera inapropiado, no dude en cerrar. La página web de Complexity Zoo (http://qwiki.stanford.edu/index.php/Complexity_Zoo) ciertamente ha sido de gran servicio para la comunidad de TCS a lo largo de los...
En general, sabemos que la complejidad de probar si una función toma un valor particular en una entrada dada es más fácil que evaluar la función en esa entrada. Por ejemplo: Evaluar el permanente de una matriz entera no negativa es # P-hard, pero determinar si dicho permanente es cero o no está...
El problema es calcular el polinomio . Suponga que todos los coeficientes caben en una palabra de máquina, es decir, pueden manipularse en unidades de tiempo.(a1x+b1)×⋯×(anx+bn)(a1x+b1)×⋯×(anx+bn)(a_1 x + b_1) \times \cdots \times (a_n x + b_n) Puede hacer tiempo aplicando FFT en forma de árbol....
Considere el siguiente problema de conteo (o el problema de decisión asociado): dados dos enteros positivos codificados en binario, calcule su máximo divisor común (mcd). ¿Cuál es la clase de complejidad más pequeña en la que se encuentra este problema? ¿Me puede proporcionar una referencia? En...
Necesito un libro de teoría de autómatas finito con muchos ejemplos que pueda usar para el autoaprendizaje y para prepararme para los
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...
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) mediante...
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 la...
He estado leyendo " Semántica con aplicaciones " de Nielson & Nielson , y realmente me gusta el tema. Me gustaría tener un libro más sobre semántica del lenguaje de programación, pero realmente solo puedo obtener uno. Eché un vistazo al libro de Turbak / Gifford , pero es demasiado largo;...
No parece que se sepa esto, pero ¿hay algún límite inferior interesante sobre la complejidad de la multiplicación de matrices en el modelo de computación cuántica? ¿Tenemos alguna intuición de que podemos vencer la complejidad del algoritmo Coppersmith-Winograd usando computadoras...
Los métodos polinómicos , por ejemplo, el teorema combinatorio de Nullstellensatz y Chevalley-Warning son herramientas poderosas en la combinatoria aditiva. Al representar un problema con los polinomios adecuados, pueden garantizar la existencia de una solución o el número de soluciones para los...
En su libro, Boolean Function Complexity, Stasys Jukna menciona (página 564) que Kolmogorov creía que cada lenguaje en P tiene circuitos de tamaño lineal. No se menciona ninguna referencia y no pude encontrar nada en línea. ¿Alguien sabe más sobre
Solo conozco dos pruebas del lema de Schwartz-Zippel. La primera prueba (más común) se describe en la entrada de wikipedia . La segunda prueba fue descubierta por Dana Moshkovitz. ¿Hay alguna otra prueba que use ideas sustancialmente diferentes?
Acabo de enseñar el algoritmo de mincut aleatorio Karger-Stein en mi clase de algoritmos de posgrado. Esta es una verdadera joya algorítmica , así que no puedo no enseñarlo, pero siempre me deja frustrado, porque no conozco ninguna otra aplicación de la técnica principal. (Por lo tanto, es difícil...
Editar: elijo la respuesta con la puntuación más alta antes del 06 de diciembre de 2012. Esta es una pregunta suave. El concepto de algoritmos (deterministas) se remonta a BC. ¿Qué pasa con los algoritmos probabilísticos? En esta entrada de la wiki , el algoritmo de Rabin para el problema de par...