Estou curioso. Eu tenho trabalhado nesse tipo de dados no OCaml : type 'a exptree = | Epsilon | Delta of 'a exptree * 'a exptree | Omicron of 'a | Iota of 'a exptree exptree Que pode ser manipulado usando funções recursivas de tipo explícito (um recurso que foi adicionado recentemente)....
Considere um modelo de CSP em que a alteração do valor de uma variável específica seja cara. Existe algum trabalho em que a função objetivo também considere o número de alterações no valor da variável durante o processo de busca? Um exemplo: a variável dispendiosa para alterar pode estar no...
Eu tenho o seguinte problema algorítmico: Determinar o espaço Turing complexidade de reconhecer seqüências de DNA que são palíndromos Watson-Crick. Os palíndromos de Watson-Crick são cadeias cujo complemento invertido é a cadeia original. O complemento é definido em letras, inspirado no DNA:...
Dado um número inteiro e um conjunto de trigêmeos de números inteiros distintos encontre um algoritmo que encontre uma permutação do conjunto modo que ou determina corretamente que não existe tal permutação. Menos formalmente, queremos reordenar os números de 1 a ; cada triplo em indica que...
Entendo que um numeral da Igreja parece com (... n vezes ...) . Isso significa nada mais do que "a função aplicada vezes à função ". λ s . λ z . s scncnc_nλ s . λ z. sλs.λz.s\lambda s. \lambda z. ss n zszszs\;zsssnnnzzz Uma definição possível da função é a seguinte: . Olhando para o corpo, entendo...
Em muitos textos, um limite inferior para encontrar kkk th menor elemento é derivado fazendo uso de argumentos usando medianas. Como posso encontrar alguém usando um argumento adversário? A Wikipedia diz que o algoritmo do torneio é executado em , e n - k + ∑ n j = n + 2 - k ⌈ lgO(n+klogn...
Seja A e B idiomas com A ⊆ B, e B é reconhecível por Turing. A não pode ser reconhecido por Turing? Se sim, existe algum
Meu livro afirma isso Se um problema de decisão B estiver em P e A for reduzido para B, o problema de decisão A estará em P. Um problema de decisão B é NP-completo se B estiver em NP e para todo problema em A em NP, A reduz para B. Um problema de decisão C é NP-completo se C estiver em NP e,...
É sabido que polígonos monótonos desempenham um papel crucial na triangulação de polígonos . Definição: Um polígono no plano é chamado monotônico em relação a uma linha reta , se todas as linhas ortogonais a cruzarem no máximo duas vezes.PPPeueuLeueuLPPP Dada uma linha e um polígono , existe...
Haverá necessidade de alterar as definições de segurança se tivermos computadores quânticos? Que construções criptográficas irão quebrar? Você conhece uma pesquisa ou um artigo que explica o que será necessário
Devido à natureza da pergunta, tenho que incluir muitas informações básicas (porque minha pergunta é: como restringir isso?) Dito isso, ele pode ser resumido (da melhor maneira possível) como: Quais métodos existem para encontrar ótimos locais em espaços de pesquisa combinatória extremamente...
Estou tentando elaborar uma tarefa (tirada do livro Algoritmos - de S. Dasgupta, CH Papadimitriou e UV Vazirani , Cap 8, problema 8.6a), e estou parafraseando o que afirma: Dado que o 3SAT permanece NP-completo, mesmo quando restrito a fórmulas nas quais cada literal aparece no máximo duas...
Existe alguma maneira de estimar quantos dados são adicionados à rede mundial de computadores a cada segundo? Existem estudos sobre
Existe a necessidade de ser infinito para ser indecidível?L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* Quero dizer, e se escolhermos um idioma seja uma versão finita limitada de , ou seja , ( ), com . É possível que seja uma linguagem indecidível? L ⊆ Σ * | L ' | ≤ N N ∈ N G ' ⊂ G G 'L′L′L' L⊆Σ∗L⊆Σ∗L\subseteq...
Existem vantagens em ter mais de 2 camadas ocultas em uma rede neural? Eu já vi alguns lugares que recomendam, outros provam que não há vantagem. Qual é o
Formulação Alternativa Eu vim com uma formulação alternativa para o problema abaixo. A formulação alternativa é realmente um caso especial do problema abaixo e usa gráficos bipartidos para descrever o problema. No entanto, acredito que a formulação alternativa ainda é NP-difícil. A formulação...
Eu estava brincando com a demo do Google Blocky's Maze e lembrei da regra antiga de que, se você quiser resolver um labirinto, mantenha a mão esquerda na parede. Isso funciona para qualquer labirinto conectado simples e pode ser implementado por um transdutor finito. Deixe nosso robô ser...
Eu tenho a prova de ir de um enumerador para uma Máquina de Turing (continue executando o enumerador e veja se ele corresponde à entrada), mas não vejo como a outra maneira funciona. De acordo com minhas anotações e o livro (Introdução à Teoria da Computação - Sipser), para obter o enumerador de...
Eu tenho um problema em minha mente, acho que é um problema de NPC, mas não sei como prová-lo. Aqui está o problema: Existem k ilhas em um lago muito grande e n pontões em forma de leque. Esses pontões têm o mesmo tamanho, mas têm direções iniciais diferentes e estão em diferentes posições...
Está provado que as redes neurais com pesos racionais têm o poder computacional da computabilidade da Universal Turing Machine Turing com redes neurais . Pelo que entendi, parece que o uso de pesos com valor real gera ainda mais poder computacional, embora eu não tenha certeza disso. No entanto,...