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

Existe um algoritmo para o seguinte problema: Dada uma máquina de Turing que decide uma linguagem L , existe uma máquina de Turing decide tal que ?M1M1M_1LLL L t 2 ( n ) = o ( t 1 ( n ) )M2M2M_2LLLt2(n)=o(t1(n))t2(n)=o(t1(n))t_2(n) = o(t_1(n)) As funções e t 2 são …

11 complexity-theory  computability  undecidability  decision-problem 

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 

Os solucionadores modernos de SAT são muito bons em resolver muitos exemplos reais de instâncias de SAT. No entanto, sabemos como gerar números difíceis: por exemplo, use uma redução do fatorial para o SAT e forneça os números RSA como entrada. Isso levanta a questão: e se eu pegar um …

11 complexity-theory  satisfiability  sat-solvers  factoring 

Suponha que eu sou dado um conjunto finito de pontos no plano, e pediu para desenhar um duas vezes diferenciável curva C ( P ) através do p i 's, de tal modo que o seu perímetro seja tão pequena quanto possível. Supondo que p i = ( x i …

11 complexity-theory  np-hard  optimization  computable-analysis 

Eu tenho uma tarefa de casa em que tenho criticado há algum tempo e gostaria de receber qualquer dica. Trata-se de escolher um problema conhecido, cuja integridade do NP é comprovada, e construir uma redução desse problema para o seguinte problema, que chamarei DGD (diagnóstico de gráfico direcionado). Problema Um …

11 complexity-theory  np-hard  graph-theory 

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 

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 

Existem algoritmos conhecidos que emitem corretamente "yes" para um problema NP-completo sem gerar implicitamente um certificado? Entendo que é fácil transformar um oráculo de satisfação em um localizador de tarefas satisfatórias: apenas itere sobre as variáveis, sempre pedindo ao oráculo de satisfação que resolva a conjunção dessa variável com o …

11 algorithms  complexity-theory  np-complete 

O problema de determinar se uma determinada expressão booleana é satisfatoriamente distinta em termos computacionais de realmente encontrar uma solução para a expressão? Em outras palavras, existe outra maneira de descobrir que uma determinada expressão é satisfatória sem determinar explicitamente as 'configurações corretas' para as variáveis ​​booleanas? Ou todas as …

11 complexity-theory  satisfiability 

Li várias vezes que não é possível alterar a resposta de um NDTM com eficiência. No entanto, eu não entendo o porquê. Por exemplo, dado um NDTM executado em O ( n ) , este texto (seção 3.3) afirma que não está claro como outro NDTM T pode determinar em …

11 complexity-theory  turing-machines 

Da Wikipedia : O tipo de problema computacional: Os problemas mais comumente usados ​​são os de decisão . No entanto, as classes de complexidade podem ser definidas com base em problemas de função, problemas de contagem, problemas de otimização, problemas de promessa, etc. Eu também vi as definições de NP-completo, …

11 complexity-theory  terminology 

Estou estudando para a minha final em teoria da computação e estou lutando com a maneira correta de responder se essa afirmação é verdadeira ou falsa. Pela definição de , podemos construir a seguinte declaração,≤m≤m\leq_m w∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw \in A \iff f(w) \in B \rightarrow w \notin A \iff f(w) \notin B …

11 complexity-theory  computability  reductions 

Um algoritmo de máquina de Turing em tempo polinomial é considerado eficiente se seu tempo de execução, na pior das hipóteses, estiver limitado por uma função polinomial no tamanho da entrada. Estou ciente da forte tese de Church-Turing: Qualquer modelo razoável de computação pode ser eficientemente simulado em máquinas de …

11 complexity-theory  efficiency  computation-models 

Pelo que entendi, o problema de atribuição está em P, pois o algoritmo húngaro pode resolvê-lo em tempo polinomial - O (n 3 ). Também entendo que o problema de atribuição é um problema de programação linear inteira , mas a página da Wikipedia afirma que esse é NP-Hard. Para …

11 complexity-theory  complexity-classes  linear-programming  integer-programming 

Estou pensando isso com base em vários locais online que chamam co- um grande problema em aberto ... mas não consigo encontrar nenhuma indicação sobre se isso é ou não o mesmo que Problema ...NP=NP=\sf NP=NPNP\sf NPP=NPP=NP\sf P=NP

11 complexity-theory  complexity-classes  p-vs-np