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

Considere o seguinte problema: Entrada: duas matrizes e de comprimento , onde está na ordem de classificação.AAABBBnnnBBB Consulta: se e contêm os mesmos itens (com sua multiplicidade)?AAABBB Qual é o algoritmo determinístico mais rápido para esse problema? Pode ser resolvido mais rapidamente do que ordená-los? Esse problema pode ser resolvido …

19 algorithms  reference-request  sorting 

Estruturas de dados persistentes são estruturas de dados imutáveis. As operações neles retornam uma nova "cópia" da estrutura de dados, mas alterada pela operação; a estrutura de dados antiga permanece inalterada. A eficiência geralmente é alcançada compartilhando alguns dos dados subjacentes e evitando a cópia completa da estrutura de dados. …

19 reference-request  data-structures  functional-programming  persistent-data-structure 

Estou iniciando uma pesquisa bibliográfica pessoal sobre algoritmos de verificação de tipo e quero algumas dicas. Quais são os algoritmos, estratégias e técnicas gerais de verificação de tipo mais usados? Estou particularmente interessado em algoritmos complexos de verificação de tipo que foram implementados em linguagens tipicamente fortemente estáticas amplamente conhecidas, …

19 algorithms  programming-languages  reference-request  type-checking 

Eu tenho uma pequena questão histórica, a saber, como o título diz, estou procurando usos iniciais de árvores (como estrutura de dados, árvore de pesquisa, o que for) na ciência da computação.

18 data-structures  reference-request  trees  history 

Dizem que 'Eugene Goostman', um programa de computador desenvolvido para simular um garoto de 13 anos, conseguiu convencer 33% dos juízes de que era humano e, assim, passou no Teste de Turing. O programa de computador, também conhecido como chatbot, estava fingindo ser um garoto ucraniano de 13 anos para …

18 reference-request  artificial-intelligence  history  turing-test 

Problemas de corte são problemas em que um determinado objeto grande deve ser cortado em vários objetos pequenos. Por exemplo, imagine que você tem uma fábrica que trabalha com grandes folhas de vidro em bruto, de largura e comprimento . Existem vários compradores, cada um dos quais deseja um número …

18 reference-request  computational-geometry  lower-bounds  packing 

Como se segue da minha pergunta anterior , tenho brincado com a hipótese de Riemann como uma questão de matemática recreativa. No processo, cheguei a uma recorrência bastante interessante e estou curioso quanto ao nome, suas reduções e sua tratabilidade em direção à resolubilidade da diferença entre os números primos. …

18 complexity-theory  reference-request  recurrence-relation  mathematical-analysis 

Comecei a ler cada vez mais trabalhos de pesquisa em idiomas. Acho muito interessante e uma boa maneira de aprender mais sobre programação em geral. No entanto, há geralmente vem uma seção onde eu sempre lutar com (Tomemos por exemplo a terceira parte deste ), pois me falta a base …

18 logic  reference-request  terminology  type-theory 

Existe uma máquina de Turing que para em todas as entradas, mas essa propriedade não é comprovável por algum motivo? Gostaria de saber se esta questão foi estudada. Observe que "improvável" pode significar um sistema de prova "limitado" (que no sentido fraco acha que a resposta deve ser sim). Naturalmente, …

17 computability  reference-request  turing-machines  halting-problem 

Seja uma função construtiva de tempo fixa.fff O resultado clássico da simulação universal para as TMs (Hennie e Stearns, 1966) afirma que existe uma TM duas fitas que, dada aUUU a descrição de uma TM , e⟨M⟩⟨M⟩\langle M \rangle uma sequência de entrada ,xxx corre para as etapas e retorna …

16 complexity-theory  reference-request  turing-machines  machine-models  simulation 

Algum frontmatter: eu sou um cientista de computador recreacional e empregado um engenheiro de software. Então, desculpe se esse prompt parecer um pouco fora do campo esquerdo - eu brinco rotineiramente com simulações matemáticas e abro problemas quando não tenho nada melhor para fazer. Enquanto brincava com a hipótese de …

16 algorithms  reference-request  discrete-mathematics 

Os solucionadores de SAT estão se tornando cada vez mais eficientes na solução de grandes instâncias e estão sendo usados ​​como back-end em vários contextos. Toda vez que alguém deseja usá-los para resolver um problema em um domínio específico, ele / ela precisa criar uma codificação ad-hoc que não apenas …

16 reference-request  satisfiability  sat-solvers 

Eu vim a saber que a unidade de processamento gráfico tem algo chamado coalescência de memória. Ao ler sobre isso, não fui claro sobre o assunto. Isso está relacionado ao paralelismo no nível de memória. Pesquisei no Google, mas não consegui obter uma resposta satisfatória. Seria útil se alguém desse …

16 terminology  reference-request  computer-architecture  memory-management 

Eu estava lendo uma pergunta no Stack Overflow perguntando se era NP- difícil listar todos os ciclos simples em um gráfico contendo um nó específico e me ocorreu que eu não conseguia pensar em nenhuma classe de complexidade existente que fosse adequada para falando sobre problemas no formulário "liste todas …

15 complexity-theory  reference-request  complexity-classes  enumeration 

Quais são alguns exemplos de problemas difíceis de decisão que podem ser resolvidos em tempo polinomial? Estou procurando problemas para os quais o algoritmo ideal é "lento" ou problemas para os quais o algoritmo mais rápido conhecido é "lento". Aqui estão dois exemplos: Reconhecimento de gráficos perfeitos. Em seu trabalho …

15 algorithms  complexity-theory  reference-request