Estou lendo sobre a teoria dos tipos dependentes no livro on-line da Teoria dos Tipos de Homotopia . Na seção 1.3 do capítulo Teoria dos tipos , introduz a noção de hierarquia de Universos : , em quevocê0 0: U1 1: U2: ⋯você0 0:você1 1:você2:⋯\mathcal{U}_0 : \mathcal{U}_1 : \mathcal{U}_2 :...
Meu problema. Dada nnn , quero contar o número de válido multisets SSS . Um multiset SSS é válido se A soma dos elementos de SSS é nnn , e Cada número de 111 a nnn pode ser expressa de forma única como uma soma de alguns dos elementos de SSS . Exemplo. Por exemplo, se n=5n=5n=5 ,...
Sinto muito se esta pergunta tem alguma resposta trivial que estou perdendo. Sempre que estudo algum problema que foi provado indecidível, observo que a prova depende de uma redução para outro problema que foi provado indecidível. Entendo que ele cria algum tipo de ordem sobre o grau de dificuldade...
De acordo com o artigo da Wikipedia sobre esquemas de aproximação de tempo polinomial : Todos os problemas no FPTAS são tratáveis com parâmetros fixos. Esse resultado me surpreende - essas classes parecem ser totalmente diferentes umas das outras. O FPTAS caracteriza problemas pela...
O problema de decisão Dada uma fórmula booleana , tem exatamente uma tarefa satisfatória?ϕϕϕ\phiϕϕ\phi pode ser visto em , -hard e -hard. Existe algo mais conhecido sobre sua complexidade?U P c o N PΔ2Δ2\Delta_2U PUP\mathsf{UP}c o N
Estou trabalhando em algoritmos de pesquisa de string que suportam a pesquisa de vários padrões. Encontrei dois algoritmos que parecem os candidatos mais fortes em termos de tempo de execução, a saber, Aho-Corasick e Rabin-Karp . No entanto, não consegui encontrar nenhuma comparação abrangente...
Estou lendo Sipser e acho difícil entender como é o processo. Se você me der k máquinas de Turing com fitas k, posso cuspir uma máquina de Turing equivalente com apenas uma fita. Um exemplo seria bom. Na verdade, um exemplo elaborado que mostra como passar da TM com fitas para uma com 1 fita é o...
Acabei de começar a estudar Inteligência Artificial e estou me perguntando por que o espaço de estado acessível de um quebra-cabeça 8 é . Vejo que o número de permutações dos ladrilhos é 9 ! mas não é imediatamente óbvio por que metade dos estados possíveis do quebra-cabeça é inacessível em...
Existe um algoritmo / procedimento sistemático para testar se um idioma é regular? Em outras palavras, dado um idioma especificado em forma algébrica (pense em algo como ), teste se o idioma é regular ou não. Imagine que estamos escrevendo um serviço da Web para ajudar os alunos com todos os seus...
Eu fiz essa pergunta no StackOverflow. Me pediram para morar aqui. Então aqui está: Preciso de alguns esclarecimentos e informações sobre o algoritmo de Dijkstra versus a primeira pesquisa de largura em gráficos direcionados, se estiverem corretos. O algoritmo de Dijkstra encontra o caminho mais...
Como você abordaria o problema da mochila em uma situação de programação dinâmica se agora precisa limitar o número de itens na mochila por um constante ? Esse é o mesmo problema (peso máximo de , cada item tem um valor peso ), mas você só pode adicionar item (s) à mochila e, obviamente, precisa...
Seja nnn um número inteiro e ZZ\mathbb{Z} denote o conjunto de todos os números inteiros. Deixe [a,b][a,b][a,b] denotar o intervalo de números inteiros {a,a+1,a+2,…,b}{a,a+1,a+2,…,b}\{a,a+1,a+2,\dots,b\} . Eu estou procurando uma estrutura de dados para representar um mapa...
Estou interessado nas propriedades de uma classe de gráficos bipartidos que todos os nós em são 3-regulares, todos os nós em são 2-regulares e. Primeiro, essa é uma classe bem conhecida de gráficos? Em segundo lugar,G(X∪Y,E)G(X∪Y,E)G(X \cup Y, E)XXXYYY|X|=|2Y/3||X|=|2Y/3||X|=|2Y/3| Existe um...
Eu tenho um problema e acho difícil de NP, mas não posso provar. Aqui está um gráfico de camadas, em que a camada 0 é a camada mais alta e a camada L, a mais baixa. há alguma aresta direcionada entre as camadas, onde uma aresta (A, B) indica que o nó A pode [cobrir] o nó B. E quando A pode cobrir...
Linguagens sem contexto não são fechadas sob complementação. Nas palestras, recebemos o mesmo argumento aqui na Wikipedia : Para ambos A e B são livres de contexto, mas sua interseção A ∩ B não é. Como as linguagens sem contexto são fechadas sob uniões, elas também não podem ser fechadas sob...
Dado dois conjuntos de cadeias sobre o alfabeto Σ , podemos calcular o menor autômato de estado finito determinístico (DFA) M de modo que A ⊆ L ( M ) e L ( M ) ⊆ Σ ∗ ∖ B ?A , BA,BA,BΣΣ\SigmaMMMA ⊆ L ( M)UMA⊆eu(M)A \subseteq L(M)L ( M) ⊆ Σ∗∖ Beu(M)⊆Σ∗∖BL(M) \subseteq \Sigma^*\setminus B Em outras...
Estou envolvido no primeiro ano de programação e curso de algoritmos. Em uma palestra recente, decidi apresentar o material usando a codificação ao vivo , o que essencialmente significava que eu me sentava atrás do teclado e escrevia o código e o avaliava, usando o emacs para facilitar o...
Li várias vezes que não é possível alterar a resposta de um NDTM com eficiência. No entanto, eu não entendo o porquê. Por exemplo, dado um NDTM executado em O ( n ) , este texto (seção 3.3) afirma que não está claro como outro NDTM T pode determinar em O ( n 100 ) tempo como inverter a resposta de...
Fomos apresentados em classe com um algoritmo para encontrar o máximo em uma matriz em paralelo na complexidade de tempo com n 2 computadores.O(1)O(1)O(1)n2n2n^2 O algoritmo foi: Dada uma matriz A de comprimento n: Crie uma matriz de sinalizadores B de comprimento n e inicialize-a com...
Minimizando autómatos finitos determinista (AFDs) é um problema que tem sido bem estudada na literatura, e vários algoritmos foram propostos para resolver o seguinte problema: Dado um DFA , calcular um mínimo DFA correspondente aceite a mesma linguagem como um . A maioria desses algoritmos é...