Perguntas com a marcação «intuition»

Sinto muito se esta pergunta é um pouco vaga, mas estou curioso para saber como os pesquisadores bem-sucedidos "sentem" os resultados no TCS. Por exemplo, álgebra linear pode ser entendida geometricamente ou em termos de suas interpretações físicas (vetores próprios podem ser considerados "pontos estáveis" em um sistema) etc.) Também …

27 soft-question  intuition 

É sabido que se , a hierarquia polinomial entra em colapso e .P=NPP=NP\mathbf{P}=\mathbf{NP}P=PHP=PH\mathbf{P}=\mathbf{PH} Isso pode ser facilmente entendido por indução usando máquinas oracle. A questão é: por que não podemos continuar o processo indutivo além de um nível constante de alternância e provar (também conhecido como )?P=AltTime(nO(1))P=AltTime(nO(1))\mathbf{P}=\mathbf{AltTime}(n^{O(1)})AP=PSPACEAP=PSPACE\mathbf{AP}=\mathbf{PSPACE} Estou procurando uma …

18 cc.complexity-theory  polynomial-hierarchy  intuition 

Estou ministrando um curso sobre estruturas de dados e abordarei as árvores espalhadas no início da próxima semana. Já li o artigo sobre árvores abertas e estou familiarizado com a análise e intuição por trás da estrutura de dados. No entanto, não consigo encontrar uma intuição sólida para a função …

16 ds.data-structures  intuition  amortized-analysis 

AFAIK, A primeira evidência do uso de funções de ordem superior remonta ao artigo de Schönfinkel de 1924: "Sobre os blocos de construção da lógica matemática" - onde ele permitiu passar funções como argumentos para outras funções. Isso parece interessante. No entanto, tudo o que tenho lido sobre o trabalho …

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

Estou procurando exemplos de resultados que vão contra a intuição das pessoas para uma conversa na audiência geral. Resultados que, se perguntados a não especialistas "o que sua intuição lhe diz?", Quase todos entendem errado. A declaração de resultados deve ser facilmente explicável aos alunos de graduação em cs / …

14 big-list  teaching  intuition 

Eu tenho tentado entender o que, por que e como do -calculus, mas não consigo entender o porquê "funciona"?λλ\lambda "Intuitivamente", obtenho o modelo de computabilidade da Turing Machines (TM). Mas essa distração me deixa confusa.λλ\lambda Vamos supor que as TMs não existem - então como alguém pode ser "intuitivamente" convencido …

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