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

Eu tenho um programa linear inteiro (ILP) com algumas variáveis xixEux_i que se destinam a representar valores booleanos. Os xixEux_i são restritos a serem inteiros e a conter 0 ou 1 ( 0≤xi≤10 0≤xEu≤10 \le x_i \le 1 ). Eu quero expressar operações booleanas nessas variáveis ​​com valor de 1/1, …

58 linear-programming  integer-programming 

Existem nnn caixas e mmm tipo de bolas. O iii th bin tem rótulos ai,jai,ja_{i,j} para 1≤j≤m1≤j≤m1\leq j\leq m , que é o número esperado de bolas do tipo jjj . Você começa com bjbjb_j bolas do tipo jjj . Cada esfera de tipo jjj tem peso wjwjw_j , e …

33 complexity-theory  np-hard  integer-programming 

Gostaria de saber qual é o algoritmo mais conhecido, em termos de notação Big- , para resolver a Programação Linear Inteira?OOO Eu sei que o problema é completo, então não estou esperando nada polinomial. E eu sei que existem muitas heurísticas e outras que são usadas em aplicações práticas como …

14 algorithms  complexity-theory  reference-request  np-complete  integer-programming 

Portanto, como é sabido, o problema de decisão 0-1 da ILP é NP-completo. É fácil mostrar que está no NP e a redução original foi do SAT; desde então, muitos outros problemas do NP-Complete demonstraram ter formulações de ILP (que funcionam como reduções desses problemas para o ILP), porque o …

14 np-complete  reductions  satisfiability  integer-programming 

Recebi um conjunto A≜{1,…,k}A≜{1,…,k}A\triangleq\{1,\ldots,k\} , um número inteiro s⩽ks⩽ks\leqslant k e números inteiros não negativos aijaija_{ij} . Meu problema é encontrar sss subconjuntos SjSjS_j de {1,…,k}{1,…,k}\{1,\ldots,k\} modo que: ⋃sj=1Sj=A⋃j=1sSj=A\bigcup_{j=1}^s S_j=A ; e |Sj|⩽aij|Sj|⩽aij|S_j|\leqslant a_{ij} para todos i∈Sji∈Sji\in S_j e j=1,…,sj=1,…,sj=1,\ldots,s . Como resolver este problema? É difícil encontrar uma solução …

11 complexity-theory  integer-programming 

Quero expressar a seguinte restrição, em um programa linear inteiro: y={01if x=0if x≠0.y={0 0E se x=0 01 1E se x≠0y = \begin{cases} 0 &\text{if } x=0\\ 1 &\text{if } x\ne 0. \end{cases} Eu já tenho as variáveis ​​inteiras prometi que . Como posso expressar a restrição acima, em um formato …

11 linear-programming  integer-programming 

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 

Dado um programa inteiro (binário) da forma:0 , 10 0,1 10,1 minstf( X )A x = bxEu≥ 0xEu∈ { 0 , 1 }∀ i∀ iminf(x)stUMAx=bxEu≥0 0∀EuxEu∈{0 0,1 1}∀Eu \begin{array}{lll} \text{min} & f(x) & \\ \text{s.t.} & A x = b \\ & x_i \ge 0 & \quad \forall i\\ & …

9 complexity-theory  np-complete  approximation  integer-programming 

Assumindo yyy é uma variável booleana em um programa ILP (ou seja, y∈Zy∈Zy \in Zst 0&lt;=y&lt;=10&lt;=y&lt;=10 <= y <= 1) e x1x1x_1, x2x2x_2 são variáveis ​​inteiras delimitadas entre 000 e MMM. Quero codificar a seguinte restrição de alto nível: y=1⟺x1≤x2y=1⟺x1≤x2y = 1 \iff x_1 \le x_2 Até agora eu tenho …

8 integer-programming 

Dado nnn variáveis ​​booleanas x1 1, ... ,xnx1,…,xnx_1,\ldots,x_n cada um dos quais recebe um custo positivo c1,…,cn∈Z&gt;0c1,…,cn∈Z&gt;0c_1,\ldots,c_n\in\mathbb{Z}_{>0} e uma função booleana fff nessas variáveis ​​dadas na forma f(x1,…,xn)=⋀i=1k⨁j=1lixrijf(x1,…,xn)=⋀i=1k⨁j=1lixrijf(x_1,\ldots,x_n)=\bigwedge_{i=1}^k\bigoplus_{j=1}^{l_i}x_{r_{ij}} (⊕⊕\oplus denotando XOR) com k∈Z&gt;0k∈Z&gt;0k\in\mathbb{Z}_{>0}inteiros 1≤li≤n1≤li≤n1\leq l_i\leq n e 1≤ri1&lt;⋯&lt;rili≤n1≤ri1&lt;⋯&lt;rili≤n1\leq r_{i1}<\cdots<r_{il_i}\leq n para todos i=1,…,ki=1,…,ki=1,\ldots,k, j=1,…,lij=1,…,lij=1,\ldots,l_i, o problema é encontrar uma atribuição …

7 optimization  np-hard  satisfiability  integer-programming  xor