1/19 Minimizing weighted completion time with precedence constraints Nikhil Bansal (IBM) Subhash...
-
Upload
jeffry-greer -
Category
Documents
-
view
222 -
download
0
Transcript of 1/19 Minimizing weighted completion time with precedence constraints Nikhil Bansal (IBM) Subhash...
1/19
Minimizing weighted completion time with precedence constraints
Nikhil Bansal (IBM)
Subhash Khot (NYU)
2/19
The Problem
Given n jobs, arbitrary weights and sizes (job j: wt. wj, size pj)Precedence constraints: DAG (edge (i,j) implies j cannot started before i finishes)
Goal: Schedule jobs to minimize weighted completion time.
Precedence Graph
A valid schedule
3/19
Some previous work
Strongly NP-Hard (Lawler 78, Lenstra-Kan 78) Several 2 approximations
Potts linear ordering formulation Completion time Formation Time indexed Formulation
Sidney’s decomposition Special case of vertex cover problem
< 2 approximations for special cases of precedence graphs [Ambuhl et al 07, Papadimitriou-Yannakakis 79, Woeginger 03, …]
Various Researchers
4/19
Hardness
[Ambuhl-Mastrolilli-Svensson 07]Thm 1: No (1+ approximation, for some >0 (assuming SAT cannot be solved in sub-exponential time)
Thm 2: General vertex Cover ! Scheduling InstanceObjective function = Fixed cost + Vertex Cover cost.
Current vertex cover hardness: 1.36 [Dinur-Safra 02], (2- assuming Unique Games Conjecture (UGC) [Khot-Regev 03]
In Thm2 proof instance, Fixed cost >> Vertex Cover cost. Fixed cost comes from precedence constraints.(If hard instances always have large fixed cost, implies <2
approx.)
5/19
Our resultsThm: Assuming a variant of UGC, it is NP-Hard to
obtain 2- approximation for any > 0.
Key idea: New dictatorship test
Implies a PCP with 1 free bit assuming UGC.
Implies VC hard to approximate within 2- even if
Independent Independent(1/2-) n (1/2-) n
Equivalently, hard to find independent set of size n even if graph has two disjoint independent sets of size (½-) n
7/19
Unique Games Problem
Unique games: Equations mod p, with two terms.12 x1 + 7 x2 = 43 (mod p)3 x1 + 5 x2 = 11 (mod p)…..7 x1 + 4 x2 = 15 (mod p)
If there is a valid solution, can find it by Gaussian elimination.(or just propagation).
But what if, say, 99% equations are satisfiable?Can we find an assignment that satisfies even 1% of them?
Current algorithms do not preclude this (provided p large enough).
8/19
Unique Games Conjecture
Conjecture (Khot 02): For any , >0, there is a UG instance, such that it is NP-hard to distinguish if at least 1- fraction of equations are satisfiable, or at most fraction are satisfiable.
Extremely successful at showing (tight) new hardness results.Max-Cut .878 Hardness (KKMO), .94 assuming P NPVertex Cover 2 (KR 03), 1.36 assuming P PNon-constant hardness for multi-cut, sparsest cut…
9/19
Unique Games Conjecture
Conjecture (Khot 02): For any , >0, there is a UG instance, such that it is NP-hard to distinguish if at least 1- fraction of equations are satisfiable, or at most fraction are satisfiable.
Powerful, but also use is quite general and simple.
Very Roughly, reduces proving hardness to constructing a type
of “integrality gap” instance on boolean hypercube.
10/19
Power of UGC
1. Can you cast problem as 0-1 labeling problem?
2. Create your problem instance on hypercube where:a. Any dictatorship labeling is good.
b. Any labeling “far from dictator” bad. (think random labeling)
0,0,0 0,0,1
1,0,11,0,0
1,1,11,1,0
0,1,10,1,0
Vertices are x = (x1,x2,x3) 2 {0,1}3
Labeling: f ! {0,1}3 ! {0,1}
Dictator (co-ordinate) labeling:f(x) = xi
Gap instance (usually) implies hardness of same value
x1
x3
x2
0
0
0
0
1
11
1
12/19
1|prec| wj Cj: Simpler instance
Bipartite Instances:
Thm (Woeginger): Bipartite instances are
as hard to approximate as general problem
Set system: (elements, sets)Set is completed when all its elements are scheduled
Problem: Order elements, to minimize avg. completion time of sets
Size=1Wt =0
Size=0Wt =1
13/19
Good and bad instances
Good ordering:
Bad ordering:
Set completion times: “almost” uniformly distributedAverage completion time ¼ n/2
Our Thm: There are instances, s.t. cannot (efficiently) determine 1. If there is some good ordering. 2. Or, if every ordering is bad.
Canonical example: n elements, Sets: all sets of size k = 1/2
Easy claim: In any ordering, most sets complete at time > n(1- )
elements
set completions
14/19
Set system (gadget) construction
Elements: vertices of a d dim. boolean hypercube
(d is large constant)
Vertex = (x1,x2,…,xd) each xi 2 {0,1}
Sets = d dimensional subcubes.
Subcube = ( x1,*,x3,*,…,xd)
One dimensional subcube = edge (line)
Two dimensional subcube = faces (square)
0,0,0 0,0,1
1,0,11,0,0
1,1,11,1,0
0,1,10,1,0
15/19
Mapping to 0-1 problem
Schedule = Assign labels 1,…,2d to elements of hypercube.Completion time of a set (subcube) = max label of elements in it.
Suppose only care about whether an element placed in first half or second half (0-1 labeling)
(Note: For 2- hardness we actually, need O(1/) buckets)
A subcube has high completion time if some element in it labeled 1.
Goal: Good case: About half subcubes consist only of 0’s. Bad case : Almost all subcubes have 1 in them.
0 1
16/19
Dictatorship test & Result
Any Dictatorship function: f(x1,…,xd) = xi
Main observation:1. Half points 0, half are 12. A random subcube on d co-ordinates is mono-chromatic with probability 1-
Thm (non-trivial): Given any 0-1 labelling of hypercube, if Pr[ random sub-cube is all 0] > , then “close” to a dictator. (labeling must have some non-zero fraction of 1’s.) (Close to a dictator: Some variable with large low degree influence.)
Corollary: If “far” from dictator, then most sub-cubes contain a 1.
0
0
0
0
1
11
1
17/19
Dictatorship test to Hardness
UG: n variables, m equations mod p. Graph view: n vertices, m edges.Need to choose 1 out of p labels for each vertex .
Replace each vertex by hypercube on p co-ordinates.Label corresponds to dictatorship in that co-ordinate.Uniqueness property allows to map dictatorship test within a
hypercube, to across hypercubes.
Our Variant:1. Mild expansion property. To force enough hypercubes to take both 0’s and 1’s.(usually need for all ordering type problems).
2. In good case, most vertices have all adjacent constraints true.(like in vertex cover [Khot Regev 03] )
18/19
Open Problems
1. Show hardness of 2-, assuming P NP (will already imply vertex cover is factor 2 hard) (currently, we cannot rule out a PTAS, assuming P NP)
2. Is our UG variant equivalent to (standard) UGC.
3. Other applications of our instance? Parallel machine case?
4. Use UGC for other outstanding scheduling problems.
20/19
Our Variant of UG instance
1. In good case, there is subset of 1-\eps fraction of variables, s.t. all equations involving them are satisfied.
2. UG graph has (mild) expansion properties For all S, s.t. |S| = \delta |V|, |N(S)| \geq (1-\delta) |V|
With either just 1. or just 2. can show equivalent to UGC, but not clear if this variant is equivalent also.
Need expansion to ensure that a non-trivial fraction of hypercubes have non-trivial fraction of both 0’s and 1’s.
21/19
Other implications
Free bit complexity of a probabilistically checkable proof (PCP) = Log2 (accepting answers)
(can query arbitrarily many bits)Example: Hastad’s test f(x)+f(y)+f(z)=0
Bellare, Goldreich, Sudan: PCP with 0-free bits, completeness c, soundness s is equivalent to (1-s)/(1-c)
Our test: Choose random sub-cube. Query all locations, accept if mono-chromatic.
Assuming UGC, this gives a PCP with completeness 1-, soundness , Free bit =1