L ECTURE 28: T ASK A LLOCATION 2 T EACHER : G IANNI A. D I C ARO - - PowerPoint PPT Presentation
L ECTURE 28: T ASK A LLOCATION 2 T EACHER : G IANNI A. D I C ARO - - PowerPoint PPT Presentation
15-382 C OLLECTIVE I NTELLIGENCE S19 L ECTURE 28: T ASK A LLOCATION 2 T EACHER : G IANNI A. D I C ARO MT-SR-TA: VRP Robots can work in || on multiple tasks and have a time-extended schedule of tasks (quite uncommon in current MR literature)
MT-SR-TA: VRP
2
NP NP-ha hard! d!
Vehicle rou
- uting
g prob
- blems with capacity constraints and pick-up and delivery
fall in this category: § Multiple vehicles transporting multiple items (goods, people,…) and picking up items along the way § Between a pick-up and delivery location the vehicle is dealing with MT § Visiting multiple locations is equivalent to TA
Robots can work in || on multiple tasks and have a time-extended schedule of tasks (quite uncommon in current MR literature)
ST-SR-TA: GENERALIZED ASSIGNMENT
3
§ If dependencies / constraints are included, problem is “more” NP-Hard § If the utility is related to traveling distances the problem falls in the class of mTSP, VRP problems Mul Multi-robot
- bot rout
- uting
ng
15781 Fall 2016: Lecture 13
TRAVELING SALESMAN PROBLEM (TSP)
4
§ How can we compute the paths? à Order of visiting locations / Order performing assigned tasks § Find the minimum cost Hamiltonian tour among n cities / tasks § Find the ordering of minimal path cost in the set {1,2, … , &}
min z =
n
P
i=1 n
P
j=1
dijxij s.t.
n
P
i=1
xij = 1 j = 1, . . . n entering city j once and only once
n
P
j=1
xij = 1 i = 1, . . . n exiting city i once and only once xij ∈ {0, 1}
{Solution is a Hamiltonian tour of n cities }
§ For n = 4, solution: (x13 = x24 = x31 = x42 = 1) and all other xij = 0 is a feasible solution for the Assignment, but not for the TSP since it contains sub-tours (1-3-1) and (2-4-2) § Assignment is a relaxation of the TSP
15781 Fall 2016: Lecture 13
TSP COMPLEXITY
5
DFJ formulation, !(2$) constraints!
min z =
n
P
i=1 n
P
j=1
dijxij s.t.
n
P
i=1
xij = 1 j = 1, . . . n
n
P
j=1
xij = 1 i = 1, . . . n xij ∈ {0, 1}
n
P
i,j∈S
xij ≤ |S| − 1, ∀S ⊂ V, 2 ≤ |S| ≤ n − 1 World TSP, ~2 ' 10* cities
http://www.math.uwaterloo.ca/tsp/world/countries.html
Check the additional slides in the file: tsp-formulations.pdf for a more detailed discussion about different formulations of the Hamiltonian constraints
6
VEHICLE ROUTING PROBLEMS
§ One or more vehicles / agents with limited capacity § Customers / Task can have time windows § … Precedence relationships § … Conflicts § ….
7
(TEAM) ORIENTEERING PROBLEMS
§ Reward col
- llection
- n prob
- blem:
§ Select the sequence of places to visit such that the total reward is maximized and the time/distance budget is not exceeded § Select a subset of places + define the order of visiting them § Start and end points are given
8
(TEAM) ORIENTEERING PROBLEMS
9
SINGLE AGENT ORIENTEERING PROBLEM
Start from 1 and returning in ! Assignment, not all places need a visit Time budget cannot be exceeded MTZ subtour elimination constraints
10
ORIENTEERING PROBLEMS
Age gent(s) à Tas Tasks (subs ubset t + path ath)
15781 Fall 2016: Lecture 13
SET COVERING: FORMULATION
11
§ Are given a set ! of " “activities”, and a set # of $ “requirements” § Each activity !% can “cover” one or more requirements #& with cost '%. § Select a subset of the activities such that all requirements are covered by at least one activity and the total cost is minimized § Duplication
- n admitted: one requirement can be covered by multiple activities
x x x x x x x x x x x x
1 2 3 4 5
R
A 1 2 3 4 5 6
One linear constraint per requirement
§ (% variable corresponds to selection of activity )
§ *&% = 1 if !% covers #&, 0 otherwise
min Z = c1x1 + c2x2 + c3x3 + c4x4 + c5x5 + c6x6 s.t. x1 + x2 + x5 > 1 x1 + x3 > 1 x2 + x4 > 1 x3 + x6 > 1 x2 + x3 + x6 > 1 x1, x2, x3, x4, x5 x6 ∈ {0, 1}
15781 Fall 2016: Lecture 13
SET COVERING AND TASK ALLOCATION
12
§ Age gents à Tas Tasks § Do
- all tasks at the minimum cos
- st selecting
g from
- m the age
gent set § Agents do not interfere (neither conflict nor collaborate), multiple agents can be on the same task (no advantage, just extra costs) § Personnel / Turns à Routes (trains, buses, flights) § Personnel à Services (turns at hospitals/factories, cleaning areas) § Routes / Agents à Customers (trucks going through distribution centers, pick-up and delivery tasks) § Installation (plants, antennas, emergency hydrants) à Services
15781 Fall 2016: Lecture 13
SET PACKING: FORMULATION
13
§ Are given a set ! of " boxes, and a set # of $ items § Each box !
% can pack one or more items #& each delivering a profit '&
§ Select a subset of the boxes such that a maximal number of items are packed without duplicates and the total profit is maximized § No
- duplicates admitted: the same item can’t go in two different boxes!
B 1 2 3 4 5 I
max Z = p1x1 + p2x2 + p3x3 + p4x4 + p5x5 s.t. x1 + x2 6 1 x1 + x3 + x5 6 1 x2 + x4 + x5 6 1 x3 6 1 x1 6 1 x4 + x5 6 1 x1, x2, x3, x4, x5 ∈ {0, 1}
15781 Fall 2016: Lecture 13
SET PACKING AND TASK ALLOCATION
14
§ Age gents à Tas Tasks § Do
- as
as man any y tas tasks as pos
- ssible in or
- rder to
- maximize prof
- fit selecting
g with no
- v
- verlapping
g from
- m the age
gent set § Agents do interfere / conflict: only one agent can be on a task at a time § Plants (e.g., incinerator) à Cities § SAR Agents (e.g., dogs) à Places to search § Boxes (e.g., relocating) à Objects
15781 Fall 2016: Lecture 13
SET PARTITIONING: FORMULATION
15
§ Are given a set ! of " boxes, and a set # of $ items § Each box !
% can pack one or more items #& delivering a profit/cost '&
§ Select a subset of the boxes such that the whole item set is partitioned (in the boxes) and total profit is maximized (or, total cost is minimized) § No
- duplicates admitted: the same item can’t go in two different boxes!
1 2 3 4 5 6 B I
min Z = d1x1 + d2x2 + d3x3 + d4x4 + d5x5 + d6x6 s.t. x1 + x2 + x5 = 1 x1 + x3 = 1 x2 + x4 = 1 x3 + x6 = 1 x2 + x3 + x6 = 1 x1, x2, x3, x4, x5 x6 ∈ {0, 1}
15781 Fall 2016: Lecture 13
SET PARTITIONING AND TASK ALLOCATION
16
§ Age gents à Tas Tasks § Do
- al
all tas tasks and maximize prof
- fit (minimize cos
- sts) selecting
g with no
- v
- verlapping
g from
- m the age
gent se set § As in Set packing / Set covering but more strict (e.g., personnel can’t travel as passengers on a route to cover) § People at an event (some people can’t be together!) à Tables / rooms / buses
15781 Fall 2016: Lecture 13
VEHICLE ROUTING: SET PARTITIONING MODEL
17
§ A set of
- f custom
- mers /
/ tasks to
- service: represented on a Euclidean graph
§ Each client ! must be visited once and only once § Each client has associated a service demand "# § Each agent / vehicle has a maximum capacity $ (to deliver services) § Total length (time) of a closed path %&'() → !+ → !, → … !. → %&'() cannot exceed a max value (e.g., energy, fuel, sleep, …) § Goa
- al: Select the capacity-length feasible paths that service all customers at
the minimum cost (no interfering paths, since client can’t be visited twice)
15781 Fall 2016: Lecture 13
VEHICLE ROUTING: SET PARTITIONING MODEL
18
§ Th The set t ! of
- f all paths feasible (for
- r capacity, lengt
gth, …) is gi given § Th The cos
- st "# if
if e each pa path th # ∈ ! is is al also gi given (com
- mputed)
§ % = number of tasks / customers § ' = number of available vehicles / agents (max number of paths) § ()* = 1 if customer (node) , is included in path -, 0 otherwise § ,* = cost of path - § /* = 1 if path - is selected in the solution, 0 otherwise
19
TASK ALLOCATION: SELECT AND ORDER
§ Selecting subsets of agents to cover all or a selection of the tasks § Finding an order on, sequencing the set of tasks assigned to each agents / group of agents § Joint problem: Selecting a subsets of agents/tasks AND finding an order on the selected agents/tasks § Set (cover, partition, packing), Routing (TSP, VRP, TOP), Scheduling (including time) optimization formulations are models
- f task allocation and task sequencing
§ E.g., for moving between given tasks, for respecting priorities, for respecting time constraints, ….
ST-MR-IA: SET PARTITIONING - COALITION FORMATION
20
§ Model of the problem of dividing (partitioning) the set of robots into non-overlapping sub-teams (coalitions) to perform the given tasks instantaneously assigned § This problem is mathematically equivalent to set partition
- ning
g prob
- blem
Cover (Partition) the elements in ! (Robots) using the elements in "# (feasible coalition-task pairs) without duplicates (overlapping), and at the min cost / max utility
x x x x x x x x x x x x
1 2 3 4 5
S
"# !
MT-MR-IA: SET COVERING - COALITION FORMATION
21
§ Model of the problem of dividing (partitioning) the set of robots into sub- teams (coalitions) to perform the given tasks instantaneously assigned § Overlap is admitted to model MT, a robot can be in multiple coalitions § This problem is mathematically equivalent to set cov
- vering
g prob
- blem
Cover (Partition) the elements in ! (Robots) using the elements in "# (feasible coalition-task pairs) admitting duplicates (overlapping) and at the min cost / max utility
"#
x x x x x x x x x x x x
1 2 3 4 5
R
!
OTHER CASES
22
§ ST-MR-TA: Involves both coalition formation and scheduling, and it’s mathematically equivalent to MT-SR-TA § MT-MR-TA: Scheduling problem with multiprocessor tasks and multipurpose machines (quite complex) § Mode Modeling ng of
- f de
depe pende ndenc ncies? → G. Ayorkor Korsah, Anthony Stentz, and
- M. Bernardine Dias. 2013. A comprehensive taxonomy for multi-robot task
- allocation. Int. J. Rob. Res. 32, 12 (October 2013), 1495-1512.