Perguntas com a marcação «reference-request»

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 faltando. Infelizmente, …

13 reference-request  programming-languages  type-theory  category-theory 

A página do problema de isomorfismo gráfico da Wikipedia parece indicar que não, não foi resolvida. No entanto, um amigo meu apontou Um algoritmo de tempo polinomial para isomorfismo de gráfico . Não sou sofisticado o suficiente para seguir o raciocínio do artigo. Eu tenho minha própria tentativa bastante grosseira …

13 complexity-theory  reference-request  time-complexity  graph-isomorphism 

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 idiomas CS …

13 formal-languages  reference-request  automata  discrete-mathematics  group-theory 

Eu queria saber se alguém sabia a origem do modelo de servidor do cliente. De onde vem o termo (papel, aplicativo de software, livro)?

13 terminology  reference-request  distributed-systems  history 

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 alguns resultados …

13 complexity-theory  computability  reference-request 

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 problema? …

12 reference-request  computational-geometry  applied-theory 

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) ?

12 algorithms  reference-request  np-complete 

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 indicar o melhor para …

12 algorithms  reference-request  parallel-computing  sat-solvers 

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 …

12 terminology  reference-request 

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 complexidade de estado para os complementos …

12 complexity-theory  formal-languages  reference-request  automata  finite-automata 

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 funcionalidade exata …

11 reference-request  programming-languages  semantics  model-checking 

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 …

11 complexity-theory  reference-request  np-complete  probabilistic-algorithms  amortized-analysis 

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 teorias Links com complexidade computacional …

11 reference-request  logic  books 

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 facilidade com que são aproximados, enquanto …

11 complexity-theory  reference-request  approximation  parameterized-complexity 

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 requerem 1 unidade de …

11 complexity-theory  reference-request  scheduling