Do ponto de vista do senso comum, é fácil acreditar que adicionar não-determinismo a aumenta significativamente seu poder, ou seja, é muito maior que . Afinal, o não determinismo permite o paralelismo exponencial, que sem dúvida parece muito poderoso. PP\mathsf{P}PNPNP\mathsf{NP}PP\mathsf{P} Por...
Ocasionalmente, ouvi pessoas falarem sobre algoritmos quânticos e sobre estados e a capacidade de considerar várias possibilidades ao mesmo tempo, mas nunca consegui alguém para explicar o modelo computacional por trás disso. Para ser claro, não estou perguntando como os computadores quânticos são...
Examinar perguntas através da lente algorítmica (isto é, do ponto de vista algorítmico ou da complexidade) tornou-se útil em disciplinas fora do 'domínio padrão' da ciência da computação. Em particular, o CS causou impacto na biologia através da biologia computacional, na física através do...
Muitos especialistas acreditam que a conjectura é verdadeira e a usa em seus resultados. Minha preocupação é que a complexidade dependa fortemente da conjectura .P ≠ N PPNPP≠NP\mathsf{P} \neq \mathsf{NP}PNPP≠NP\mathsf{P} \neq \mathsf{NP} Então, minha pergunta é: Desde que a conjectura não seja...
Estou interessado em saber por que os números naturais são tão amados pelos autores de livros sobre teoria das linguagens de programação e teoria dos tipos (por exemplo, J. Mitchell, Fundações para linguagens de programação e B. Pierce, Tipos e linguagens de programação). A descrição do cálculo...
Uma das coisas boas de ter evoluído em um universo com três dimensões espaciais é que desenvolvemos habilidades de resolução de problemas referentes a objetos no espaço. Assim, por exemplo, podemos pensar em um trigêmeo de números como um ponto em 3-d e, portanto, computação sobre trigêmeos de...
Grothendieck faleceu . Ele teve um impacto maciço na matemática do século XX, continuando no século XXI. Esta pergunta é feita de alguma forma no estilo / espírito, por exemplo, de Contribuições de Alan Turing para Ciência da Computação . Quais são as principais influências de Grothendieck na...
O estudo da ecologia e da evolução está se tornando cada vez mais matemático, mas a maioria das ferramentas teóricas parece vir da física. No entanto, em muitos casos, os problemas têm uma natureza muito discreta (veja, por exemplo, SLBS00 ) e podem se beneficiar da perspectiva da ciência da...
Li em vários artigos que se acredita amplamente na existência de funções de mão única . Alguém pode esclarecer por que esse é o caso? Que argumentos temos para apoiar a existência de funções
Que implicações uma prova da conjectura abc teria para os
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...
O emaranhamento é frequentemente sustentado como o principal ingrediente que torna os algoritmos quânticos bem ... quânticos, e isso pode ser rastreado até os estados de Bell que destroem a idéia da física quântica como um modelo probabilístico de estado oculto. Na teoria da informação quântica (do...
Eu tenho trabalhado na introdução de alguns resultados da complexidade computacional na biologia teórica, especialmente evolução e ecologia , com o objetivo de ser interessante / útil para os biólogos. Uma das maiores dificuldades que enfrentei é justificar a utilidade da análise de pior caso...
Eu li que, inicialmente, Church propôs o cálcio como parte de seu artigo Postulados da Lógica (que é uma leitura densa). Mas Kleene provou seu "sistema" inconsistente, após o qual Church extraiu coisas relevantes por seu trabalho sobre "computabilidade efetiva" e abandonou seu trabalho anterior...
Para verificar meu entendimento, gostaria de compartilhar algumas idéias sobre os requisitos de energia da computação. Este é um seguimento da minha pergunta anterior e pode estar relacionado à pergunta de Vinay sobre leis de conservação . Ocorreu-me que, de um ponto de vista termodinâmico,...
Eu estava lendo " O P Versus NP é formalmente independente? ", Mas fiquei intrigado. É amplamente aceito na teoria da complexidade que . Minha pergunta é sobre o que se não for possível (digamos no ). (Vamos supor que descobrimos apenas que é independente do mas não há mais informações sobre como...
Ultimamente, comecei a procurar algoritmos de aproximação para problemas difíceis de NP e estava pensando nas razões teóricas para estudá-los. (A questão não é para ser inflamatória - estou apenas curiosa). Alguma teoria verdadeiramente bela saiu do estudo dos algoritmos de aproximação - a conexão...
Estou curioso, em um sentido amplo, sobre o que é conhecido sobre algoritmos de paralelização em P. Encontrei o seguinte artigo da Wikipedia sobre o assunto: http://en.wikipedia.org/wiki/NC_%28complexity%29 O artigo contém a seguinte frase: Não se sabe se NC = P, mas a maioria dos...
Discussão : Ultimamente, tenho passado algum tempo pessoal aprendendo várias coisas sobre a complexidade da comunicação. Por exemplo, me familiarizei novamente com o capítulo relevante em Arora / Barak, comecei a ler alguns papéis e pedi o livro de Kushilevitz / Nisan. Intuitivamente, quero...
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...