Eu quero perguntar exatamente qual é a relação entre problemas e idiomas. Sabemos que o conjunto de todos os idiomas é incontável. O conjunto de problemas também é incontável? Todo problema pode ser definido por um idioma? Um idioma pode resolver mais de um problema e vice-versa? Existe...
Quero determinar se esse problema de decisão é decidível. Eu tentei estabelecer reduções de Halt e "Aceita string vazia", mas ainda não encontrei uma solução. Alguém pode me
Estou paralisado ao analisar a complexidade de tempo do seguinte algoritmo: def fun (r, k, d, p): if d > p: return r if d = 0 and p = 0: r <- r + k return r if d > 0: fun (r, k + 1, d - 1, p) if p > 0: fun (r, k - 1, d, p - 1) A chamada raiz será fun (0, 0, n, n)e né do...
Eu tenho dois arquivos grandes que contêm parágrafos do texto em inglês: O primeiro texto tem cerca de 200 páginas e 10 parágrafos por página (cada parágrafo tem 5 sentenças). O segundo texto contém quase exatamente os mesmos parágrafos e texto que o primeiro. Também tem 200 páginas, com 10...
Estou pensando nesse problema de computação / criptografia / banco de dados há anos e só quero saber se já existem soluções para ele. Para ser sincero, nem sei a que campo exatamente esse problema pertence. Em poucas palavras: a pessoa A tem uma lista de dados, outra pessoa (B) possui um algoritmo...
Conforme definido pela Wikipedia, (A correspondência de Curry-Howard) é uma generalização de uma analogia sintática entre sistemas de lógica formal e cálculos computacionais que foi descoberta pela primeira vez pelo matemático americano Haskell Curry e pelo lógico William Alvin...
Qual é a relação e a diferença entre um modelo de programação e um paradigma de programação? (especialmente ao falar sobre o modelo de programação e o paradigma de programação para uma linguagem de programação.) A Wikipedia tenta responder à minha pergunta em 1: Os paradigmas de programação...
Acabamos de aprender sobre a auto-redutibilidade nas aulas. Meu professor e nosso livro não se comprometeram a dizer que todos os problemas em PN são auto-redutíveis, mas não parecia haver exemplos de problemas que não sejam. Fiquei me perguntando se existem exemplos, ou se é apenas uma situação em...
Que eu saiba, interromper o problema pergunta se existe um programa que decide se um programa está sendo testado, dados alguns dados de entrada (não importa qual programa seja ou quais dados de entrada que fornecemos) serão encerrados ou não. A resposta para esse problema é 'não'. Em outras...
E se f: N → Nf:N→Nf:\mathbb{N}\rightarrow\mathbb{N} é computável e tem um inverso, sob quais condições é f- 1f−1f^{-1}também computável? Não consegui encontrar isso em um livro didático, e o google recebe algumas sugestões vagas sobre o bijetivo, mas não consegui encontrar um teorema claramente...
Temos dois idiomas: . Sabemos que é uma linguagem comum, então minha pergunta é se é uma regular?L1,L2L1,L2L_1,L_2L1L2L1L2L_1L_2L2L1L2L1L_2L_1 Eu tento encontrar uma maneira de provar isso ... Não posso supor que sejam regulares ... Então, procuro uma maneira de provar isso....
Essa pergunta é bastante específica na maneira de executar as etapas para resolver o problema. Dado prove que .T(n)=2T(2n/3)+O(n)T(n)=2T(2n/3)+O(n)T(n)=2T(2n/3)+O(n)T(n)=O(n2)T(n)=O(n2)T(n)=O(n^2) Portanto, as etapas foram as seguintes. Queremos provar que .T(n)≤cn2T(n)≤cn2T(n) \le...
Eu estava lendo o CLRS e ele pediu para mostrar que se é um primo da forma e é um resíduo quadrático, então é uma raiz quadrada (também é possível mostrar facilmente que é uma raiz quadrada).ppp4k+34k+34k+3umaaaumak+1ak+1a^{k+1}uma-ka−ka^{-k} Fiquei me perguntando se usando o fato anterior e...
O problema de paridade do prefixo pode ser definido da seguinte maneira. Você recebe uma sequência de comprimento e, inicialmente, cada caractere é . Então você deseja criar uma estrutura de dados que possa suportar atualizações como a seguir.SSSnnn00 00 Para um dado mudança para um ou outro...
Um gráfico geométrico aleatório ( https://en.wikipedia.org/wiki/Random_geometric_graph ) é construído escolhendo pontos em aleatoriamente, de acordo com alguma distribuição, e definindo se , para alguns parâmetros r . Gráficos geométricos são úteis na modelagem de redes do mundo...
Existem problemas cuja decisão é desconhecida, mas é sabido que os problemas são menos difíceis do que o problema da
Dado o fato de os qbits terem superposições e maior poder representacional em relação aos circuitos, existem problemas que requerem pelo menos tempo exponencial para garantir uma solução com um computador quântico? Eu verifiquei o Complexity Zoo e não consegui encontrar nenhuma classe de...
Testes de identidade polinómio é o padrão exemplo de um problema conhecido por ser em co-RP mas não conhecido por ser em P . Nos circuitos aritméticos , parece realmente difícil, pois o grau do polinômio pode ser aumentado exponencialmente por meio de quadrados repetidos. Esta pergunta aborda a...
Fiz o seguinte programa Haskell (não-destruído) para o desafio do código-golfe de calcular o primeironnnvalores de A229037 . Esta é a minha solução proposta para calcular o º valor:nnn a n | n<1 = 0 | n<3 = 1 | otherwise = head (goods n) goods n = [x | x <- [1..], isGood x n] isGood...
Não consegui encontrar um gráfico representando ou respondendo à seguinte pergunta: Existe uma relação direta entre a complexidade de um algoritmo (como o melhor / pior caso de classificação rápida) e a classe de autômatos que podem implementar o algoritmo. Por exemplo, existe uma variedade de...