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

Problema Geral Suponha que tenhamos uma função polinomial multivariada e várias funções lineares . O que se sabe sobre a complexidade de resolver o seguinte problema de otimização?ℓ i ( x )f( X )f(x)f(\mathbf{x})ℓEu( X )ℓi(x)\ell_i(\mathbf{x}) MaximizarSujeito a: f( X )ℓEu( x ) ≤ 0 para todos os iMaximizef(x)Subject to: …

8 cc.complexity-theory  complexity-classes  time-complexity  linear-programming  polynomials 

Estou procurando mais problemas em com limites mais baixos de complexidade de tempo clássica. Algumas pessoas podem se perguntar como você pode provar um limite tão baixo. Ver abaixo.PPP Limites inferiores exponenciais: Reivindicação: Se você tiver um problema que é E X P T I M E completo com reduções …

8 cc.complexity-theory  complexity-classes  time-complexity  lower-bounds  polynomial-time 

\newcommand{\cc}[1]{\mathsf{#1}} Um teorema ao longo das seguintes linhas é válido: Se é um pouco maior que , então ?g(n)g(n)g(n)f(n)f(n)f(n)NTIME(g)∩coNTIME(g)≠NTIME(f)∩coNTIME(f)NTIME(g)∩coNTIME(g)≠NTIME(f)∩coNTIME(f)\cc{NTIME}(g) \cap \cc{coNTIME}(g) \neq \cc{NTIME}(f) \cap \cc{coNTIME}(f) É fácil mostrar que , pelo menos. Prova: Suponha que não. Então então e, portanto, (por preenchimento) . Mas então nossa suposição implica que , …

8 cc.complexity-theory  time-complexity  nondeterminism  time-hierarchy  hierarchy-theorems 

No filme Inception, Cobb pede a Ariadne para projetar um labirinto que leva o dobro do tempo para projetar. Isso se presta a um problema generalizado em que temos uma situação em que temos recursos limitados em alguma quantia e quem verificará se esse problema está na classe de complexidade …

8 cc.complexity-theory  reference-request  time-complexity  space-complexity 

Se NPNP\mathsf{NP} contiver uma classe de problemas de tempo superpolinomial, ou seja, para alguma função t∈nω(1)t∈nω(1)t \in n^{\omega(1)} , DTIME(t)⊆NPDTIME(t)⊆NP\mathsf{DTIME}(t) \subseteq \mathsf{NP} , P⊊NPP⊊NP\mathsf{P} \subsetneq \mathsf{NP} Mas existem outras conseqüências interessantes não triviais (isto é, não são uma conseqüência de ) se o não determinismo puder acelerar os cálculos determinísticos?P⊊NPP⊊NP\mathsf{P} …

8 cc.complexity-theory  time-complexity  nondeterminism 

Para , seja o conjunto de vértices do cubo dimensional dimensionado na direção de a ésima coordenada por , ou seja, .Q( → d )⊂NnnidiQ( → d ={⟨±d1,...,±dn⟩}d⃗ ∈Nnd→∈Nn\vec{d} \in \mathbb{N}^nQ(d⃗ )⊂NnQ(d→)⊂NnQ(\vec{d}) \subset \mathbb{N}^nnnnEuiidEudEud_iQ ( d⃗ = { ⟨ ± d1, … , ± dn⟩ }Q(d→={⟨±d1,…,±dn⟩}Q(\vec{d} = \{\langle \pm d_1, …

8 cc.complexity-theory  reference-request  co.combinatorics  cg.comp-geom  time-complexity 

Alguém já pensou na possibilidade de uma linguagem de programação e de um compilador, de modo que o compilador possa fazer automaticamente a análise assintótica do pior caso? O caso de uso que tenho em mente é uma linguagem de programação na qual escrevo código e compilo. O compilador me …

8 reference-request  pl.programming-languages  time-complexity  compilers  program-analysis 

Estou usando um cálculo da matriz Variância-Covariância em um programa que escrevi (para Análise de Componentes Principais) e fico imaginando qual é a complexidade dela. Embora obviamente a decomposição do Eigenvector esteja causando o maior impacto no desempenho, estou me perguntando quanto desse impacto é causado pelo cálculo da matriz …

8 time-complexity  linear-algebra  matrices 

A árvore de corte de link é uma estrutura de dados inventada pelo Sleator e Tarjan, que suporta várias operações e consultas em umafloresta de nós no tempo. (Por exemplo, o link de operaçãocombina duas árvores na floresta em uma, enquanto a operação cortada divide uma árvore na floresta em …

8 ds.algorithms  ds.data-structures  time-complexity  tree  dynamic-algorithms 

Para uma dada linguagem livre de contexto G, chamamos um não-terminal anulável se , ou seja, podemos derivar a string vazia de depois de aplicar um número finito de produções.UMAEuUMAEuA_i UMAEu→∗ϵUMAEu→∗ϵA_i \rightarrow^* \epsilonUMAEuUMAEuA_i Existe um algoritmo simples para determinar quais não-terminais de uma gramática são anuláveis, como pode ser encontrado …

8 ds.algorithms  fl.formal-languages  time-complexity 

Considere os dois algoritmos a seguir para pesquisar em uma matriz classificada de elementos:nnn A) pesquisa de interpolação e pesquisa binária simulada em paralelo, e B) pesquise por etapas alternadas de interpolação e etapas binárias. Ambos os algoritmos têm a complexidade do pior caso (e a complexidade média para uma …

8 ds.algorithms  time-complexity