Câu hỏi được gắn thẻ «integer-programming»

Tôi có một chương trình tuyến tính số nguyên (ILP) với một số biến được dùng để biểu diễn các giá trị boolean. Các bị ràng buộc là số nguyên và giữ 0 hoặc 1 ( ).xixix_ixixix_i0≤xi≤10≤xi≤10 \le x_i \le 1 Tôi muốn thể hiện các phép toán boolean trên …

58 linear-programming  integer-programming 

Có thùng và loại bóng. Các th bin có nhãn cho , nó là số kỳ vọng của bóng kiểu .nnnmmmiiiai,jai,ja_{i,j}1≤j≤m1≤j≤m1\leq j\leq mjjj Bạn bắt đầu với những quả bóng loại . Mỗi quả bóng loại có trọng lượng và muốn đặt các quả bóng vào thùng sao cho bin …

33 complexity-theory  np-hard  integer-programming 

Tôi đang tự hỏi, thuật toán nổi tiếng nhất, theo thuật ngữ Big- , để giải quyết Lập trình tuyến tính Integer là gì?OOO Tôi biết rằng vấn đề là -complete, vì vậy tôi không mong đợi bất cứ điều gì đa thức. Và tôi biết có rất nhiều phương …

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

Vì vậy, như đã biết, vấn đề quyết định 0-1 của ILP là hoàn thành NP. Hiển thị nó trong NP rất dễ dàng và mức giảm ban đầu là từ SAT; kể từ đó, nhiều vấn đề NP-Complete khác đã được chứng minh là có các công thức ILP …

14 np-complete  reductions  satisfiability  integer-programming 

Tôi được cung cấp một bộ A≜{1,…,k}A≜{1,…,k}A\triangleq\{1,\ldots,k\} , một số nguyên s⩽ks⩽ks\leqslant k và các số nguyên không âm aijaija_{ij} . Vấn đề của tôi là tìm sss tập con tách rời SjSjS_j của {1,…,k}{1,…,k}\{1,\ldots,k\} sao cho: ⋃sj=1Sj=A⋃j=1sSj=A\bigcup_{j=1}^s S_j=A ; và |Sj|⩽aij|Sj|⩽aij|S_j|\leqslant a_{ij} cho tất cả i∈Sji∈Sji\in S_j và j=1,…,sj=1,…,sj=1,\ldots,s …

11 complexity-theory  integer-programming 

Tôi muốn thể hiện các ràng buộc sau, trong một chương trình tuyến tính số nguyên: 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} Tôi đã có các biến số nguyên và tôi đã hứa rằng -100 \ le x \ …

11 linear-programming  integer-programming 

Theo tôi hiểu, bài toán gán là trong P vì thuật toán Hungary có thể giải nó trong thời gian đa thức - O (n 3 ). Tôi cũng hiểu rằng vấn đề gán là một vấn đề lập trình tuyến tính số nguyên , nhưng trang Wikipedia nói rằng …

10 complexity-theory  complexity-classes  linear-programming  integer-programming 

Cho một chương trình số nguyên (nhị phân) có dạng: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} Lưu ý rằng kích thước của không …

9 complexity-theory  np-complete  approximation  integer-programming 

Giả sử là một biến boolean trong một chương trình ILP (có nghĩa là , st 0 <= y <= 1 ) và x_1 , x_2 được bao bọc nguyên biến giữa 0 và M . Tôi muốn mã hóa các ràng buộc mức cao sau đây:y ∈ Z 0 …

8 integer-programming 

Được nnn biến boolean x1,…,xnx1,…,xnx_1,\ldots,x_n mỗi trong số đó được chỉ định một chi phí tích cực c1,…,cn∈Z&gt;0c1,…,cn∈Z&gt;0c_1,\ldots,c_n\in\mathbb{Z}_{>0} và một hàm boolean fff trên các biến được đưa ra trong mẫu 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 biểu thị XOR) với k∈Z&gt;0k∈Z&gt;0k\in\mathbb{Z}_{>0}, số nguyên 1≤li≤n1≤li≤n1\leq l_i\leq n và 1≤ri1&lt;⋯&lt;rili≤n1≤ri1&lt;⋯&lt;rili≤n1\leq r_{i1}<\cdots<r_{il_i}\leq n cho tất cả …

7 optimization  np-hard  satisfiability  integer-programming  xor