Preguntas etiquetadas con intuition

Lamento si esta pregunta es un poco vaga, pero tengo curiosidad por saber cómo los investigadores exitosos tienen una "idea" de los resultados en TCS. Por ejemplo, el álgebra lineal puede entenderse geométricamente o en términos de sus interpretaciones físicas (los vectores propios pueden considerarse "puntos estables" en un sistema), …

27 soft-question  intuition 

Es bien sabido que si P=NPP=NP\mathbf{P}=\mathbf{NP} entonces la jerarquía polinomio colapsa y P=PHP=PH\mathbf{P}=\mathbf{PH} . Esto puede entenderse fácilmente inductivamente utilizando máquinas Oracle. La pregunta es: ¿por qué no podemos continuar el proceso inductivo más allá de un nivel constante de alternancias y demostrar P=AltTime(nO(1))P=AltTime(nO(1))\mathbf{P}=\mathbf{AltTime}(n^{O(1)}) (también conocido como AP=PSPACEAP=PSPACE\mathbf{AP}=\mathbf{PSPACE} )? Estoy …

18 cc.complexity-theory  polynomial-hierarchy  intuition 

Estoy enseñando un curso sobre estructuras de datos y cubriré árboles de despliegue a principios de la próxima semana. He leído muchas veces el documento sobre árboles de separación y estoy familiarizado con el análisis y la intuición detrás de la estructura de datos. Sin embargo, parece que no puedo …

16 ds.data-structures  intuition  amortized-analysis 

AFAIK, La primera evidencia del uso de funciones de orden superior se remonta al artículo de Schönfinkel de 1924: "Sobre los bloques de construcción de la lógica matemática", donde permitió pasar funciones como argumentos a otras funciones. Eso parece interesante Sin embargo, todo lo que he estado leyendo sobre su …

15 lo.logic  soft-question  ho.history-overview  intuition  function 

Estoy buscando ejemplos de resultados que van en contra de la intuición de las personas para una audiencia general. Resultados que, si se les pregunta a los no expertos "¿qué te dice tu intuición?", Casi todos se equivocarían. La declaración de resultados debe ser fácilmente explicable a los estudiantes de …

14 big-list  teaching  intuition 

He estado tratando de entender qué, por qué y cómo del cálculo pero no puedo entender "¿por qué funciona?"λλ\lambda "Intuitivamente" obtengo el modelo de computabilidad de Turing Machines (TM). Pero esta abstracción me deja confundido.λλ\lambda Supongamos que las TM no existen; entonces, ¿cómo puede uno estar "intuitivamente" convencido de la …

12 soft-question  computability  lambda-calculus  ho.history-overview  intuition