User Access Control and Bandwidth Allocation for Slice-Based 5G-and-Beyond Radio Access Networks

In this paper, we investigate the resource management for radio access network slicing from user access control and wireless bandwidth allocation perspectives. First, to guarantee users' QoS, we propose two admission control (AC) policies to select admissible users from the perspective of optimizing the QoS and the number of serving users respectively. Then, to optimize the bandwidth utilization for the selected admissible users, we investigate the slice association and bandwidth allocation (SABA) problem and propose network centric and UE centric SABA policies respectively. Numerical results show that in typical scenarios, our proposed AC and SABA policies can significantly outperform traditional policies in terms of wireless bandwidth utilization and number of admissible users

A Level-2 Reformulation–Linearization Technique Bound for the Quadratic Assignment Problem

This paper studies polyhedral methods for the quadratic assignment problem. Bounds on the objective value are obtained using mixed 0–1 linear representations that result from a reformulation–linearization technique (rlt). The rlt provides different “levels” of representations that give increasing strength. Prior studies have shown that even the weakest level-1 form yields very tight bounds, which in turn lead to improved solution methodologies. This paper focuses on implementing level-2. We compare level-2 with level-1 and other bounding mechanisms, in terms of both overall strength and ease of computation. In so doing, we extend earlier work on level-1 by implementing a Lagrangian relaxation that exploits block-diagonal structure present in the constraints. The bounds are embedded within an enumerative algorithm to devise an exact solution strategy. Our computer results are notable, exhibiting a dramatic reduction in nodes examined in the enumerative phase, and allowing for the exact solution of large instances

An LP-based Characterization of Solvable QAP Instances with Chess-board and Graded Structures

The quadratic assignment problem (QAP) is perhaps the most widely studied nonlinear combinatorial optimization problem. It has many applications in various fields, yet has proven to be extremely difficult to solve. This difficulty has motivated researchers to identify special objective function structures that permit an optimal solution to be found efficiently. Previous work has shown that certain such structures can be explained in terms of a mixed 0-1 linear reformulation of the QAP known as the level-1 reformulation-linearization-technique (RLT) form. Specifically, the objective function structures were shown to ensure that a binary optimal extreme point solution exists to the continuous relaxation. This paper extends that work by considering classes of solvable cases in which the objective function coefficients have special chess-board and graded structures, and similarly characterizing them in terms of the level-1 RLT form. As part of this characterization, we develop a new relaxed version of the level-1 RLT form, the structure of which can be readily exploited to study the special instances under consideration

A novel modeling approach for express package carrier planning

Express package carrier networks have large numbers of heavily-interconnected and tightly-constrained resources, making the planning process difficult. A decision made in one area of the network can impact virtually any other area as well. Mathematical programming therefore seems like a logical approach to solving such problems, taking into account all of these interactions. The tight time windows and nonlinear cost functions of these systems, however, often make traditional approaches such as multicommodity flow formulations intractable. This is due to both the large number of constraints and the weakness of the linear programming (LP) relaxations arising in these formulations. To overcome these obstacles, we propose a model in which variables represent combinations of loads and their corresponding routings, rather than assigning individual loads to individual arcs in the network. In doing so, we incorporate much of the problem complexity implicitly within the variable definition, rather than explicitly within the constraints. This approach enables us to linearize the cost structure, strengthen the LP relaxation of the formulation, and drastically reduce the number of constraints. In addition, it greatly facilitates the inclusion of other stages of the (typically decomposed) planning process. We show how the use of templates, in place of traditional delayed column generation, allows us to identify promising candidate variables, ensuring high-quality solutions in reasonable run times while also enabling the inclusion of additional operational considerations that would be difficult if not impossible to capture in a traditional approach. Computational results are presented using data from a major international package carrier. © 2008 Wiley Periodicals, Inc. Naval Research Logistics, 2008Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/60965/1/20310_ftp.pd

Optimization of Lyapunov Invariants in Verification of Software Systems

The paper proposes a control-theoretic framework for verification of numerical software systems, and puts forward software verification as an important application of control and systems theory. The idea is to transfer Lyapunov functions and the associated computational techniques from control systems analysis and convex optimization to verification of various software safety and performance specifications. These include but are not limited to absence of overflow, absence of division-by-zero, termination in finite time, absence of dead-code, and certain user-specified assertions. Central to this framework are Lyapunov invariants. These are properly constructed functions of the program variables, and satisfy certain properties-analogous to those of Lyapunov functions-along the execution trace. The search for the invariants can be formulated as a convex optimization problem. If the associated optimization problem is feasible, the result is a certificate for the specification.National Science Foundation (U.S.) (Grant CNS-1135955)National Science Foundation (U.S.) (Grant CPS-1135843)United States. Army Research Office. Multidisciplinary University Research Initiative (Award W911NF-11-1-0046)United States. National Aeronautics and Space Administration (Grant/Cooperative Agreement NNX12AM52A

Characterizing Linearizable QAPs by the Level-1 Reformulation-Linearization Technique

The quadratic assignment problem (QAP) is an extremely challenging NP-hard combinatorial optimization program. Due to its difficulty, a research emphasis has been to identify special cases that are polynomially solvable. Included within this emphasis are instances which are linearizable; that is, which can be rewritten as a linear assignment problem having the property that the objective function value is preserved at all feasible solutions. Various known sufficient conditions for identifying linearizable instances have been explained in terms of the continuous relaxation of a weakened version of the level-1 reformulation-linearization-technique (RLT) form that does not enforce nonnegativity on a subset of the variables. Also, conditions that are both necessary and sufficient have been given in terms of decompositions of the objective coefficients. The main contribution of this paper is the identification of a relationship between polyhedral theory and linearizability that promotes a novel, yet strikingly simple, necessary and sufficient condition for identifying linearizable instances; specifically, an instance of the QAP is linearizable if and only if the continuous relaxation of the same weakened RLT form is bounded. In addition to providing a novel perspective on the QAP being linearizable, a consequence of this study is that every linearizable instance has an optimal solution to the (polynomially-sized) continuous relaxation of the level-1 RLT form that is binary. The converse, however, is not true so that the continuous relaxation can yield binary optimal solutions to instances of the QAP that are not linearizable. Another consequence follows from our defining a maximal linearly independent set of equations in the lifted RLT variable space; we answer a recent open question that the theoretically best possible linearization-based bound cannot improve upon the level-1 RLT form

The Steiner Tree Problem with Delays: A compact formulation and reduction procedures

This paper investigates the Steiner Tree Problem with Delays (STPD), a variation of the classical Steiner Tree problem that arises in multicast routing. We propose an exact solution approach that is based on a polynomial-size formulation for this challenging NP-hard problem. The LP relaxation of this formulation is enhanced through the derivation of new lifted Miller-Tucker-Zemlin subtour elimination constraints. Furthermore, we present several preprocessing techniques for both reducing the problem size and tightening the LP relaxation. Finally, we report the results of extensive computational experiments on instances with up to 1000 nodes. These results attest to the efficacy of the combination of the enhanced formulation and reduction techniques