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

O problema de decisão CNF-SAT pode ser descrito da seguinte maneira: Entrada: uma fórmula booleana na forma normal conjuntiva.ϕϕ\phi Pergunta: Existe uma atribuição de variável que satisfaça ?ϕϕ\phi Estou considerando várias abordagens diferentes para resolver o CNF-SAT com uma máquina de Turing de duas fitas não determinística . Eu acredito …

19 time-complexity  sat  turing-machines  np  nondeterminism 

Estou tentando resolver um problema específico e pensei que poderia resolvê-lo usando a teoria dos autômatos. Gostaria de saber, que modelos de autômatos têm contenção decidível em tempo polinomial? ou seja, se você tiver máquinas poderá testar se L ( M 1 ) ⊆ L ( M 2 ) com …

18 fl.formal-languages  automata-theory  time-complexity  polynomial-time  decidability 

Eu nunca vi um algoritmo com um log no denominador antes e gostaria de saber se existem algoritmos realmente úteis com este formulário. Entendo muitas coisas que podem fazer com que um fator de log seja multiplicado no tempo de execução, por exemplo, algoritmos de classificação ou de árvore, mas …

18 ds.algorithms  big-list  time-complexity 

É possível testar algoritmicamente se um número computável é racional ou inteiro? Em outras palavras, seria possível para uma biblioteca que implementa números computáveis ​​fornecer as funções isIntegerou isRational? Suponho que isso não seja possível e que isso esteja de alguma forma relacionado ao fato de que não é possível …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Trabalhar diretamente com complexidade de tempo ou limitar os limites inferiores do circuito é assustador. Por isso, desenvolvemos ferramentas como complexidade da consulta (ou complexidade da árvore de decisão) para lidar com limites inferiores. Como cada consulta executa pelo menos uma etapa da unidade e os cálculos entre as consultas …

18 cc.complexity-theory  reference-request  time-complexity  query-complexity 

Qual é a complexidade (na RAM inteira padrão) de calcular a transformada discreta padrão de Fourier de um vetor de números inteiros?nnn O algoritmo clássico para transformações rápidas de Fourier , atribuídas inadequadamente [1] a Cooley e Tukey, é geralmente descrito como sendo executado em tempo . Mas a maioria …

18 ds.algorithms  time-complexity  computing-over-reals  computable-analysis 

Estou interessado em classificar uma matriz de valores inteiros positivos L=v1,…,vnL=v1,…,vnL = v_1, \ldots, v_n em tempo linear (no modelo de RAM com medida de custo uniforme, ou seja, números inteiros podem ter tamanho logarítmico, mas presume-se que as operações aritméticas nelas tempo da unidade). Obviamente, isso é impossível com …

16 reference-request  time-complexity  sorting 

Dadas duas matrizes e , o problema de decidir se existe uma matriz de permutação tal que seja equivalente a (gráfico isomorfismo). Mas se relaxarmos para ser apenas uma matriz invertível, então qual é a complexidade? Existem outras restrições em uma matriz invertível , além de ser uma permutação, que …

16 ds.algorithms  time-complexity  linear-algebra  matrices  graph-isomorphism 

O problema a seguir é PTIME ou coNP-hard: Dadas duas expressões booleanas e e 2 nas variáveis x 1 , … , x n , sem negação (ou seja, as expressões são totalmente construídas via ∧ e ∨ ). Decida se e 1 ≡ e 2 , ou seja, eles …

16 cc.complexity-theory  time-complexity  boolean-functions  monotone 

Espero que a resposta seja não, mas na verdade não consegui construir um contra-exemplo. A diferença é que em , podemos não conseguir escolher um algoritmo uniformemente em .∩ε>0DTIME(O(n2+ε))∩ε>0DTIME(O(n2+ε))∩_{ε>0} \mathrm{DTIME}(O(n^{2+ε}))O(n2+ε)O(n2+ε)O(n^{2+ε})εεε Por um argumento de encaixe (por exemplo, veja esta pergunta ), se houver um conjunto ce de máquinas de Turing …

15 cc.complexity-theory  time-complexity 

Existe um algoritmo linear de riffle shuffle no tempo linear? Este é o algoritmo que algumas mãos especialmente hábeis são capazes de executar: dividir uniformemente uma matriz de entrada de tamanho uniforme e depois intercalar os elementos das duas metades. Mathworld tem uma breve página sobre riffle shuffle . Em …

15 ds.algorithms  time-complexity 

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 

Estou procurando informações sobre a complexidade computacional da multiplicação de matrizes de matrizes retangulares. A Wikipedia afirma que a complexidade de multiplicar por é (multiplicação de livros escolares). B ∈ R n × p O ( m n p )A ∈ Rm × nA∈Rm×nA \in \mathbb{R}^{m \times n}B ∈ Rn …

14 cc.complexity-theory  time-complexity  linear-algebra  matrix-product 

Dada uma matriz (assumindo ), qual é o algoritmo mais rápido para calcular sua classificação e base das colunas?m×nm×nm \times nm≥nm≥nm \ge n Estou ciente de que pode ser resolvido através da interseção matróide linear, que implica um algoritmo determinístico de tempo e um algoritmo aleatório de tempo . Existe …

14 ds.algorithms  reference-request  time-complexity  linear-algebra  matrices 

São conhecidos resultados que descartam a existência de estruturas de dados "boas demais para serem verdadeiras"? Por exemplo: pode-se adicionar e J o i n funcionalidade de um estrutura de dados de manutenção (ver a fim Dietz e Sleator STOC '87 ) e ainda assim obter S ( 1 ) …

14 ds.data-structures  big-list  lower-bounds  time-complexity