Os solucionadores de SAT estão se tornando cada vez mais eficientes na solução de grandes instâncias e estão sendo usados como back-end em vários contextos. Toda vez que alguém deseja usá-los para resolver um problema em um domínio específico, ele / ela precisa criar uma codificação ad-hoc que...
Eu vim a saber que a unidade de processamento gráfico tem algo chamado coalescência de memória. Ao ler sobre isso, não fui claro sobre o assunto. Isso está relacionado ao paralelismo no nível de memória. Pesquisei no Google, mas não consegui obter uma resposta satisfatória. Seria útil se alguém...
Algum frontmatter: eu sou um cientista de computador recreacional e empregado um engenheiro de software. Então, desculpe se esse prompt parecer um pouco fora do campo esquerdo - eu brinco rotineiramente com simulações matemáticas e abro problemas quando não tenho nada melhor para fazer. Enquanto...
Sou assistente de prova de autoaprendizagem e decidi começar com algumas provas básicas e seguir em frente. Como as provas são baseadas em outras provas e, portanto, formam uma hierarquia, existe um repositório da hierarquia de provas? Eu sei que posso escolher um assistente de prova específico e...
Eu estava lendo uma pergunta no Stack Overflow perguntando se era NP- difícil listar todos os ciclos simples em um gráfico contendo um nó específico e me ocorreu que eu não conseguia pensar em nenhuma classe de complexidade existente que fosse adequada para falando sobre problemas no formulário...
Quais são alguns exemplos de problemas difíceis de decisão que podem ser resolvidos em tempo polinomial? Estou procurando problemas para os quais o algoritmo ideal é "lento" ou problemas para os quais o algoritmo mais rápido conhecido é "lento". Aqui estão dois exemplos: Reconhecimento de...
Recentemente, fiquei extremamente interessado em entender e provar aspectos de linguagens de programação (funcionais). λλ\lambda Eu li o SICP (um livro bastante esclarecedor), mas estou procurando aprofundar a teoria da programação funcional. Existe algum livro / blog / site / nome-do-it que...
O problema da largura de banda mínima é encontrar uma ordem dos nós do gráfico na linha inteira que minimiza a maior distância entre dois nós adjacentes. O problema de decisão é NP-completo, mesmo para árvores binárias. Resultados de complexidade para minimização de largura de banda. Garey,...
Algoritmos e estruturas de dados alheios ao cache são algo bastante novo, introduzido por Frigo et al. em algoritmos alheios a cache, 1999 . A tese de Prokop do mesmo ano também apresenta as idéias iniciais. O artigo de Frigo et al. apresentar alguns resultados experimentais mostrando o potencial...
Recentemente, um aluno me pediu para verificar uma prova de dureza NP para eles. Eles realizaram uma redução ao longo das linhas de: Reduzo esse problema P′P′P' que é conhecido como NP-completo para o meu problema (com uma redução de múltiplos de um tempo múltiplo), de modo que é...
Alguém pode me encaminhar para artigos revisados por pares estudando as vantagens ou desvantagens de escrever código em um estilo funcional? Existem documentos que discutem as aplicações do Lambda Calculus em áreas como Machine Learning, Language Design,
Deixe ser um gráfico, e deixá- e seja dois vértices de . Podemos amostrar eficientemente um caminho - mais curto de maneira uniforme e independente, aleatoriamente, a partir do conjunto de todos os caminhos mais curtos entre e ? Por simplicidade, podemos assumir que é simples, sem direção e sem...
De acordo com o artigo da Wikipedia , L em significa "varredura da esquerda para a direita" e "R" significa "derivação mais à direita". No entanto, no artigo original de Knuth sobre gramáticas , ele define (na página 610) como um idioma "traduzível da esquerda para a direita com vinculado...
Suponha que nós estamos dando dois números e e que queremos encontrar para l \ le i, \, j \ le r .lllrrr l ≤ i ,max(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r O algoritmo ingênuo simplesmente verifica todos os pares possíveis; por exemplo, em ruby, teríamos: def max_xor(l, r) max...
Eu tenho várias perguntas relacionadas sobre esses dois tópicos. Primeiro, a maioria dos textos de complexidade apenas encobre a classe . Existe um bom recurso que cubra a pesquisa com mais profundidade? Por exemplo, algo que discute todas as minhas perguntas abaixo. Além disso, estou assumindo...
Eu sou um homem de 16 anos que recentemente recebeu uma grande enciclopédia em ciência da computação por um amigo meu. Normalmente, não estou tão interessado em computadores e tecnologia, mas a ciência da computação começou a me fascinar. Contudo, pretendo estudar Física e / ou Matemática e não CS,...
Gostaria de saber qual é o algoritmo mais conhecido, em termos de notação Big- , para resolver a Programação Linear Inteira?OOO Eu sei que o problema é completo, então não estou esperando nada polinomial. E eu sei que existem muitas heurísticas e outras que são usadas em aplicações práticas como o...
Uma aplicação clássica de dividir e conquistar é resolver o seguinte problema: Dada uma matriz de elementos distintos e comparáveis, conte o número de pares de inversão na matriz: pares modo que e .a[1…n]a[1…n]a[1\dots n](i,j)(i,j)(i,j)a[i]>a[j]a[i]>a[j]a[i] \gt a[j]i<ji<ji \lt j Uma...
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...
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...