Linear Optimization Problem Research Articles

Neighborhood persistency of the linear optimization relaxation of integer linear optimization

AbstractFor an integer linear optimization (ILO) problem, persistency of its linear optimization (LO) relaxation is a property that for every optimal solution of the relaxation that assigns integer values to some variables, there exists an optimal solution of the ILO problem in which these variables retain the same values. Although persistency has been used to develop heuristic, approximation, and fixed-parameter algorithms for special cases of ILO, its applicability remains unknown in the literature. In this paper, we reveal a maximal subclass of ILO such that its LO relaxation has persistency. Specifically, we show that the LO relaxation of ILO on unit-two-variable-per-inequality (UTVPI) systems has persistency and is (in a certain sense) maximal among such ILO. Our result generalizes the persistency results by Nemhauser and Trotter, Hochbaum et al., and Fiorini et al. Even more, we propose a stronger property called neighborhood persistency and show that the LO relaxation of ILO on UTVPI systems in general has this property. Using this stronger result, we obtain a fixed-parameter algorithm (where the parameter is the optimal value) and another proof of 2-approximability for ILO on UTVPI systems where objective functions and variables are non-negative.

Developing an optimal energy system model for a sustainable urban transportation framework planning in the long term through different climatic zones

The modern lifestyle highlights the demand for an improved urban transportation infrastructure and a shift to renewable, efficient technologies. This evolution is essential for both developed and developing countries. The transportation system in a developing country such as Iran faces significant challenges, including low energy efficiency and high emissions. This situation makes the development of a sustainable transportation plan increasingly critical. Furthermore, there is considerable potential for renewable energy across various climatic zones in the country that should be utilized. This study presents a sustainable development model for the transportation system that incorporates zero-emission vehicles and renewable energy supply technologies in competition with traditional ones. The model is designed for long-term application and includes five case studies from various climatic zones in Iran, each featuring different renewable potentials and system scales. Determining the optimal structure of the system in each case study requires solving a linear, dynamic, and multi-criteria optimization problem. The objective function focuses on minimizing total costs, which include technological, energy, and social. All case studies indicate that developing a sustainable transportation system is optimal. However, larger case studies tend to produce more favorable optimization outcomes. According to the results, the scale of the case study is the most important factor in this research.

Dynamic Resource Allocation: The Geometry and Robustness of Constant Regret

We study a family of dynamic resource allocation problems, wherein requests of different types arrive over time and are accepted or rejected. Each request type is characterized by its reward, arrival probability, and resource consumption. An upper bound for the collected reward is given by a linear optimization problem with a random right-hand side. This type of problem, known as packing linear program (LP), is ubiquitous in resource allocation. We provide a detailed characterization of the parametric structure of this packing LP. Relying on this geometric understanding, we revisit and expand on BudgetRatio algorithms that achieve constant regret by resolving this same packing LP in each period and accepting requests scored as sufficiently valuable. We illustrate the benefits of the geometric view in proving that (i) BudgetRatio achieves constant regret relative to the offline (full information) upper bound in the presence of inventory that is (slowly) restocked, and (ii) within explicitly identifiable bounds, the algorithm’s regret is robust to misspecification of the model parameters. This gives bounds for the bandits version of the problem in which the parameters have to be learned. (iii) The algorithm has an equivalent formulation as a generalized bid-price algorithm in which the bid prices can be adaptively and efficiently computed. Our analysis focuses on the evolution of the remaining inventory—in turn of the LP that drives BudgetRatio—as a stochastic process. We prove that it is attracted to sticky regions of the state space in which the online algorithm takes actions consistent with the optimal basis of the offline upper bound, a basis that is revealed only in hindsight at the horizon’s end. Funding: This work was supported by the U.S. Department of Defense [Grant W911NF-20-C-0008].

The separation theorem for mean-field linear quadratic optimal control problem with partial information

Abstract We investigate the separation principle for a class of mean-field stochastic optimal control problems with partial information, where the linear stochastic dynamic system is observed through a linear noisy channel. In our model, the time inconsistency caused by the mean-field terms makes the dynamic programming principle (DPP) inapplicable, which immediately leads to difficulties in deriving the separation principle. Utilizing the optimal filtering equations in several dimensions, we can transform the stochastic optimal control problem with partial information into one with complete details. Subsequently, the Hamilton-Jacobi-Bellman (HJB) equation that can solve the optimal control is obtained with the support of the dynamic programming principle. The separation principle for solving the optimal control of the original problem is derived.

Recursive Constrained Sine Second-Order Error Promoting Adaptive Algorithm

This brief proposes a recursive constrained sine second-order error promoting adaptive (RCSSOEPA) algorithm. Compared with classical recursive method, the RCSSOEPA algorithm can achieve better steady state performance in impulsive-noise. In general, the sine second-order error (SSOE) is constructed to devise a new recursive constrained adaptive-filtering within the least-squares framework for solving linear constrained optimization problems. The mean-square (MS) stability of the RCSSOEPA and its theoretical instantaneous MS deviation under Gaussian and non Gaussian noise are analyzed, numerically investigated and discussed in detail. Simulated results are reported to give a comfirmation of the theoretical analysis, and show that the RCSSOEPA outperforms recent developed constrained adaptive filtering algorithms in the estimation misalignment and when used for system identification under impulsive-noise.

Optimal EV Charging and PV Siting in Prosumers towards Loss Reduction and Voltage Profile Improvement in Distribution Networks

In this paper, the problem of simultaneous charging of Electrical Vehicles (EVs) in distribution networks (DNs) is examined in order to depict congestion issues, increased power losses, and voltage constraint violations. To this end, this paper proposes an optimal EV charging schedule in order to allocate the charging of EVs in non-overlapping time slots, aiming to avoid overloading conditions that could stress the DN operation. The problem is structured as a linear optimization problem in GAMS, and the linear Distflow is utilized for the power flow analysis required. The proposed approach is compared to the one where EV charging is not optimally scheduled and each EV is expected to start charging upon its arrival at the residential charging spot. Moreover, the analysis is extended to examine the optimal siting of small-sized residential Photovoltaic (PV) systems in order to provide further relief to the DN. A mixed-integer quadratic optimization model was formed to integrate the PV siting into the optimization problem as an additional optimization variable and is compared to a heuristic-based approach for determining the sites for PV installation. The proposed methodology has been applied in a typical low-voltage (LV) DN as a case study, including real power demand data for the residences and technical characteristics for the EVs. The results indicate that both the DN power losses and the voltage profile are further improved in regard to the heuristic-based approach, and the simultaneously scheduled penetration of EVs and PVs could yield up to a 66.3% power loss reduction.

Linear State Optimal Control Problem with a Stochastic Switching Time

In this paper, we analyse an optimal control problem over a finite horizon with a stochastic switching time, assuming that the two optimal control problems present in its two stages have a particularly simple form called linear state. It is well known that linear state optimal control problems can be solved easily using the HJB equation approach and assuming that the value function is linear in the state. Unfortunately, this simplicity of solution does not extend to the problem with stochastic switching time. We prove that a necessary and sufficient condition for the problem to maintain a linear state structure is to assume that the hazard rate of the switching time depends only on the temporal variable. Finally, assuming that the hazard rate is constant, we completely characterise the solution of the obtained linear state optimal control problem.

Optimal switching of vaccination for an infectious disease model

We study a switched SIHR (Susceptible Infected Hospitalized Recovered) model for infectious diseases. The aim is to find the most effective switching signal to manage the disease's effects as effectively as maintaining a continuous vaccination program. A nonlinear, non-convex optimal control problem of the switched system is converted into a linear and convex optimal control problem by applying the theory of moments and semi-definite programming. Finally, some numerical simulations are performed to compare continuous vaccination programs and optimal switching of vaccination control. For more information see https://ejde.math.txstate.edu/Volumes/2024/59/abstr.html

Partially observable optimal control using exponential cost criterion

We consider a partially observable optimal control model in which the system and observation noises are correlated, and the cost criterion is in the form of an exponential of an integral. A new minimum principle criterion is derived and applied to compute the explicit solution of linear exponential Gaussian optimisation problem with correlated noises.

Invariant set estimation for piecewise affine dynamical systems using piecewise affine barrier function

This paper introduces an algorithm for estimating the invariant set of closed-loop controlled dynamical systems identified using single-hidden layer Rectified linear units (ReLU) neural networks or piecewise affine (PWA) functions, particularly addressing the challenge of providing safety guarantees for single-hidden layer ReLU networks commonly used in safety–critical applications. The invariant set of PWA dynamical system is estimated using single-hidden layer ReLU networks or its equivalent PWA function. This method entails formulating the barrier function as a PWA function and converting the search process into a linear optimization problem using vertices. We incorporate a domain refinement strategy to increase flexibility in case the optimization does not find a valid barrier function. Moreover, the objective of the optimization is to find a less conservative invariant set based on the current partition. Our experimental results demonstrate the effectiveness and efficiency of our approach, demonstrating its potential for ensuring the safety of PWA dynamical systems.

Fractional Strong Metric Dimension of Convex Polytopes and its applications

The fractional versions of various metric related parameters have recently gained importance due to their applications in the fields of sensor networking, robot navigation and linear optimization problems. Convex polytopes are collection of those polytopes of Euclidean space which are their convex subsets. They have key importance in the field of network designing due to their stable and resilient structure which aids optimal data transfer. The identification and removal of components (nodes) of a communication network causing abruption in its flow is of key importance for optimal data transmission. These components are referred as strong resolving neighbourhood (SRNs) in graph theory and assigning least weight to these components aids the computation of fractional strong metric dimension (FSMD). In this paper, we compute FSMD for certain convex polytopes which include $\mathbb{P}_{n}$, $\mathbb{P}_{n}^{1}$ and $\mathbb{P}_{n}^{2}$. In this regard, it is shown that for $n \geq 3$, FSMD of $\mathbb{P}_{n}$ and $\mathbb{P}_{n}^{2}$ is $n$ and $\frac{3n}{2}$, respectively. Also, FSMD of $\mathbb{P}_{n}^{1}$ is $n$ when $n$ is odd and $\frac{3n}{2}$ when $n$ is even. Finally, an application of FSMD in the context of internet connection networks is furnished.

An efficient algorithm for solving multilevel multi-objective linear fractional optimization problem with neutrosophic parameters

This work demonstrates the modeling of the multilevel-multiobjective linear fractional optimization (ML-MOLFO) problem in a neutrosophic decision environment. The primary driving force behind this work is to determine how to handle a ML-MOLFO problem while taking into account a real-life decision-making scenario. There is a hierarchy of decision-makers and many decision-making processes, such as agree, not-sure, and disagree, in a real-life decision-making setting. By taking into account such genuine situations, all resource, coefficient of objective, and constraint functions are represented as single-valued trapezoidal neutrosophic numbers. As far as we can tell, there is no established technique for resolving the ML-MOLFO problem with neutrosophic parameters in the literature review. Therefore, by outlining goal programming methods in the intuitionistic fuzzy environment, we create our new intuitionistic fuzzy Chebyshev goal programming (IFCGP) method to address the introduced problem. In the proposed method, first we used a modified ranking function to transform the problem into an analogous crisp ML-MOLFO problem, and then it was converted into a multilevel multiobjective linear optimization problem through linearized techniques. The linearization procedure in the proposed method, unlike the existing one, does not require derivatives, additional variables, or inequality constraints, which makes it simpler. To illustrate the adequacy and performance of the proposed new method, we considered numerical tests and application problems. We also compared the performance of the resulting optimal solution with existing approaches using the distance metric, which indicates our method is non-dominated.

Geographic Information System for Shortest Route Search for Clinics in Pamekasan Regency Using the Djikstra Method

Earthquake natural disasters can cause significant infrastructure damage, hindering community access and mobility. In such a situation, determining the shortest path for evacuation becomes very important. This research uses linear programming by utilising Excel Solver to determine the shortest evacuation route for earthquake natural disasters. Excel Solver is a feature in Microsoft Excel that serves as an analytical tool to solve linear optimisation problems. Excel solver can be used to find solutions that maximise or minimise the objective function, with respect to predetermined constraints. This research utilises relevant earthquake natural disaster simulation data as constraints in the optimisation model. The results show that the model can generate shortest paths that fulfil various constraints and criteria. The model can also be used to predict the time required to reach the destination. This research makes an important contribution to the development of tools and methods for shortest path optimisation in natural disaster scenarios. The optimisation model developed in this research can be used to assist decision makers in improving the efficiency and effectiveness of evacuation and disaster relief operations.

The GroupMax Neural Network Approximation of Convex Functions.

We present a new neural network to approximate convex functions. This network has the particularity to approximate the function with cuts which is, for example, a necessary feature to approximate Bellman values when solving linear stochastic optimization problems. The network can be easily adapted to partial convexity. We give an universal approximation theorem in the full convex case and give many numerical results proving its efficiency. The network is competitive with the most efficient convexity-preserving neural networks and can be used to approximate functions in high dimensions.

On the relationship between the value function and the efficient frontier of a mixed integer linear optimization problem

On the relationship between the value function and the efficient frontier of a mixed integer linear optimization problem

Optimisation of Evacuation Route Determination in an Earthquake Natural Disaster Scenario Using an Excel Solver

Earthquake natural disasters can cause significant infrastructure damage, hindering community access and mobility. In such a situation, determining the shortest path for evacuation becomes very important. This research uses linear programming by utilising Excel Solver to determine the shortest evacuation route for earthquake natural disasters. Excel Solver is a feature in Microsoft Excel that serves as an analytical tool to solve linear optimisation problems. Excel solver can be used to find solutions that maximise or minimise the objective function, with respect to predetermined constraints. This research utilises relevant earthquake natural disaster simulation data as constraints in the optimisation model. The results show that the model can generate shortest paths that fulfil various constraints and criteria. The model can also be used to predict the time required to reach the destination. This research makes an important contribution to the development of tools and methods for shortest path optimisation in natural disaster scenarios. The optimisation model developed in this research can be used to assist decision makers in improving the efficiency and effectiveness of evacuation and disaster relief operations.

Solution sets of linear fractional optimization problems involving integral functions

We consider a linear fractional optimization problem (FP) involving integral function defined on C^n [0, 1], and then characterize solution sets for the problem (FP) in terms of sequential Lagrange multipliers of a known solution of (FP). Moreover, we give an example illustrating our characterization of solution set.

Vaccination for communicable endemic diseases: optimal allocation of initial and booster vaccine doses.

For some communicable endemic diseases (e.g., influenza, COVID-19), vaccination is an effective means of preventing the spread of infection and reducing mortality, but must be augmented over time with vaccine booster doses. We consider the problem of optimally allocating a limited supply of vaccines over time between different subgroups of a population and between initial versus booster vaccine doses, allowing for multiple booster doses. We first consider an SIS model with interacting population groups and four different objectives: those of minimizing cumulative infections, deaths, life years lost, or quality-adjusted life years lost due to death. We solve the problem sequentially: for each time period, we approximate the system dynamics using Taylor series expansions, and reduce the problem to a piecewise linear convex optimization problem for which we derive intuitive closed-form solutions. We then extend the analysis to the case of an SEIS model. In both cases vaccines are allocated to groups based on their priority order until the vaccine supply is exhausted. Numerical simulations show that our analytical solutions achieve results that are close to optimal with objective function values significantly better than would be obtained using simple allocation rules such as allocation proportional to population group size. In addition to being accurate and interpretable, the solutions are easy to implement in practice. Interpretable models are particularly important in public health decision making.

Algorithmic solutions for maximizing shareable costs

AbstractThis article addresses the linear optimization problem to maximize the total costs that can be shared among a group of agents, while maintaining stability in the sense of the core constraints of a cooperative transferable utility game, or TU game. When maximizing total shareable costs, the cost shares must satisfy all constraints that define the core of a TU game, except for being budget balanced. The article first gives a fairly complete picture of the computational complexity of this optimization problem, its relation to optimization over the core itself, and its equivalence to other, minimal core relaxations that have been proposed earlier. We then address minimum cost spanning tree (MST) games as an example for a class of cost sharing games with non‐empty core. While submodular cost functions yield efficient algorithms to maximize shareable costs, MST games have cost functions that are subadditive, but generally not submodular. Nevertheless, it is well known that cost shares in the core of MST games can be found efficiently. In contrast, we show that the maximization of shareable costs is ‐hard for MST games and derive a 2‐approximation algorithm. Our work opens several directions for future research.

Generating linear, semidefinite, and second-order cone optimization problems for numerical experiments

The numerical performance of algorithms can be studied using test sets or procedures that generate such problems. This paper proposes various methods for generating linear, semidefinite, and second-order cone optimization problems. Specifically, we are interested in problem instances requiring a known optimal solution, a known optimal partition, a specific interior solution, or all these together. In the proposed problem generators, different characteristics of optimization problems, including dimension, size, condition number, degeneracy, optimal partition, and sparsity, can be chosen to facilitate comprehensive computational experiments. We also develop procedures to generate instances with a maximally complementary optimal solution with a predetermined optimal partition to generate challenging semidefinite and second-order cone optimization problems. Generated instances enable us to evaluate efficient interior-point methods for conic optimization problems.