Na seção "Introdução às linguagens de programação" de Anthony Aaby , sobre Semântica , ele faz a seguinte observação: Grande parte do trabalho na semântica das linguagens de programação é motivada pelos problemas encontrados na tentativa de construir e entender programas imperativos - programas...
Na computação distribuída, o problema de consenso parece ser um dos tópicos centrais que atraiu pesquisas intensivas. Em particular, o artigo "Impossibilidade de consenso distribuído com um processo defeituoso" recebeu o prêmio PODC Influential Paper Award 2001 . Então, por que o problema de...
Estou correto ao entender que provar que um NP está completo é um sucesso de pesquisa? Se sim, por
Eu procurei em todo o lado essas aplicações e, na maioria das vezes, acabei ficando curto. Posso encontrar muitas aplicações de topologia e estruturas semelhantes em conjuntos contáveis (ou incontáveis), mas raramente encontro conjuntos incontáveis como objeto de estudo por cientistas da...
A teoria da complexidade parece capturar algo fundamental sobre a estrutura do universo, na medida em que formaliza a noção intuitiva de que alguns problemas são mais difíceis do que outros. Scott Aaronson previu : "A NP Hardness Assumption será vista como análoga à Segunda Lei da Termodinâmica ou...
Background . Sou um estudante de bacharel interessado em pesquisas relacionadas à teoria das categorias, mônadas e Haskell, e quero encontrar um tópico para a tese de bacharel nessa área. Eu olhei para o jornal Eugenio Moggi , “ Noções de Computação e Mônadas ”, 1991, e ainda não entendo...
Teaser Como o problema é longo, aqui está um caso especial que captura sua essência. Problema: Seja A um algoritmo detrminístico para o 3-SAT. É o problema de simular completamente o algoritmo A (em todas as instâncias do problema). Espaço P difícil? (Mais precisamente, existem razões para...
Atualmente, sou estudante do ensino médio, interessado em ciência da computação teórica e matemática aplicada. Eu próprio aprendi álgebra linear, cálculo e matemática concreta. Tenho uma noção ingênua de que para escrevermos algoritmos melhores, é preciso conhecer o máximo de matemática possível,...
Esta pergunta é inspirada na camiseta do Georgia Tech Algorithms and Randomness Center , que pergunta "Randomize or not ?!" Existem muitos exemplos em que a randomização ajuda, especialmente quando operando em ambientes adversos. Existem também algumas configurações em que a randomização não ajuda...
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...
Qual é a classe de complexidade associada a algoritmos de pesquisa exaustivos? (se houver) É NP ou PSPACE? Existem modelos restritos de computação que capturam a classe de algoritmos exaustivos de pesquisa semelhantes aos modelos para programação dinâmica e
Sendo da Física, fui treinado para analisar muitos problemas do ponto de vista geométrico. Por exemplo, a geometria diferencial de variedades em sistemas dinâmicos etc. Quando leio os fundamentos da ciência da computação, sempre tento encontrar interpretações geométricas. Como uma interpretação...
Lembro-me de ver um estudo ou artigo há um tempo atrás, alegando que a maior parte da aceleração observada em programas de computador nas últimas décadas é de algoritmos melhores e não de hardware mais rápido. Alguém conhece o estudo ou
Minha primeira pergunta é se uma caracterização interativa de sistema de prova é conhecida por todas as classes clássicas de complexidade. Eu chamaria funções clássicas de P, NP, PSPACE, EXP, NEXP, EXPSPACE, recursivas e recursivamente enumeráveis (entre outras). Especificamente, uma...
Parece-me que a maioria dos teóricos da complexidade geralmente acredita na seguinte regra filosófica: Se não podemos descobrir um algoritmo eficiente para o problema , e nós podemos reduzir problema para o problema , então provavelmente não há um algoritmo eficiente para o problema , também.A B...
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...
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....
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...
O que exatamente é a ciência da computação teórica? Está aprendendo a codificar em vários idiomas e criando aplicativos em plataformas? Ou está apenas pensando em algoritmos cada vez mais rápidos para que você possa realizar uma tarefa com mais eficiência pelos computadores? Ou está programando e...
Arora e Barak mostram que pode ser expresso como ou seja, o conjunto de idiomas que apresentaram reduções aleatórias em 3SAT. também é uma generalização aleatória natural de na medida em que você substitui o verificador determinístico por um verificador