Pertanyaan yang diberi tag «integer-programming»

Saya memiliki program linear integer (ILP) dengan beberapa variabel yang dimaksudkan untuk mewakili nilai boolean. The 's dibatasi menjadi bilangan bulat dan memegang 0 atau 1 ( ).xixix_ixixix_i0≤xi≤10≤xi≤10 \le x_i \le 1 Saya ingin mengekspresikan operasi boolean pada variabel bernilai 0/1 ini, menggunakan batasan linier. Bagaimana saya bisa melakukan ini? …

58 linear-programming  integer-programming 

Ada nnn sampah dan mmm jenis bola. The iii bin th memiliki label ai,jai,ja_{i,j} untuk 1≤j≤m1≤j≤m1\leq j\leq m , itu adalah jumlah yang diharapkan dari bola tipe jjj . Anda mulai dengan bjbjb_j bola dari jenis jjj . Setiap bola jenis jjj memiliki berat wjwjw_j , dan ingin menempatkan bola …

33 complexity-theory  np-hard  integer-programming 

Saya bertanya-tanya, apa algoritma yang paling terkenal, dalam hal notasi Big- , untuk menyelesaikan Integer Linear Programming?OOO Saya tahu bahwa masalah adalah -Lengkap, jadi aku tidak mengharapkan apa-apa polinomial. Dan saya tahu ada banyak heuristik dan yang digunakan dalam aplikasi praktis seperti CPLEX, tapi saya lebih tertarik pada formalitas, kompleksitas …

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

Jadi, seperti diketahui, masalah keputusan 0-1 ILP adalah NP-complete. Menampilkannya dalam NP mudah, dan pengurangan aslinya dari SAT; sejak itu, banyak masalah NP-Lengkap lainnya telah terbukti memiliki formulasi ILP (yang berfungsi sebagai pengurangan dari masalah tersebut ke ILP), karena ILP sangat berguna secara umum. Pengurangan dari ILP tampaknya jauh lebih …

14 np-complete  reductions  satisfiability  integer-programming 

Saya diberi himpunan , integer , dan integer non-negatif a_ {ij} . Masalah saya adalah menemukan s himpunan bagian himpunan S_j dari \ {1, \ ldots, k \} sedemikian rupa sehingga:A≜{1,…,k}A≜{1,…,k}A\triangleq\{1,\ldots,k\}s⩽ks⩽ks\leqslant kaijaija_{ij}sssSjSjS_j{1,…,k}{1,…,k}\{1,\ldots,k\} ⋃sj=1Sj=A⋃j=1sSj=A\bigcup_{j=1}^s S_j=A ; dan |Sj|⩽aij|Sj|⩽aij|S_j|\leqslant a_{ij} untuk semua i∈Sji∈Sji\in S_j dan j=1,…,sj=1,…,sj=1,\ldots,s . Bagaimana cara mengatasi masalah ini? …

11 complexity-theory  integer-programming 

Saya ingin mengungkapkan batasan berikut, dalam program linear integer: y={01if x=0if x≠0.y={0if x=01if x≠0.y = \begin{cases} 0 &\text{if } x=0\\ 1 &\text{if } x\ne 0. \end{cases} Saya sudah memiliki variabel integer dan saya berjanji bahwa . Bagaimana saya bisa mengekspresikan kendala di atas, dalam bentuk yang cocok untuk digunakan dengan …

11 linear-programming  integer-programming 

Seperti yang saya mengerti, masalah penugasan dalam P karena algoritma Hungaria dapat menyelesaikannya dalam waktu polinomial - O (n 3 ). Saya juga mengerti bahwa masalah penugasan adalah masalah pemrograman linear integer , tetapi halaman Wikipedia menyatakan bahwa ini adalah NP-Hard. Bagi saya, ini menyiratkan masalah penugasan dalam NP-Hard. Tapi …

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

Diberikan program integer (biner) dari formulir:0 , 10,10,1 minstf( x )A x = bxsaya≥ 0xsaya∈ { 0 , 1 }∀ saya∀ sayaminf(x)stSEBUAHx=bxsaya≥0∀sayaxsaya∈{0,1}∀saya \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 …

9 complexity-theory  np-complete  approximation  integer-programming 

Dengan asumsi adalah variabel boolean dalam program ILP (yang , st ) dan , dibatasi bilangan bulat variabel antara dan . Saya ingin menyandikan batasan tingkat tinggi berikut:yyyy∈Zy∈Zy \in Z0&lt;=y&lt;=10&lt;=y&lt;=10 <= y <= 1x1x1x_1x2x2x_2000MM.M y=1⟺x1≤x2y=1⟺x1≤x2y = 1 \iff x_1 \le x_2 Sejauh ini saya sudah mendapat ini: x1≤x2+(M+1)yx1≤x2+(M.+1)yx_1 \le x_2 …

8 integer-programming