Ciência da Computação

Se supusermos que começamos com uma instância de -SAT e tentarmos converter o problema em uma instância de -SAT, onde existem literais por cláusula, podemos garantir uma redução no quantidade total de cláusulas?kkk( k + m )(k+m)(k+m)( k + m )(k+m)(k+m) Depois de postar, percebi que não podemos garantir que …

8 complexity-theory  logic  satisfiability 

Mostre que não é regularL={an2| n≥0}L={an2|n≥0 0}L=\{a^{n^2} | n \geq 0\} Ei pessoal. Eu estou tendo uma aula de CS e esse material é realmente novo para mim, então tenha paciência comigo. Tentei verificar se havia alguma contradição usando o lema de bombeamento para idiomas regulares e resolvi-o assim: Suponha …

8 regular-languages  pumping-lemma 

É o idioma L={a,b}∗∖{(anbn)n∣n≥1}L={a,b}∗∖{(anbn)n∣n≥1}L = \{a,b\}^* \setminus \{(a^nb^n)^n\mid n \geq1 \} sem contexto? Acredito que a resposta é que não é uma CFL, mas não posso provar pelo lema de Ogden ou Pumping.

8 formal-languages  context-free  pumping-lemma 

Não se acredita que a satisfação geral (com algumas exceções, como Cláusulas de Horn), tenha uma solução algorítmica. No entanto, o algoritmo a seguir parece ser uma solução para satisfação geral. Qual é exatamente a falha com o seguinte algoritmo? Deixei WWW seja um conjunto vazio que conterá todas as …

8 algorithms  logic  satisfiability  constraint-programming 

Mark mora em um pequeno país povoado por pessoas que tendem a pensar demais. Um dia, o rei do país decide redesenhar a moeda do país para tornar as trocas mais eficientes. O rei quer minimizar o número esperado de moedas necessárias para pagar exatamente qualquer quantia até (mas não …

8 algorithms  optimization  combinatorics  integers 

Tomamos a sequência de números inteiros de 111 para nnn, e os empurramos para uma pilha, um por um, em ordem. Entre cada push, podemos optar por exibir qualquer número de itens da pilha (de 0 ao tamanho atual da pilha). Sempre que extrairmos um valor da pilha, imprimi-lo-emos. Por …

8 algorithms  stacks 

Dada uma sequência de números naturais, você pode adicionar qualquer número natural a qualquer número na sequência, de modo que seu xor se torne zero. Meu objetivo é minimizar a soma dos números adicionados. Considere os seguintes exemplos: Para a resposta é ; adicionando a , obtemos .1,31,31, 32222221113⊕3=03⊕3=03 \oplus …

8 algorithms  integers  xor 

Eu não tenho certeza de vê-lo. Pelo que entendi, arestas e vértices são complementos um para o outro e é bastante surpreendente que essa diferença exista. Existe uma maneira boa / rápida / fácil de ver que, na verdade, encontrar um caminho hamiltoniano deve ser muito mais difícil do que …

8 complexity-theory  graph-theory  np-complete  intuition 

Estou procurando um texto de referência sobre teoria de grafos aplicada e algoritmos de grafos. Existe um texto padrão usado na maioria dos programas de ciência da computação? Caso contrário, quais são os textos mais respeitados no campo? Eu tenho Cormen et al.

8 algorithms  graph-theory  reference-request  education  books 

Minha configuração é mais ou menos assim: eu tenho uma sequência de conjuntos de números inteiros , comrelativamente pequeno - na ordem de quatro ou cinco itens para todos . Quero escolher uma sequência com cada modo que a variação total ( ou , ou seja, ou ) é minimizado. …

8 algorithms  complexity-theory  optimization 

Em Cormen et. al., Introdução aos algoritmos (3ª ed.), não entendo uma linha na prova do Lema 26.1 que afirma que o fluxo aumentadof↑f′f↑f′f\uparrow f' é um fluxo em GGG e é st |f↑f′|=|f|+|f′||f↑f′|=|f|+|f′||f\uparrow f'| =|f|+|f'| (isto é pp. 717-718). Minha confusão: ao discutir a conservação do fluxo, eles usam …

8 algorithms  network-flow 

As máquinas de Turing têm uma descrição formal do alfabeto de símbolos, estado e regras de transição de como é feita uma computação. Às vezes, o modelo do ator é mencionado como um modelo computacional mais poderoso do que as máquinas de Turing (não no que ele pode calcular, mas …

8 terminology  computability  reference-request  programming-languages  computation-models 

Antes de tudo, devemos ler uma palavra e o tamanho desejado. Então precisamos encontrar o palíndromo mais longo criado por caracteres nesta palavra, usado em ordem. Por exemplo, para tamanho = 7 e palavra = "abcababac", a resposta é 7 ("abababa"). Postscript: o tamanho da palavra é menor que 3000.

8 algorithms  strings  subsequences 

Existe algum problema de decisão em uma classe de complexidade incluída corretamente no DLOGTIME? (exceto , é claro)O(1)O(1)O(1) Se houver, podemos criar problemas completos para o DLOGTIME? Então, pode haver redução em ou menor?O(log(logn))O(log⁡(log⁡n))O(\log(\log n))

8 complexity-theory  time-complexity  complexity-classes 

Talvez esteja faltando algo óbvio, mas será que P = co-NP NP ou vice-versa? Meu sentimento é que deve haver algum teorema que descarta essa possibilidade.⊊⊊\subsetneq

8 complexity-theory  p-vs-np