Preguntas etiquetadas con big-picture

¿Estoy en lo cierto al entender que probar un problema NP completo es un éxito de investigación? Si es así, ¿por qué?

18 cc.complexity-theory  np-hardness  big-picture 

Actualmente soy un estudiante de secundaria, interesado en informática teórica y matemáticas aplicadas. Yo mismo me enseñé álgebra lineal y cálculo y matemáticas concretas. Tengo una noción ingenua de que para escribir mejores algoritmos, uno debe saber la mayor cantidad de matemáticas posible porque puede aprender sobre nuevas estructuras y …

17 big-picture 

Rompecabezas Dado que el problema es largo aquí hay un caso especial que captura su sentido. Problema: Sea A un algoritmo detrminístico para 3-SAT. Es el problema de simular completamente el algoritmo A (en cada instancia del problema). P-Space duro? (Más precisamente, ¿hay razones para creer que esta tarea es …

17 cc.complexity-theory  big-picture  structural-complexity 

Esta pregunta está inspirada en la camiseta de Georgia Tech Algorithms and Randomness Center , que pregunta "¿Aleatorizar o no?" Hay muchos ejemplos en los que la aleatorización ayuda, especialmente cuando se opera en entornos adversos. También hay algunas configuraciones donde la aleatorización no ayuda ni perjudica. Mi pregunta es: …

17 randomness  big-picture  randomized-algorithms 

Antecedentes . Soy un estudiante de licenciatura que está interesado en investigaciones relacionadas con la teoría de categorías, mónadas y Haskell, y quiero encontrar un tema para mi tesis de licenciatura en esa área. He mirado el papel Eugenio Moggi , " Nociones de computaciones y mónadas ", 1991, y …

17 reference-request  pl.programming-languages  big-picture  ct.category-theory  monad 

Siempre me intriga la falta de evidencia numérica de las matemáticas experimentales a favor o en contra de la pregunta P vs NP. Si bien la hipótesis de Riemann tiene alguna evidencia de respaldo de la verificación numérica, no conozco evidencia similar para la pregunta P vs NP. Además, no …

15 cc.complexity-theory  soft-question  big-picture  experimental 

Siendo de Física, he sido entrenado para investigar muchos problemas desde un punto de vista geométrico. Por ejemplo, la geometría diferencial de múltiples en sistemas dinámicos, etc. Cuando leo los fundamentos de la informática, siempre trato de encontrar interpretaciones geométricas. Como una interpretación geométrica plausible de conjuntos recursivamente enumerables (trabajé …

14 reference-request  computability  big-picture 

¿Cuál es la clase de complejidad asociada con los algoritmos de búsqueda exhaustiva? (si hay uno) ¿Es NP o PSPACE? ¿Existen modelos restringidos de cómputo que capturen la clase de algoritmos de búsqueda exhaustiva similares a los modelos para programación codiciosa y dinámica?

14 cc.complexity-theory  ds.algorithms  reference-request  big-picture  machine-models 

Recuerdo haber visto un estudio o artículo hace un tiempo afirmando que la mayor parte de la aceleración vista en los programas de computadora en las últimas décadas proviene de mejores algoritmos en lugar de hardware más rápido. ¿Alguien sabe el estudio o artículo?

14 ds.algorithms  reference-request  big-picture  ar.hardware-architecture 

Mi primera pregunta es si la caracterización de un sistema de prueba interactivo es conocida para todas las clases de complejidad clásicas. Llamaría P, NP, PSPACE, EXP, NEXP, EXPSPACE, funciones recursivas y recursivamente enumerables clásicas (entre otras). Específicamente, ¿se conoce una caracterización de sistema de prueba interactiva para funciones recursivas …

14 cc.complexity-theory  big-picture  interactive-proofs 

Me parece que la mayoría de los teóricos de la complejidad generalmente creen en la siguiente regla filosófica: Si no podemos imaginar un algoritmo eficiente para el problema , y podemos reducir el problema Una de problema B , entonces probablemente no es un algoritmo eficiente para el problema B …

14 cc.complexity-theory  big-picture  reductions 

La complejidad computacional implica grandes cantidades de combinatoria y teoría de números, algunas ingrididades del estocástico y una cantidad emergente de álgebra. Sin embargo, al ser un analista, me pregunto si hay aplicaciones de análisis en este campo, o tal vez ideas inspiradas en el análisis. Todo lo que sé …

14 cc.complexity-theory  reference-request  soft-question  big-picture 

He estado leyendo sobre la teoría del tipo intuitivo (ITT) y tiene sentido. Pero lo que me cuesta entender es "¿por qué" se creó en primer lugar? ¡La lógica intuitiva (IL) y el cálculo tipo simple (STLC) y la teoría de tipos en general son anteriores a la existencia misma …

13 lo.logic  soft-question  type-theory  big-picture  ho.history-overview 

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 

¿Qué es exactamente la informática teórica? ¿Está aprendiendo a codificar en varios idiomas y creando aplicaciones en plataformas? ¿O solo está pensando en algoritmos cada vez más rápidos para que pueda lograr una tarea de manera más eficiente por parte de las computadoras? ¿O se trata de programar y pensar …

13 big-picture