A Novel Rescheduling Algorithm for the Airline Recovery with Flight Priorities and Airport Capacity Constraints

2021 ◽  
pp. 2140025
Author(s):  
Chenlu Ji ◽  
Mingang Gao ◽  
Xu Zhang ◽  
Jiaxuan Li
Keyword(s):  
Maximum Clique ◽  
Capacity Constraints ◽  
Maximum Clique Problem ◽  
Disruption Management ◽  
Verification Algorithm ◽  
Airport Capacity ◽  
Verification Problem ◽  
Airline Recovery ◽  
Bad Weather ◽  
Novel Model

Many flights experience delays at the airport due to bad weather, temporary closures of airports, unscheduled maintenance, etc., which emphasizes the urgent need for disruption management. It is widely accepted for Chinese airline companies to determine the flight timetable according to the lexicographic preference of flight priorities. Flight schedulers usually deal with the preceding flights as important as the latter flight of a higher priority. In this paper, we propose a build-in flight feasibility verification algorithm to improve the rescheduling algorithm. A novel model of the feasibility verification problem is given, which is equivalent to the model of a maximum clique problem for networks. Examples and tests show the advantage of our algorithm, and the algorithm runs fairly quickly and can be plugged in other scheduling algorithms easily.

scholarly journals Using Machine Learning for Quantum Annealing Accuracy Prediction

Algorithms ◽  
2021 ◽  
Vol 14 (6) ◽  
pp. 187
Author(s):  
Aaron Barbosa ◽  
Elijah Pelofske ◽  
Georg Hahn ◽  
Hristo N. Djidjev
Keyword(s):  
Machine Learning ◽  
Maximum Clique ◽  
Classification Model ◽  
Maximum Clique Problem ◽  
Problem Instance ◽  
Np Hard ◽  
Machine Learning Classification ◽  
Hard Problems ◽  
Problem Instances ◽  
D Wave

Quantum annealers, such as the device built by D-Wave Systems, Inc., offer a way to compute solutions of NP-hard problems that can be expressed in Ising or quadratic unconstrained binary optimization (QUBO) form. Although such solutions are typically of very high quality, problem instances are usually not solved to optimality due to imperfections of the current generations quantum annealers. In this contribution, we aim to understand some of the factors contributing to the hardness of a problem instance, and to use machine learning models to predict the accuracy of the D-Wave 2000Q annealer for solving specific problems. We focus on the maximum clique problem, a classic NP-hard problem with important applications in network analysis, bioinformatics, and computational chemistry. By training a machine learning classification model on basic problem characteristics such as the number of edges in the graph, or annealing parameters, such as the D-Wave’s chain strength, we are able to rank certain features in the order of their contribution to the solution hardness, and present a simple decision tree which allows to predict whether a problem will be solvable to optimality with the D-Wave 2000Q. We extend these results by training a machine learning regression model that predicts the clique size found by D-Wave.

scholarly journals Finding Maximum Clique in Stochastic Graphs Using Distributed Learning Automata

2015 ◽  
Vol 23 (01) ◽  
pp. 1-31 ◽  
Author(s):  
Alireza Rezvanian ◽  
Mohammad Reza Meybodi
Keyword(s):  
Community Structure ◽  
Dominating Set ◽  
Learning Automata ◽  
Random Variables ◽  
Graph Model ◽  
Maximum Clique ◽  
Distribution Functions ◽  
Maximum Clique Problem ◽  
Stochastic Graphs ◽  
Stochastic Graph

Because of unpredictable, uncertain and time-varying nature of real networks it seems that stochastic graphs, in which weights associated to the edges are random variables, may be a better candidate as a graph model for real world networks. Once the graph model is chosen to be a stochastic graph, every feature of the graph such as path, clique, spanning tree and dominating set, to mention a few, should be treated as a stochastic feature. For example, choosing stochastic graph as the graph model of an online social network and defining community structure in terms of clique, and the associations among the individuals within the community as random variables, the concept of stochastic clique may be used to study community structure properties. In this paper maximum clique in stochastic graph is first defined and then several learning automata-based algorithms are proposed for solving maximum clique problem in stochastic graph where the probability distribution functions of the weights associated with the edges of the graph are unknown. It is shown that by a proper choice of the parameters of the proposed algorithms, one can make the probability of finding maximum clique in stochastic graph as close to unity as possible. Experimental results show that the proposed algorithms significantly reduce the number of samples needed to be taken from the edges of the stochastic graph as compared to the number of samples needed by standard sampling method at a given confidence level.

An effective local search for the maximum clique problem

2005 ◽  
Vol 95 (5) ◽  
pp. 503-511 ◽  
Author(s):  
Kengo Katayama ◽  
Akihiro Hamamoto ◽  
Hiroyuki Narihisa
Keyword(s):  
Local Search ◽  
Maximum Clique ◽  
Maximum Clique Problem ◽  
Clique Problem

scholarly journals Quantitative Verification of Stochastic Regular Expressions

2021 ◽  
Vol 179 (2) ◽  
pp. 135-163
Author(s):  
Sinem Getir Yaman ◽  
Esteban Pavese ◽  
Lars Grunske
Keyword(s):  
Performance Evaluation ◽  
Model Checking ◽  
Regular Expressions ◽  
Verification Algorithm ◽  
Computation Tree ◽  
Quantitative Verification ◽  
Probabilistic Action ◽  
Local Results ◽  
Novel Model ◽  
Stochastic Regular Expressions

In this article, we introduce a probabilistic verification algorithm for stochastic regular expressions over a probabilistic extension of the Action based Computation Tree Logic (ACTL*). The main results include a novel model checking algorithm and a semantics on the probabilistic action logic for stochastic regular expressions (SREs). Specific to our model checking algorithm is that SREs are defined via local probabilistic functions. Such functions are beneficial since they enable to verify properties locally for sub-components. This ability provides a flexibility to reuse the local results for the global verification of the system; hence, the framework can be used for iterative verification. We demonstrate how to model a system with an SRE and how to verify it with the probabilistic action based logic and present a preliminary performance evaluation with respect to the execution time of the reachability algorithm.

A novel computing model of the maximum clique problem based on circular DNA

2010 ◽  
Vol 53 (7) ◽  
pp. 1409-1416 ◽  
Author(s):  
Jing Yang ◽  
Cheng Zhang ◽  
Jin Xu ◽  
XiangRong Liu ◽  
XiaoLi Qiang
Keyword(s):  
Maximum Clique ◽  
Maximum Clique Problem ◽  
Circular Dna ◽  
Computing Model ◽  
Clique Problem
Sign in / Sign up

Export Citation Format

Share Document