Ciência da Computação

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: …

10 terminology  reference-request  sorting  arrays 

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 computabilidade, …

10 computability  logic  turing-completeness 

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 sobre a implementação …

10 cpu  multi-tasking 

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 subtrai 4. Estado: 9 Jogador2 …

10 complexity-theory  time-complexity  np-complete  dynamic-programming  pseudo-polynomial 

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 a adição …

10 graphs  terminology 

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 …

10 graphs  graph-theory  social-networks 

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 (co-) recursivos são representáveis , …

10 type-theory  dependent-types  coq 

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 , existe uma linha …

10 reference-request  graph-isomorphism 

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 …

10 finite-automata 

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 …

10 programming-languages  language-design  types 

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 …

10 complexity-theory  algorithm-analysis  computability  computation-models  lambda-calculus 

Não sei a terminologia correta para fazer esta pergunta, portanto, descreverei-a com muitas palavras. Em segundo plano , apenas para estarmos na mesma página: os programas geralmente contêm caches - uma troca de tempo / memória. Um erro comum do programador é esquecer de atualizar um valor em cache após …

10 terminology  reference-request  functional-programming  programming-paradigms 

Essa prova é uma prova por indução e é a seguinte: P (n) é a asserção de que "o Quicksort classifica corretamente todas as matrizes de comprimento n". Caso base: toda matriz de entrada de comprimento 1 já está classificada (P (1) é válida) Etapa indutiva: corrija n => 2. …

10 correctness-proof  induction  quicksort 

Quero fornecer provas para partes de um programa Haskell que estou escrevendo como parte de minha tese. Até agora, porém, não consegui encontrar um bom trabalho de referência. O livro introdutório de Graham Hutton, Programming in Haskell ( Google Books ) - que li enquanto aprendia Haskell - aborda algumas …

10 reference-request  proof-techniques  functional-programming  books  software-verification 

Temos um grupo de nnn pessoas. Recebemos uma lista de quem deve comprar presentes para quem dentro do grupo. Cada pessoa pode precisar comprar / receber qualquer número de presentes, ou possivelmente nenhum. Em uma viagem de compras, um subconjunto de pessoas viaja juntas para a mesma loja e compra …

10 algorithms  graph-theory  set-cover