Ciência da Computação

Gostaria de citar Nielsen & Chuang, Computação Quântica e Informação Quântica, edição do 10º aniversário, página 5 (grifo meu): Uma classe de desafios para a forte tese de Church-Turing vem do campo da computação analógica. Nos anos desde Turing, muitas equipes diferentes de pesquisadores notaram que certos tipos de computadores …

9 computation-models  church-turing-thesis 

Como podemos garantir que continuamos a fazer declarações válidas e válidas sobre as classes de complexidade ao usar as máquinas de Turing da Oracle? De acordo com o meu entendimento (com base nas definições fornecidas nos livros introdutórios sobre o assunto), as máquinas Oracle Turing podem determinar o status de …

9 complexity-theory  oracle-machines 

Alguém poderia me explicar o que exatamente RAM inconsciente é? Encontrei a seguinte explicação que me esclarece um pouco, mas gostaria de entender os aspectos técnicos: A criptografia nem sempre é suficiente para garantir a privacidade. Se um adversário puder observar seus padrões de acesso ao armazenamento criptografado, ele ainda …

9 terminology  computer-architecture  security  memory-hardware  memory-access 

Valiant & Vazirani provaram que o SAT é redutível a UNIQUE SAT sob reduções probabilísticas aleatórias no tempo polinomial. Calabro et al . mostrou que o k-SAT UNIQUE é tão difícil quanto o k-SAT. Agora, a pergunta é: se alguém mostra que UNIQUE k-SAT está em P, isso implica P …

9 complexity-theory  satisfiability  p-vs-np 

Digamos que eu tenha um gráfico esparso finito não direcionado e precise executar as seguintes consultas com eficiência: - retornos T , se existir um caminho entre N 1 e N 2 , de outro modo FEus Co n n e c t e d( N1 1, N2)EusConnected(N1 1,N2)IsConnected(N_1, N_2)TTTN1 …

9 algorithms  graph-theory  graphs  data-structures 

Existem algoritmos subquadráticos conhecidos para calcular o piso da raiz quadrada de um nnúmero inteiro de bit? O algoritmo ingênuo seria algo como def sqrt(x): r = 0 i = x.bit_length() // 2 while i >= 0: inc = (r << (i+1)) + (1 << (i*2)) if inc <= x: …

9 algorithms  numerical-algorithms 

Embora eu trabalhe como programador em minha vida cotidiana e use todas as linguagens da moda (Python, Java, C, etc), ainda não tenho uma visão clara do que é a programação funcional. Pelo que li, uma propriedade das linguagens funcionais é que as estruturas de dados são imutáveis . Para …

9 data-structures  functional-programming 

Suponha que recebamos uma coleção de strings, S 1 , ... , S n . Gostaria de saber se alguma dessas strings é uma substring de qualquer outra string da coleção. Em outras palavras, eu gostaria de um algoritmo para a seguinte tarefa:nnnS1,…,SnS1,…,SnS_1,\dots,S_n Entrada: S1,…,SnS1,…,SnS_1,\dots,S_n Saída: tal que S i …

9 algorithms  strings  efficiency  substrings 

Ao atualizar os pesos de uma rede neural usando o algoritmo de retropropagação com um termo de momento, a taxa de aprendizado também deve ser aplicada ao termo de momento? A maioria das informações que pude encontrar sobre o uso do momento tem as equações parecidas com esta: W′Eu= WEu- …

9 machine-learning  neural-networks 

A resposta de @ Babou a uma pergunta recente me lembra que, uma vez, acho que li um artigo sobre a equivalência (em termos de fatos que podem ser inferidos ou provados e a complexidade do tempo de execução do algoritmo de inferência) da análise de fluxo de dados , …

9 reference-request  compilers  type-inference  program-optimization 

Eu queria saber se este problema tem um nome: Dado um gráfico simples cujas bordas são de cor vermelha, azul e verde, , existe um-coloração vértice c : V → { B , R , G } de tal modo que cada extremidade tem um ponto de extremidade com a …

9 algorithms  complexity-theory  graphs  satisfiability  colorings 

Em uma pergunta anterior O que exatamente é um algoritmo? , Perguntei se ter um "algoritmo" que retorna o valor de uma função com base em uma matriz de valores pré-computados era um algoritmo. Uma das respostas que chamou minha atenção foi esta: O exemplo fatorial entra em um modelo …

9 turing-machines  computation-models 

Eu estive pensando em escrever um sistema operacional hobby para alguns dos processadores ARM. Existem muitos computadores de placa única populares com o ARM MPU, então eu simplesmente queria comprar um deles (escolhendo um com mais documentação aberta). Fiquei surpreso quando descobri que mesmo as placas com memória suficiente não …

9 operating-systems  memory-management  memory-hardware  os-kernel 

Estou no seguinte exercício no Software Foundations : (** **** Exercise: 2 stars (baz_num_elts) *) (** Consider the following inductive definition: *) Inductive baz : Type := | x : baz -> baz | y : baz -> bool -> baz. (** How _many_ elements does the type [baz] have? …

9 coq 

Usar o vetor Earley como reconhecedor é bastante direto: quando o final da string é atingido, basta verificar se uma produção axiomática concluída foi iniciada na posição 0. Se você tiver pelo menos uma, a string será aceita. Usar o vetor Earley para reconstruir a (s) árvore (s) de análise …

9 context-free  dynamic-programming  parsers  ambiguity  syntax-trees