Encontro alguns livros sobre computadores, mas todos são sobre tecnologia. Eu quero algo mais ligado à
Na minha introdução ao curso de programação, estamos aprendendo sobre o método Initialization-Maintenance-Termination de provar que um algoritmo faz o que esperamos. Mas apenas tivemos que provar que um algoritmo já conhecido como correto está correto. Nunca fomos solicitados a mostrar que um...
Todos sabemos que mostrar tem barreiras. Todos nós estudamos essas barreiras porque acreditamos que P ≠ N PP≠NPP≠NPP\ne NPP≠NPP≠NPP\ne NP . No entanto, assuma e há pessoas sábias que acreditam que essa possibilidade existe . Se esse for realmente o caso, o próprio fato de não termos visto bons...
Eu tenho um politopo PPP definido por {x:Ax≤b,x≥0}{x:UMAx≤b,x≥0 0}\{ x : Ax \leq b, x \geq 0\} . Pergunta: Dado um vértice vvv de PPP , existe um algoritmo de tempo polinomial para amostrar uniformemente os vizinhos de vvv no gráfico de PPP ? (Polinômio na dimensão, o número de equações e a...
Seja G uma árvore em 2n vértices. A largura de árvore de G, tw (G) = 1. Agora, suponha que adicionemos n arestas a G para obter um gráfico H. Um limite superior fácil de tw (H) é n + 1. Isso é essencialmente o melhor possível? Parece de alguma forma que tw (H) deve ser O (sqrt (n)), mas isso é...
Robin Milner definiu bigraphs como um tipo de estrutura gráfica com estrutura semelhante a gráfico, mas onde os nós podem ser aninhados. Eles generalizam os cálculos de processos como o CCS e o cálculo, mas Milner parece ter pretendido que eles fossem usados de maneira muito mais geral: as notas...
Considere , onde lambda_i> 0 e Y_i é distribuído como um padrão normal. Que tipo de limites de concentração se pode provar em X, em função dos coeficientes (fixos) lambda_i?X= ∑EuλEuY2EuX=∑EuλEuYEu2X = \sum_i \lambda_i Y_i^2 Se todos os lambda_i forem iguais, então este é um limite de Chernoff....
Se você estiver familiarizado com a verificação do programa, provavelmente preferirá ler a pergunta antes do plano de fundo . Se você não estiver familiarizado com a verificação do programa, ainda poderá responder a essa pergunta, mas é provável que prefira ler o Plano de fundo...
Quem introduziu a ideia de recursão ? Alguém pode explicar de onde veio e como afetou a ciência da
Em resposta a outra pergunta, Extensões da teoria beta do cálculo lambda , Evgenij ofereceu a resposta: beta + a regra {s = t | s e termos fechados insolúveis} onde um termo M é solucionável se podemos encontrar uma seqüência de termos tais que M aplicação 's para eles é igual a eu . A resposta...
O teorema de Rice afirma que todas as propriedades não triviais do conjunto reconhecidas por alguma máquina de Turing são indecidíveis. Estou procurando pelo teorema do tipo Rice, teórico da complexidade, que nos diz quais propriedades não triviais dos conjuntos NP são
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
Dois artigos que eu incluiria são: D. Kozen, "Indexação de classes sub-recursivas" , STOC, 1978. R. Ladner, "Sobre a estrutura da redutibilidade do tempo polinomial" , JACM,
Enquanto tentava consertar um bug em uma biblioteca, procurei artigos sobre como encontrar subfaixas em árvores vermelhas e negras sem sucesso. Estou pensando em uma solução usando zíperes e algo semelhante à operação de acréscimo usual usada em algoritmos de exclusão para estruturas de dados...
O problema #SAT é o problema canônico # P-complete. É um problema de função e não de decisão. Ele pergunta, dada uma fórmula booleana na lógica proposicional, quantas atribuições satisfatórias F possui. Quais são os melhores limites inferiores no
Existe uma maneira de codificar uma instância de Subset Sum ou o Number Partition Problem para que uma solução (pequena) para uma relação inteira produza uma resposta? Se não definitivamente, então em algum sentido probabilístico? Eu sei que o LLL (e talvez o PSLQ) foram usados com sucesso...
Objetivo : resolver a conjectura de que não há plano projetivo de ordem 12. Em 1989, usando a pesquisa por computador em um Cray, Lam provou que não existe um plano projetivo da ordem 10. Agora que o número de Deus para o cubo de Rubik foi determinado após apenas algumas semanas de pesquisa maciça...
Muitos sistemas de criptografia de chave pública têm algum tipo de segurança comprovável. Por exemplo, o sistema criptográfico Rabin é comprovadamente tão difícil quanto fatorar. Gostaria de saber se existe esse tipo de segurança comprovável para sistemas de criptografia de chave secreta, como o...
SACiSACiSAC^i é a classe de problemas de decisão solucionáveis por uma família de circuitos de profundidade com portas OR sem ventoinha OR e ventoinha AND limitada. Negações são permitidas apenas no nível de entrada. Sabe-se que para está fechado sob complemento e não. Além disso, e, portanto,...
Que tipo de conjecturas e grandes problemas em aberto são os mais importantes na teoria algorítmica dos jogos (ou na teoria dos jogos em geral no que se refere ao CS)? Por exemplo, a resolução do NASH como sendo completa no PPAD seria, creio, a maior até que fosse resolvida. (Adicionado: resolver...