L'informatique integer-programming

3

Opérations logiques booléennes expresses en programmation linéaire zéro entier (ILP)

J'ai un programme linéaire entier (ILP) avec des variables destinées à représenter des valeurs booléennes. Les sont contraints d'être des entiers et de contenir 0 ou 1 ( ).x i 0 ≤ x i ≤ 1xixix_ixixix_i0≤xi≤10≤xi≤10 \le x_i \le 1 Je veux exprimer des opérations booléennes sur ces variables à …

58 linear-programming integer-programming

1

Est-il difficile de remplir les bacs avec un minimum de mouvements?

Il y a nnn bacs et mmm type de balles. La iii ième bin a des étiquettes a i , jai,ja_{i,j} pour 1 ≤ j ≤ m1≤j≤m1\leq j\leq m , c'est le nombre attendu de billes de type jjj . Vous commencez avec b jbjb_j boules de type jjj . …

33 complexity-theory np-hard integer-programming

1

La complexité la plus rapide connue pour l'algorithme ILP combinatoire?

Je me demande quel est l'algorithme le plus connu, en termes de notation Big- OOO , pour résoudre la programmation linéaire en nombres entiers? Je sais que le problème est NPNPNP complet, donc je ne m'attends à rien de polynomial. Et je sais qu'il y a beaucoup d'heuristiques et autres …

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

2

Réduction du poly-temps d'ILP à SAT?

Ainsi, comme on le sait, le problème de décision 0-1 d'ILP est NP-complet. Il est facile de montrer qu'il est en NP, et la réduction d'origine provenait de SAT; depuis lors, de nombreux autres problèmes NP-Complete se sont révélés avoir des formulations ILP (qui fonctionnent comme des réductions de ces …

14 np-complete reductions satisfiability integer-programming

1

Comment partitionner un ensemble en un nombre donné de sous-ensembles disjoints soumis à certaines conditions?

On me donne un ensemble A≜{1,…,k}A≜{1,…,k}A\triangleq\{1,\ldots,k\} , un entier s⩽ks⩽ks\leqslant k et des entiers non négatifs aijaija_{ij} . Mon problème est de trouver sss sous - ensembles disjoints SjSjS_j de {1,…,k}{1,…,k}\{1,\ldots,k\} tel que: ⋃sj=1Sj=A⋃j=1sSj=A\bigcup_{j=1}^s S_j=A ; et |Sj|⩽aij|Sj|⩽aij|S_j|\leqslant a_{ij} pour tous les i∈Sji∈Sji\in S_j et j=1,…,sj=1,…,sj=1,\ldots,s . Comment résoudre ce …

11 complexity-theory integer-programming

3

Cast en booléen, pour une programmation linéaire entière

Je veux exprimer la contrainte suivante, dans un programme linéaire entier: y= { 01si x = 0si x ≠ 0.y={0if x=01if x≠0.y = \begin{cases} 0 &\text{if } x=0\\ 1 &\text{if } x\ne 0. \end{cases} J'ai déjà les variables entières et on me promet que . Comment puis-je exprimer la contrainte …

11 linear-programming integer-programming

5

Tous les problèmes de programmation linéaire entière sont-ils NP-difficiles?

Si je comprends bien, le problème d'affectation est en P car l'algorithme hongrois peut le résoudre en temps polynomial - O (n 3 ). Je comprends également que le problème d'affectation est un problème de programmation linéaire entier , mais la page Wikipedia indique que c'est NP-Hard. Pour moi, cela …

11 complexity-theory complexity-classes linear-programming integer-programming

1

Dureté d'approximation des programmes entiers 0-1

Étant donné un programme entier (binaire) de la forme:0,10,10,1 mins.t.f(x)Ax=bxi≥0xi∈{0,1}∀i∀iminf(x)s.t.Ax=bxi≥0∀ixi∈{0,1}∀i \begin{array}{lll} \text{min} & f(x) & \\ \text{s.t.} & A x = b \\ & x_i \ge 0 & \quad \forall i\\ & x_i \in \{0,1\} & \quad \forall i \end{array} Notez que la taille de n'est pas fixée dans l'une …

9 complexity-theory np-complete approximation integer-programming

3

La variable booléenne vraie équation ssi est satisfaite dans ILP

En supposant est une variable booléenne dans un programme d'ILP (qui est , r ) et , sont délimités entier variables entre et . Je veux encoder la contrainte de haut niveau suivante:yyyy∈ Zy∈Zy \in Z0 < = y< = 10<=y<=10 <= y <= 1X1x1x_1X2x2x_2000MMM y= 1⟺X1≤X2y=1⟺x1≤x2y = 1 \iff …

8 integer-programming

Questions marquées «integer-programming»