Perguntas com a marcação «linear-programming»

Considere famílias separadas de subconjuntos de {1,2,…, n}, F 1 , F 2 , … F t .tttF1 1, F2, … FtF1,F2,…Ft{\cal F}_1,{\cal F_2},\dots {\cal F_t} Suponha que (*) Para cada e cada R ∈ F i , e t ∈ F k , há S ∈ F j que …

52 co.combinatorics  cg.comp-geom  open-problem  linear-programming 

Eu sempre tive problemas para entender a importância do gap de integralidade (IG) e os limites dele. IG é a razão de (a qualidade de) uma resposta inteira ideal para (a qualidade de) uma solução real ótima do relaxamento do problema. Vamos considerar a cobertura de vértices (VC) como um …

44 cc.complexity-theory  ds.algorithms  approximation-algorithms  linear-programming  integrality-gap 

Qual é o limite superior do algoritmo simplex para encontrar uma solução para um programa linear? Como eu iria encontrar uma prova para esse caso? Parece que o pior caso é se cada vértice tiver que ser visitado, ou seja, . No entanto, na prática, o algoritmo simplex será executado …

36 ds.algorithms  linear-programming  simplex  smoothed-analysis 

Gostaria de entender como o solucionador Arora-Kale SDP se aproxima do relaxamento de Goemans-Williamson em tempo quase linear, como o solucionador Plotkin-Shmoys-Tardos aproxima problemas fracionários de "empacotamento" e "cobertura" em tempo quase linear e como os algoritmos são instanciações da estrutura abstrata "aprendendo com especialistas". A tese de Kale tem …

34 ds.algorithms  approximation-algorithms  linear-programming  primal-dual  semidefinite-programming 

Estou um pouco confuso com a literatura de otimização contínua e a literatura do TCS sobre quais tipos de programas matemáticos (contínuos) (MPs) podem ser resolvidos com eficiência e quais não. A comunidade de otimização contínua parece afirmar que todos os programas convexos podem ser resolvidos com eficiência, mas acredito …

31 ds.algorithms  optimization  linear-programming  semidefinite-programming  polynomial-time 

Um dos Santo Graal do projeto de algoritmos é encontrar um algoritmo fortemente polinomial para programação linear, ou seja, um algoritmo cujo tempo de execução é limitado por um polinômio no número de variáveis ​​e restrições e é independente do tamanho da representação dos parâmetros (assumindo custo unitário aritmético). A …

31 ds.algorithms  conditional-results  linear-programming  computing-over-reals  simplex 

Eu gostaria de encontrar um algoritmo de tempo polinomial que determine se o intervalo de um determinado conjunto de matrizes contém uma matriz de permutação. Se alguém souber se esse problema é de uma classe de complexidade diferente, isso seria igualmente útil. EDIT: Marquei esta questão com Programação Linear, porque …

30 cc.complexity-theory  linear-algebra  linear-programming  semidefinite-programming  polynomial-time 

De acordo com D. den Hertog, Abordagem de ponto interior para programação linear, quadrática e convexa, 1994 , um programa linear com variáveis, n restrições e precisão L é solucionável em O ( n 3 L ) . Isso foi melhorado?nnnnnneueuLO ( n3L )O(n3eu)O(n^3L)

25 cc.complexity-theory  reference-request  linear-programming 

Considere problemas de otimização do seguinte formulário. Seja uma função computável em tempo polinomial que mapeie uma sequência em um número racional. O problema de otimização é este: qual é o valor máximo de sobre as cadeias de bits ?x f ( x ) n xf(x)f(x)f(x)xxxf(x)f(x)f(x)nnnxxx Digamos que esse problema …

23 cc.complexity-theory  graph-algorithms  complexity-classes  optimization  linear-programming 

(Este é um acompanhamento para esta pergunta e sua resposta .) Eu tenho o seguinte programa linear inteiro totalmente unimodular (TU) (ILP). Aqui ℓ,m,n1,n2,…,nℓ,c1,c2,…,cm,wℓ,m,n1,n2,…,nℓ,c1,c2,…,cm,w\ell,m,n_{1},n_{2},\ldots,n_{\ell},c_{1},c_{2},\ldots,c_{m},w são números inteiros positivos dados como parte da entrada. Um subconjunto especificado das variáveis é definido como zero e o restante pode assumir valores integrais positivos:xijxijx_{ij} …

21 ds.algorithms  reference-request  linear-programming  integer-programming  polynomial-time 

Esta questão é inspirada na conjectura polinomial de Hirsch (APS). Dado um polítopo facetado em , a lacuna espectral do seu gráfico de vértice de arestas (chamada ) é mais baixa delimitada por ? Observe que o gráfico de ciclo em vértices mostra que, mesmo para , o intervalo espectral …

21 co.combinatorics  linear-programming  expanders 

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 

Qual seria uma boa prova informal / intuitiva para 'acertar o ponto inicial' sobre a dualidade do LP? Qual a melhor maneira de mostrar que a função objetivo minimizada é realmente o mínimo com uma maneira intuitiva de entender o limite? A maneira como fui ensinado Dualidade apenas levou a …

19 linear-programming  primal-dual 

É 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