Preguntas etiquetadas con gct


1
Prerrequisito para aprender GCT
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 una lista de "conocimiento …


3
¿ implica ?
Según tengo entendido, el programa de teoría de la complejidad geométrica intenta separar al demostrar que el funcionamiento de una matriz de valores complejos es mucho más difícil de calcular que el determinante.VP≠VNPVP≠VNPVP \neq VNP La pregunta que tuve después de hojear los documentos de GCT: ¿Esto implicaría inmediatamente , …


3
Constructividad en prueba natural y complejidad geométrica
Recientemente, Ryan Willams demostró que la constructividad en la prueba natural es inevitable para derivar una separación de clases de complejidad: y . NEXPNEXP\mathsf{NEXP}TC0TC0\mathsf{TC}^{0} La constructividad en la prueba natural es una condición que satisface todas las pruebas combinatorias en la complejidad del circuito y que podemos decidir si la …

4
¿Artículos sobre la relación entre la complejidad computacional y la geometría / topología algebraica?
Me preguntaba qué documentos debería leer para entender esta pregunta Una conexión inesperada con otras áreas de las matemáticas, como la geometría algebraica o la cohomología superior. Quizás incluso un área de matemáticas aún no desarrollada. Quizás alguien desarrolle una dirección completamente nueva para las matemáticas con el fin de …

2
¿Cómo el enfoque geométrico de Mulmuley-Sohoni para producir límites inferiores evita producir pruebas naturales (en el sentido de Razborov-Rudich)?
La redacción exacta del título se debe a Anand Kulkarni (quien propuso que se creara este sitio). Esta pregunta se hizo como una pregunta de ejemplo, pero tengo una curiosidad increíble. Sé muy poco acerca de la geometría algebraica y, de hecho, solo tengo una comprensión superficial y de pregrado …


1
Lema de normalización de Noether para campos finitos
Mi pregunta es sobre los teoremas 4.1 y 4.2 en "Geometric Complexity Theory V" . El primer teorema establece que existe un algoritmo EXPSPACE para construir hsop para (ver definiciones en el documento) en C (de hecho, en un campo arbitrariamente cerrado algebraico de característica cero).Δ [ det , m …
9 gct 

Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.