Ciência da Computação

Dada a seguinte equação recursiva T(n)=2T(n2)+nlognT(n)=2T(n2)+nlog⁡n T(n) = 2T\left(\frac{n}{2}\right)+n\log n queremos aplicar o teorema do mestre e observe que nlog2(2)=n.nlog2⁡(2)=n. n^{\log_2(2)} = n. Agora, verificamos os dois primeiros casos para , ou seja, seε>0ε>0\varepsilon > 0 nlogn∈O(n1−ε)nlog⁡n∈O(n1−ε)n\log n \in O(n^{1-\varepsilon}) ou nlogn∈Θ(n)nlog⁡n∈Θ(n)n\log n \in \Theta(n) . Os dois casos não …

11 proof-techniques  asymptotics  recurrence-relation  master-theorem 

Dado um array de números naturais , onde é uma constante, eu quero responder em O (1) consultas da forma: "quantas vezes é que m aparecer na matriz entre os índices i e j "?uma1, … , Umnuma1,...,umana_1,\ldots,a_n≤ k≤k\leq kkkkO ( 1 )O(1)O(1)mmmEuEuijjj A matriz deve ser pré-processada em tempo …

11 algorithms  arrays  algorithm-design 

Uma pergunta recente no exame foi a seguinte: AAAA é um conjunto infinito recursivamente enumerável. Prove que possui um subconjunto recursivo infinito.AAA Deixe ser um subconjunto recursiva infinito de . deve ter um subconjunto que não seja recursivamente enumerável?A CCCCAAACCC Eu já respondi 1.. Em relação a 2., respondi afirmativamente …

11 computability  check-my-proof 

O exemplo a seguir está correto sobre se um algoritmo de inferência é sólido e completo ? Suponha que tenhamos agulhas a, b, c em um palheiro e também tenha um algoritmo de inferência projetado para encontrar agulhas. som - Somente as agulhas a, bec são obtidas. completo - as …

11 logic 

Estou lutando com o hash e o material da árvore de pesquisa binária. E li que, em vez de usar listas para armazenar entradas com os mesmos valores de hash, também é possível usar árvores de pesquisa binária. E tento entender qual é o pior e o tempo médio de …

11 data-structures  time-complexity  runtime-analysis  search-trees  hash-tables 

Estou tentando usar uma câmera colorida para rastrear vários objetos no espaço. Cada objeto terá uma cor diferente e, para poder distinguir bem entre cada objeto, estou tentando garantir que cada cor atribuída a um objeto seja tão diferente de qualquer cor quanto possível em qualquer outro objeto. No espaço …

11 algorithms  optimization  computational-geometry 

O algoritmo simples usual para encontrar o elemento mediano em uma matriz de números é:nUMAAAnnn Amostra de elementos de com substituição em A Bn3 / 4n3/4n^{3/4}UMAAABBB Ordenar BBB e encontrar o posto | B | ± n--√|B|±n|B|\pm \sqrt{n} elementos eull e rrr de BBB Verifique se eull e rrr estão …

11 algorithms  algorithm-analysis  randomized-algorithms 

Minha pergunta é para aqueles que se preocupam com algoritmos de biologia computacional. Vou fazer um curso de bioinformática neste outono; o problema, no entanto, é que eu tenho muito pouco conhecimento em biologia e química para me sentir preparado para esse ciclo de leituras (eu era bastante fraco nessas …

11 algorithms  reference-request  education  bioinformatics 

A idéia principal de k-vizinho mais próximo leva em conta os pontos mais próximos e decide a classificação dos dados por maioria de votos. Nesse caso, não deve haver problemas nos dados dimensionais mais altos, porque métodos como o hash sensível à localidade podem encontrar com eficiência os vizinhos mais …

11 machine-learning  artificial-intelligence 

Suponha que eu sou dado um conjunto finito de pontos no plano, e pediu para desenhar um duas vezes diferenciável curva C ( P ) através do p i 's, de tal modo que o seu perímetro seja tão pequena quanto possível. Supondo que p i = ( x i …

11 complexity-theory  np-hard  optimization  computable-analysis 

Eu estou trabalhando em uma linguagem baseada em expressão da genealogia ML, então ela naturalmente precisa de inferência de tipo> :) Agora, estou tentando estender uma solução baseada em restrições para o problema de inferir tipos, com base em uma implementação simples no EOPL (Friedman e Wand), mas eles datilografam …

11 programming-languages  type-theory  functional-programming  inductive-datatypes  typing 

Na discussão em torno dessa questão , Gilles menciona corretamente que qualquer prova de correção de um algoritmo que utiliza matrizes deve provar que não há acesso a matrizes fora dos limites; dependendo do modelo de tempo de execução, isso causaria um erro de tempo de execução ou acesso a …

11 proof-techniques  semantics  arrays  hoare-logic  software-verification 

Esta é uma pergunta do dever de casa do livro de Udi Manber. Qualquer dica seria legal :) Devo mostrar que: n ( log3( N ) )5= O ( n1.2)n(log3⁡(n))5=O(n1.2)n(\log_3(n))^5 = O(n^{1.2}) Eu tentei usar o Teorema 3.1 do livro: c > 0 a > 1f( N )c= O ( …

11 asymptotics  landau-notation  mathematical-analysis 

Um Fibonnaci Heap suporta as seguintes operações: insert(key, data) : adiciona um novo elemento à estrutura de dados find-min() : retorna um ponteiro para o elemento com a chave mínima delete-min() : remove o elemento com a chave mínima delete(node) : exclui o elemento apontado por node decrease-key(node) : diminui …

11 data-structures  priority-queues 

Isso é precursor da minha outra pergunta mais avançada sobre inspeção de pilha. O Stack Inspection é um mecanismo de segurança introduzido na JVM para lidar com o código em execução originário de locais com diferentes níveis de confiança. Esta questão visa encontrar uma descrição simples de sua funcionalidade. Assim: …

11 terminology  security  stack-inspection