Estou procurando um livro sobre estruturas de dados avançadas que vão além do que é abordado em livros-texto padrão como Cormen, Leiserson, Rivest e "Introduction to Algorithms" de Stein. Um livro que pode ser usado para ministrar um curso de pós-graduação em estruturas avançadas de dados, como...
Existem muitas aplicações de análises reais em ciência da computação teórica, cobrindo testes de propriedades, complexidade da comunicação, aprendizado do PAC e muitos outros campos de pesquisa. No entanto, não consigo pensar em nenhum resultado no TCS que dependa de análises complexas (fora da...
Pelo que entendi (que é muito pouco, por favor, corrija-me onde erro!), A teoria das linguagens de programação geralmente se preocupa com provas "intuicionistas". Na minha própria interpretação, a abordagem exige que levemos a sério as consequências da computação na lógica e na provabilidade. Uma...
Vamos olhar para o futuro daqui a 30 anos. Vamos ser otimistas e assumir que as áreas relacionadas ao aprendizado de máquina continuam se desenvolvendo tão rapidamente quanto o que vimos nos últimos 10 anos. Isso seria ótimo, mas qual seria o papel da algorítmica tradicional em um futuro tão...
Atualmente, essa questão não se encaixa no nosso formato de perguntas e respostas. Esperamos que as respostas sejam apoiadas por fatos, referências ou conhecimentos, mas essa pergunta provavelmente solicitará debates, argumentos, pesquisas ou discussões prolongadas. Se você acha que...
Fiquei imaginando quais ferramentas as pessoas desse campo (ciência da computação teórica) usam para criar apresentações. Como grande parte da ciência da computação não está apenas escrevendo artigos, mas também fazendo apresentações, pensei que essa seria uma questão importante e delicada. Isso é...
Recentemente, estou recebendo meus artigos rejeitados de periódicos (por exemplo, TALG) com base apenas em não ter uma diferença significativa entre a versão do periódico e os procedimentos (por exemplo, SODA). As principais razões para eu enviar para uma revista é o seu processo de revisão...
Tenho dificuldade em ensinar o conceito de funções computáveis. Tentei desenvolver a idéia de por que pesquisadores como Hilbert / Ackermann / Godel / Turing / Church / ... inventaram a noção de 'computabilidade'. Os alunos imediatamente perguntaram: "o que significa computabilidade?" e não posso...
No artigo "A COMPLEXIDADE DOS PROBLEMAS DE SATISFIABILIDADE", de Thomas J. Schaefer, o autor mencionou que This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the...
É sobre a eficácia com que podemos expressar um algoritmo em questão. Eu preciso disso para o meu ensino de graduação. Entendo que não existe uma maneira padrão de escrever um pseudo-código. Diferentes autores seguem diferentes convenções. Seria útil se as pessoas aqui indicassem o modo como...
Vou dar uma aula padrão de graduação em idiomas e autômatos no próximo semestre e preferiria usar um texto legítimo, gratuito ou de baixo custo. Alguma sugestão? Adoro o texto Sipser, mas a edição mais recente custa US $ 196, o que é difícil dizer com uma cara séria na era dos cursos...
Ao reunir resultados, geralmente é desejável ter alguns diagramas de aparência profissional, em vez de diagramas reunidos no MS Paint. Qual é o padrão para desenhar estruturas de
Estou escrevendo trabalhos em ciência da computação teórica, às vezes, sendo um autor único não anônimo. Anteriormente, usei a 1ª pessoa do plural nesses documentos, por exemplo: Mostraremos que as classes de complexidade X e Y coincidem. Não sou falante nativo de inglês nem sou muito bom em...
Sou estudante de graduação e recentemente entendi que talvez eu não tenha o intelecto para fazer pesquisas em ciência da computação teórica ou possa ser admitido e concluir um programa de doutorado. No entanto, eu ainda gostaria de me envolver com a ciência da computação teórica, pois acho muito...
Agora, a maioria dos trabalhos é escrita de forma colaborativa, e os colaboradores geralmente estão localizados em lugares diferentes. Eu sempre usei sistemas de controle de versão para meus documentos e código, e também achei o controle de versão crítico para projetos de software colaborativo, mas...
Eu tenho duas perguntas históricas: Quem primeiro descreveu a computação não determinística? Sei que Cook descreveu problemas de NP-completos e que Edmonds propôs que os algoritmos P são algoritmos "eficientes" ou "bons". Pesquisei este artigo da Wikipedia e vasculhei "Sobre a complexidade...
Essa pergunta é semelhante a uma pergunta mais geral sobre qual é o modelo teórico correto de um computador para projetar estruturas de algoritmos e dados. Aqui, pergunto especificamente sobre os atuais computadores de alto desempenho (como os listados como os 500 principais ) ou mesmo sobre...
Essa recente questão da teoria dos jogos me fez pensar (isso é tangente, é claro): É possível otimizar eficientemente uma estratégia pessoal para escolher questões de pesquisa para trabalhar no uso da teoria dos jogos? Para avançar para uma formalização da pergunta, farei as seguintes suposições...
Eu tenho uma graduação razoável em matemática, mas nunca me senti 100% à vontade com álgebra abstrata (matemática de grupos, anéis, campos etc.). Eu acho que isso foi parcialmente porque eu precisava ver aplicativos e qualquer um que eu pudesse encontrar estava na física, não no CS. Como meu...
Quais são os melhores recursos para encontrar anúncios de vagas para professores na teoria de CS? Existe um site ou lista de discussão em particular que seja bastante abrangente? Atualmente, tenho a impressão de que é preciso usar uma variedade de recursos para obter uma lista abrangente e mundial...