Estou procurando uma linguagem pequena que ajude a "convencer" os alunos de que máquinas de turing são um modelo de computação suficientemente geral. Ou seja, um idioma que se parece com os idiomas aos quais está acostumado, mas também é fácil de simular em uma máquina de turing. Papadimitriou usa...
Eu tenho aprendido algo sobre a implementação de tipos dependentes, como este tutorial , mas a maioria deles está implementando intérpretes. Minha pergunta é: parece que implementar um compilador para o tipo dependente é muito mais difícil do que um compilador, porque você pode realmente avaliar os...
Primeiro, meu entendimento do teorema da incompletude de Gödel (e da lógica formal em geral) é muito ingênuo, e também meu conhecimento sobre ciência da computação teórica (ou seja, apenas um curso de graduação realizado enquanto ainda estou na graduação), então essa pergunta pode ser muito...
Estou procurando um algoritmo eficiente para o problema: Entrada : O número inteiro positivo 3n3n3^n (armazenado como bits) para algum número inteiro n≥0n≥0n \geq 0 . Saída : O número nnn . Pergunta : Podemos calcular nnn partir dos bits de 3n3n3^n em O(n)O(n)O(n) tempo? Esta é uma...
Os autômatos de empilhamento alternativo unidirecional (1APDA) podem reconhecer qualquer idioma em (Alternação de Chandra, Kozen e Stockmeyer, 1981) . Ao substituir um armazenamento pushdown de um 1APDA por um contador, podemos obter um autômato alternativo unidirecional por um contador (1ACA)....
Entendo que as seguintes afirmações são verdadeiras: Às vezes, duas derivações distintas de uma sequência em um determinado CFG podem atribuir a mesma árvore de análise à sequência. Quando existem derivações de alguma sequência em um determinado CFG que atribuem diferentes árvores de análise, o...
Tenho dificuldade em entender os últimos passos do algoritmo AHSP. Deixe ser um grupo abeliano e ser a função que esconde o subgrupo . Deixe- representam o duplo grupo de .GGGfffHHHG∗G∗G^*GGG Aqui estão as etapas do algoritmo Primeiro prepare o estado, I=1|G|∑g∈G|g⟩|0⟩I=1|G|∑g∈G|g⟩|0⟩\qquad...
Estou interessado em estudar problemas completos do isomorfismo em grafos (IG). No artigo "Problemas polinomialmente equivalentes ao isomorfismo dos grafos", de Kellogg S. Booth, (1979), provou que muitos problemas básicos estão completos no GI usando técnicas de substituição de borda, técnicas de...
Para um problema de pesquisa local polinomial , sabemos que pelo menos uma solução (ótima local) deve existir. No entanto, muitas outras soluções podem existir. Quão difícil é contar o número de soluções para um problema completo de PLS? Estou particularmente interessado no problema de decisão: a...
Seja x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n) um vetor de variáveis booleanas. Sejam C,DC,DC,D dois circuitos booleanos em xxx . Diga que CCC é semelhante a DDD se: Pr[C(x)≠D(x)]Pr[C(x)≠D(x)]\Pr[C(x) \ne D(x)]{ 0 , 1 } nxxx{0,1}n{0,1}n\{0,1\}^n C,DC,DC,D diferem na distância de edição do gráfico...
Estou lendo o famoso artigo Impagliazzo e Wigderson em 1997. Como sou novo nesse campo e o artigo é uma versão concisa da conferência, tenho dificuldade em seguir suas provas. Em particular, alguns de seus novos teoremas carecem de provas. Que eu saiba, não houve uma versão do diário...
Suponha que recebamos uma matriz A[1..n]A[1..n]A[1..n] contendo números inteiros não negativos (não necessariamente distintos). Deixe BBB ser AAA ordenado na ordem não crescente. Queremos calcular m=maxi∈[n]B[i]+i.m=maxi∈[n]B[i]+i.m = \max_{i\in [n]} B[i]+i. A solução óbvia é classificar AAA e...
Sean Anderson publicou pequenos truques de contenção contendo o algoritmo de Eric Cole para encontrar o de um número inteiro de bits nas operações com multiplicação e pesquisa.N v O ( lg ( N ) )⌈log2v⌉⌈log2v⌉\lceil\log_2 v \rceilNNNvvvO(lg(N))O(lg(N))O(\lg(N)) O algoritmo baseia-se em um número...
Estou procurando recursos (de preferência um manual) sobre tópicos avançados em algoritmos (tópicos além do que é abordado em manuais de algoritmos como CLRS e DPV). O tipo de material que pode ser usado para o ensino de tópicos em um curso de algoritmos, como o Erik Demaine e o curso de...
A única definição de "cálculo" de que conheço é o estudo de limites, derivadas, integrais etc. na análise. Em que sentido o cálculo lambda (ou coisas como mu calculus) é um "cálculo"? Como isso se relaciona com o cálculo na
A classe UP é definida como tal: A classe de problemas de decisão solucionáveis por uma máquina NP tal que Se a resposta for 'sim', exatamente um caminho de computação será aceito. Se a resposta for 'não', todos os caminhos de computação serão rejeitados. Estou tentando desenvolver...
O problema do "segundo " é o problema de decidir a existência de outra solução diferente de uma determinada solução, por exemplo.XXX Para algumas problemas -Complete, a segunda versão solução é -completo (decidir a existência de uma outra solução para o problema conclusão quadrado latino parcial),...
Impagliazzo, Paturi e Calabro, Impagliazzo, Paturi introduziram a Hipótese de tempo exponencial (ETH) e a Hipótese de tempo fortemente exponencial (SETH). Grosso modo, o SETH diz que não há algoritmo que resolva o SAT no tempo . 1.99n1.99n1.99^n Eu queria saber o que isso significaria para quebrar...
Estou procurando uma classe de complexidade que se relacione ao APX e o BPP ao P. Já fiz a mesma pergunta aqui , mas talvez o TCS seja um local mais proveitoso para respostas. A razão para a pergunta é que, em problemas práticos, geralmente é necessário encontrar respostas aproximadas (portanto...
Você conhece problemas difíceis de W [1] mesmo para gráficos de graus delimitados? A dimensão métrica é difícil em gráficos com grau no máximo 3, mas é W [2] -hard. O Non-blocker Vermelho-Azul costumava ser W [1] -hard nos gráficos de graus limitados, mas houve um erro na prova (livro de Downey...