Fico sempre intrigado com a falta de evidências numéricas da matemática experimental a favor ou contra a questão P vs NP. Embora a hipótese de Riemann possua algumas evidências de apoio da verificação numérica, não conheço evidências semelhantes para a pergunta P vs NP. Além disso, não conheço...
Eu sou um estudante de graduação em matemática, e a ciência da computação teórica é um domínio que eu nunca entendi do que se trata, porque não consegui encontrar uma boa leitura sobre o assunto. Quero saber sobre o que realmente é esse domínio, que tipo de tópicos ele está preocupado, que...
Minha pergunta é geral: como começo a pensar em termos de design e complexidade de algoritmos? Vou fazer um Curso de Pós-Graduação em Design de Algoritmos. Eu me matriculei mais cedo, mas desisti depois, porque não conseguia acompanhá-lo. Eu tenho que fazer este curso como um requisito. Existe um...
De um ponto de vista puramente abstrato do raciocínio matemático / computacional, (como) alguém poderia descobrir ou raciocinar sobre problemas como 3-SAT, Subset Sum, Traveling Salesman etc.? Será que vamos ser mesmo capaz de raciocinar sobre eles de qualquer maneira significativa com apenas o...
O problema de manutenção de pedidos (ou "manutenção de pedidos em uma lista") é dar suporte às operações: singleton: cria uma lista com um item, retorna um ponteiro para ele insertAfter: dado um ponteiro para um item, insere um novo item depois dele, retornando um ponteiro para o novo...
Encontro alguns livros sobre computadores, mas todos são sobre tecnologia. Eu quero algo mais ligado à
Larry Wasserman tem um post recente, onde fala sobre a "polícia de valor p". Ele faz uma observação interessante (toda a ênfase é minha) (a premissa em itálico que acrescentei e sua resposta abaixo): A queixa mais comum é que físicos e jornalistas explicam o significado de um valor-p...
Sou estudante de graduação em ciência da computação e atualmente estou planejando meu projeto de graduação. Eu preciso de algumas idéias no campo da computação quântica. qualquer
Sou um engenheiro de software bastante proficiente, mas não conheço muita teoria. Eu quero aprender mais teoria. Os tópicos específicos que me interessam são: complexidade computacional, linguagens formais e teoria dos tipos. Mas não sei como começar a aprender sobre esses campos. Quais recursos...
Considerando os tópicos abordados em uma conferência como a STOC, existem pesquisadores de algoritmo ou complexidade usando ativamente o COQ ou Isabelle? Se sim, como eles estão usando isso em suas pesquisas? Suponho que a maioria das pessoas não usaria essas ferramentas porque as provas seriam de...
Antecedentes : Estou chegando ao final do meu mestrado em matemática e vou começar um doutorado em lógica em agosto. Quanto mais lógica eu estudo, mais teórica a ciência da computação me expõe, por exemplo, teoria da recursão, cálculo lambda, mas o CS subjacente é escovado sob o tapete. Minhas...
a complexidade computacional envolve grandes quantidades de combinatória e teoria dos números, algumas ingridiências da estocástica e uma quantidade emergente de álgebra. No entanto, como analista, pergunto-me se existem aplicações de análise nesse campo, ou talvez idéias inspiradas pela análise....
A teoria dos compiladores parece ser um assunto bastante analisado. Quais são alguns problemas em aberto ou pesquisas atuais acontecendo no
Isso está relacionado à questão geral de " Como faço para arbitrar um artigo? ". Estou revendo um artigo para uma conferência, e este artigo deve ser rejeitado, porque não é significativo o suficiente para publicação e apresenta falhas em alguns de seus detalhes técnicos. O artigo não está errado,...
Quais são as carreiras típicas para cientistas da computação teóricos (pessoas com pós-graduação em ciência da computação teórica)? Que tipo de indústrias e instituições buscam conhecimento teórico em ciência da computação? Que carreiras os cientistas da computação teórica costumam...
Estou à procura de alguns conselhos e feedback. Formação: Sou estudante de matemática, com interesse em ciência da computação teórica (complexidade computacional, teoria de grafos, combinatória). Quero fazer um doutorado em Ciência da Computação e focar na teoria. Minha formação é em áreas...
Para comemorar o centésimo aniversário de Alan Turing, quero assistir a um documentário sobre sua vida. No entanto, existem vários documentários para escolher. Qual documentário sobre Alan Turing é o seu favorito? Por favor inclua apenas um documentário por
Fora da academia, quais são os usos dos meus 'poderes'? O que posso fazer além de ensinar e publicar artigos? Onde todos posso aplicar meus poderes? Por uma questão de argumento: Por favor, assuma que eu tenho um PhD em algoritmos / TCS e aprendi uma grande quantidade de 'coisas' e criamos limites...
Suponha que você esteja se encontrando com programadores que fizeram alguns cursos profissionais de programação (/ pensamento próprio), mas não estudaram matemática em nível universitário. Para mostrar a eles a beleza do TCS, gostaria de reunir alguns bons resultados / perguntas abertas...
A geometria computacional é uma área que eu acho bastante interessante e gostaria de dedicar cerca de um mês ou dois a um projeto que me apresente isso e me ajude a aprender os principais conceitos. Qual é uma boa maneira de abordar isso e quais são os principais conceitos que também devem ser...