ALLALL\text{ALL} é literalmente a classe de todos os idiomas. Existem problemas completos? Ou seja, existem problemas para os quais uma solução permitiria resolver qualquer problema? Tais problemas poderiam razoavelmente ser considerados "os problemas mais difíceis, exceto
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...
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...
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...
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...
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á...
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...
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...
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...
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...
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 é 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
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...
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...
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...
Sou bastante novo em heaps e estou tentando entender por que min e max são representados como árvores quando uma matriz classificada parece fornecer propriedades mín / máx por padrão. E um acompanhamento: qual é a vantagem de lidar com a complexidade de inserir em um heap, dado um algoritmo como a...
O Concorde TSP é um solucionador de TSP. Os solucionadores SAT são solucionadores de satisfação booleana. TSP e SAT são NP-completos. Por isso, por que dedicar tempo ao desenvolvimento do Concorde TSP quando há uma abundância de solucionadores SAT no mercado naquela
Eu estive mexendo com esse problema durante a última hora e estou incrivelmente perplexo. Seja . Mostre que é regular.A={0ku0k∣k≥1 and u∈Σ∗}A={0ku0k∣k≥1 and u∈Σ∗}A = \{\; 0^ku0^k \mid k ≥ 1 \text{ and }u ∈ Σ^*\;\}AAA Obviamente, a linguagem satisfaz o lema de bombeamento, mas isso não é...
Alguns compiladores têm funções utilitárias que dividem arestas críticas no gráfico de fluxo de controle. Suponho que isso não seja feito como uma otimização em si, mas para simplificar outras análises e transformações. Em que casos a divisão de arestas críticas seria...
Ao transformar termos de um idioma para outro, a propriedade intuitivamente desejada é a preservação da semântica (como usada, por exemplo, aqui para uma transformação do CPS): s⇓v⟹c(s)⇓c(v)s⇓v⟹c(s)⇓c(v) s \Downarrow v \implies c(s) \Downarrow c(v) Estou um pouco preocupado, no entanto, ao...