Dado um alfabeto Σ={a,b}Σ={uma,b}\Sigma = \{ a,b \} , quantas linguagens regulares diferentes existem que podem ser aceitas por um autômato finito não-determinístico do estado ?nnn Como exemplo, vamos considerar . Temos então configurações de transição diferentes e configurações diferentes de...
Tomei uma aula de algoritmos no Coursera. O professor no vídeo sobre tabelas de hash disse que O que é verdade é que, para dados não patológicos, você obterá operações de tempo constante em uma tabela de hash implementada corretamente. O que significa "dados não patológicos"? Voce pode dar...
Estou lendo o livro do HoTT e tenho uma pergunta (provavelmente muito ingênua) sobre as coisas do capítulo um. O capítulo apresenta o tipo de função e o generaliza, tornando B dependente de x : A B : A → U ,f:A→Bf:A→B f:A\to B BBBx:Ax:Ax:A e isso é chamado detipo de função...
Suponha que nós estamos dando dois números e e que queremos encontrar para l \ le i, \, j \ le r .lllrrr l ≤ i ,max(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r O algoritmo ingênuo simplesmente verifica todos os pares possíveis; por exemplo, em ruby, teríamos: def max_xor(l, r) max...
Recentemente, um aluno me pediu para verificar uma prova de dureza NP para eles. Eles realizaram uma redução ao longo das linhas de: Reduzo esse problema P′P′P' que é conhecido como NP-completo para o meu problema (com uma redução de múltiplos de um tempo múltiplo), de modo que é...
Suponha que eu queira construir um sistema operacional baseado em um kernel inferior nativo muito pequeno que atue como um interpretador de código gerenciado / tempo de execução e um kernel superior maior compilado em uma linguagem de máquina não nativa (Java bytecode, CIL etc.). Exemplos de...
Um microkernel implementa todos os drivers como programas no espaço do usuário e implementa recursos principais como IPC no próprio kernel. Um kernel monolítico, no entanto, implementa os drivers como parte do kernel (por exemplo, é executado no modo kernel). Eu li algumas alegações de que os...
Linguagens como são sob muitas one-redução. É trivial ver que tem problemas completos. S. Schmitz [1] considera algumas classes entre e . Eles apresentam problemas completos para essas classes sob reduções especificamente criadas.HALTTMHALTTM\text{HALT}_{TM}
por exemplo, ?xy+x+y=x+y(x+1)xy+x+y=x+y(x+1)xy+x+y=x+y(x+1) As expressões são da álgebra comum do ensino médio, mas restritas à adição e multiplicação aritmética (por exemplo, ), sem inversões, subtrações ou divisões. Letras são variáveis.2+2=4;2.3=62+2=4;2.3=62+2=4; 2.3=6 Se ajudar, podemos...
Gostaria de saber qual é o algoritmo mais conhecido, em termos de notação Big- , para resolver a Programação Linear Inteira?OOO Eu sei que o problema é completo, então não estou esperando nada polinomial. E eu sei que existem muitas heurísticas e outras que são usadas em aplicações práticas como o...
Estou tentando entender a prova do teorema de Karp-Lipton, conforme declarado no livro "Complexidade computacional: uma abordagem moderna" (2009). Em particular, este livro declara o seguinte: Teorema de Karp-Lipton Se NP , PH .⊆⊆\subseteq P∖ p o l yP∖poeuyP_{\backslash poly} = Σ p 2 =...
Para medir a complexidade de um algoritmo, é complexidade de tempo ou complexidade computacional? Qual a diferença entre eles? Eu costumava calcular a contagem máxima (pior) da operação básica (mais cara) no
Tenho certeza de que alguém já pensou nisso antes ou imediatamente o descartou, mas por que a teoria da dicotomia de Schaefer, juntamente com o teorema de Mahaney sobre conjuntos esparsos, não implica P = NP? Aqui está o meu raciocínio: Crie um idioma que seja igual a SAT cruzado por um conjunto...
Aqui eu li isso: O Haskell definitivamente não possui o sistema de tipos mais avançado (nem mesmo próximo, se você contar as linguagens de pesquisa), mas dentre todas as linguagens que são realmente usadas na produção, o Haskell provavelmente está no topo. Então, eu estou perguntando duas...
Geralmente, o Sudoku é , mas essa pergunta se estende a n 2 × n 2 quebra-cabeças com n > 3 também. Existem muitas regras polinomiais de dedução de tempo que podem progredir na busca de uma solução para um quebra-cabeça Sudoku. Mas, às vezes, adivinhar valores e seguir cadeias de conclusões pode...
Eu sei que esta é uma pergunta muito comum. Mas tenho um ângulo diferente em minha mente. Vou apenas tentar articulá-lo aqui. Pelo que sei, todas as instruções que uma CPU executa, estão na linguagem da máquina e tudo que a CPU pode fazer é executar algumas operações aritméticas graças à ALU e a...
Eu sei que os portões NAND podem ser usados para criar circuitos que implementam todas as tabelas verdadeiras, e os computadores modernos são construídos com portões NAND. Qual é a ligação teórica entre os portões NAND e a integridade de Turing? Parece-me que os circuitos NAND gate estão mais...
Estou lendo sobre o problema do fluxo máximo aqui . Eu não conseguia entender a intuição por trás do gráfico residual. Por que estamos considerando as arestas traseiras ao calcular o fluxo? Alguém pode me ajudar a entender o conceito de gráfico residual? Como o algoritmo muda nos gráficos não...
É sabido que o 2-SAT está em P. No entanto, parece bastante interessante que contar o número de soluções para uma determinada fórmula do 2-SAT, ou seja, # 2-SAT seja # P-difícil. Ou seja, temos um exemplo de um problema para o qual a decisão é fácil, mas a contagem é difícil. Mas considere um...
Enquanto fazia o segundo código kata (que solicita a implementação de um algoritmo de pesquisa binária cinco vezes, cada vez com um método diferente), criei uma solução ligeiramente diferente que funciona da seguinte maneira: Se eu tiver uma matriz classificada com o comprimento 100 e vejo que o...