Perguntas com a marcação «reference-request»

Entendo que o modelo de Turing tenha se tornado o "padrão" ao descrever a computação. Estou interessado em saber por que esse é o caso - ou seja, por que o modelo da MT se tornou mais amplamente utilizado do que outros modelos teoricamente equivalentes (ao meu conhecimento), por exemplo, …

44 reference-request  soft-question  computability  turing-machines  ho.history-overview 

Atualmente, estou escrevendo uma pesquisa sobre teoremas de hierarquia no TCS. Pesquisando artigos relacionados, notei que a hierarquia é um conceito fundamental não apenas no TCS e na matemática, mas em várias ciências, da teologia e sociologia à biologia e química. Visto que a quantidade de informações é vasta, espero …

42 cc.complexity-theory  reference-request  big-list  survey 

Alguém conhece aplicações interessantes das bases de Gröbner à ciência da computação teórica? As bases de Gröbner são usadas para resolver equações polinomiais multivariadas, um problema NP-difícil em geral. Eu queria saber se alguns casos especiais tratáveis ​​foram usados ​​para fornecer algoritmos / construções / provas eficientes em áreas relacionadas …

41 cc.complexity-theory  reference-request  algebra  polynomials 

Em 1937, Turing descreveu uma máquina de Turing. Desde então, muitos modelos de computação foram descritos na tentativa de encontrar um modelo que seja como um computador real, mas ainda simples o suficiente para projetar e analisar algoritmos. Como resultado, temos dezenas de algoritmos para, por exemplo, o problema SORT …

41 ds.algorithms  reference-request  soft-question  machine-models 

Esta é uma postagem cruzada de math.stackexchange. Deixe FACT denotar o problema de fatoração de número inteiro: dado encontre os números primos e os números inteiros modo quep i ∈ N , e i ∈ N , n = Π k i = 0 p e i i .n ∈ …

39 cc.complexity-theory  reference-request  np-hardness  cr.crypto-security  factoring 

Estou procurando uma resposta definitiva para saber se a geração de números "verdadeiramente aleatórios" é computável por Turing. Não sei como expressar isso com precisão. Esta pergunta do StackExchange sobre "algoritmos eficientes para geração de números aleatórios" chega perto de responder à minha pergunta. Charles Stewart diz em sua resposta: …

39 reference-request  computability  turing-machines  randomness 

Parece que a Teoria da Complexidade Geométrica exige muito conhecimento de matemática pura, como geometria algébrica, teoria das representações. Embora eu seja estudante de ciências da computação e não tenha aulas de matemática muito abstrata e pura, estou interessado neste programa. Existe uma lista de "conhecimento mínimo" para aprender esta …

38 reference-request  big-list  survey  gct 

Existem referências (online ou em forma de livro) que organizam e discutem os teoremas do TCS pela técnica de prova? Garey e Johnson fazem isso para os vários tipos de construções de widgets necessários para as provas de completude do NP (particularmente no capítulo 3 do livro), mas estou pensando …

38 reference-request  proof-techniques 

Vou fazer uma pergunta bastante vaga, já que nem sempre é fácil distinguir a fronteira entre a teoria da computação e a matemática. PERGUNTA: Você tem conhecimento de algum resultado interessante no CS que seja independente do ZFC (isto é, teoria dos conjuntos padrão) ou que foi originalmente provado no …

37 reference-request  lo.logic  set-theory 

Vários problemas geométricos são fáceis quando considerados em , mas são NP-completos em para (incluindo um dos meus problemas favoritos, tampa do disco da unidade).D d d ≥ 2R1R1R^1RdRdR^dd≥2d≥2d\geq2 Alguém sabe de um problema que é politime solucionável para e , mas NP-completo para R ^ d, d \ geq3 …

37 cc.complexity-theory  reference-request  cg.comp-geom 

A complexidade cada vez maior dos programas de computador e a posição cada vez mais crucial que os computadores têm em nossa sociedade me deixam pensando por que ainda não usamos coletivamente linguagens de programação nas quais você precisa dar uma prova formal de que seu código funciona corretamente. Acredito …

37 reference-request  complexity-classes  computability  pl.programming-languages 

Esta é uma pergunta não técnica, mas certamente relevante para a comunidade do TCS. Se considerado inadequado, fique à vontade para fechar. A página do Complexity Zoo (http://qwiki.stanford.edu/index.php/Complexity_Zoo) certamente foi de grande serviço para a comunidade TCS ao longo dos anos. Aparentemente, está em queda há um bom tempo. Fiquei …

36 cc.complexity-theory  reference-request  soft-question 

Em geral, sabemos que a complexidade de testar se uma função assume um valor específico em uma determinada entrada é mais fácil do que avaliar a função nessa entrada. Por exemplo: Avaliar a permanente de uma matriz inteira não negativa é # P-difícil, mas dizer se essa permanente é zero …

36 cc.complexity-theory  reference-request  algebraic-complexity 

O problema é calcular o polinómio . Assuma que todos os coeficientes se encaixam em uma palavra de máquina, ou seja, podem ser manipulados em unidade de tempo.( a1 1x + b1 1) × ⋯ × ( anx + bn)(a1x+b1)×⋯×(anx+bn)(a_1 x + b_1) \times \cdots \times (a_n x + b_n) …

35 ds.algorithms  reference-request  open-problem  polynomials 

Considere o seguinte problema de contagem (ou o problema de decisão associado): Dados dois inteiros positivos codificados em binário, calcule seu maior divisor comum (MDC). Qual é a menor classe de complexidade em que esse problema está contido? Você pode fornecer uma referência? Nesta questão, não estou interessado principalmente em …

33 cc.complexity-theory  reference-request  complexity-classes  nt.number-theory