O Problema Pós Correspondência (PCP) é indecidível. A versão limitada do PCP é -completa e a versão marcada do PCP (as palavras de uma das duas listas devem diferir na primeira letra) está em [1].N PNP\mathrm{NP}P S P A C EPSPUMACE\mathrm{PSPACE} Essas versões restritas são usadas para provar...
Existe alguma maneira natural ou notável de relacionar ou vincular grupos de matemática e linguagens formais de CS ou algum outro conceito central de CS, por exemplo, máquinas de Turing? Estou à procura de referências / aplicações. No entanto, note que estou ciente do vínculo entre semigrupos e...
Eu queria saber se alguém sabia a origem do modelo de servidor do cliente. De onde vem o termo (papel, aplicativo de software,
Eu continuo ouvindo sobre como é preciso aprender a teoria das categorias para realmente entender a teoria da linguagem de programação. Até agora, aprendi bastante PL sem nunca entrar no campo das categorias. No entanto, achei que era hora de dar o salto para ver o que estava
Não sei se foi uma piada, mas uma vez li o que foi referido como uma definição formal de um arquivo em um sistema de versão, como git, hg ou svn. Era algo como um objeto matemático como um homeomorfismo. Isso foi uma piada ou existe realmente uma teoria da ciência da computação sobre sistemas de...
Em termos de pior tempo de execução assintótico, qual problema de NP-completo possui o algoritmo mais rápido (exato) conhecido e qual é o algoritmo? Existe algo conhecido que é mais rápido que O(n2∗2n)O(n2∗2n)O(n^2*2^n)
Estou tentando resolver um problema de SAT de 5k de cláusulas de 25k. Como está em funcionamento há uma hora (precosat) e gostaria de resolver os maiores depois, estou procurando um SAT-Solver com vários núcleos. Como parece haver muitos SAT-Solvers, estou bastante perdido. Alguém poderia me...
Existe um problema popular [1] [2] na ciência da computação que está encontrando um número mínimo de linhas retas que cobre um determinado conjunto de pontos em 2D. Embora tenha digitalizado muitos papéis, nenhum deles tem uma clara motivação para o problema. Qual é a utilidade de resolver esse...
Pergunto-me, qual é a complexidade de tempo para determinar o vazio para DFAs bidirecionais? Ou seja, autômatos finitos que podem retroceder na fita de entrada somente leitura. Segundo a Wikipedia, eles são equivalentes aos DFAs, embora o DFA equivalente possa ser exponencialmente maior. Encontrei...
Minha pergunta é para aqueles que se preocupam com algoritmos de biologia computacional. Vou fazer um curso de bioinformática neste outono; o problema, no entanto, é que eu tenho muito pouco conhecimento em biologia e química para me sentir preparado para esse ciclo de leituras (eu era bastante...
De acordo com o artigo da Wikipedia sobre esquemas de aproximação de tempo polinomial : Todos os problemas no FPTAS são tratáveis com parâmetros fixos. Esse resultado me surpreende - essas classes parecem ser totalmente diferentes umas das outras. O FPTAS caracteriza problemas pela...
Eu estou querendo saber se existem problemas -Hard que são `` polinomial" no caso da média. Eu acho que existem duas maneiras de interpretar isso?NPNPNP Se , pode haver um algoritmo de resolução de um N P problema -Hard com amortizado (caso médio) tempo de execução O ( n k ) por uma constante k...
No trabalho, fui encarregado de deduzir algumas informações de tipo sobre uma linguagem dinâmica. Reescrevo seqüências de instruções em letexpressões aninhadas , da seguinte maneira: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...
Você pode me dar algumas sugestões sobre um bom livro introdutório (mas abrangente) sobre lógica e computação? Alguns tópicos difusos que tenho em mente são: Presburger artihm., PA, ZF, ZFC, HOL Teoria dos conjuntos, Teoria dos tipos Computação de modelagem (máquinas de Turing) em diferentes...
Dado nnn trabalhos J1,J2,...,JnJ1,J2,...,JnJ_1,J_2,...,J_n , cada trabalho exige TEu> 0 , TEu∈ NTi>0,Ti∈NT_i > 0, T_i \in N tempo para completar. Cada trabalho deve ser pré-processado e pós-processado por uma única máquina M que pode lidar com apenas 1 trabalho por vez e as duas fases...
Disseram-me que os computadores quânticos não são computacionalmente mais poderosos que as máquinas de Turing. Alguém poderia gentilmente ajudar a fornecer algumas referências da literatura que explicassem esse
Deseja melhorar este post? Forneça respostas detalhadas para esta pergunta, incluindo citações e uma explicação de por que sua resposta está correta. Respostas sem detalhes suficientes podem ser editadas ou excluídas. Fui encarregado de construir uma biblioteca de livros...
Eu preciso de uma definição concisa do "estado de um objeto" na programação orientada a objetos (para um artigo). Por cerca de metade do dia, procurei um artigo que pudesse citar sobre esse tópico, mas não o encontrei. Todos os artigos que encontrei foram principalmente artigos gerais sobre...
Existe alguma ferramenta para prototipar uma semântica da linguagem de programação e um sistema de tipos que também permita algum tipo de verificação de modelo de propriedades padrão, como a solidez do tipo? Estou perguntando isso, porque estou lendo um livro sobre o Alloy e ele fornece a...
Todo mundo conhece "Garey & Johnson", que é a minha referência preferencial sempre que preciso de um problema para mudar para uma prova de dureza NP. No entanto, recentemente, me dependo de uma prova de dureza APX, e me pergunto se existe uma coleção semelhante (e mais atualizada ..?) De...