Ciência da Computação

Gostaria de saber como funciona o algoritmo de busca de texto de Boyer-Moore com a regra de Galil. Tentei procurar, mas não consegui entender as informações que encontrei, por exemplo, esta página da Wikipedia . E por que com essa regra vamos para uma complexidade de tempo linear?

7 algorithms  algorithm-analysis  search-algorithms  strings  exact-string-matching 

No livro Computability, complexidade e Línguas (2 nd edição), Martin Davis escreve no capítulo 1 (Preliminares), Seção 2 (Funções): Uma função parcial de um conjunto é simplesmente uma função cujo domínio é um subconjunto de . Um exemplo de função parcial em é dado por , onde o domínio de …

7 mathematical-foundations 

Para que o código do BIOS seja importante, ele deve ser avaliado pelo processador. No entanto, o próprio processador precisa trabalhar para obter acesso ao código do BIOS, já que a CPU executa apenas as instruções fornecidas, algo deve fornecer as instruções à CPU (já que não consigo imaginar uma …

7 computer-architecture  cpu 

Assim, UMA⩽mBUMA⩽mB A\leqslant_mB (muitos a uma redução) meios que língua pode ser reduzida a língua se existe uma função Turing-calculável assim e .UMAUMAABBBffff( A ) ⊆ Bf(UMA)⊆B f(A) \subseteq Bf(UMA¯¯¯¯) ⊆B¯¯¯¯f(UMA¯)⊆B¯ f(\overline{A}) \subseteq \overline{B} UMA⩽TBUMA⩽TB A\leqslant_TB (Turing reducibilidade) meios que língua pode ser Turing-reduzido a língua se existe uma máquina …

7 computability  reductions 

Procurar algo em uma lista não classificada é uma tarefa com complexidade de tempo O(n)O(n)O(n). No entanto, se a lista estiver classificada, a complexidade do tempo será . Isso significa que às vezes vale a pena classificar uma matriz. No entanto, isso é uma troca, pois o algoritmo de classificação …

7 algorithms  complexity-theory  time-complexity  sorting 

Há várias perguntas na internet (este site e outros; por exemplo, por que não existe um algoritmo de criptografia baseado nos problemas conhecidos do NP-Hard? ) Discutindo a dureza do NP de diferentes sistemas criptográficos assimétricos. Quão bem estabelecidos são os sistemas de compartilhamento de chaves virtuais NP? Ou seja, …

7 complexity-theory  np-complete  cryptography 

Esta pergunta é baseada em trabalhos de casa (embora não esteja usando o problema real)! Digamos que você tenha uma função descrita como: f(n)∈O(2n2).f(n)∈O(2n2).f(n) \in O(2n^2) \, . Você pode então tratar isso como: f(n)=2n2f(n)=2n2f(n) = 2n^2 e executa matemática nela e mantém seu significado assintótico? No caso acima, eu …

7 asymptotics  landau-notation  mathematical-foundations 

O objetivo de Turing ao construir seu conceito era formalizar como os humanos fazem o raciocínio abstrato. Agora me corrija se eu estiver errado, mas esse raciocínio parece apenas um exercício em que você manipula um conjunto de declarações formais, ou seja, strings sem nenhuma semântica associada a ele. Portanto, …

7 formal-languages  turing-machines 

Existem artigos na literatura que abordam a seguinte tarefa de detecção de objetos? A tarefa pode ser descrita da seguinte maneira: Dado um conjunto de imagens, os rótulos são apenas coordenadas (x, y) que representam os locais dos objetos que desejamos detectar. Uma coordenada não está necessariamente no centro do …

7 machine-learning  image-processing  computer-vision  data-mining 

O Problema de Diversidade Máxima exige a escolha de itens de uma lista de itens, de modo que a diversidade definida como alguma distância métrica entre os itens seja maximizada.mmmnnn Eu tenho um problema mais simples, que eu esperava poder resolver de uma maneira mais simples. No meu caso, tenho …

7 algorithms  optimization 

Fechado . Esta pergunta precisa de detalhes ou clareza . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Adicione detalhes e esclareça o problema editando esta postagem . Fechado há 3 anos . Por favor, perdoe-me por fazer uma pergunta iniciante, mas sou iniciante em algoritmos e complexidades, …

7 graphs  algorithm-analysis  runtime-analysis  trees  graph-traversal 

Sou estudante de graduação em matemática (vou começar meu terceiro ano muito em breve). Estou tentando me ensinar complexidade computacional. Infelizmente, não existem cursos na minha universidade sobre o assunto e não há especialistas (na verdade, parece que minha universidade não tem nenhum especialista em CS teórico). Portanto, não tenho …

7 complexity-theory 

Estou pensando em um problema, inspirado por conhecer um professor de língua estrangeira de nível iniciante no Goethe-Institut que aprendeu os cinco idiomas mais comuns falados pelos alunos para se comunicar com o maior número possível de alunos. Considere uma população finita de pessoas, cada uma das quais fala qualquer …

7 terminology  reference-request  optimization  combinatorics  sets 

A "Complexidade Computacional" de Papadimitriou afirma que VALIDITY, o problema de decidir se uma fórmula de lógica de primeira ordem (sem aritmética) é válida, é recursivamente enumerável. Isso decorre dos teoremas da completude e da solidez, que igualam VALIDITY e THEOREMHOOD, sendo este último o problema de encontrar uma prova …

7 complexity-theory  undecidability  first-order-logic 

Em uma configuração digitada, os registros podem ser considerados um mapa de um campo para o outro. Se houver uma operação de mesclagem de registro bem digitada (que permita campos sobrepostos), existe alguma diferença real entre o tipo resultante e um mapa dependente em um idioma digitado de forma dependente?

7 type-theory  dependent-types