Perguntas com a marcação «exp-time-algorithms»



2
Algum algoritmo quântico aprimora o SAT clássico?
Algoritmos clássicos podem resolver 3-SAT em tempo (aleatório) ou tempo (determinístico). (Referência: Melhores limites superiores no SAT )1,3303 n1,3071n1.3071n1.3071^n1.3303n1.3303n1.3303^n Para comparação, o uso do algoritmo de Grover em um computador quântico procuraria e forneceria uma solução em , randomizada. (Isso ainda pode exigir um conhecimento de quantas soluções podem ou …



3
Exemplos de problemas em que algoritmos exponenciais são executados mais rapidamente que algoritmos polinomiais para tamanhos práticos?
Você conhece algum problema (de preferência pelo menos um pouco conhecido), onde, para um tamanho de problema prático , um algoritmo exponencial é executado muito mais rápido do que um equivalente de tempo polinomial mais conhecido. Por exemplo, suponha que um problema tenha um tamanho prático * de e haja …

1
Algoritmos exatos para programação quadrática não convexa
Esta questão é sobre problemas de programação quadrática com restrições de caixa (box-QP), ou seja, problemas de otimização do formulário minimizar sujeito a .f(x)=xTAx+cTxf(x)=xTAx+cTxf(\mathbf{x}) = \mathbf{x}^T A \mathbf{x} + \mathbf{c}^T \mathbf{x}x∈[0,1]nx∈[0,1]n\mathbf{x} \in [0,1]^n Se fosse semi-definido positivo, tudo seria agradável, convexo e fácil, e poderíamos resolver o problema em tempo …

2
?
É possível que ? Existem conseqüências interessantes de tal contenção? Contrariaria a hipótese do tempo exponencial?SAT¯¯¯¯¯¯¯¯¯¯∈NTIME(exp(n0.9))SAT¯∈NTIME(exp⁡(n0.9))\overline{SAT} \in NTIME(\exp(n^{0.9}))

1
Modelo Computacional em SETH
Impagliazzo, Paturi e Calabro, Impagliazzo, Paturi introduziram a Hipótese de tempo exponencial (ETH) e a Hipótese de tempo fortemente exponencial (SETH). Grosso modo, o SETH diz que não há algoritmo que resolva o SAT no tempo . 1.99n1.99n1.99^n Eu queria saber o que isso significaria para quebrar SETH. Definitivamente, precisamos …


2
Dureza de uma subcaixa de Set Cover
Quão difícil é o problema Set Cover se o número de elementos estiver delimitado por alguma função (por exemplo, ) em que é o tamanho da instância do problema. Formalmente,nlognlog⁡n\log nnnn Deixe e que e . Quão difícil é decidir o seguinte problemaF = { S 1 , ⋯ , …





Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.