Ciência da Computação

Observe que esta é uma pergunta relacionada ao estudo em um curso de CS em uma universidade, NÃO é tarefa de casa e pode ser encontrada aqui no exame do outono de 20112. Aqui estão as duas perguntas de um exame passado. Eles parecem estar relacionados, o primeiro: Deixei F …

16 formal-languages  computability  context-free  regular-languages  turing-machines 

Um autômato finito determinístico (DFA) é um modelo de máquina de estado capaz de aceitar todas e apenas linguagens regulares. Os DFAs podem ser (e geralmente são) definidos de tal maneira que cada estado deve fornecer alguma transição para todos os elementos do alfabeto de entrada; em outras palavras, a …

16 formal-languages  automata  finite-automata 

A especificação de qualquer grade 9x9 arbitrária requer a posição e o valor de cada quadrado. Uma codificação ingênua para isso pode fornecer 81 (x, y, valor) trigêmeos, exigindo 4 bits para cada x, y e valor (1-9 = 9 valores = 4 bits) para um total de 81x4x3 = …

16 combinatorics  modelling  information-theory  sudoku 

Esta é uma questão de acompanhamento deste . Em uma pergunta anterior sobre máquinas de estado exóticas , Alex ten Brink e Raphael abordaram os recursos computacionais de um tipo peculiar de máquina de estado: autômatos de min-heap. Eles foram capazes de mostrar que o conjunto de idiomas aceitos por …

16 formal-languages  automata  closure-properties 

Eu estava tentando criar um sistema que avaliasse os estatutos de uma organização para determinar sua lógica subjacente. Penso que um sistema de predicado de primeira ordem funcionaria para representar as regras, que poderiam ser traduzidas do texto por meio de marcação por parte do discurso e outras técnicas de …

16 machine-learning  algorithms  pattern-recognition  logic 

De acordo com este artigo, a seguinte linha de código Lisp imprime "Hello world" na saída padrão. (format t "hello, world") O Lisp, que é uma linguagem homoicônica , pode tratar o código como dados da seguinte maneira: Agora imagine que escrevemos a seguinte macro: (defmacro backwards (expr) (reverse expr)) …

16 programming-languages  functional-programming 

Sabemos que calcular um fluxo máximo resp. um corte mínimo de uma rede com capacidades é equivalente; cf. o teorema de corte mínimo de fluxo máximo . Temos algoritmos (mais ou menos eficientes) para calcular fluxos máximos, e calcular um corte mínimo dado um fluxo máximo também não é difícil …

16 algorithms  graphs  network-flow 

Ao desenvolver algoritmos na computação quântica, notei que existem dois modelos principais nos quais isso é feito. Alguns algoritmos - como para o problema da árvore Hamiltonian NAND (Farhi, Goldstone, Guttman) - trabalho de concepção de um hamiltoniano e algum estado inicial e, em seguida, deixando a evoluir sistema de …

16 algorithms  quantum-computing  computation-models 

O combinador Y tem o tipo . Pela correspondência de Curry-Howard, como o tipo é habitado, ele deve corresponder a um verdadeiro teorema. No entanto, é sempre verdadeiro, portanto parece que o tipo do combinador Y corresponde ao teorema , o que nem sempre é verdadeiro. Como isso pode ser?( …

16 logic  recursion  type-theory  combinatory-logic  curry-howard 

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 

Diz-se que a interseção de uma linguagem livre de contexto L com uma linguagem regular M é sempre livre de contexto. Entendi a prova de construção entre produtos, mas ainda não entendo por que ela é livre de contexto, mas não regular. O idioma gerado por essa interseção possui seqüências …

16 regular-languages  context-free  finite-automata  formal-grammars 

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 tenho estudado os três e estou declarando minhas inferências deles abaixo. Alguém poderia me dizer se eu os entendi com precisão ou não? Obrigado. O algoritmo Dijkstra é usado apenas quando você tem uma única fonte e deseja conhecer o menor caminho de um nó para outro, mas falha …

16 algorithms  graph-theory 

No ano passado, eu estava lendo um artigo fantástico sobre "Mecânica Quântica para Jardim de Infância" . Não foi papel fácil. Agora, eu me pergunto como explicar o quicksort nas palavras mais simples possíveis. Como posso provar (ou pelo menos ter ondas de mão) que a complexidade média é e …

16 algorithms  education  algorithm-analysis  didactics  sorting 

Eu tenho trabalhado no seguinte problema deste livro . Uma certa linguagem de processamento de string oferece uma operação primitiva que divide uma string em duas partes. Como esta operação envolve a cópia da sequência original, leva n unidades de tempo para uma sequência de comprimento n, independentemente da localização …

16 algorithms  combinatorics  strings  dynamic-programming