Uma questão simples é uma questão (possivelmente subjetiva) sobre o campo da ciência da computação teórica, em oposição a ser uma questão da ciência da computação teórica.
Esta pergunta é (inspirada por) / (vergonhosamente roubada) uma pergunta semelhante no MathOverflow , mas espero que as respostas aqui sejam bem diferentes. Todos nós temos artigos favoritos em nossas próprias áreas de teoria. De vez em quando, encontramos um artigo tão surpreendente (por exemplo,...
Paul Erdos falou sobre o "Livro", onde Deus guarda a prova mais elegante de cada teorema matemático. Isso até inspirou um livro (que eu acredito que está agora em sua 4ª edição): Provas do livro . Se Deus tivesse um livro semelhante para algoritmos, quais algoritmos você acha que seriam...
[ Linha do tempo ] Essa pergunta tem o mesmo espírito de quais papéis todos deveriam ler e quais vídeos todos deveriam assistir . Ele pede livros notáveis em diferentes áreas da ciência da computação teórica. Os livros podem ser orientados para a matemática, mas você pode achar ótimo para um...
A Universidade de Stanford agora tem um canal no Youtube , com acesso gratuito a vídeos em HD de cursos completos sobre tudo, desde sistemas dinâmicos a entrelaçamento quântico. Mais conferências e workshops estão filmando suas palestras. Quais são os vídeos on-line que você acha que todos deveriam...
Depois de ler a pergunta de Daniel Apon , comecei a pensar que poderia ser útil (especialmente para pesquisadores juniores e estudantes de pós-graduação como eu) fazer uma pergunta mais ampla e geral para que possamos aprender com a experiência de pesquisadores mais experientes. Então aqui está a...
Houve várias perguntas com o mesmo esquema que este: Que papéis todos deveriam ler Que livros todos deveriam ler Quais são os livros recentes do TCS cujos rascunhos estão disponíveis on-line quais vídeos todos deveriam assistir Eu relutava em postar mais uma, mas as anotações de Jeff Erickson...
Gostaria de pedir ajuda para compilar uma lista do maior número possível de conferências e workshops relacionados ao TCS. Minha principal motivação para fazer isso é planejar uma possível cobertura do blog de mais espaços teóricos - encontrar correspondentes que participem desses eventos e que...
Estou apenas lendo o cálculo lambda para "conhecê-lo". Eu vejo isso como uma forma alternativa de computação, em oposição à Máquina de Turing. É uma maneira interessante de fazer coisas com funções / reduções (falando grosseiramente). Algumas perguntas continuam me incomodando: Qual é o objetivo...
Qual é o trabalho publicado mais engraçado sobre TCS que você conhece? Por favor, inclua apenas aqueles que pretendem ser engraçados. Os trabalhos explicitamente criados para serem inteligentemente bem-humorados (em vez de, digamos, uma coleção publicada de piadas curtas sobre a teoria da...
Atualmente, sou estudante de graduação, que deve se formar este ano. Após a formatura, estou pensando em trabalhar para um mestrado / doutorado em TCS. Comecei a me perguntar que campos da matemática são considerados úteis para o TCS, especialmente a teoria da complexidade (clássica). Quais campos...
Esta pergunta pode não ser adequada aqui, mas não consegui encontrar um lugar melhor para perguntar (foi fechado no SO). Acho trabalhos de pesquisa em ciência da computação difíceis de entender. Claro que os assuntos são complicados. Mas depois que eu entendo um artigo, geralmente posso contar a...
Por favor, liste exemplos em que um teorema da matemática que normalmente não era considerado aplicável à ciência da computação foi usado pela primeira vez para provar um resultado na ciência da computação. Os melhores exemplos são aqueles em que a conexão não era óbvia, mas uma vez descoberta, é...
Vindo de um fundo mais matemático, nunca aprendi realmente a codificar. Estou iniciando um doutorado em TCS e muitas pessoas ficaram surpresas com o pouco que eu sabia sobre programação (e sobre computador em geral). Sou capaz de escrever algoritmos em pseudo-código, mas não conheço nenhuma...
Atualizado abaixo Todos sabemos a importância crítica da revisão por pares. É a principal forma de controle de qualidade e feedback sobre a pesquisa. No entanto, para um pesquisador em estágio inicial (como eu), às vezes pode ser um sistema / processo confuso. Nesse sentido, existem vários...
Frequentemente, quando participamos de conferências da TCS, observamos alguns pequenos detalhes que desejamos que os organizadores da conferência tivessem resolvido. E quando estamos organizando conferências, já a esquecemos. Daí a pergunta: que pequenos passos poderíamos dar facilmente para...
Ao longo dos anos, me acostumei a ver muitos teoremas do TCS provados usando análise discreta de Fourier. A transformação Walsh-Fourier (Hadamard) é útil em praticamente todos os subcampos do TCS, incluindo testes de propriedades, pseudo-aleatoriedade, complexidade da comunicação e computação...
Esta pergunta é algo que eu me pergunto há um tempo. Quando as pessoas descrevem o problema P vs. NP, geralmente comparam a classe NP à criatividade. Eles observam que compor uma sinfonia com qualidade Mozart (análoga a uma tarefa NP) parece muito mais difícil do que verificar se uma sinfonia já...
Quais são as diretrizes gerais para verificar suas provas? Eu acredito que isso é importante para estudantes de pós-graduação como eu. Eu já sei o que precisamos fazer para provar algo, mas você sempre precisa verificar tudo antes de enviá-lo. Mesmo para o seu próprio consultor. Desenvolvi algumas...
Eu sou novo no site. No mathoverflow, isso seria um wiki da comunidade, mas não vejo como definir isso aqui. Não é uma pergunta de pesquisa, mas espero que seja de interesse de cientistas da computação teóricos profissionais. Eu sou um estudante de graduação do segundo ano em teoria e estava...
Depois de estudar autômatos determinísticos de estado finito (DFA) na graduação, senti que eles eram extremamente bem compreendidos. Minha pergunta é se há algo que ainda não entendemos sobre eles. Não quero dizer generalizações de DFAs, mas os DFAs originais não modificados que estudamos na...