Ciência da Computação

Atualmente, estou lendo um trabalho de pesquisa sobre o meta-algoritmo de atualização de peso multiplicativo. Não tenho muita certeza do que eles querem dizer com "meta-algoritmo". É simplesmente um algoritmo geral que pode ser usado para diferentes propósitos? Não consegui encontrar nenhuma definição exata para esse termo, embora tenha encontrado …

8 algorithms 

Para um gráfico direcionado em mudança, eu gostaria de manter informações sobre componentes fortemente conectados. As operações gráficas são incrementais: somente adição de vértice e adição de aresta. Quais estruturas de dados atingem a complexidade amortizada mais conhecida para essas operações? Se o gráfico não fosse direcionado, a resposta seria …

8 graphs  data-structures  amortized-analysis 

Eu vi a seguinte declaração e não entendo bem o raciocínio por trás dela: Se uma máquina de Turing repete a mesma configuração duas vezes, ela deve estar em um loop infinito. Eu pensei que uma pode estar em um estado , com a fita à esquerda 000 e à …

8 complexity-theory  turing-machines 

No curso HoTT da CMU, palestra 1, que pode ser encontrada aqui: https://scs.hosted.panopto.com/Panopto/Pages/Viewer.aspx?id=0945cc7f-48b7-4803-81af-e7193a3f461d Às 33:52, Harper estava comparando paralelamente entre teorias sintéticas e analíticas, e quando chegou à teoria do PL, ele disse que Coq é analítico e disse que Coq apenas prova uma linguagem em sua gramática, mas não …

8 type-theory  proof-assistants  philosophy 

L = {uman( a + b)n| n>0}eu={uman(uma+b)n|n>0 0}L = \{ a^n (a+b)^n | n>0\} Um livro que estou lendo diz que é, mas, considerando que não podemos saber onde a segunda parte começará, e ela também pode começar com uma, então como podemos aceitar isso usando um DPDA? Como depois …

8 formal-languages  automata  context-free  pushdown-automata 

Suponha que eu tenha uma matriz 2D M[n][n]de números inteiros (de fato, binário é bom, mas duvido que isso importe). Estou interessado em consultas repetidas do formulário: dado um par de coordenadask,lk,euk,l, o que é Obviamente, todos esses valores podem ser calculados no tempo total e, depois disso, as consultas …

8 complexity-theory  data-structures  trees 

Gödel define em seu Sistema T recursividade primitiva sobre tipos mais altos. Encontrei notas de Girard, onde ele explica a implementação do Sistema T em cima do cálculo lambda simplesmente digitado. Na página 50, ele menciona que, quando usamos mais tipos no recursor, obtemos um poder mais expressivo com o …

8 computability  lambda-calculus  recursion  type-theory 

Podemos converter um NFA com estados em uma expressão regular de length ?nnnpoly(n)poly(n)\mathrm{poly}(n) Por outro lado, é sabido que uma expressão regular de comprimento pode ser facilmente convertida em um NFA do estado .nnnO(n)O(n)\mathcal{O}(n)

8 regular-languages  finite-automata  regular-expressions 

De acordo com "Função construtiva" , Wikipedia: Na teoria da complexidade , uma função construtível no tempo é uma função f de números naturais para números naturais com a propriedade de que f ( n ) pode ser construída a partir de n por uma máquina de Turing no tempo …

8 time-complexity 

Pelo meu entendimento, Turing complete significa que o programa ou a máquina pode concluir qualquer cálculo que uma máquina de Turing possa concluir, o que para mim significa qualquer cálculo. Então, como algo como HTML ou PowerPoint pode ser Turing completo?

8 computability  turing-completeness 

Estou lendo um comentário sobre Milner, "O uso de máquinas para ajudar em provas rigorosas", de Mike Gordon. Neste artigo, ele explica como LCF nasceu das idéias da semântica denotacional de Dana Scott e Strachey. Parece-me que a lógica Floyd-Hoare não foi suficiente para o desenvolvimento da LCF, mas não …

8 hoare-logic  automated-theorem-proving  denotational-semantics 

Estou com problemas para entender o que é uma árvore de pesquisa binária classificada e por que é importante ter uma classificação. Espero que alguém possa esclarecer algumas coisas para mim. O que eu analisei: Pelo que li, uma árvore de pesquisa binária classificada é uma árvore em que cada …

8 algorithms  data-structures  binary-trees  binary-search-trees 

eu suponho que Σ={a}Σ={a}\Sigma = \{a\}. Prove ou refute: para cada polinômio p(n)p(n)p(n) com coeficientes em NN\mathbb{N}, L={ap(n)|n∈N}L={ap(n)|n∈N}L = \{a^{p(n)} \; | \; n \in \mathbb{N}\} é uma linguagem sensível ao contexto. Parece que é uma linguagem sensível ao contexto. Eu acho que criar LBA ou gramática sensível ao contexto …

8 formal-languages  context-sensitive 

Em um gráfico, um conjunto dominante de aresta é um subconjunto D das arestas, de modo que qualquer aresta no gráfico esteja em D ou compartilhe um ponto final com uma aresta em D. O problema do Conjunto dominante de aresta mínimo é encontrar um conjunto dominante de aresta de …

8 complexity-theory  reference-request  np-complete  reductions 

Seja uma coleção de seqüências de caracteres sobre o alfabeto que no total contêm símbolos.AAA{0,…,m−1}{0,…,m−1}\{0,\ldots,m-1\}nnn Sua tarefa é classificar cada uma das cadeias internamente e, em seguida, classificar as cadeias resultantes em ordem lexicográfica. (Seu algoritmo não precisa operar dessa maneira.) Exemplo: Entrada: 33123 15 1 0 54215 21 12 …

8 algorithms  sorting  strings