Dado um gráfico não direcionado, não ponderado, conectado e com arestas potencialmente paralelas GGG, um circuito de Euler pode ser construído se todo vértice GGG tem um grau par. Em gráficos com dois ou mais vértices de grau ímpar (pode haver apenas múltiplos de dois), é necessário "Eulerizar" o...
Francamente, estou muito desconfortável com o material no momento. Há algumas coisas que posso entender, mas muitas ainda não o compreendo. Minha primeira tarefa é me fazer uma pergunta (que eu sei fazer) para fornecer uma descrição completa de uma MT que aceite um idioma L = { x ∈ { 0 , 1}∗∣ x é...
Ultimamente, tenho trabalhado com matrizes de sufixos e não consigo encontrar um algoritmo eficiente para criar uma matriz de sufixos fácil de entender. Eu já vi em muitos sites que existe umaO ( nregistro2n )O(nlog2n)O(n \log^2 n)algoritmo, mas não consigo entender, pois muitos detalhes...
Estou interessado em conhecer a complexidade do problema NAE-HORN-SAT (nem todos iguais). Sabemos que o HORNSAT é completo, mas, por outro lado, o NAE-SAT é completo. Quero saber o que podemos dizer sobre o problema NAE-HORN-SAT. Deixe-me definir o problema
Sabe-se que para , .f(n)≥lognf(n)≥lognf(n) \geq \log nNSPACE(f(n))=coNSPACE(f(n))NSPACE(f(n))=coNSPACE(f(n))\mathsf{NSPACE}(f(n)) = \mathsf{coNSPACE}(f(n)) E se ? Eles também são
O que um algoritmo pseudo-polinomial nos diz sobre o problema que resolve? Não vejo como o tempo de execução melhora se o algoritmo for exponencial no comprimento da entrada e polinomial no valor da entrada; Então, como explicar essa mudança de exponencial para
O problema da parada é definido como: HTM= { ⟨ M, W ⟩ | M pára na entrada w }HTM={⟨M,w⟩∣M halts on input w}H_{TM} = \{ \langle M, w \rangle \mid \text{\(M\) halts on input \(w\)}\} Não tenho certeza do que isso significa. É um conjunto de máquinas de Turing de tal forma que todos eles aceitar /...
Estou vendo meu livro aqui, de Michael Sipser, e ele diz que uma máquina de Turing não determinística é decisiva se todos os seus ramos de computação pararem em todas as entradas. Acho que me lembro de ter visto em algum lugar o que você chamaria de máquina de Turing não determinística que pára em...
Estou participando da classe Coursera em compiladores e, na lição sobre lexers, é sugerido que existe uma troca de espaço-tempo entre o uso de autômato finito não determinístico (NFA) e autômato finito determinístico (DFA) para analisar expressões regulares. Se bem entendi, a desvantagem é que um...
Como encontrar um mínimo local de uma árvore binária completa? Considere um nnnárvore binária completa do nó TTT, Onde n=2d−1n=2d−1n = 2^d − 1 para alguns ddd. Cada nóv∈V(T)v∈V(T)v \in V(T) é rotulado com um número real xvxvx_v. Você pode supor que os números reais que rotulam os nós são todos...
Em http://rjlipton.wordpress.com/2009/05/27/arithmetic-hierarchy-and-pnp/ , Defina, como a máquina de Turing determinística que opera da seguinte forma em uma entrada . A máquina trata como um programa determinístico e simula na entrada . Ao mesmo tempo, a máquina executa um contador que...
Aqui está algo da "Sintaxe e semântica das linguagens de programação" de Slonneger: Uma variável pode ocorrer tanto vinculada como livre na mesma expressão lambda: por exemplo, em λx.yλy.yx, a primeira ocorrência de y é livre e as outras duas são ligadas. Presumo que a variável livre seja y...
Estou tentando resolver esse problema . Problema : Dados números inteiros positivos, sua tarefa é selecionar um número máximo de números inteiros para que não haja dois números nos quais seja divisível por .nnna , ba,ba, bumaaabbb Eu tenho que encontrar o conjunto independente máximo e o...
Eu acho que metade da batalha em responder a essa pergunta está em formulá-la com precisão! Um mecanismo de pesquisa não aparece muito, então eu queria saber se essa é uma pergunta bem conhecida ou bem estudada. Meus pensamentos: Eu acho que a maneira mais direta de formular essa pergunta é como...
Eu não sei muito sobre yacc, bison, flex ou lex e, por favor, me corrija se eu estiver errado, mas uma linguagem de programação também é uma máquina de Turing e uma máquina de Turing é definida como a tupla ( Q , Γ , b , Σ , δ,q0 0, F)(Q,Γ,b,Σ,δ,q0,F)(Q, \Gamma, b, \Sigma, \delta, q_0, F) Onde QQQ,...
Suponha que seja uma função unidirecional. E quanto a , onde e \ lvert x_1 \ rvert = \ lvert x_2 \ rvert ?f(x)f(x)f(x)h(x)=f(x1)⊕f(x2)h(x)=f(x1)⊕f(x2)h(x)=f(x_1) \, \oplus \,f(x_2)x=x1||x2x=x1||x2x=x_1 || x_2|x1|=|x2||x1|=|x2|\lvert x_1 \rvert = \lvert x_2\rvert ⊕⊕\oplus é disjunção exclusiva...
Estou trabalhando em um sistema de tipos e encontrei um problema que parece semelhante ao menor ancestral comum. Dados dois tipos, preciso encontrar a menor sequência de conversões que resultará no mesmo tipo de destino. Se eu tivesse uma árvore de tipos simples, sei como obter o resultado, mas...
Infelizmente, minha formação em complexidade computacional ainda é fraca, mas estou trabalhando nisso. Pelo que entendi, a questão da existência de funções de mão única é muito importante no campo. Suponha que existam funções unidirecionais, como pode ser demonstrado que existem funções...
Definição: Uma invariante preservada de uma máquina de estado é um predicado,PPP, nos estados, de modo que sempre que P(q)P(q)P(q) é verdade para um estado, qqqe q→rq→rq \rightarrow rpara algum estado, , então é válido.rrrP(r)P(r)P(r) Definição: Um gráfico de linhas é um gráfico cujas bordas estão...
Em muitos artigos, li que é bem sabido que a entropia de Shannon de uma variável aleatória pode ser convertida em min-entropia (até pequena distância estatística) tirando cópias independentes da variável. Alguém pode me explicar o que exatamente isso