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

Existem algoritmos para solução de SAT que não são baseados em DPLL? Ou todos os algoritmos usados ​​pelos solucionadores SAT são baseados em DPLL?

18 ds.algorithms  reference-request  sat 

Trabalhar diretamente com complexidade de tempo ou limitar os limites inferiores do circuito é assustador. Por isso, desenvolvemos ferramentas como complexidade da consulta (ou complexidade da árvore de decisão) para lidar com limites inferiores. Como cada consulta executa pelo menos uma etapa da unidade e os cálculos entre as consultas …

18 cc.complexity-theory  reference-request  time-complexity  query-complexity 

Uma abordagem recente para criar uma moeda online descentralizada, chamada Bitcoin , vem gerando algum interesse. O objetivo é ter uma maneira de transferir moeda sem uma autoridade central e sem gastos duplos ou falsificações. Sua abordagem é fazer com que todos os nós da rede tentem verificar uma transação …

18 reference-request  cr.crypto-security 

2 perguntas para os geômetros computacionais ou algebristas: Estou apenas começando a mergulhar na geometria computacional e estou adorando =) Estou tentando ler o famoso artigo de Guibas e Stolfi chamado "Primitivos para a manipulação de subdivisões gerais e o cálculo dos diagramas de Voronoi" para implementar um algoritmo de …

18 reference-request  cg.comp-geom  algebra 

É verdade que existem problemas na hierarquia polinomial solucionáveis ​​no tempo (por uma máquina de Turing alternada em algum nível da hierarquia polinomial) que não são solucionáveis ​​em em algum nível da hierarquia polinomial? Em outras palavras - existe um teorema da hierarquia de tempo para a hierarquia polinomial como …

18 cc.complexity-theory  reference-request  polynomial-hierarchy  time-hierarchy 

O método de derivadas de Brzozowski é uma técnica muito bonita para construir autômatos determinísticos a partir de expressões regulares de uma maneira bastante algébrica. Eu elaborei algumas generalizações engraçadas dessa técnica para lidar com algumas classes maiores de gramática, mas os algoritmos são simples o suficiente para que pareça …

18 reference-request  fl.formal-languages  parsing 

Problema: Recebemos um conjunto de paus, todos com comprimentos inteiros. A soma total de seus comprimentos é n (n + 1) / 2. Podemos separá-los para obter pedaços do tamanho em tempo polinomial? 1 , 2 , … , n1,2,…,n{1,2,\ldots,n} Surpreendentemente, a única referência que encontro para esse problema é …

18 reference-request  complexity-classes  puzzles 

Estou interessado no seguinte problema: Dado um conjunto X e subconjuntos X_1, ..., X_n de X, encontre uma coloração dos elementos de X com k cores, de modo que os elementos em cada X_i sejam todos de cores diferentes. Mais especificamente, estou analisando o caso em que todos os X_i …

18 cc.complexity-theory  reference-request  np-hardness  hypergraphs 

O problema da satisfação é, obviamente, um problema fundamental no CS teórico. Eu estava brincando com uma versão do problema com infinitas variáveis. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Configuração básica. Seja XXX um conjunto de variáveis não vazio e possivelmente infinito . Um literal é uma variável x∈Xx∈Xx \in X ou sua negação …

18 reference-request  lo.logic  sat  topology  lattice 

No livro de Sakarovitch sobre a teoria dos autômatos, está escrito na introdução à seção sobre racionais no grupo livre que o material apresentado nele estabelece "o fundamento de uma teoria verdadeiramente matemática das linguagens livres de contexto". No entanto, isso não é explicitado, pois linguagens sem contexto e autômatos …

17 context-free  automata-theory  reference-request 

Sabe-se que o tamanho mínimo dos circuitos calculam a função de paridade é exatamente igual a 3 ( n - 1 )você2você2U_23 ( n - 1 )3(n-1 1)3(n-1) . A prova do limite inferior é baseada no método de eliminação do portão. Recentemente, notei que o método de eliminação portão …

17 cc.complexity-theory  reference-request  circuit-complexity 

A seguinte classe gráfica é conhecida na literatura? A classe de gráficos é parametrizada por números inteiros positivos e e contém cada gráfico modo que, para cada vértice , o subgrafo de induziu em todos os vértices na distância no máximo de em tem uma largura de árvore no máximo …

17 reference-request  graph-theory  treewidth 

Ao tentar convencer economistas da relevância da teoria da complexidade impressa, existe uma referência padrão a ser citada? Estou familiarizado com o post de Noam Nisan , a pesquisa de Tim Roughgarden e o capítulo 11 do ensaio de Scott Aaronson . Essas postagens são acessíveis aos cientistas da computação, …

17 cc.complexity-theory  reference-request  application-of-theory  ho.history-overview  ce.computational-finance 

Estou procurando exemplos naturais de algoritmos eficientes (isto é, em tempo polinomial) st sua correção e eficiência podem ser comprovadas construtivamente (por exemplo, na ou na ), masPR APRUMAPRAHUMAHUMAHA nenhuma prova usando apenas conceitos eficientes é conhecida (ou seja, não sabemos como provar sua correção e eficiência na ou ).S …

17 cc.complexity-theory  reference-request  lo.logic  proof-complexity  constructive-mathematics 

A maioria dos sites que visitei lendo sobre este tópico interessante afirma algo semelhante "os únicos poderes de dois (exceto o próprio 2) que ocorrem nessa sequência são aqueles com expoente principal" (MathWorld) ou "Após 2, esta sequência contém os seguintes poderes de 2: [...] que são os poderes principais …

17 reference-request  primes