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

Considere o seguinte problema: Deixei kkkseja uma constante. Nos é dado umkkkmatriz -ary Ad1×…×dkAd1×…×dkA_{d_1\times\ldots\times d_k} do 000 e 111's. DeixeiN=∏ki=1diN=∏i=1kdiN = \prod_{i=1}^k d_i. Queremos criar uma estrutura de dados pré-processando AAA para executar o seguinte tipo de operações de consulta: Dadas as coordenadas de um kkkcaixa de ary DDD, Tem …

8 reference-request  data-structures  space-complexity 

Estou particularmente interessado em soluções para o problema que a pesquisa encapsulada pode depender da ordem da avaliação. De acordo com [1], a pesquisa encapsulada no PAKCS depende da ordem da avaliação, enquanto no MCC, não, mas seu uso requer conhecimento da implementação do compilador e não segue a especificação …

8 reference-request  functional-programming  nondeterminism  logic-programming 

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 

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 

Eu tenho um problema de logística que pode ser visto como uma variante de . É tão natural que tenho certeza de que foi estudado em pesquisa operacional ou algo semelhante. Aqui está uma maneira de encarar o problema.TSPTSP\text{TSP} Eu tenho armazéns no plano cartesiano. Há um caminho de um …

8 algorithms  optimization  reference-request  approximation 

Em um gráfico, um conjunto dominante de aresta é um subconjunto D das arestas, de modo que qualquer aresta no gráfico esteja em D ou compartilhe um ponto final com uma aresta em D. O problema do Conjunto dominante de aresta mínimo é encontrar um conjunto dominante de aresta de …

8 complexity-theory  reference-request  np-complete  reductions 

Nos tipos dependentes, a unificação de padrões de Miller é usada para resolver um fragmento decidível da unificação de ordem superior. Isso permite que idiomas de tipo dependente contenham metavariáveis ​​ou argumentos implícitos. Existem muitos trabalhos que descrevem, dado um problema de unificação no fragmento de padrão, como encontrar uma …

8 reference-request  lambda-calculus  type-theory  dependent-types  unification 

Em alguns lugares diferentes ( http://www.ams.org/journals/mcom/2004-73-246/S0025-5718-03-01539-4/S0025-5718-03-01539-4.pdf e https: //books.google.com/books?id=qYYKBwAAQBAJ&pg=PA21&lpg=PA21&dq=np-hard+completing+hadamard+matrix&source=bl&ots=8sKv9bAtc8&sig=ITZSmtD2p2xr6Q4RDqhbQQk0NDI&hl=en&sa=X&ved=2ahUKEwiotuLdvfzdAhWBKHwKHUF9AO0Q6AEwB3oECAMQAQ#v=onepage&q=np-hard%20completing% 20hadamard% 20matrix & f = false , para dar duas) afirma-se que a determinação da "equivalência" de duas matrizes Hadamard (no sentido de permitir sinal-flips e permutações em linhas e colunas) é difícil para NP. Nenhuma fonte que encontrei para essa …

7 np-complete  reference-request  graph-isomorphism 

Sabemos que o problema da parada está no 1º nível da hierarquia aritmética. Sabemos que o Problema da Totalidade está no 2º nível da hierarquia aritmética. Quais são alguns exemplos de problemas no terceiro nível (ou superior) da hierarquia aritmética. +1 para problemas cujas instâncias são resolvidas no mundo prático …

7 computability  reference-request 

Trabalhos modernos sobre índices de pesquisa geralmente contêm uma declaração de que índices invertidos (listas de postagem) são categoricamente superiores aos arquivos de assinatura (filtros de bloom). Aqui estão alguns exemplos de artigos publicados em 2016: Embora essa técnica [arquivo de assinatura] forneça uma sobrecarga computacional relativamente baixa, estudos de …

7 reference-request  information-retrieval  search 

É claro que o Mathematica usa o teste Baillie – PSW para sua função PrimeQ (que testa a primalidade) e, como eu li na documentação do Mathematica , ele começa com a divisão de teste, depois as bases 2 e 3 de Miller – Rabin e, em seguida, o teste …

7 reference-request  number-theory  primes 

Para o meu projeto da feira de ciências, implementei uma otimização na rotina de classificação do Python. A idéia é mover as verificações de segurança que precisam ser realizadas durante cada comparação, por exemplo, verificações de tipo e verificações de largura de caracteres, fora do loop de classificação e realizar …

7 reference-request  type-checking  program-optimization  interpreters 

Estou pensando em um problema, inspirado por conhecer um professor de língua estrangeira de nível iniciante no Goethe-Institut que aprendeu os cinco idiomas mais comuns falados pelos alunos para se comunicar com o maior número possível de alunos. Considere uma população finita de pessoas, cada uma das quais fala qualquer …

7 terminology  reference-request  optimization  combinatorics  sets 

Minhas árvores estão enraizadas e têm no máximo dois filhos em cada vértice. Preciso de referências que me ajudem a resolver uma ou todas as perguntas abaixo: Quantas classes de isomorfismo de árvores com n vértices existem? Quais são os algoritmos clássicos para decidir se duas árvores dadas são isomórficas? …

7 algorithms  graph-theory  reference-request  combinatorics  trees 

Alguém conseguiu implementar ou projetar um sistema de tipos que combina o tipo de estado (tipos lineares) e os tipos de efeito (por exemplo, Koka )?

7 reference-request  type-theory