Ciência da Computação

Eu tenho o problema: Mostre que existe um número real para o qual não existe um programa que seja infinitamente longo e grave os dígitos decimais desse número. Suponho que isso possa ser resolvido reduzindo-o ao problema da parada, mas não tenho idéia de como fazê-lo. Também gostaria de receber …

14 algorithms  reductions  halting-problem 

Digamos que estamos trabalhando com um sistema que possui 40 bits de endereço físico. O espaço físico total do endereço (assumindo memória endereçável por byte) é bytes ou 1 TiB. E se os endereços virtuais tiverem 48 bits, isso significa que há mais endereços disponíveis na memória virtual do que …

14 memory-management  virtual-memory  memory-access 

Eu tenho lido sobre linguagens de programação baseadas em pilha, como FORTH e Cat , e parece que, dada a sua natureza, elas podem executar apenas uma ação por vez, independentemente do seu paradigma (FORTH é imperativo enquanto Cat é funcional). Uma linguagem imperativa modificaria a pilha, e uma linguagem …

14 concurrency  stacks  evaluation-strategies 

Existem técnicas para resolver equações funcionais para funções desconhecidas no cálculo lambda? Suponha que eu tenha a função de identidade definida extensionalmente como tal: Ix=xEux=xI x = x (isto é, por escrever uma equação para o comportamento esperado dessa função) e agora eu quero resolver isso para fazendo alguma transformação …

14 lambda-calculus 

Fechado . Esta questão é baseada em opiniões . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela possa ser respondida com fatos e citações editando esta postagem . Fechado há 2 anos . Geralmente, programadores de computador que são matemáticos ou que …

14 mathematical-foundations 

Está provado que a computação quântica não é melhor na solução de problemas completos de NP do que a computação clássica ou apenas se acredita?

14 np-complete  quantum-computing 

Eu tenho essa pergunta [engraçada] em mente. Por que o autômato finito não determinístico é chamado não determinístico enquanto definimos as transições para entradas. Bem, embora existam transições múltiplas e epsilon , elas são definidas, o que significa que a máquina é determinística para essas transições. O que significa que …

14 finite-automata  nondeterminism 

Estou familiarizado com a idéia de eliminação básica da recursão da cauda, ​​em que funções que retornam o resultado direto de uma chamada para elas mesmas podem ser reescritas como loops iterativos. foo(...): # ... return foo(...) Também entendo que, como um caso especial, a função ainda pode ser reescrita …

14 compilers  recursion  program-optimization  tail-recursion 

Na Introdução aos algoritmos de Cormen et al. , Seção 15.3 Elementos da programação dinâmica explica a memorização da seguinte forma: Um algoritmo recursivo memorizado mantém uma entrada em uma tabela para a solução para cada subproblema. Cada entrada da tabela contém inicialmente um valor especial para indicar que a …

14 dynamic-programming  search-trees  dictionaries  memoization 

Eu normalmente uso o símbolo para string vazia (palavra vazia ou string nula). Mas eu sei que algumas pessoas usam λ em vez de ε .εε\varepsilonλλ\lambdaεε\varepsilon Eu acho que é derivado da palavra "Vazio". No entanto, não sei qual é a origem de λ .εε\varepsilonλλ\lambda Na teoria dos autômatos, há …

14 formal-languages  automata  reference-request  notation  history 

Eu tenho um problema algorítmico. Dada uma matriz (ou um conjunto)TTTnnnSSSTTTa∈Sa∈Sa\in Sa⩾|S|a⩾|S|a\geqslant |S| Por exemplo: Se = [1, 3, 4, 1, 3, 6], então S pode ser [3, 3, 6] ou [3, 4, 6] ou [4, 3, 6].TTTSSS Em TTT = [7, 5, 1, 1, 7, 4], então SSS é …

14 algorithms  optimization  sets 

É sabido que o 2-SAT está em P. No entanto, parece bastante interessante que contar o número de soluções para uma determinada fórmula do 2-SAT, ou seja, # 2-SAT seja # P-difícil. Ou seja, temos um exemplo de um problema para o qual a decisão é fácil, mas a contagem …

14 complexity-theory  counting 

Eu sei que os portões NAND podem ser usados ​​para criar circuitos que implementam todas as tabelas verdadeiras, e os computadores modernos são construídos com portões NAND. Qual é a ligação teórica entre os portões NAND e a integridade de Turing? Parece-me que os circuitos NAND gate estão mais próximos …

14 turing-machines  turing-completeness  digital-circuits 

Eu estou familiarizado com a semântica operacional (passo a passo e passo a passo) para definir linguagens de programação. Também estou interessado em aprender semântica denotacional, mas não sei se valerá a pena. Estarei aprendendo o mesmo material de um ponto de vista diferente, ou há idéias que só posso …

14 semantics  operational-semantics  denotational-semantics 

Acabei de ler Esse algoritmo ainda pode ser considerado um algoritmo de Pesquisa Binária? e lembrei que, alguns anos atrás, escrevi um indexador / pesquisei arquivos de log para encontrar entradas de log em grandes arquivos de texto sem formatação por janela de data / hora. Enquanto fazia isso, decidi …

14 algorithms  search-algorithms  binary-search