Perguntas com a marcação «big-picture»

Que implicações uma prova da conjectura abc teria para os tcs? http://quomodocumque.wordpress.com/2012/09/03/mochizuki-on-abc/

24 big-picture  nt.number-theory 

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 computação quântica, onde números complexos são …

24 soft-question  big-picture 

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 meu entendimento bastante …

24 quantum-computing  big-picture 

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 sobre lógica.λλ\lambda Pelo que entendi, …

22 lo.logic  big-picture  lambda-calculus  ho.history-overview 

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 assintótica para limites inferiores. Existem …

22 cc.complexity-theory  reference-request  big-picture  application-of-theory  worst-case 

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, executar uma computação pode ser …

22 cc.complexity-theory  big-picture  physics 

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 …

22 cc.complexity-theory  np-hardness  big-picture  proofs  p-vs-np 

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 entre o teorema PCP e …

21 ds.algorithms  approximation-algorithms  big-picture  application-of-theory 

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 pesquisadores suspeita que isso seja falso, …

21 cc.complexity-theory  complexity-classes  big-picture 

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 contrastar a complexidade da comunicação com …

20 cc.complexity-theory  complexity-classes  big-picture  communication-complexity 

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 consenso é tão importante? O que …

19 reference-request  big-picture  dc.distributed-comp 

A computação reversível é um modelo computacional que permite apenas operações termodinamicamente reversíveis. De acordo com o princípio de Landauer, que afirma que apagar um pouco de informação libera joules de calor, isso exclui as funções de transição que não são individuais (por exemplo, os operadores booleanos AND e OR). …

19 cr.crypto-security  quantum-computing  big-picture  physics  quantum-information 

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 com comandos de atribuição. Como o …

19 imperative-programming  semantics  big-picture 

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 computação e, portanto, levando à necessidade de técnicas …

18 co.combinatorics  big-picture 

Estou correto ao entender que provar que um NP está completo é um sucesso de pesquisa? Se sim, por quê?

18 cc.complexity-theory  np-hardness  big-picture