Ciência da Computação time-complexity

1

Considere a seguinte versão do problema Clique, em que a entrada é do tamanho e solicitamos que você encontre um clique do tamanho . A restrição é que o procedimento de decisão não pode alterar o gráfico de entrada em nenhuma outra representação e não pode usar nenhuma outra representação …

13 complexity-theory time-complexity

2

Se o limite inferior de um problema é exponencial, então é NP?

Supondo que temos um problema e mostramos que o limite inferior para resolver é .ppppppΩ(2n)Ω(2n)\mathcal{\Omega}(2^n) O limite inferior implica o problema no ?Ω(2n)Ω(2n)\mathcal{\Omega}(2^n)NPNPNP

12 time-complexity np-complete

4

A complexidade de problemas fortemente difíceis ou incompletos de NP muda quando sua entrada é codificada em unário?

A dificuldade de um problema fortemente NP-difícil ou NP-completo (como por exemplo, definido aqui ) muda quando sua entrada é unária em vez de codificada em binária? Que diferença faz se a entrada de um problema fortemente NP-difícil é unária? Quero dizer, se eu pegar, por exemplo, o problema fracassado …

12 complexity-theory time-complexity np-complete

3

Por que tamanhos de entrada maiores implicam em instâncias mais difíceis?

Abaixo, suponha que estamos trabalhando com uma máquina de Turing com fita infinita. Ao explicar a noção de complexidade de tempo a alguém e por que ela é medida em relação ao tamanho de entrada de uma instância, deparei-me com a seguinte afirmação: [..] Por exemplo, é natural que você …

12 complexity-theory time-complexity intuition

3

Quão rápido podemos encontrar todas as combinações de quatro quadrados que somam N?

Uma pergunta foi feita no Stack Overflow ( aqui ): Dado um número inteiro NNN , imprimir todas as combinações possíveis de valores de número inteiro de A,B,CA,B,CA,B,C e DDD que resolvem a equação A2+B2+C2+D2=NA2+B2+C2+D2=NA^2+B^2+C^2+D^2 = N . Essa questão está obviamente relacionada à conjectura de Bachet na teoria dos …

12 complexity-theory time-complexity number-theory enumeration

3

Algoritmo eficiente para calcular o º número de Fibonacci

O º número de Fibonacci pode ser calculado em tempo linear usando o seguinte recorrência:nnn def fib(n): i, j = 1, 1 for k in {1...n-1}: i, j = j, i+j return i O º número de Fibonacci também pode ser computada como . No entanto, isso tem problemas com …

11 algorithms time-complexity recurrence-relation

1

Inferindo tipos de refinamento

No trabalho, fui encarregado de deduzir algumas informações de tipo sobre uma linguagem dinâmica. Reescrevo seqüências de instruções em letexpressões aninhadas , da seguinte maneira: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in …

11 programming-languages logic type-theory type-inference machine-learning data-mining clustering order-theory reference-request information-theory entropy algorithms algorithm-analysis space-complexity lower-bounds formal-languages computability formal-grammars context-free parsing complexity-theory time-complexity terminology turing-machines nondeterminism programming-languages semantics operational-semantics complexity-theory time-complexity complexity-theory reference-request turing-machines machine-models simulation graphs probability-theory data-structures terminology distributed-systems hash-tables history terminology programming-languages meta-programming terminology formal-grammars compilers algorithms search-algorithms formal-languages regular-languages complexity-theory satisfiability sat-solvers factoring algorithms randomized-algorithms streaming-algorithm in-place algorithms numerical-analysis regular-languages automata finite-automata regular-expressions algorithms data-structures efficiency coding-theory algorithms graph-theory reference-request education books formal-languages context-free proof-techniques algorithms graph-theory greedy-algorithms matroids complexity-theory graph-theory np-complete intuition complexity-theory np-complete traveling-salesman algorithms graphs probabilistic-algorithms weighted-graphs data-structures time-complexity priority-queues computability turing-machines automata pushdown-automata algorithms graphs binary-trees algorithms algorithm-analysis spanning-trees terminology asymptotics landau-notation algorithms graph-theory network-flow terminology computability undecidability rice-theorem algorithms data-structures computational-geometry

2

Hashing usando árvores de pesquisa em vez de listas

Estou lutando com o hash e o material da árvore de pesquisa binária. E li que, em vez de usar listas para armazenar entradas com os mesmos valores de hash, também é possível usar árvores de pesquisa binária. E tento entender qual é o pior e o tempo médio de …

11 data-structures time-complexity runtime-analysis search-trees hash-tables

4

Avaliando a complexidade do tempo médio de um dado algoritmo de bolhas.

Considerando esse pseudo-código de um conjunto de bolhas: FOR i := 0 TO arraylength(list) STEP 1 switched := false FOR j := 0 TO arraylength(list)-(i+1) STEP 1 IF list[j] > list[j + 1] THEN switch(list,j,j+1) switched := true ENDIF NEXT IF switched = false THEN break ENDIF NEXT Quais seriam …

11 algorithms time-complexity sorting average-case

1

Existe um algoritmo subcúbico para o seguinte problema?

n×nn×nn \times nA=(aij)A=(aij)A=(a_{ij})∑i,j,kmax(aij,aik,ajk)∑i,j,kmax(aij,aik,ajk)\sum_{i,j,k}\max(a_{ij},a_{ik},a_{jk})1≤i<j<k≤n1≤i<j<k≤n1\leq i<j<k\leq nO(n3)O(n3)O(n^3)

11 algorithms time-complexity

1

Coleção de problemas difíceis de APX

Todo mundo conhece "Garey & Johnson", que é a minha referência preferencial sempre que preciso de um problema para mudar para uma prova de dureza NP. No entanto, recentemente, me dependo de uma prova de dureza APX, e me pergunto se existe uma coleção semelhante (e mais atualizada ..?) De …

11 complexity-theory reference-request time-complexity complexity-classes

2

HORN-SAT está em LIN, se sim, por que isso não é uma indicação de que P = LIN?

O Complexity Zoo define como a classe de problemas de decisão solucionáveis por uma máquina de Turing determinística em tempo linear.LINeuEuNLIN LIN⊆PLIN⊆PLIN \subseteq P Como o HORN-SAT é passível de solução em (conforme indicado nos algoritmos de tempo linear para testar a satisfação das fórmulas de cornetas proposicionais (1984) )O(n)O(n)O(n) …

11 complexity-theory time-complexity reductions

1

Uma complexidade de tempo Big-Oh pode conter mais de uma variável?

Digamos, por exemplo, que estou processando strings que requer alguma análise de duas strings. Eu não tenho informações sobre o que seus comprimentos podem acabar sendo, então eles vêm de duas famílias distintas. Seria aceitável chamar a complexidade de um algoritmo ou (dependendo se usamos um algoritmo ingênuo ou otimizado)?O …

11 time-complexity asymptotics landau-notation notation

2

Prova de contradição para a desigualdade de P e NP?

Estou tentando argumentar que N não é igual a NP usando teoremas de hierarquia. Esse é o meu argumento, mas quando mostrei ao nosso professor e, após dedução, ele disse que isso é problemático, onde não consigo encontrar uma razão convincente para aceitar. Começamos assumindo que P=NPP=NPP=NP . Então, produz …

10 complexity-theory time-complexity p-vs-np

1

Este poderia ser um problema NP-Complete?

Considere a seguinte declaração do problema: Dado um número inicial, você e seu amigo se revezam para subtrair um quadrado perfeito dele. O primeiro a chegar a zero vitórias. Por exemplo: Estado inicial: 37 Jogador1 subtrai 16. Estado: 21 Jogador2 subtrai 8. Estado: 13 Jogador1 subtrai 4. Estado: 9 Jogador2 …

10 complexity-theory time-complexity np-complete dynamic-programming pseudo-polynomial

Perguntas com a marcação «time-complexity»