Perguntas com a marcação «reductions»

Em um gráfico, um conjunto dominante de aresta é um subconjunto D das arestas, de modo que qualquer aresta no gráfico esteja em D ou compartilhe um ponto final com uma aresta em D. O problema do Conjunto dominante de aresta mínimo é encontrar um conjunto dominante de aresta de …

8 complexity-theory  reference-request  np-complete  reductions 

Sabemos que a poliL não tem problemas completos, pois entraria em conflito com o teorema da hierarquia espacial. Mas: Existem problemas completos para cada nível dessa hierarquia?polyLpolyLpolyL Para ser mais preciso: A classe tem problemas completos em reduções para cada ?DSPACE(log(n)k)DSPACE(log⁡(n)k)DSPACE(\log(n)^k)LLLk>0k>0k > 0

8 complexity-theory  reductions  space-complexity 

Estou me sentindo um pouco confuso com a direção das reduções usadas para mostrar que certos idiomas não são recursivos. Por exemplo, digamos que queremos determinar se o problema de parada (HA LTTMHALTTMHALT_{TM}) é indecidível. Eu sei que podemos assumir que é decidível e tentar construir uma decisão para o …

7 computability  turing-machines  reductions  halting-problem 

Como minha pergunta se relaciona diretamente a uma parte do texto de um livro de 2004, Lógica em Ciência da Computação: Modelagem e Raciocínio sobre Sistemas (2ª Edição), de Michael Huth e Mark Ryan , para fornecer contexto para a discussão a seguir, citando parcialmente o livro literalmente: O problema …

7 reductions  logic  proof-techniques  undecidability 

Assim, UMA⩽mBUMA⩽mB A\leqslant_mB (muitos a uma redução) meios que língua pode ser reduzida a língua se existe uma função Turing-calculável assim e .UMAUMAABBBffff( A ) ⊆ Bf(UMA)⊆B f(A) \subseteq Bf(UMA¯¯¯¯) ⊆B¯¯¯¯f(UMA¯)⊆B¯ f(\overline{A}) \subseteq \overline{B} UMA⩽TBUMA⩽TB A\leqslant_TB (Turing reducibilidade) meios que língua pode ser Turing-reduzido a língua se existe uma máquina …

7 computability  reductions 

Problema: Para provar oNP-CompletenessNP-Completeness\textsf{NP-Completeness}do problema de "Packing Squares (com diferentes comprimentos laterais) em um retângulo" ,3-PartitionPartição 3\textsf{3-Partition} é reduzido, como mostra a figura a seguir. No 3-PartitionPartição 3\textsf{3-Partition} exemplo, existem nnn elementos (a1,⋯,ai,⋯,an)(a1,⋯,ai,⋯,an)(a_1, \cdots, a_i, \cdots, a_n). A soma designadattt é t=∑ain/3t=∑ain/3t = \frac{\sum a_i}{n/3}. Na redução, BBBé um número …

7 complexity-theory  np-complete  reductions  np-hard  partitions 

Mostre que o problema da soma do subconjunto (Dada uma sequência de números inteiros e um número , existe uma subsequência de que soma exatamente ?) Está NP-completo.S=i1,i2,…,inS=i1,i2,…,inS=i_1, i_2, \dots , i_nkkkSSSkkk Dica: Use o problema exato da capa. O problema exato da capa é o seguinte: Dada uma família …

7 complexity-theory  np-complete  reductions  np-hard 

Gostaria de saber se existe um exemplo simples de conjuntos e tal que é Turing-irredutível a , mas não muitos-para-um irredutível para .AAABBBAAABBBBBB

7 turing-machines  reductions 

Eu defino um CNF longo para conter pelo menos cláusulas, onde é o número de suas variáveis. Deixe é uma fórmula CNF longa e satisfatória .2n22n22^\frac{n}{2}nnnLong-SAT = { ϕ : ϕLong-SAT={ϕ:ϕ\text{Long-SAT}=\{\phi: \phi}}\} Eu gostaria de saber por que . Primeiro, pensei que fosse pois eu posso reduzir o tempo polinomial …

7 complexity-theory  np-complete  reductions  satisfiability  polynomial-time 

É possível mostrar que a cobertura mínima de vértices em um gráfico bipartido pode ser reduzida a um problema de fluxo máximo? Ou para o problema de corte mínimo (siga o teorema de corte mínimo de fluxo máximo, a reivindicação é válida). Intuitivamente: para cada fluxo, escolha um ponto final …

7 complexity-theory  graph-theory  reductions  network-flow 

Estou fazendo uma tese de pós-graduação sobre a comprovação da correção do programa para multiplicar 2 matrizes usando a lógica Hoare. Para fazer isso, preciso gerar o loop invariável para aninhado para este programa: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + …

7 algorithms  loop-invariants  correctness-proof  formal-languages  regular-languages  pumping-lemma  logic  logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics  complexity-theory  time-complexity  computability  proof-techniques  reductions  digital-preservation  distributed-systems  storage  algorithms  dynamic-programming  check-my-algorithm  reference-request  cryptography  quantum-computing  formal-languages  regular-languages  context-free  formal-grammars  algorithms  graphs  network-flow  algorithms  data-structures  randomized-algorithms  lists  computability  proof-techniques  undecidability  terminology  distributed-systems  parallel-computing  artificial-intelligence  heuristics  search-problem  algorithms  computational-geometry  algorithm-analysis  asymptotics  recurrence-relation  mathematical-analysis  master-theorem  algorithms  algorithm-analysis  runtime-analysis  computability  reductions  turing-machines  formal-languages  context-free 

A questão é se a seguinte declaração é verdadeira ou falsa: UMA≤TB⟹UMA≤mBUMA≤TB⟹UMA≤mBA \leq_T B \implies A \leq_m B Eu sei que se UMA≤TBUMA≤TBA \leq_T B existe um oráculo que pode decidir A em relação a B. Sei que isso não é suficiente para dizer que existe uma função computável de …

7 computability  reductions  turing-machines 

Tenho uma pergunta geral sobre o mapeamento de reduções. Eu já vi vários exemplos de redução de funções paraATMATMA_{TM} onde ATM={⟨M,w⟩: For M is a turing machine which accepts string w}ATM={⟨M,w⟩: For M is a turing machine which accepts string w}A_{TM} = \{\langle M, w \rangle : \text{ For } …

7 computability  proof-techniques  reductions