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...
É 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...
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...
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...
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...