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

Para medir a complexidade de um algoritmo, é complexidade de tempo ou complexidade computacional? Qual a diferença entre eles? Eu costumava calcular a contagem máxima (pior) da operação básica (mais cara) no algoritmo.

14 complexity-theory  terminology  algorithm-analysis  time-complexity 

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 …

14 algorithms  complexity-theory  reference-request  np-complete  integer-programming 

Estou tentando entender a prova do teorema de Karp-Lipton, conforme declarado no livro "Complexidade computacional: uma abordagem moderna" (2009). Em particular, este livro declara o seguinte: Teorema de Karp-Lipton Se NP , PH .⊆⊆\subseteq P∖ p o l yP∖poeuyP_{\backslash poly} = Σ p 2 = Σp2=Σ2p= \Sigma^p_2 Prova: pelo Teorema …

14 complexity-theory  complexity-classes 

por exemplo, ?xy+x+y=x+y(x+1)xy+x+y=x+y(x+1)xy+x+y=x+y(x+1) As expressões são da álgebra comum do ensino médio, mas restritas à adição e multiplicação aritmética (por exemplo, ), sem inversões, subtrações ou divisões. Letras são variáveis.2+2=4;2.3=62+2=4;2.3=62+2=4; 2.3=6 Se ajudar, podemos proibir qualquer expressão representável com valores numéricos diferentes de ; ou seja, não nem nem :111x2x2x^23x3x3x444 …

14 complexity-theory  time-complexity  decision-problem 

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 é NP-difícil.PPPPPP …

14 complexity-theory  reference-request  complexity-classes  real-numbers  computable-analysis 

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 = 0 …

14 algorithms  algorithms  machine-learning  statistics  testing  terminology  asymptotics  landau-notation  reference-request  optimization  scheduling  complexity-theory  time-complexity  lower-bounds  communication-complexity  computational-geometry  computer-architecture  cpu-cache  cpu-pipelines  operating-systems  multi-tasking  algorithms  algorithm-analysis  education  correctness-proof  didactics  algorithms  data-structures  time-complexity  computational-geometry  algorithms  combinatorics  efficiency  partitions  complexity-theory  satisfiability  artificial-intelligence  operating-systems  performance  terminology  computer-architecture 

Isso surgiu enquanto eu tentava responder a essa pergunta sobre Minimização do comprimento da fiação . Eu chamaria isso de problema do "casamento polígamo", mas a internet, então gatinhos. Yay! Suponha que temos gatinhos que precisam ser adotado por pessoas, . Para cada gatinho, e cada pessoa existe um custo …

14 algorithms  complexity-theory 

Eu estive pesquisando neste site e ele diz que as pessoas encontraram soluções para passeios TSP que são apenas 0,031% mais altos do que o passeio ideal. Sem encontrar o passeio ideal, como eles sabem qual é a duração?

14 complexity-theory  approximation 

Problema Dada uma máquina de Turing que tenha conhecido o tempo de execução O ( g ( n ) ) em relação ao comprimento de entrada n , o tempo de execução de M ∈ O ( f ( n ) ) ?MMMO (g( N ) )O(g(n)){O}(g(n))nnnM∈ O ( f( …

14 complexity-theory  time-complexity 

Sei que podemos minimizar os DFAs localizando e mesclando estados equivalentes, mas por que não podemos fazer o mesmo com os NFAs? Não estou procurando uma prova ou algo assim - a menos que uma prova seja mais simples de entender. Eu só quero entender intuitivamente por que a minimização …

14 complexity-theory  finite-automata  nondeterminism 

Se fato é igual a N P , como isso aprimora nossos algoritmos para fatorar números inteiros mais rapidamente. Em outras palavras, que tipo de insight esse fato nos daria para entender melhor a fatoração inteira?PP{\sf P}N PNP{\sf NP}

14 complexity-theory  computability  np-complete  p-vs-np  factoring 

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 que ainda vê uma …

14 complexity-theory  reference-request  parallel-computing  complexity-classes 

Aqui está um problema conhecido. Dada uma matriz de números inteiros positivos, produz o menor número inteiro positivo que não está na matriz.A[1…n]A[1…n]A[1\dots n] O problema pode ser resolvido no espaço e no tempo : leia a matriz, acompanhe no espaço se ocorreu, procure o menor elemento.O ( n ) …

14 complexity-theory  time-complexity  space-complexity 

Como a Programação Linear Inteira é NP-completa, há uma redução de Karp de qualquer problema no NP. Eu pensei que isso implicava que sempre existe uma formulação de ILP de tamanho polinomial para qualquer problema no NP. Mas já vi artigos sobre problemas específicos de PN, nas quais as pessoas …

14 complexity-theory  np-complete  reductions  linear-programming 

Sabemos que a está em pelo teorema do teorema de Immerman – Szelepcsényi e como é portanto, a é reduzida em muitos espaços de log redutível à . Mas existe uma redução direta / combinatória que não passa pelo gráfico de configuração das máquinas de Turing em ?N G s …

14 complexity-theory  reductions  space-complexity