«integer-programming» 태그된 질문

부울 값을 나타내는 일부 변수 가있는 정수 선형 프로그램 (ILP)이 있습니다. 의 정수가되도록 길게하도록 제한되는 0 또는 1 ( ).x i 0 ≤ x i ≤ 1xixix_ixixix_i0≤xi≤10≤xi≤10 \le x_i \le 1 선형 제약 조건을 사용하여 이러한 0/1 값 변수에 대해 부울 연산을 표현하고 싶습니다. 어떻게해야합니까? 보다 구체적으로, (부울 AND), (부울 …

58 linear-programming  integer-programming 

있다 쓰레기통과 공의 유형. 번째 빈 라벨 갖는다 에 대해 ,이 타입의 볼의 예상 번호 .nnnmmmiiiai,jai,ja_{i,j}1≤j≤m1≤j≤m1\leq j\leq mjjj 유형의 볼로 시작 합니다. 유형의 각 볼 은 가중치 를 가지며 bin 가 가중치 볼을 빈에 . 이전 상태를 유지하는 볼의 분포를 실현 가능한 솔루션이라고합니다.bjbjb_jjjjjjjwjwjw_jiiicicic_i bin 유형의 공이 있는 실행 가능한 솔루션을 …

33 complexity-theory  np-hard  integer-programming 

나는 BIG-의 측면에서, 가장 잘 알려진 알고리즘 무엇인가 궁금하네요 정수 선형 계획법을 해결하기 위해, 표기?영형영형O 나는 문제가 완전 하다는 것을 알고 있으므로 다항식을 기대하지 않습니다. 그리고 CPLEX와 같은 실제 응용 프로그램에 사용되는 휴리스틱이 많이 있지만 정확한 알고리즘의 공식적인 최악의 복잡성에 더 관심이 있습니다.엔피엔피NP 일부 - 완전한 문제는 시간의 알고리즘이 및 …

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

따라서 알려진 바와 같이 ILP의 0-1 결정 문제는 NP- 완료입니다. NP로 표시하는 것은 쉽지만 원래 감소는 SAT에서 나왔습니다. 그 이후로, 많은 다른 NP-Complete 문제는 ILP 공식화 (그러한 문제에서 ILP 로의 감소로 기능 함)를 갖는 것으로 나타났습니다. 왜냐하면 ILP는 매우 유용하기 때문입니다. 인하 에서 ILP는 더 힘들어 자신을하거나 추적 중 하나에 …

14 np-complete  reductions  satisfiability  integer-programming 

세트 A≜{1,…,k}A≜{1,…,k}A\triangleq\{1,\ldots,k\} , 정수 s⩽ks⩽ks\leqslant k 및 음이 아닌 정수 aijaija_{ij} 됩니다. 내 문제는 찾을 수 있습니다 sss 분리 된 부분 집합 SjSjS_j 의 {1,…,k}{1,…,k}\{1,\ldots,k\} 하도록 : ⋃sj=1Sj=A⋃j=1sSj=A\bigcup_{j=1}^s S_j=A ; 과 |Sj|⩽aij|Sj|⩽aij|S_j|\leqslant a_{ij}모든 i∈Sji∈Sji\in S_j 및 j = 1, \ ldots, s에 대해 | S_j | \ leqslant a_ {ij}j=1,…,sj=1,…,sj=1,\ldots,s …

11 complexity-theory  integer-programming 

정수 선형 프로그램에서 다음 제약 조건을 표현하고 싶습니다. 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} 나는 이미 정수 변수 있으며 약속합니다 . 정수 선형 프로그래밍 솔버와 함께 사용하기에 적합한 형식으로 위의 제약 조건을 어떻게 표현할 수 있습니까?x,yx,yx,y−100≤x≤100−100≤엑스≤100-100 \le x \le …

11 linear-programming  integer-programming 

내가 알기 로, 헝가리어 알고리즘이 다항식 시간-O (n 3 )으로 해결할 수 있기 때문에 할당 문제 는 P에 있습니다 . 또한 할당 문제는 정수 선형 프로그래밍 문제이지만 Wikipedia 페이지에 이것이 NP-Hard라고 표시되어 있습니다. 나에게 이것은 할당 문제가 NP-Hard에 있음을 의미합니다. 그러나 할당 문제는 P와 NP-Hard 모두에있을 수 없습니다. 그렇지 않으면 …

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

다음 과 같은 형식 의 (이진) 정수 프로그램이 제공됩니다.0 , 10,10,1 분성에프( x )A x = b엑스나는≥ 0엑스나는∈ { 0 , 1 }∀ 나는∀ 나는분에프(엑스)성ㅏ엑스=비엑스나는≥0∀나는엑스나는∈{0,1}∀나는 \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\} …

9 complexity-theory  np-complete  approximation  integer-programming