Existe alguma diferença entre recursão estrutural e recursão de cauda ou ambos são iguais? Vejo que, nessas duas recursões, a função recursiva é chamada no subconjunto dos itens
Considere a sequência s1=(1,0,1,0,…)s1=(1,0,1,0,…)s_1 = (1, 0, 1, 0,\dots). Parece "regular" de uma maneira que, por exemplo,s2=(1,2,3,4,…)s2=(1,2,3,4,…)s_2 = (1, 2, 3, 4,\dots) não é. Não sei ao certo como formalizar essa intuição. Uma coisa que me impressiona é queL={(01)n}L={(01)n}L =\{(0...
Gödel define em seu Sistema T recursividade primitiva sobre tipos mais altos. Encontrei notas de Girard, onde ele explica a implementação do Sistema T em cima do cálculo lambda simplesmente digitado. Na página 50, ele menciona que, quando usamos mais tipos no recursor, obtemos um poder mais...
Suponha que eu tenha uma matriz 2D M[n][n]de números inteiros (de fato, binário é bom, mas duvido que isso importe). Estou interessado em consultas repetidas do formulário: dado um par de coordenadask,lk,euk,l, o que é Obviamente, todos esses valores podem ser calculados no tempo total e, depois...
Dado um conjunto finito de pontos em , como podemos calcular eficientemente um "ponto mais isolado" ?SSSRdRd\mathbb R^dx∈Sx∈Sx\in S Definimos um "ponto mais isolado" porxxx x=argmaxp∈Sminq∈S∖{p}d(p,q)x=argmaxp∈Sminq∈S∖{p}d(p,q)x = \arg\max_{p \in S} \min_{q \in S \setminus \{p\}} d(p,q) (Usei a...
Desculpas pela pergunta do novato, mas estou um pouco confuso sobre o que exatamente conta como uma "operação simples" ao calcular a complexidade de tempo de um algoritmo. Em particular, por que consideramos todas as operações iguais? Certamente, dividir dois números muito grandes consome mais...
L = {uman( a + b)n| n>0}eu={uman(uma+b)n|n>0 0}L = \{ a^n (a+b)^n | n>0\} Um livro que estou lendo diz que é, mas, considerando que não podemos saber onde a segunda parte começará, e ela também pode começar com uma, então como podemos aceitar isso usando um DPDA? Como depois de ler a...
Uma abordagem comum para decidir se dois gráficos dados são isomórficos é calcular o chamado rótulo canônico (alternativamente, gráfico canônico) de cada gráfico e verificar se eles correspondem ou não. Ferramentas como o Nauty calculam o gráfico canônico através de árvores de pesquisa removidas...
Em nosso curso de conceitos de linguagem de programação, nosso instrutor afirmou que não há problema em um estado final levar a outro estado em um diagrama de estados finitos. Mas esse parece ser um conceito fundamentalmente contraditório. Como um estado final, por definição, é aquele que termina...
Existem algoritmos eficientes para verificar se uma lista de números inteiros é coprime em pares, ou um algoritmo mais geral seria a melhor opção
No curso HoTT da CMU, palestra 1, que pode ser encontrada aqui: https://scs.hosted.panopto.com/Panopto/Pages/Viewer.aspx?id=0945cc7f-48b7-4803-81af-e7193a3f461d Às 33:52, Harper estava comparando paralelamente entre teorias sintéticas e analíticas, e quando chegou à teoria do PL, ele disse que Coq...
Tenho certeza de que deve haver algo errado com o seguinte raciocínio, porque, caso contrário, muitas pesquisas de P vs. NP seriam reduzidas, mas não consigo determinar meu erro: Para qualquer número inteiro fixo k>0k>0k>0 definir Bk:={⟨φ⟩|φis a wff of ZF and has a proof of...
Seja e o seguinte:L1L1L_1L2L2L_2 L1={r:∃x,y∈Z such that x2+y2=r}L1={r:∃x,y∈Z such that x2+y2=r}L_1=\{r:\exists x,y \in \mathbb{Z} \text{ such that } x^2+y^2=r\} L2={(N,M):M<N,∃1<d≤M such that d|N}L2={(N,M):M<N,∃1<d≤M such that d|N}L_2=\{(N,M):
Eu vi a seguinte declaração e não entendo bem o raciocínio por trás dela: Se uma máquina de Turing repete a mesma configuração duas vezes, ela deve estar em um loop infinito. Eu pensei que uma pode estar em um estado , com a fita à esquerda 000 e à direita 111. Digamos que ela se move para a...
Estou tentando encontrar uma maneira de explicar a idéia da prova do problema da parada da maneira mais acessível possível (para alunos de graduação em ciências da computação). O argumento mais simples que encontrei é esse ; esse é precisamente o estilo de tratamento que estou buscando. No entanto,...
Aqui estão quatro princípios que não consigo conciliar: Algoritmos de tempo exponencial duplo são executados no tempo com constanteO(22nk)O(22nk)O(2^{2^{n^k}})k∈Nk∈Nk \in \mathbb{N} Algoritmos de tempo exponencial são executados em com constanteO(2nk)O(2nk)O(2^{n^k})k∈Nk∈Nk \in \mathbb{N} O...
Para um gráfico direcionado em mudança, eu gostaria de manter informações sobre componentes fortemente conectados. As operações gráficas são incrementais: somente adição de vértice e adição de aresta. Quais estruturas de dados atingem a complexidade amortizada mais conhecida para essas...
Vejo em todos os lugares que a equação recursiva para a complexidade do alg de Strassen é: T( n ) = 7 T(n2) + O (n2) .T(n)=7T(n2)+O(n2).T(n) = 7T(\tfrac{n}{2})+O(n^2).Isso não está tão claro para mim. O parâmetronnn deve ser o tamanho da entrada, mas parece que aqui é uma dimensão de uma matriz...
Como exemplo, aqui estão todas as árvores possíveis para o caso k = 3k=3k=3: Em cada nó gravado está sua aridade (= o número de filhos). Embora isso deva ser solucionado pela programação dinâmica, acho que houve um resultado combinatório nisso (limite superior exato ou bastante refinado). Alguém...
Atualmente, estou lendo um trabalho de pesquisa sobre o meta-algoritmo de atualização de peso multiplicativo. Não tenho muita certeza do que eles querem dizer com "meta-algoritmo". É simplesmente um algoritmo geral que pode ser usado para diferentes propósitos? Não consegui encontrar nenhuma...