Ciência da Computação

Como você prova que a altura esperada de uma árvore de pesquisa binária criada aleatoriamente com nós é O (\ log n) ? Há uma prova no CLRS Introduction to Algorithms (capítulo 12.4), mas eu não entendo.nnnO(logn)O(log⁡n)O(\log n)

10 data-structures  algorithm-analysis  binary-trees  search-trees  average-case 

Fiquei confuso ao resolver o seguinte problema (perguntas 1 a 3). Questão Uma pilha d -ary é como uma pilha binária, mas (com uma possível exceção) nós não-folha têm filhos d em vez de dois filhos. Como você representaria um d pilha -ary em uma matriz? O que é a …

10 data-structures  time-complexity  runtime-analysis 

Aceitar significa que a TM lerá e reconhecerá um caractere da célula da qual está lendo atualmente? E é o caso de uma TM parar se a entrada for decidida?

10 terminology  turing-machines  undecidability 

Estou procurando uma especialização em Ciência da Computação Teórica; especificamente, estou interessado em teoria da complexidade e teoria probabilística de autômatos. Quando me formei em um ano, quais cursos avançados de matemática (como teoria de Galois ou análise harmônica, por exemplo) você acha que seria útil assumir os próximos dois …

10 complexity-theory  automata  education 

Eu estou procurando um algoritmo de correspondência de seqüência k-incompatibilidade rápida. Dada uma string padrão P de comprimento me uma string de texto T de comprimento n, preciso de um algoritmo rápido (tempo linear) para encontrar todas as posições em que P corresponde a uma subcadeia de T com no …

10 algorithms  reference-request  strings  string-metrics  substrings 

Na prova do teorema da resolução, normalmente é assumido que variáveis ​​em diferentes cláusulas são distintas. Isso não é algo que acontece automaticamente; requer código extra significativo e computação para implementar. Dado isso, estou procurando um caso de teste para ele. O problema é que, em todos os casos de …

10 logic  automated-theorem-proving 

Suponha que é um idioma comum sobre um alfabeto ordenado. O idioma é construído ao pegar todas as palavras em e classificá-las sempre como um idioma normal?LLLLLLL

10 formal-languages  regular-languages 

Na Wikipedia , é fornecida uma implementação para o esquema de programação dinâmica de baixo para cima para a distância de edição. Não segue a definição completamente; as células internas são calculadas assim: if s[i] = t[j] then d[i, j] := d[i-1, j-1] // no operation required else d[i, j] …

10 algorithms  dynamic-programming  string-metrics  correctness-proof  program-optimization 

\newcommand\ldotd{\mathinner{..}}Dado que A [ 1 . . n ]A[1..n]A[1\ldotd n] são números inteiros tais que 0 ≤ A [ k ] ≤ m0≤A[k]≤m0\le A[k]\le m para todos os 1 ≤ k ≤ n1≤k≤n1\le k\le n , e a ocorrência de cada número, exceto um número específico em A [ 1 …

10 algorithms  search-algorithms 

Qual é a complexidade da computação ?nn2,n∈Nnn2,n∈Nn^{n^2},\;n \in \mathbb{N}

10 complexity-theory  integers  number-theory 

Não tenho certeza se esta pergunta pertence aqui e peço desculpas se não. O que pretendo fazer é desenvolver uma maneira programática na qual eu possa determinar probabilisticamente se uma determinada string "pertence" a um pacote de strings. Por exemplo, se eu tiver um pacote de 10.000 nomes de cidades …

10 algorithms  reference-request  string-metrics 

A questão é o exercício 1.9 do livro de Arora-Barak, Computational Complexity - A Modern Approach : Defina uma máquina de RAM Turing para ser uma máquina de Turing com memória de acesso aleatório. Formalizamos da seguinte maneira: A máquina possui uma matriz infinita A que é inicializada em todos …

10 complexity-theory  turing-machines  machine-models  simulation 

Está provado que as redes neurais com pesos racionais têm o poder computacional da computabilidade da Universal Turing Machine Turing com redes neurais . Pelo que entendi, parece que o uso de pesos com valor real gera ainda mais poder computacional, embora eu não tenha certeza disso. No entanto, existe …

10 computability  neural-networks 

Os endereços IPv6 na forma de 862A:7373:3386:BF1F:8D77:D3D2:220F:D7E0são muito mais difíceis de memorizar ou até transcrever do que os quatro octetos do IPv4. Não ter sido tentativas para mitigar este, tornando endereços IPv6 de alguma forma mais memorável. Existe uma função de hash intencionalmente fraca que pode ser revertida para descobrir …

10 cryptography  computer-networks  hash  user-interface 

Existe alguma definição formal sobre a altura média de uma árvore binária? Eu tenho uma pergunta tutorial sobre como encontrar a altura média de uma árvore binária usando os dois métodos a seguir: A solução natural pode ser usar o comprimento médio de todos os caminhos possíveis, da raiz até …

10 graph-theory  terminology  combinatorics  binary-trees