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





1
Como particionar um conjunto em um determinado número de subconjuntos independentes, sujeito a algumas condições?
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 …




3
Variável booleana verdadeira se a equação for satisfeita no ILP
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 …

1
O XOR-SAT NP é pesado?
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 …
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.