Perguntas com a marcação «approximation-algorithms»

Ultimamente, comecei a procurar algoritmos de aproximação para problemas difíceis de NP e estava pensando nas razões teóricas para estudá-los. (A questão não é para ser inflamatória - estou apenas curiosa). Alguma teoria verdadeiramente bela saiu do estudo dos algoritmos de aproximação - a conexão entre o teorema PCP e …

21 ds.algorithms  approximation-algorithms  big-picture  application-of-theory 

O problema unidimensional do caminho do vendedor ambulante é, obviamente, o mesmo que a classificação e, portanto, pode ser resolvido exatamente por comparações no tempo , mas é formulado de tal maneira que a aproximação quanto a exata solução faz sentido. Em um modelo de computação em que as entradas …

21 ds.algorithms  approximation-algorithms  sorting  tsp 

Para concretização, considere o LP para resolver um jogo de soma zero para dois jogadores em que cada jogador tem ações. Suponha que cada entrada da matriz de pagamento tenha no máximo 1 em valor absoluto. Para simplificar, não vamos fazer suposições de escassez.AnnnUMAUMAA Suponha que o tempo de execução …

19 ds.algorithms  approximation-algorithms  online-learning  linear-programming 

É 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 

Quando consideramos um algoritmo de aproximação para um problema de minimização, o gap de integralidade de uma formulação IP para esse problema fornece um limite inferior de uma taxa de aproximação para determinada classe de algoritmos (como arredondamento ou algoritmo primal-duplo). De fato, existem muitos problemas cuja melhor taxa de …

18 ds.algorithms  approximation-algorithms  linear-programming  integrality-gap 

Foi-me dito que existem bons algoritmos de tempo polinomial para aproximar o número de caminhos simples em um gráfico direcionado, desde o vértice inicial dado até o vértice final dado tsssttt . Alguém sabe de uma boa referência sobre este assunto? Antecedentes: contar o número exato de caminhos em um …

17 ds.algorithms  reference-request  graph-algorithms  approximation-algorithms  counting-complexity 

O problema que consideramos aqui é a extensão do conhecido problema de coloração por intervalo. Em vez de intervalos, consideramos retângulos com lados paralelos aos eixos. O objetivo é colorir os retângulos usando o número mínimo de cores, para que dois retângulos sobrepostos tenham cores diferentes. Esse problema é conhecido …

17 ds.algorithms  approximation-algorithms  cg.comp-geom  graph-colouring  online-algorithms 

Eu queria saber se os problemas para os quais existem algoritmos de tempo sublinear (no tamanho da entrada) podem ser caracterizados como possuindo propriedades específicas. Isso inclui tempo sublinear (por exemplo, teste de propriedades, uma noção alternativa de aproximação para problemas de decisão), espaço sublinear (por exemplo, algoritmos de esboço …

16 cc.complexity-theory  ds.algorithms  complexity-classes  approximation-algorithms 

supAOPTsupAOPT\sup\frac{A}{OPT}MINMINMINAAAAAAOPTOPTOPTinfΩ−AΩ−OPTinfΩ−AΩ−OPT\inf\frac{\Omega-A}{\Omega-OPT}ΩΩ\Omega fornece a mesma taxa de aproximação para problemas como cobertura mínima de vértices e conjunto independente máximo, que são conhecidos por serem apenas realizações diferentes do mesmo problema; fornece a mesma proporção para as versões max e min do mesmo problema. Ao mesmo tempo, sabemos na teoria padrão MIN …

16 ds.algorithms  approximation-algorithms  approximation-hardness 

Dado um conjunto S de nxn matrizes de permutação (que é apenas uma pequena fração das n! Possíveis matrizes de permutação), como podemos encontrar subconjuntos de tamanho mínimo T de S de modo que a adição de matrizes de T tenha pelo menos 1 em todas as posições? Estou interessado …

16 ds.algorithms  approximation-algorithms  set-cover  permutations 

Suponha que queremos encontrar ou max x ∏ i j ∈ E f ( x i , x j )∑x∏i j ∈ Ef( xEu, xj)∑x∏Euj∈Ef(xEu,xj)\sum_x \prod_{ij \in E} f(x_i,x_j)maxx∏i j ∈ Ef( xEu, xj)maxx∏Euj∈Ef(xEu,xj)\max_x \prod_{ij \in E} f(x_i,x_j) Onde max ou soma é tomada sobre todas as bulas de , …

15 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms  counting-complexity 

Esta questão foi postada anteriormente em Computer Science Stack Exchange aqui . Imagine que você é um vendedor ambulante de muito sucesso, com clientes em todo o país. Para acelerar o envio, você desenvolveu uma frota de drones descartáveis ​​de entrega, cada um com um alcance efetivo de 50 quilômetros. …

15 ds.algorithms  approximation-algorithms  tsp 

Existem estudos sobre algoritmos de aproximação para problemas completos de NP em tempo polinomial e algoritmos exatos em tempo exponencial. Existem estudos sobre algoritmos de aproximação para problemas completos de NP no tempo subexponencial da forma 2nδ22nδ22^{n^{\delta_2}} onde δ2∈(0,1)δ2∈(0,1)\delta_2\in(0,1) ? Estou particularmente interessado no que é conhecido sobre problemas aproximados …

15 approximation-algorithms  approximation-hardness 

Considere o seguinte problema: Dado um gráfico de consulta G=(V,E)G=(V,E)G = (V, E) e um gráfico de referência G′=(V′,E′)G′=(V′,E′)G' = (V', E') , queremos encontrar o mapeamento injetivo f:V→V′f:V→V′f : V \rightarrow V' que minimiza o número de arestas (v1,v2)∈E(v1,v2)∈E(v_1, v_2) \in E tal que . Essa é uma generalização …

15 cc.complexity-theory  ds.algorithms  graph-theory  approximation-algorithms  graph-isomorphism 

Considerando os tópicos abordados em uma conferência como a STOC, existem pesquisadores de algoritmo ou complexidade usando ativamente o COQ ou Isabelle? Se sim, como eles estão usando isso em suas pesquisas? Suponho que a maioria das pessoas não usaria essas ferramentas porque as provas seriam de nível muito baixo. …

14 cc.complexity-theory  approximation-algorithms  soft-question  proof-assistants