Perguntas com a marcação «ds.algorithms»

Qual é a complexidade de decidir se um intervalo dos números naturais contém um primo? Uma variante da Peneira de Eratóstenes fornece um algoritmo , onde é a duração do intervalo e oculta fatores polialogarítmicos no ponto inicial do intervalo; podemos fazer melhor (apenas em termos de )?O~(L)O~(L)\tilde O(L)LLL∼∼\simLLL

14 cc.complexity-theory  ds.algorithms  nt.number-theory  comp-number-theory 

Considere o seguinte modelo de circuito simples monótono: cada porta é apenas um OR binário. Qual é a complexidade de uma função f ( x ) = A x emf(x)=Axf(x)=Ax que AAA é uma matriz booleana n × nn×nn \times n com O ( n )O(n)O(n) 0's? Pode ser calculado …

14 ds.algorithms  circuit-complexity  upper-bounds 

Tempo constante é a complexidade absoluta de fim de tempo baixo. Alguém pode se perguntar: existe algo não trivial que pode ser calculado em tempo constante? Se nos apegarmos ao modelo da máquina de Turing, pouco poderá ser feito, pois a resposta só pode depender de um segmento inicial de …

14 cc.complexity-theory  ds.algorithms  time-complexity 

Considere a seguinte configuração: nos é dada uma pilha sss que contém nnn itens. podemos usar um número constante O(1)O(1)O(1)de pilhas extras. podemos aplicar as seguintes operações nessas pilhas: verifique se uma pilha está vazia, compare os itens principais de duas pilhas, exclua o item superior em uma pilha, imprima …

14 ds.algorithms  sorting 

Lema: Assumindo a eta-equivalência, temos isso (\x -> ⊥) = ⊥ :: A -> B. Prova: ⊥ = (\x -> ⊥ x)por eta-equivalência e (\x -> ⊥ x) = (\x -> ⊥)por redução no lambda. O relatório Haskell 2010, seção 6.2 especifica a seqfunção por duas equações: seq :: a …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

Em seu artigo Approximate Distance Oracles , Thorup e Zwick mostraram que, para qualquer gráfico não direcionado ponderado, é possível construir uma estrutura de dados do tamanho que possa retornar uma aproximação ( 2 k - 1 ) distância entre qualquer par de vértices no gráfico.O ( k n1 + …

14 ds.algorithms  graph-theory  approximation-algorithms  space-complexity 

Dado como entrada um número inteiro e um conjunto de conjuntos de elementos de , qual é a complexidade de encontrar um conjunto de elementos de tal que tem cardinalidade mínima e está incluído em nenhum dos conjuntos de ?nnnSSS{1,...,n}{1,...,n}\{1, ..., n\}TTT{1,...,n}{1,...,n}\{1, ..., n\}TTTTTTSSS

14 cc.complexity-theory  ds.algorithms 

Qual é a classe de complexidade associada a algoritmos de pesquisa exaustivos? (se houver) É NP ou PSPACE? Existem modelos restritos de computação que capturam a classe de algoritmos exaustivos de pesquisa semelhantes aos modelos para programação dinâmica e gananciosa?

14 cc.complexity-theory  ds.algorithms  reference-request  big-picture  machine-models 

Lembro-me de ver um estudo ou artigo há um tempo atrás, alegando que a maior parte da aceleração observada em programas de computador nas últimas décadas é de algoritmos melhores e não de hardware mais rápido. Alguém conhece o estudo ou artigo?

14 ds.algorithms  reference-request  big-picture  ar.hardware-architecture 

Estou interessado em gráficos em nnn vértices que podem ser produzidos através do processo a seguir. Comece com um gráfico arbitrário GGG em k≤nk≤nk\le n vértices. Rotule todos os vértices em GGG como não utilizados . Produzir um novo gráfico G′G′G' pela adição de um novo vértice vvv , o …

14 ds.algorithms  graph-theory  treewidth 

Sabemos que, se o intervalo entre os valores de um programa inteiro e seu dual (o "gap de dualidade") é zero, os relaxamentos de programação linear do programa inteiro e o dual do relaxamento admitem soluções integrais (integralidade zero " Gap = Vão"). Quero saber se o inverso vale, pelo …

14 ds.algorithms  optimization  linear-programming  integrality-gap 

Estou implementando uma parte do sistema que requer alguma ajuda. Portanto, estou enquadrando-o como um problema gráfico para torná-lo independente de domínio. Problema: Recebemos o gráfico acíclico . Sem perda de generalidade, assuma que tem exatamente um vértice de origem e exatamente um vértice de afundamento ; deixar denotam o …

14 ds.algorithms  reference-request  co.combinatorics  graph-algorithms  directed-acyclic-graph 

Tenho sérios problemas para entender um passo do artigo de Dobkin e Kirkpatrick sobre a separação dos poliedros. Estou tentando entender esta versão: http://www.cs.princeton.edu/~dpd/Papers/SCG-09-invited/old%20papers/DPD+Kirk.pdf Argumenta que, depois de conhecermos a melhor separação de e , realizada por e , podemos encontrar a melhor separação de e nos passos . Isso …

14 ds.algorithms  cg.comp-geom 

Existe algo conhecido sobre o seguinte problema? Faz algum sentido? Como isso é chamado? É trivialmente equivalente a algum outro problema? Qual é a complexidade do tempo? Dado um gráfico não direcionado (geral / plano / grau delimitado / etc.) G = (V, E), encontre um subconjunto máximo de arestas …

14 ds.algorithms  graph-theory 

Estou preparando algum material do curso sobre heurística para otimização e tenho estudado métodos de descida coordenada. A configuração é aqui uma função multivariada que você deseja otimizar. tem a propriedade restrita a qualquer variável, é fácil otimizar. Portanto, a descida de coordenadas prossegue alternando as coordenadas, fixando tudo, exceto …

14 ds.algorithms  reference-request  optimization  heuristics