This notebook looks at an assignment problem posed on OR Stack Exchange. We keep the same notation used in the post where possible. The problem involves assigning users to providers (“service points” in the original question – “users” and “service points” was subsequently edited out) subject to upper bounds on how many users a provider handles and how many service providers a user gets, along with a requirement that every user be served by at least one provider. The author of the question provided the following integer programming formulation: \[\begin{align*}
\max_{d_{u,c}} & \sum_{u=1}^{U}\sum_{c=1}^{C}\omega_{u,c}d_{u,c}\\
\text{s.t. } & \sum_{c=1}^{C}d_{u,c}\le C_{\max}\ \forall u\in\left\{ 1,\dots,U\right\} \\
& \sum_{c=1}^{C}d_{u,c}\ge1\ \forall u\in\left\{ 1,\dots,U\right\} \\
& \sum_{u=1}^{U}d_{u,c}\le U_{\max}\ \forall c\in\left\{ 1,\dots,C\right\} \\
& d_{u,c}\in\left\{ 0,1\right\} \ \forall u,c.
\end{align*}\]Everything other than \(d_{u,c}\) is a parameter, and I have replaced specific numeric limits with parameters \(U_\max\) (maximum number of users a provider can take) and \(C_\max\) (maximum number of providers a user can take).
An answer posted on OR SE asserted that the constraint matrix has the “integrality property”, which means that the LP relaxation of the problem produces an integer solution. I do not have a proof for that, but in experiments the assertion appears to hold up. In this notebook, we will experiment with solving the problem via Lagrangean relaxation (LR). This is feasible only because the TUM property means that there is no duality gap, so the LR optimum should coincide with the optimum of the original problem.
In preparation we load several libraries.
library(magrittr)
# Libraries used to find the optimal solution via LP.
library(ompr)
Registered S3 method overwritten by 'data.table':
method from
print.data.table
library(ompr.roi)
library(ROI)
ROI: R Optimization Infrastructure
Registered solver plugins: nlminb, cplex.
Default solver: auto.
library(ROI.plugin.cplex)
# Library used to find the LR solution via gradient-free optimization.
library(dfoptim)
Problem
We need to create a problem instance. First we set the problem dimensions.
U <- 10 # number of users
C <- 5 # number of providers
Umax <- 4 # maximum number of users any provider can serve
Cmax <- 3 # maximum number of providers that can serve any one user
Note that the maximum number of possible assignments is \(N = \min(U * C_\max, C * U_\max)\). If you experiment with larger problem sizes (larger U
and C
), be sure to adjust Umax
so that Umax * C >= U
.
cat ("Maximum number of assignments = ", min(U * Cmax, C * Umax), "\n")
Maximum number of assignments = 20
Next, we set a random seed and then randomly generate service quality coefficients (\(\omega\)).
set.seed(20210214)
omega <- matrix(runif(U * C), nrow = U, ncol = C)
We will also create a function that takes as input a matrix of assignments (users on rows, providers on columns), calculates the correct objective value, and confirms that the solution is feasible.
report <- function(x) {
# Calculate the objective value.
cat("Objective value = ", sum(omega * x), "\n")
# Confirm constraint satisfaction.
rsums <- apply(x, 1, sum)
csums <- apply(x, 2, sum)
cat("Minimum # of providers for any user = ", min(rsums), "\n")
cat("Maximum # of providers for any user = ", max(rsums), " (limit = ", Cmax, ")\n")
cat("Maximum # of users for any provider = ", max(csums), " (limit = ", Umax, ")\n")
cat("Total number of assignments made = ", sum(x), "\n")
}
Optimal Solution
To find the optimal assignments, we solve the LP relaxation of the binary integer program specified in the post, relying on the integrality property of the constraint matrix to get a binary solution.
model <-
MIPModel() %>%
add_variable(d[u, c], u=1:U, c=1:C, type = "continuous", lb = 0, ub = 1) %>%
set_objective(sum_expr(omega[u, c] * d[u, c], u = 1:U, c = 1:C)) %>%
add_constraint(sum_expr(d[u, c], c = 1:C) <= Cmax, u = 1:U) %>%
add_constraint(sum_expr(d[u, c], c = 1:C) >= 1, u = 1:U) %>%
add_constraint(sum_expr(d[u, c], u = 1:U) <= Umax, c = 1:C)
system.time(
opt.sol <- model %>% solve_model(with_ROI(solver = "cplex"))
)
CPLEX environment opened
Closed CPLEX environment
user system elapsed
0.128 0.011 0.330
cat("Final solver status = ", opt.sol$status, "\n")
Final solver status = optimal
report(matrix(opt.sol$solution, nrow = U, ncol = C, byrow = FALSE))
Objective value = 15.03994
Minimum # of providers for any user = 1
Maximum # of providers for any user = 3 (limit = 3 )
Maximum # of users for any provider = 4 (limit = 4 )
Total number of assignments made = 20
Lagrangean Relaxation
To use Lagrangean relaxation, we treat \(d\) as binary and relax all the constraints, obtaining the following problem: \[\min_{\lambda,\mu,\nu\ge0}LR(\lambda,\mu,\nu)=\\\max_{d\in\left\{ 0,1\right\} ^{U\times C}}\left(\sum_{u}\sum_{c}\omega_{u,c}d_{u,c}-\sum_{u}\lambda_{u}\left[\sum_{c}d_{u,c}-C_{\max}\right]\\+\sum_{u}\mu_{u}\left[\sum_{c}d_{u,c}-1\right]-\sum_{c}\nu_{c}\left[\sum_{u}d_{u,c}-U_{\max}\right]\right)\]where \(\lambda\), \(\mu\) and \(\nu\) are duals of the upper limit on assignments to users, the lower limit on assignments to users, and the upper limit on assignments to providers respectively. (We reverse the lower limit constraints so that all multipliers are nonnegative, for convenience.) The inner maximization can be simplified somewhat to \[\min_{\lambda,\mu,\nu\ge0}LR(\lambda,\mu,\nu)=\\\max_{d\in\left\{ 0,1\right\} ^{U\times C}}\left(\sum_{u}\sum_{c}\left[\omega_{u,c}-\lambda_{u}+\mu_{u}-\nu_{c}\right]d_{u,c}\\+C_{\max}\sum\lambda_{u}-\sum_{u}\mu_{u}+U_{\max}\sum_{c}\nu_{c}\right).\]The solution to the inner problem is trivial: \(d_{u,c}=1\) if \(\omega_{u,c}-\lambda_{u}+\mu_{u}-\nu_{c}>0\), 0 otherwise. (The value of \(d_{u,c}\) when the coefficient is zero is arbitrary, but we can assume 0 for simplicity.) So the value of the function \(LR(\lambda, \mu, \nu)\) is simply \[LR(\lambda,\mu,\nu)=\sum_{u}\sum_{c}\left(\omega_{u,c}-\lambda_{u}+\mu_{u}-\nu_{c}\right)^{+}\\+C_{\max}\sum\lambda_{u}-\sum_{u}\mu_{u}+U_{\max}\sum_{c}\nu_{c}.\] The function is piecewise-linear.
To test Lagrangean relaxation, we first define the \(LR\) function as above. To use it with the optim()
function from the stats
library, we need it to be a function of a single vector variable, so we concatenate the multipliers into a vector \((\lambda, \mu, \nu)\).
LR <- function(duals) {
# Split the input vector in lambda, mu and nu.
lambda <- duals[1:U]
mu <- duals[(U + 1):(2 * U)]
nu <- duals[(2 * U + 1):(2 * U + C)]
# Calculate the coefficient matrix for d in the inner optimization.
rc <- t(t(omega - lambda + mu) - nu)
# Sum only the positive coefficients (d will be 1 if the coefficient is positive, 0 if negative), add the other terms and return the value.
sum(pmax(rc, 0)) + Cmax * sum(lambda) - sum(mu) + Umax * sum(nu)
}
We will also need a function that splits apart a dual vector and computes the corresponding assignment matrix. The following function computes the coefficient matrix \(R\) for \(d\), where \[R_{u,v} = \omega_{u,c}-\lambda_{u}+\mu_{u}-\nu_{c},\] and then sets \(d_{u,v} = 1\) if and only if \(r_{u,c} > 0\). This should work when \(R\) contains no zeros (or components within rounding error of zero). More generally, we might need to look at zero components and make decisions about whether \(d\) should be 0 or 1 based on satisfaction of the constraints.
amatrix <- function(duals) {
# Split up the multiplier vector.
lambda <- duals[1:U]
mu <- duals[(U + 1):(2 * U)]
nu <- duals[(2 * U + 1):(2 * U + C)]
# Compute the coefficient matrix for d.
r <- t(t(omega - lambda + mu) - nu)
# We set set d = 1 only if rc > 0.
a <- matrix(0, nrow = U, ncol = C)
a[which(r > 0, arr.ind = TRUE)] <- 1
return(a)
}
Now we can try to optimize it. If you experiment with larger problem instances, you may need to alter default iteration limits or other parameters for the various methods below.
Derivative-based optimization
We need to impose a lower bound of zero on the variables, and optim()
only supports that for the L- BFGS-B quasi-Newton method. Since the LR function is only piecewise differentiable, we let optim()
approximate gradients by finite difference. We use (1, …, 1) as a starting solution.
# Run the search.
system.time(
bfgs.sol <- optim(rep.int(1, 2 * U + C), LR, method = "L-BFGS-B", lower = 0)
)
user system elapsed
0.091 0.000 0.111
# Print the final objective value.
cat("The Lagrangean objective value = ", bfgs.sol$value, "\n")
The Lagrangean objective value = 15.03994
# Extract and report on the assignment matrix.
report(amatrix(bfgs.sol$par))
Objective value = 15.03994
Minimum # of providers for any user = 1
Maximum # of providers for any user = 3 (limit = 3 )
Maximum # of users for any provider = 4 (limit = 4 )
Total number of assignments made = 20
The BFGS solution objective value matches the LP objective value, and all constraints are satisfied. Experiments with larger problem dimensions, however, have resulted in BFGS terminating with a suboptimal solution to the outer problem (and an infeasible solution to the inner problem).
Derivative-free optimization
We can also use a derivative-free method for optimizing LR (which would avoid any potential issues with LR not being continuously differentiable). We first try the Nelder-Mead “simplex” method (with lower bounds of 0 for the multipliers) as implemented in the dfoptim
package. As before, we use (1, …, 1) as a starting solution.
system.time(
nm.sol <- nmkb(rep.int(1, 2 * U + C), LR, lower = 0)
)
user system elapsed
0.249 0.000 0.258
# Print the final objective value.
cat("Nelder-Mead reports an objective value of ", nm.sol$value, "\n")
Nelder-Mead reports an objective value of 16.96005
# Extract and report on the assignment matrix.
report(amatrix(nm.sol$par))
Objective value = 16.96005
Minimum # of providers for any user = 1
Maximum # of providers for any user = 3 (limit = 3 )
Maximum # of users for any provider = 10 (limit = 4 )
Total number of assignments made = 26
Nelder-Mead did not do well. We can retry it using the solution from the derivative-based BFGS method with some added noise as a starting point. Since Nelder-Mead needs strictly positive starting values and the BFGS solution might have some duals within rounding error of zero, we adjust any tiny duals upward before running Nelder-Mead.
# Get the BFGS solution and tweak any values too close to zero.
init <- pmax(bfgs.sol$par + runif(2 * U + C, -0.1, 0.1), 1e-6)
# Retry Nelder-Mead.
system.time(
nm.sol <- nmkb(init, LR, lower = 0)
)
user system elapsed
0.503 0.000 0.506
rm(init)
# Print the final objective value.
cat("Nelder-Mead reports an objective value of ", nm.sol$value, "\n")
Nelder-Mead reports an objective value of 15.04775
# Extract and report on the assignment matrix.
report(amatrix(nm.sol$par))
Objective value = 15.03994
Minimum # of providers for any user = 1
Maximum # of providers for any user = 3 (limit = 3 )
Maximum # of users for any provider = 4 (limit = 4 )
Total number of assignments made = 20
So Nelder-Mead may work (or at least get close) if started near the optimum, but does not seem very robust. Also, if you try larger problem instances, you may see a a warning message that “Nelder-Mead should not be used for high-dimensional optimization”.
Another method to try is the Hooke-Jeeves algorithm. We will again start the search from (1, …, 1).
system.time(
hj.sol <- hjkb(rep.int(1, 2 * U + C), LR, lower = 0)
)
user system elapsed
0.037 0.000 0.038
# Print the final objective value.
cat("Hooke-Jeeves reports an objective value of ", hj.sol$value, "\n")
Hooke-Jeeves reports an objective value of 15.03994
# Extract and report on the assignment matrix.
report(amatrix(hj.sol$par))
Objective value = 15.03994
Minimum # of providers for any user = 1
Maximum # of providers for any user = 3 (limit = 3 )
Maximum # of users for any provider = 4 (limit = 4 )
Total number of assignments made = 20
The Hooke-Jeeves solution matches the LP objective value with no constraint violations, so at least on this problem it seems to be preferable to Nelder-Mead. It also matched the LP solution on larger instances that were tested.
LS0tCnRpdGxlOiAiQmluYXJ5IEFzc2lnbm1lbnQgUHJvYmxlbSIKYXV0aG9yOiBQYXVsIEEuIFJ1YmluCmRhdGU6IDE1IEZlYnJ1YXJ5IDIwMjEKb3V0cHV0OiBodG1sX25vdGVib29rCi0tLQoKVGhpcyBub3RlYm9vayBsb29rcyBhdCBhbiBhc3NpZ25tZW50IHByb2JsZW0gcG9zZWQgb24gW09SIFN0YWNrIEV4Y2hhbmdlXShodHRwczovL29yLnN0YWNrZXhjaGFuZ2UuY29tL3F1ZXN0aW9ucy81Njk4L2hvdy1jYW4taS1maW5kLXRoZS1vcHRpbWFsLWFzc2lnbm1lbnRzLWZvci10aGlzLW1pbHAtcHJvYmxlbS1oZXVyaXN0aWNhbGx5KS4gV2Uga2VlcCB0aGUgc2FtZSBub3RhdGlvbiB1c2VkIGluIHRoZSBwb3N0IHdoZXJlIHBvc3NpYmxlLiBUaGUgcHJvYmxlbSBpbnZvbHZlcyBhc3NpZ25pbmcgdXNlcnMgdG8gcHJvdmlkZXJzICgic2VydmljZSBwb2ludHMiIGluIHRoZSBvcmlnaW5hbCBxdWVzdGlvbiAtLSAidXNlcnMiIGFuZCAic2VydmljZSBwb2ludHMiIHdhcyBzdWJzZXF1ZW50bHkgZWRpdGVkIG91dCkgc3ViamVjdCB0byB1cHBlciBib3VuZHMgb24gaG93IG1hbnkgdXNlcnMgYSBwcm92aWRlciBoYW5kbGVzIGFuZCBob3cgbWFueSBzZXJ2aWNlIHByb3ZpZGVycyBhIHVzZXIgZ2V0cywgYWxvbmcgd2l0aCBhIHJlcXVpcmVtZW50IHRoYXQgZXZlcnkgdXNlciBiZSBzZXJ2ZWQgYnkgYXQgbGVhc3Qgb25lIHByb3ZpZGVyLiBUaGUgYXV0aG9yIG9mIHRoZSBxdWVzdGlvbiBwcm92aWRlZCB0aGUgZm9sbG93aW5nIGludGVnZXIgcHJvZ3JhbW1pbmcgZm9ybXVsYXRpb246ICQkXGJlZ2lue2FsaWduKn0KXG1heF97ZF97dSxjfX0gJiBcc3VtX3t1PTF9XntVfVxzdW1fe2M9MX1ee0N9XG9tZWdhX3t1LGN9ZF97dSxjfVxcClx0ZXh0e3MudC4gfSAmIFxzdW1fe2M9MX1ee0N9ZF97dSxjfVxsZSBDX3tcbWF4fVwgXGZvcmFsbCB1XGluXGxlZnRceyAxLFxkb3RzLFVccmlnaHRcfSBcXAogJiBcc3VtX3tjPTF9XntDfWRfe3UsY31cZ2UxXCBcZm9yYWxsIHVcaW5cbGVmdFx7IDEsXGRvdHMsVVxyaWdodFx9IFxcCiAmIFxzdW1fe3U9MX1ee1V9ZF97dSxjfVxsZSBVX3tcbWF4fVwgXGZvcmFsbCBjXGluXGxlZnRceyAxLFxkb3RzLENccmlnaHRcfSBcXAogJiBkX3t1LGN9XGluXGxlZnRceyAwLDFccmlnaHRcfSBcIFxmb3JhbGwgdSxjLgpcZW5ke2FsaWduKn0kJEV2ZXJ5dGhpbmcgb3RoZXIgdGhhbiAkZF97dSxjfSQgaXMgYSBwYXJhbWV0ZXIsIGFuZCBJIGhhdmUgcmVwbGFjZWQgc3BlY2lmaWMgbnVtZXJpYyBsaW1pdHMgd2l0aCBwYXJhbWV0ZXJzICRVX1xtYXgkIChtYXhpbXVtIG51bWJlciBvZiB1c2VycyBhIHByb3ZpZGVyIGNhbiB0YWtlKSBhbmQgJENfXG1heCQgKG1heGltdW0gbnVtYmVyIG9mIHByb3ZpZGVycyBhIHVzZXIgY2FuIHRha2UpLgoKQW4gYW5zd2VyIHBvc3RlZCBvbiBPUiBTRSBhc3NlcnRlZCB0aGF0IHRoZSBjb25zdHJhaW50IG1hdHJpeCBoYXMgdGhlICJpbnRlZ3JhbGl0eSBwcm9wZXJ0eSIsIHdoaWNoIG1lYW5zIHRoYXQgdGhlIExQIHJlbGF4YXRpb24gb2YgdGhlIHByb2JsZW0gcHJvZHVjZXMgYW4gaW50ZWdlciBzb2x1dGlvbi4gSSBkbyBub3QgaGF2ZSBhIHByb29mIGZvciB0aGF0LCBidXQgaW4gZXhwZXJpbWVudHMgdGhlIGFzc2VydGlvbiBhcHBlYXJzIHRvIGhvbGQgdXAuIEluIHRoaXMgbm90ZWJvb2ssIHdlIHdpbGwgZXhwZXJpbWVudCB3aXRoIHNvbHZpbmcgdGhlIHByb2JsZW0gdmlhIExhZ3JhbmdlYW4gcmVsYXhhdGlvbiAoTFIpLiBUaGlzIGlzIGZlYXNpYmxlIG9ubHkgYmVjYXVzZSB0aGUgVFVNIHByb3BlcnR5IG1lYW5zIHRoYXQgdGhlcmUgaXMgbm8gZHVhbGl0eSBnYXAsIHNvIHRoZSBMUiBvcHRpbXVtIHNob3VsZCBjb2luY2lkZSB3aXRoIHRoZSBvcHRpbXVtIG9mIHRoZSBvcmlnaW5hbCBwcm9ibGVtLgoKSW4gcHJlcGFyYXRpb24gd2UgbG9hZCBzZXZlcmFsIGxpYnJhcmllcy4KCmBgYHtyfQpsaWJyYXJ5KG1hZ3JpdHRyKQojIExpYnJhcmllcyB1c2VkIHRvIGZpbmQgdGhlIG9wdGltYWwgc29sdXRpb24gdmlhIExQLgpsaWJyYXJ5KG9tcHIpCmxpYnJhcnkob21wci5yb2kpCmxpYnJhcnkoUk9JKQpsaWJyYXJ5KFJPSS5wbHVnaW4uY3BsZXgpCiMgTGlicmFyeSB1c2VkIHRvIGZpbmQgdGhlIExSIHNvbHV0aW9uIHZpYSBncmFkaWVudC1mcmVlIG9wdGltaXphdGlvbi4KbGlicmFyeShkZm9wdGltKQpgYGAKCiMgUHJvYmxlbQoKV2UgbmVlZCB0byBjcmVhdGUgYSBwcm9ibGVtIGluc3RhbmNlLiBGaXJzdCB3ZSBzZXQgdGhlIHByb2JsZW0gZGltZW5zaW9ucy4KCmBgYHtyfQpVIDwtIDEwICAgICMgbnVtYmVyIG9mIHVzZXJzCkMgPC0gNSAgICAgIyBudW1iZXIgb2YgcHJvdmlkZXJzClVtYXggPC0gNCAgIyBtYXhpbXVtIG51bWJlciBvZiB1c2VycyBhbnkgcHJvdmlkZXIgY2FuIHNlcnZlCkNtYXggPC0gMyAgIyBtYXhpbXVtIG51bWJlciBvZiBwcm92aWRlcnMgdGhhdCBjYW4gc2VydmUgYW55IG9uZSB1c2VyCmBgYAoKTm90ZSB0aGF0IHRoZSBtYXhpbXVtIG51bWJlciBvZiBwb3NzaWJsZSBhc3NpZ25tZW50cyBpcyAkTiA9IFxtaW4oVSAqIENfXG1heCwgQyAqIFVfXG1heCkkLiBJZiB5b3UgZXhwZXJpbWVudCB3aXRoIGxhcmdlciBwcm9ibGVtIHNpemVzIChsYXJnZXIgYFVgIGFuZCBgQ2ApLCBiZSBzdXJlIHRvIGFkanVzdCBgVW1heGAgc28gdGhhdCBgVW1heCAqIEMgPj0gVWAuCgpgYGB7cn0KY2F0ICgiTWF4aW11bSBudW1iZXIgb2YgYXNzaWdubWVudHMgPSAiLCBtaW4oVSAqIENtYXgsIEMgKiBVbWF4KSwgIlxuIikKYGBgCgpOZXh0LCB3ZSBzZXQgYSByYW5kb20gc2VlZCBhbmQgdGhlbiByYW5kb21seSBnZW5lcmF0ZSBzZXJ2aWNlIHF1YWxpdHkgY29lZmZpY2llbnRzICgkXG9tZWdhJCkuCgpgYGB7cn0Kc2V0LnNlZWQoMjAyMTAyMTQpCm9tZWdhIDwtIG1hdHJpeChydW5pZihVICogQyksIG5yb3cgPSBVLCBuY29sID0gQykKYGBgCgpXZSB3aWxsIGFsc28gY3JlYXRlIGEgZnVuY3Rpb24gdGhhdCB0YWtlcyBhcyBpbnB1dCBhIG1hdHJpeCBvZiBhc3NpZ25tZW50cyAodXNlcnMgb24gcm93cywgcHJvdmlkZXJzIG9uIGNvbHVtbnMpLCBjYWxjdWxhdGVzIHRoZSBjb3JyZWN0IG9iamVjdGl2ZSB2YWx1ZSwgYW5kIGNvbmZpcm1zIHRoYXQgdGhlIHNvbHV0aW9uIGlzIGZlYXNpYmxlLgoKYGBge3J9CnJlcG9ydCA8LSBmdW5jdGlvbih4KSB7CiAgIyBDYWxjdWxhdGUgdGhlIG9iamVjdGl2ZSB2YWx1ZS4KICBjYXQoIk9iamVjdGl2ZSB2YWx1ZSA9ICIsIHN1bShvbWVnYSAqIHgpLCAiXG4iKQogICMgQ29uZmlybSBjb25zdHJhaW50IHNhdGlzZmFjdGlvbi4KICByc3VtcyA8LSBhcHBseSh4LCAxLCBzdW0pCiAgY3N1bXMgPC0gYXBwbHkoeCwgMiwgc3VtKQogIGNhdCgiTWluaW11bSAjIG9mIHByb3ZpZGVycyBmb3IgYW55IHVzZXIgPSAiLCBtaW4ocnN1bXMpLCAiXG4iKQogIGNhdCgiTWF4aW11bSAjIG9mIHByb3ZpZGVycyBmb3IgYW55IHVzZXIgPSAiLCBtYXgocnN1bXMpLCAiIChsaW1pdCA9ICIsIENtYXgsICIpXG4iKQogIGNhdCgiTWF4aW11bSAjIG9mIHVzZXJzIGZvciBhbnkgcHJvdmlkZXIgPSAiLCBtYXgoY3N1bXMpLCAiIChsaW1pdCA9ICIsIFVtYXgsICIpXG4iKQogIGNhdCgiVG90YWwgbnVtYmVyIG9mIGFzc2lnbm1lbnRzIG1hZGUgPSAiLCBzdW0oeCksICJcbiIpCn0KYGBgCgojIE9wdGltYWwgU29sdXRpb24KClRvIGZpbmQgdGhlIG9wdGltYWwgYXNzaWdubWVudHMsIHdlIHNvbHZlIHRoZSBMUCByZWxheGF0aW9uIG9mIHRoZSBiaW5hcnkgaW50ZWdlciBwcm9ncmFtIHNwZWNpZmllZCBpbiB0aGUgcG9zdCwgcmVseWluZyBvbiB0aGUgaW50ZWdyYWxpdHkgcHJvcGVydHkgb2YgdGhlIGNvbnN0cmFpbnQgbWF0cml4IHRvIGdldCBhIGJpbmFyeSBzb2x1dGlvbi4KCmBgYHtyfQptb2RlbCA8LSAKICBNSVBNb2RlbCgpICU+JQogIGFkZF92YXJpYWJsZShkW3UsIGNdLCB1PTE6VSwgYz0xOkMsIHR5cGUgPSAiY29udGludW91cyIsIGxiID0gMCwgdWIgPSAxKSAlPiUgCiAgc2V0X29iamVjdGl2ZShzdW1fZXhwcihvbWVnYVt1LCBjXSAqIGRbdSwgY10sIHUgPSAxOlUsIGMgPSAxOkMpKSAlPiUgCiAgYWRkX2NvbnN0cmFpbnQoc3VtX2V4cHIoZFt1LCBjXSwgYyA9IDE6QykgPD0gQ21heCwgdSA9IDE6VSkgJT4lIAogIGFkZF9jb25zdHJhaW50KHN1bV9leHByKGRbdSwgY10sIGMgPSAxOkMpID49IDEsIHUgPSAxOlUpICU+JSAKICBhZGRfY29uc3RyYWludChzdW1fZXhwcihkW3UsIGNdLCB1ID0gMTpVKSA8PSBVbWF4LCBjID0gMTpDKQpgYGAKCmBgYHtyfQpzeXN0ZW0udGltZSgKICBvcHQuc29sIDwtIG1vZGVsICU+JSBzb2x2ZV9tb2RlbCh3aXRoX1JPSShzb2x2ZXIgPSAiY3BsZXgiKSkKKQpjYXQoIkZpbmFsIHNvbHZlciBzdGF0dXMgPSAiLCBvcHQuc29sJHN0YXR1cywgIlxuIikKcmVwb3J0KG1hdHJpeChvcHQuc29sJHNvbHV0aW9uLCBucm93ID0gVSwgbmNvbCA9IEMsIGJ5cm93ID0gRkFMU0UpKQpgYGAKCiMgTGFncmFuZ2VhbiBSZWxheGF0aW9uCgpUbyB1c2UgTGFncmFuZ2VhbiByZWxheGF0aW9uLCB3ZSB0cmVhdCAkZCQgYXMgYmluYXJ5IGFuZCByZWxheCBhbGwgdGhlIGNvbnN0cmFpbnRzLCBvYnRhaW5pbmcgdGhlIGZvbGxvd2luZyBwcm9ibGVtOiAkJFxtaW5fe1xsYW1iZGEsXG11LFxudVxnZTB9TFIoXGxhbWJkYSxcbXUsXG51KT1cXFxtYXhfe2RcaW5cbGVmdFx7IDAsMVxyaWdodFx9IF57VVx0aW1lcyBDfX1cbGVmdChcc3VtX3t1fVxzdW1fe2N9XG9tZWdhX3t1LGN9ZF97dSxjfS1cc3VtX3t1fVxsYW1iZGFfe3V9XGxlZnRbXHN1bV97Y31kX3t1LGN9LUNfe1xtYXh9XHJpZ2h0XVxcK1xzdW1fe3V9XG11X3t1fVxsZWZ0W1xzdW1fe2N9ZF97dSxjfS0xXHJpZ2h0XS1cc3VtX3tjfVxudV97Y31cbGVmdFtcc3VtX3t1fWRfe3UsY30tVV97XG1heH1ccmlnaHRdXHJpZ2h0KSQkd2hlcmUgJFxsYW1iZGEkLCAkXG11JCBhbmQgJFxudSQgYXJlIGR1YWxzIG9mIHRoZSB1cHBlciBsaW1pdCBvbiBhc3NpZ25tZW50cyB0byB1c2VycywgdGhlIGxvd2VyIGxpbWl0IG9uIGFzc2lnbm1lbnRzIHRvIHVzZXJzLCBhbmQgdGhlIHVwcGVyIGxpbWl0IG9uIGFzc2lnbm1lbnRzIHRvIHByb3ZpZGVycyByZXNwZWN0aXZlbHkuIChXZSByZXZlcnNlIHRoZSBsb3dlciBsaW1pdCBjb25zdHJhaW50cyBzbyB0aGF0IGFsbCBtdWx0aXBsaWVycyBhcmUgbm9ubmVnYXRpdmUsIGZvciBjb252ZW5pZW5jZS4pIFRoZSBpbm5lciBtYXhpbWl6YXRpb24gY2FuIGJlIHNpbXBsaWZpZWQgc29tZXdoYXQgdG8gJCRcbWluX3tcbGFtYmRhLFxtdSxcbnVcZ2UwfUxSKFxsYW1iZGEsXG11LFxudSk9XFxcbWF4X3tkXGluXGxlZnRceyAwLDFccmlnaHRcfSBee1VcdGltZXMgQ319XGxlZnQoXHN1bV97dX1cc3VtX3tjfVxsZWZ0W1xvbWVnYV97dSxjfS1cbGFtYmRhX3t1fStcbXVfe3V9LVxudV97Y31ccmlnaHRdZF97dSxjfVxcK0Nfe1xtYXh9XHN1bVxsYW1iZGFfe3V9LVxzdW1fe3V9XG11X3t1fStVX3tcbWF4fVxzdW1fe2N9XG51X3tjfVxyaWdodCkuJCRUaGUgc29sdXRpb24gdG8gdGhlIGlubmVyIHByb2JsZW0gaXMgdHJpdmlhbDogJGRfe3UsY309MSQgaWYgJFxvbWVnYV97dSxjfS1cbGFtYmRhX3t1fStcbXVfe3V9LVxudV97Y30+MCQsIDAgb3RoZXJ3aXNlLiAoVGhlIHZhbHVlIG9mICRkX3t1LGN9JCB3aGVuIHRoZSBjb2VmZmljaWVudCBpcyB6ZXJvIGlzIGFyYml0cmFyeSwgYnV0IHdlIGNhbiBhc3N1bWUgMCBmb3Igc2ltcGxpY2l0eS4pIFNvIHRoZSB2YWx1ZSBvZiB0aGUgZnVuY3Rpb24gJExSKFxsYW1iZGEsIFxtdSwgXG51KSQgaXMgc2ltcGx5ICQkTFIoXGxhbWJkYSxcbXUsXG51KT1cc3VtX3t1fVxzdW1fe2N9XGxlZnQoXG9tZWdhX3t1LGN9LVxsYW1iZGFfe3V9K1xtdV97dX0tXG51X3tjfVxyaWdodCleeyt9XFwrQ197XG1heH1cc3VtXGxhbWJkYV97dX0tXHN1bV97dX1cbXVfe3V9K1Vfe1xtYXh9XHN1bV97Y31cbnVfe2N9LiQkIFRoZSBmdW5jdGlvbiBpcyBwaWVjZXdpc2UtbGluZWFyLgoKVG8gdGVzdCBMYWdyYW5nZWFuIHJlbGF4YXRpb24sIHdlIGZpcnN0IGRlZmluZSB0aGUgJExSJCBmdW5jdGlvbiBhcyBhYm92ZS4gVG8gdXNlIGl0IHdpdGggdGhlIGBvcHRpbSgpYCBmdW5jdGlvbiBmcm9tIHRoZSBgc3RhdHNgIGxpYnJhcnksIHdlIG5lZWQgaXQgdG8gYmUgYSBmdW5jdGlvbiBvZiBhIHNpbmdsZSB2ZWN0b3IgdmFyaWFibGUsIHNvIHdlIGNvbmNhdGVuYXRlIHRoZSBtdWx0aXBsaWVycyBpbnRvIGEgdmVjdG9yICQoXGxhbWJkYSwgXG11LCBcbnUpJC4KCmBgYHtyfQpMUiA8LSBmdW5jdGlvbihkdWFscykgewogICMgU3BsaXQgdGhlIGlucHV0IHZlY3RvciBpbiBsYW1iZGEsIG11IGFuZCBudS4KICBsYW1iZGEgPC0gZHVhbHNbMTpVXQogIG11IDwtIGR1YWxzWyhVICsgMSk6KDIgKiBVKV0KICBudSA8LSBkdWFsc1soMiAqIFUgKyAxKTooMiAqIFUgKyBDKV0KICAjIENhbGN1bGF0ZSB0aGUgY29lZmZpY2llbnQgbWF0cml4IGZvciBkIGluIHRoZSBpbm5lciBvcHRpbWl6YXRpb24uCiAgcmMgPC0gdCh0KG9tZWdhIC0gbGFtYmRhICsgbXUpIC0gbnUpCiAgIyBTdW0gb25seSB0aGUgcG9zaXRpdmUgY29lZmZpY2llbnRzIChkIHdpbGwgYmUgMSBpZiB0aGUgY29lZmZpY2llbnQgaXMgcG9zaXRpdmUsIDAgaWYgbmVnYXRpdmUpLCBhZGQgdGhlIG90aGVyIHRlcm1zIGFuZCByZXR1cm4gdGhlIHZhbHVlLgogIHN1bShwbWF4KHJjLCAwKSkgKyBDbWF4ICogc3VtKGxhbWJkYSkgLSBzdW0obXUpICsgVW1heCAqIHN1bShudSkKfQpgYGAKCldlIHdpbGwgYWxzbyBuZWVkIGEgZnVuY3Rpb24gdGhhdCBzcGxpdHMgYXBhcnQgYSBkdWFsIHZlY3RvciBhbmQgY29tcHV0ZXMgdGhlIGNvcnJlc3BvbmRpbmcgYXNzaWdubWVudCBtYXRyaXguIFRoZSBmb2xsb3dpbmcgZnVuY3Rpb24gY29tcHV0ZXMgdGhlIGNvZWZmaWNpZW50IG1hdHJpeCAkUiQgZm9yICRkJCwgd2hlcmUgJCRSX3t1LHZ9ID0gXG9tZWdhX3t1LGN9LVxsYW1iZGFfe3V9K1xtdV97dX0tXG51X3tjfSwkJCBhbmQgdGhlbiBzZXRzICRkX3t1LHZ9ID0gMSQgaWYgYW5kIG9ubHkgaWYgJHJfe3UsY30gPiAwJC4gVGhpcyBzaG91bGQgd29yayB3aGVuICRSJCBjb250YWlucyBubyB6ZXJvcyAob3IgY29tcG9uZW50cyB3aXRoaW4gcm91bmRpbmcgZXJyb3Igb2YgemVybykuIE1vcmUgZ2VuZXJhbGx5LCB3ZSBtaWdodCBuZWVkIHRvIGxvb2sgYXQgemVybyBjb21wb25lbnRzIGFuZCBtYWtlIGRlY2lzaW9ucyBhYm91dCB3aGV0aGVyICRkJCBzaG91bGQgYmUgMCBvciAxIGJhc2VkIG9uIHNhdGlzZmFjdGlvbiBvZiB0aGUgY29uc3RyYWludHMuCgpgYGB7cn0KYW1hdHJpeCA8LSBmdW5jdGlvbihkdWFscykgewogICMgU3BsaXQgdXAgdGhlIG11bHRpcGxpZXIgdmVjdG9yLgogIGxhbWJkYSA8LSBkdWFsc1sxOlVdCiAgbXUgPC0gZHVhbHNbKFUgKyAxKTooMiAqIFUpXQogIG51IDwtIGR1YWxzWygyICogVSArIDEpOigyICogVSArIEMpXQogICMgQ29tcHV0ZSB0aGUgY29lZmZpY2llbnQgbWF0cml4IGZvciBkLgogIHIgPC0gdCh0KG9tZWdhIC0gbGFtYmRhICsgbXUpIC0gbnUpCiAgIyBXZSBzZXQgc2V0IGQgPSAxIG9ubHkgaWYgcmMgPiAwLgogIGEgPC0gbWF0cml4KDAsIG5yb3cgPSBVLCBuY29sID0gQykKICBhW3doaWNoKHIgPiAwLCBhcnIuaW5kID0gVFJVRSldIDwtIDEKICByZXR1cm4oYSkKfQpgYGAKCk5vdyB3ZSBjYW4gdHJ5IHRvIG9wdGltaXplIGl0LiBJZiB5b3UgZXhwZXJpbWVudCB3aXRoIGxhcmdlciBwcm9ibGVtIGluc3RhbmNlcywgeW91IG1heSBuZWVkIHRvIGFsdGVyIGRlZmF1bHQgaXRlcmF0aW9uIGxpbWl0cyBvciBvdGhlciBwYXJhbWV0ZXJzIGZvciB0aGUgdmFyaW91cyBtZXRob2RzIGJlbG93LgoKIyMgRGVyaXZhdGl2ZS1iYXNlZCBvcHRpbWl6YXRpb24KCldlIG5lZWQgdG8gaW1wb3NlIGEgbG93ZXIgYm91bmQgb2YgemVybyBvbiB0aGUgdmFyaWFibGVzLCBhbmQgYG9wdGltKClgIG9ubHkgc3VwcG9ydHMgdGhhdCBmb3IgdGhlIEwtIEJGR1MtQiBxdWFzaS1OZXd0b24gbWV0aG9kLiBTaW5jZSB0aGUgTFIgZnVuY3Rpb24gaXMgb25seSBwaWVjZXdpc2UgZGlmZmVyZW50aWFibGUsIHdlIGxldCBgb3B0aW0oKWAgYXBwcm94aW1hdGUgZ3JhZGllbnRzIGJ5IGZpbml0ZSBkaWZmZXJlbmNlLiBXZSB1c2UgKDEsIC4uLiwgMSkgYXMgYSBzdGFydGluZyBzb2x1dGlvbi4KCmBgYHtyfQojIFJ1biB0aGUgc2VhcmNoLgpzeXN0ZW0udGltZSgKICBiZmdzLnNvbCA8LSBvcHRpbShyZXAuaW50KDEsIDIgKiBVICsgQyksIExSLCBtZXRob2QgPSAiTC1CRkdTLUIiLCBsb3dlciA9IDApCikKIyBQcmludCB0aGUgZmluYWwgb2JqZWN0aXZlIHZhbHVlLgpjYXQoIlRoZSBMYWdyYW5nZWFuIG9iamVjdGl2ZSB2YWx1ZSA9ICIsIGJmZ3Muc29sJHZhbHVlLCAiXG4iKQojIEV4dHJhY3QgYW5kIHJlcG9ydCBvbiB0aGUgYXNzaWdubWVudCBtYXRyaXguCnJlcG9ydChhbWF0cml4KGJmZ3Muc29sJHBhcikpCmBgYAoKVGhlIEJGR1Mgc29sdXRpb24gb2JqZWN0aXZlIHZhbHVlIG1hdGNoZXMgdGhlIExQIG9iamVjdGl2ZSB2YWx1ZSwgYW5kIGFsbCBjb25zdHJhaW50cyBhcmUgc2F0aXNmaWVkLiBFeHBlcmltZW50cyB3aXRoIGxhcmdlciBwcm9ibGVtIGRpbWVuc2lvbnMsIGhvd2V2ZXIsIGhhdmUgcmVzdWx0ZWQgaW4gQkZHUyB0ZXJtaW5hdGluZyB3aXRoIGEgc3Vib3B0aW1hbCBzb2x1dGlvbiB0byB0aGUgb3V0ZXIgcHJvYmxlbSAoYW5kIGFuIGluZmVhc2libGUgc29sdXRpb24gdG8gdGhlIGlubmVyIHByb2JsZW0pLgoKIyMgRGVyaXZhdGl2ZS1mcmVlIG9wdGltaXphdGlvbgoKV2UgY2FuIGFsc28gdXNlIGEgZGVyaXZhdGl2ZS1mcmVlIG1ldGhvZCBmb3Igb3B0aW1pemluZyBMUiAod2hpY2ggd291bGQgYXZvaWQgYW55IHBvdGVudGlhbCBpc3N1ZXMgd2l0aCBMUiBub3QgYmVpbmcgY29udGludW91c2x5IGRpZmZlcmVudGlhYmxlKS4gV2UgZmlyc3QgdHJ5IHRoZSBOZWxkZXItTWVhZCAic2ltcGxleCIgbWV0aG9kICh3aXRoIGxvd2VyIGJvdW5kcyBvZiAwIGZvciB0aGUgbXVsdGlwbGllcnMpIGFzIGltcGxlbWVudGVkIGluIHRoZSBgZGZvcHRpbWAgcGFja2FnZS4gQXMgYmVmb3JlLCB3ZSB1c2UgKDEsIC4uLiwgMSkgYXMgYSBzdGFydGluZyBzb2x1dGlvbi4KCmBgYHtyfQpzeXN0ZW0udGltZSgKICBubS5zb2wgPC0gbm1rYihyZXAuaW50KDEsIDIgKiBVICsgQyksIExSLCBsb3dlciA9IDApCikKIyBQcmludCB0aGUgZmluYWwgb2JqZWN0aXZlIHZhbHVlLgpjYXQoIk5lbGRlci1NZWFkIHJlcG9ydHMgYW4gb2JqZWN0aXZlIHZhbHVlIG9mICIsIG5tLnNvbCR2YWx1ZSwgIlxuIikKIyBFeHRyYWN0IGFuZCByZXBvcnQgb24gdGhlIGFzc2lnbm1lbnQgbWF0cml4LgpyZXBvcnQoYW1hdHJpeChubS5zb2wkcGFyKSkKYGBgCgpOZWxkZXItTWVhZCBkaWQgbm90IGRvIHdlbGwuIFdlIGNhbiByZXRyeSBpdCB1c2luZyB0aGUgc29sdXRpb24gZnJvbSB0aGUgZGVyaXZhdGl2ZS1iYXNlZCBCRkdTIG1ldGhvZCB3aXRoIHNvbWUgYWRkZWQgbm9pc2UgYXMgYSBzdGFydGluZyBwb2ludC4gU2luY2UgTmVsZGVyLU1lYWQgbmVlZHMgc3RyaWN0bHkgcG9zaXRpdmUgc3RhcnRpbmcgdmFsdWVzIGFuZCB0aGUgQkZHUyBzb2x1dGlvbiBtaWdodCBoYXZlIHNvbWUgZHVhbHMgd2l0aGluIHJvdW5kaW5nIGVycm9yIG9mIHplcm8sIHdlIGFkanVzdCBhbnkgdGlueSBkdWFscyB1cHdhcmQgYmVmb3JlIHJ1bm5pbmcgTmVsZGVyLU1lYWQuCgpgYGB7cn0KIyBHZXQgdGhlIEJGR1Mgc29sdXRpb24gYW5kIHR3ZWFrIGFueSB2YWx1ZXMgdG9vIGNsb3NlIHRvIHplcm8uCmluaXQgPC0gcG1heChiZmdzLnNvbCRwYXIgKyBydW5pZigyICogVSArIEMsIC0wLjEsIDAuMSksIDFlLTYpCiMgUmV0cnkgTmVsZGVyLU1lYWQuCnN5c3RlbS50aW1lKAogIG5tLnNvbCA8LSBubWtiKGluaXQsIExSLCBsb3dlciA9IDApCikKcm0oaW5pdCkKIyBQcmludCB0aGUgZmluYWwgb2JqZWN0aXZlIHZhbHVlLgpjYXQoIk5lbGRlci1NZWFkIHJlcG9ydHMgYW4gb2JqZWN0aXZlIHZhbHVlIG9mICIsIG5tLnNvbCR2YWx1ZSwgIlxuIikKIyBFeHRyYWN0IGFuZCByZXBvcnQgb24gdGhlIGFzc2lnbm1lbnQgbWF0cml4LgpyZXBvcnQoYW1hdHJpeChubS5zb2wkcGFyKSkKYGBgCgpTbyBOZWxkZXItTWVhZCBtYXkgd29yayAob3IgYXQgbGVhc3QgZ2V0IGNsb3NlKSBpZiBzdGFydGVkIG5lYXIgdGhlIG9wdGltdW0sIGJ1dCBkb2VzIG5vdCBzZWVtIHZlcnkgcm9idXN0LiBBbHNvLCBpZiB5b3UgdHJ5IGxhcmdlciBwcm9ibGVtIGluc3RhbmNlcywgeW91IG1heSBzZWUgYSBhIHdhcm5pbmcgbWVzc2FnZSB0aGF0ICJOZWxkZXItTWVhZCBzaG91bGQgbm90IGJlIHVzZWQgZm9yIGhpZ2gtZGltZW5zaW9uYWwgb3B0aW1pemF0aW9uIi4KCkFub3RoZXIgbWV0aG9kIHRvIHRyeSBpcyB0aGUgSG9va2UtSmVldmVzIGFsZ29yaXRobS4gV2Ugd2lsbCBhZ2FpbiBzdGFydCB0aGUgc2VhcmNoIGZyb20gKDEsIC4uLiwgMSkuCgpgYGB7cn0Kc3lzdGVtLnRpbWUoCiAgaGouc29sIDwtIGhqa2IocmVwLmludCgxLCAyICogVSArIEMpLCBMUiwgbG93ZXIgPSAwKQopCiMgUHJpbnQgdGhlIGZpbmFsIG9iamVjdGl2ZSB2YWx1ZS4KY2F0KCJIb29rZS1KZWV2ZXMgcmVwb3J0cyBhbiBvYmplY3RpdmUgdmFsdWUgb2YgIiwgaGouc29sJHZhbHVlLCAiXG4iKQojIEV4dHJhY3QgYW5kIHJlcG9ydCBvbiB0aGUgYXNzaWdubWVudCBtYXRyaXguCnJlcG9ydChhbWF0cml4KGhqLnNvbCRwYXIpKQpgYGAKClRoZSBIb29rZS1KZWV2ZXMgc29sdXRpb24gbWF0Y2hlcyB0aGUgTFAgb2JqZWN0aXZlIHZhbHVlIHdpdGggbm8gY29uc3RyYWludCB2aW9sYXRpb25zLCBzbyBhdCBsZWFzdCBvbiB0aGlzIHByb2JsZW0gaXQgc2VlbXMgdG8gYmUgcHJlZmVyYWJsZSB0byBOZWxkZXItTWVhZC4gSXQgYWxzbyBtYXRjaGVkIHRoZSBMUCBzb2x1dGlvbiBvbiBsYXJnZXIgaW5zdGFuY2VzIHRoYXQgd2VyZSB0ZXN0ZWQuCg==