Aprendi hoje que a análise de algoritmos difere com base no modelo computacional. É algo em que nunca pensei ou ouvi falar. Um exemplo dado a mim, que o ilustrou ainda mais, pelo usuário @chi foi: Por exemplo, considere a tarefa: dado retorne . Na RAM, isso pode ser resolvido em pois o...
Considere uma máquina de estados finitos como de costume, mas a cada transição, ela também pode atualizar um contador inteiro adicionando ou subtraindo um número. Digamos que uma função de transição da forma se mova para o novo estado p e adicione k ao contador, onde k ∈ Z (para que k possa ser...
Descrevo uma abordagem ao isomorfismo gráfico que provavelmente tem falsos positivos e estou curioso para saber se há literatura indicando que ele não funciona. Dadas duas matrizes de adjacência , um método reconhecidamente ingênuo de verificar se há isomorfismo é verificar se, para cada linha de...
Vindo de um background em C ++, não entendo por que precisamos de tipos / expressões de tipo como cidadão de primeira classe? O único idioma que conheço que suporta esse recurso é o Aldor. Alguém tem alguma literatura sobre tipos como cidadão de primeira classe ou conhece alguns motivos pelos...
Aqui está o problema: Há um gráfico conectado com nós que representam um número de pessoas. Cada nó / pessoa tem uma opinião sobre um tópico, por exemplo, Trump vs Clinton, livros em papel vs Kindle, etc. O objetivo é fazer com que todos os nós em um gráfico compartilhem a mesma opinião,...
A defuncionalização é uma transformação descrita pela primeira vez em 1972 por John C. Reynolds para eliminar funções de ordem superior. Existem transformações alternativas (mais eficientes?) Para eliminar funções de ordem
Sou relativamente novo em teoria de tipos e programação dependente. Eu estudei o cálculo de construções (CoC) e outros sistemas de tipo puro. Estou particularmente interessado em usá-lo como uma representação intermediária de preservação de prova para um sistema de compilador. Entendo que os tipos...
Grosso modo, um gráfico não direcionado é muito semelhante a um gráfico direcionado, onde para cada aresta (v, w), sempre há uma aresta (w, v). Isso sugere que pode ser aceitável exibir gráficos não direcionados como um subconjunto de gráficos direcionados (talvez com uma restrição adicional de que...
Considere a seguinte declaração do problema: Dado um número inicial, você e seu amigo se revezam para subtrair um quadrado perfeito dele. O primeiro a chegar a zero vitórias. Por exemplo: Estado inicial: 37 Jogador1 subtrai 16. Estado: 21 Jogador2 subtrai 8. Estado: 13 Jogador1...
Se os processadores puderem executar apenas uma coisa de cada vez, como posso tocar música continuamente e ainda poder executar outras tarefas? Entendo o sistema de interrupção, mas não é necessário que a CPU processe continuamente o áudio para que não pareça instável / lento? Estou perguntando...
O "teorema de Rice para os reais computáveis" - ou seja, nenhuma propriedade não trivial do número representado por um determinado real computável é decidível - é verdade? Isso corresponde de alguma maneira direta à conexão dos
Pode-se mostrar que dois modelos de computação são completos, se cada um pode codificar um simulador universal para o outro. Pode-se mostrar que duas lógicas são completas se uma codificação das regras de inferências (e talvez axiomas, se presentes) de cada uma se mostrar como teoremas da outra. Na...
Na verdade, descobri que o conjunto de idiomas sensíveis ao contexto, ( idiomas aceitos) não são tão amplamente discutidos quanto (idiomas regulares) ou (idiomas sem contexto). E também o problema em aberto não é tão famoso quanto o problema "análogo": " ".C S LCSL\mathbf{CSL}R E G C F L D S P A C...
Estou lendo o artigo "Máquinas e inteligência computacional" de Turing ( https://www.csee.umbc.edu/courses/471/papers/turing.pdf ) e encontrei um fragmento no qual ele diz: Instalei no computador Manchester um pequeno programa usando apenas 1.000 unidades de armazenamento, em que a máquina...
Minha principal preocupação é se a programação genética é um campo ativo de pesquisa, com algumas aplicações promissoras na prática. Parece que no campo do aprendizado de máquina, as redes neurais são a principal palavra da moda, com menções nas principais notícias de hoje, mas nunca ouvi falar de...
Você recebe uma matriz de comprimento . Cada elemento da matriz pertence a uma das classes. Você deve reorganizar a matriz usando o número mínimo de operações de troca, para que todos os elementos da mesma classe sejam sempre agrupados, ou seja, eles formem uma sub- matriz contígua. Por exemplo:...
Minha situação Estou escrevendo um artigo apresentando um módulo de software que desenvolvi e quero comparar seu tempo de execução com outros módulos para a mesma tarefa. Estou ciente das desvantagens dos experimentos em tempo de execução , mas suponha que, no meu caso, não há maneira de contornar...
Eu encontrei o termo muitas vezes, em vários materiais educacionais de CS: L2 CS162 (UC Berkeley): E / S mapeada na memória L4 CS162 (UC Berkeley): Arquivos mapeados na memória L24 CS61 (UC Berkeley): “E / S mapeada na memória”: Registros de controle / dados do dispositivo mapeados no...
Na programação de tipo dependente, existem duas maneiras principais de decompor dados e executar recursão: Correspondência de padrões dependentes : as definições de funções são fornecidas como várias cláusulas. A unificação garante que todos os casos omitidos sejam impossíveis e um solucionador...
Não sei mais aonde fazer essa pergunta, espero que este seja um bom lugar. Estou curioso para saber se é possível fazer um gerador de cálculo lambda; essencialmente, um loop que, com tempo infinito, produzirá todas as funções possíveis de cálculo lambda. (como na forma de uma string). Como o...