Perguntas com a marcação «search-problem»

Esta pergunta foi migrada do Theoretical Computer Science Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . Sabe-se que cada problema de otimização / pesquisa tem um problema de decisão equivalente. Por exemplo, o problema do caminho mais curto optimização / pesquisa versão: …

26 complexity-theory  optimization  search-problem  decision-problem 

Eu tento resolver o seguinte problema de cobertura. Existem transmissores com área de cobertura de 1 km e n receptores. Decida em O ( n log n ) que todos os receptores são cobertos por qualquer transmissor. Todos os receptores e transmissores são representados por suas coordenadas x e y …

14 algorithms  computational-geometry  search-problem 

Os exemplos comuns de problemas difíceis de NP (clique, 3-SAT, cobertura de vértices etc.) são do tipo em que não sabemos se a resposta é "sim" ou "não" anteriormente. Suponha que tenhamos um problema no qual sabemos que a resposta é sim, além disso, podemos verificar uma testemunha em tempo …

10 complexity-theory  np-hard  search-problem 

Devido à natureza da pergunta, tenho que incluir muitas informações básicas (porque minha pergunta é: como restringir isso?) Dito isso, ele pode ser resumido (da melhor maneira possível) como: Quais métodos existem para encontrar ótimos locais em espaços de pesquisa combinatória extremamente grandes? fundo Na comunidade de super-jogos assistida por …

10 reference-request  machine-learning  combinatorics  optimization  search-problem 

Eu tenho um conjunto de pontos que são definidos em um espaço métrico - para que eu possa medir uma 'distância' entre pontos, mas nada mais. Quero encontrar o ponto mais central desse conjunto, que defino como o ponto com a soma mínima de distâncias para todos os outros pontos. …

9 complexity-theory  computational-geometry  lower-bounds  search-problem 

Recebi n objetos e um conjunto de n permutações desses n objetos (de n! Permutações totais). Existe uma verdadeira permutação subjacente, que eu sei que é uma entre o conjunto de n permutações, mas não sei qual. Um oráculo, no entanto, conhece a verdadeira permutação. Para encontrar a permutação verdadeira, …

8 complexity-theory  lower-bounds  search-problem  permutations 

Não sei como defini-lo com elegância, mas basicamente quero implementar um algoritmo de pesquisa de força bruta, mas existem muitas maneiras diferentes de enumerar através do espaço de pesquisa. Isso pode ser ingênuo da minha parte, mas imagino que a maneira como escolho enumerar através do espaço de pesquisa possa …

7 algorithms  search-algorithms  decision-problem  np  search-problem 

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