Alguns algoritmos complicados ( união-localização ) têm a função Ackermann inversa quase constante que aparece na complexidade do tempo assintótico e, na pior das hipóteses, o ideal é o pior caso se o termo Ackermann inverso quase constante for ignorado. Existem exemplos de algoritmos conhecidos...
Esta pergunta foi migrada do Artificial Intelligence Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 5 anos . Na maioria das implementações de algoritmos genéticos, o foco está no cruzamento e na mutação. Mas, de alguma forma, a...
Ok, antes de começar, percebo que isso está à margem do tópico (li a ajuda do Questions neste site), principalmente porque esse não é um problema do mundo real. Contudo: Não consigo encontrar nada relevante no Google De um ponto de vista purista, certamente deve estar dentro da Ciência da...
Eu sei o que a computação é em algum sentido vago (é o que os computadores fazem), mas eu gostaria de uma definição mais rigorosa. Dictionary.comAs definições de computação, computação, cálculo e computação são circulares, portanto, não ajuda. Wikipediadefine computação como "qualquer tipo de...
Bem, esta é uma pergunta geral. E se alguém quiser torná-lo específico da implementação, preferirei coisas relacionadas ao Unix. Mas primeiro é necessário conhecer os seguintes problemas em geral: Eu li processo único pode ter vários segmentos. Vários threads do mesmo processo compartilham coisas...
Ouvi muitas vezes que o polimorfismo de linha é uma abordagem melhor do que a subtipagem, mas tenho dificuldade em encontrar algo que as compare em detalhes. Estou especialmente interessado na perspectiva de um usuário do sistema. Me deparei com este post do blog, mas ele me deixa com mais...
Apenas por interesse, tentei resolver um problema da categoria "Recente" do Projeto Euler ( sequência Digit Sum ). Mas não consigo pensar em uma maneira de resolver o problema com eficiência. O problema é o seguinte (na sequência de perguntas original tem duas no início, mas não altera a...
Comparando um par ordenado (x, y) a um par não ordenado {x, y} (conjunto) e, em seguida, informações teoricamente, a diferença é de apenas um bit, pois se x vem primeiro ou y requer exatamente um único bit para representar. Portanto, se recebermos um conjunto {x, y} em que x, y são dois números...
Um artigo chamado A derivada de um tipo regular é seu tipo de contexto de um furo mostra que o "zíper" de um tipo - seus contextos de um furo - segue as regras de diferenciação na álgebra de tipos. Nós
Estou procurando uma estrutura de dados que irá empurrar seu elemento mais antigo / último se um novo elemento for inserido. Por exemplo, vamos Drepresentar a estrutura. Dcontém 3 elementos dos Number Dvalores padrão do tipo serão inicializados para 1, 2e 3. D = [ 1 , 2 , 3 ]D=[1,2,3]D = [1, 2,...
O operador de diferença definida (por exemplo, EXCEPTem algumas variantes SQL) é um dos muitos operadores fundamentais da álgebra relacional. No entanto, existem alguns bancos de dados que não suportam diretamente o operador de diferença definida, mas que suportam LEFT JOIN(um tipo de junção...
Muitas referências de sistemas operacionais dizem que, com a multitarefa cooperativa (e não preventiva), um processo mantém a CPU até que ela se suspenda explicitamente. Se um processo em execução executa uma solicitação de E / S que não pode ser satisfeita imediatamente (por exemplo, solicita um...
Estou iniciando uma pesquisa bibliográfica pessoal sobre algoritmos de verificação de tipo e quero algumas dicas. Quais são os algoritmos, estratégias e técnicas gerais de verificação de tipo mais usados? Estou particularmente interessado em algoritmos complexos de verificação de tipo que foram...
Trabalho com programação dinâmica há algum tempo. A maneira canônica de avaliar uma recursão de programação dinâmica é criando uma tabela de todos os valores necessários e preenchendo-a linha por linha. Veja, por exemplo , Cormen, Leiserson et al: "Introdução aos algoritmos" para uma...
Há uma redução no livro de Sipser "Introdução à teoria da computação" na página 286, do 3SAT para o problema do caminho hamiltoniano. Existe uma redução mais simples? Por mais simples, quero dizer uma redução que seria mais fácil de entender (para os alunos). Existe uma redução que usa...
Sou estudante de graduação em teoria da computação e tenho sérios problemas em produzir conteúdo quando me pedem. Sou capaz de acompanhar o livro (Introdução à Teoria da Computação, de Michael Sipser) e as palestras; no entanto, quando solicitado a provar algo ou a apresentar uma descrição formal...
Nosso professor nos pediu para pensar em uma função no OCaml que tem o tipo 'a -> 'b isto é, uma função de um argumento que pode ser qualquer coisa e que pode retornar algo diferente. Pensei em usar raiseuma função que ignora seu argumento: let f x = raise Exit Mas o professor disse que...
Em Algorithmics for Hard Problems, de Hromkovič (2ª edição), existe este teorema (2.3.3.3, página 117): Existe um problema de decisão (decidível) tal que, para todo algoritmo que resolve existe outro algoritmo que também resolve e cumpre adicionalmenteA P A ′ PPPPUMAAAPPPUMA′A′A'PPP ∀∞n ∈ N .T...
A Lei de De Morgan é frequentemente introduzida em um curso introdutório de matemática para ciência da computação, e muitas vezes a vejo como uma maneira de transformar declarações de AND para OR negando termos. Existe uma explicação mais intuitiva para o porquê disso funcionar, em vez de apenas...
Deixei L = { an∣ ∃p ≥ n p, p + 2 são primos } . L={an∣∃p≥n p, p+2 are prime}.\qquad L = \{a^n \mid \exists_{p \geq n}\ p\,,\ p+2 \text{ are prime}\}. é regular?euLL Esta questão parecia suspeita à primeira vista e eu percebi que ela está conectada à conjectura primária dupla . Meu problema é...