-
Solving systems of equations on antichains for the computation of the ninth Dedekind Number
Authors:
Patrick De Causmaecker,
Lennart Van Hirtum
Abstract:
We study systems of equations on antichains, together with a way to count the number of solutions. We start with two simple examples, generalise and show more applications. One of the results was used in the recent computation of D(9), the others have potential to speed up existing techniques in the future.
We study systems of equations on antichains, together with a way to count the number of solutions. We start with two simple examples, generalise and show more applications. One of the results was used in the recent computation of D(9), the others have potential to speed up existing techniques in the future.
△ Less
Submitted 18 June, 2024; v1 submitted 31 May, 2024;
originally announced May 2024.
-
A computation of D(9) using FPGA Supercomputing
Authors:
Lennart Van Hirtum,
Patrick De Causmaecker,
Jens Goemaere,
Tobias Kenter,
Heinrich Riebler,
Michael Lass,
Christian Plessl
Abstract:
This preprint makes the claim of having computed the $9^{th}$ Dedekind Number. This was done by building an efficient FPGA Accelerator for the core operation of the process, and parallelizing it on the Noctua 2 Supercluster at Paderborn University. The resulting value is 286386577668298411128469151667598498812366. This value can be verified in two steps. We have made the data file containing the 4…
▽ More
This preprint makes the claim of having computed the $9^{th}$ Dedekind Number. This was done by building an efficient FPGA Accelerator for the core operation of the process, and parallelizing it on the Noctua 2 Supercluster at Paderborn University. The resulting value is 286386577668298411128469151667598498812366. This value can be verified in two steps. We have made the data file containing the 490M results available, each of which can be verified separately on CPU, and the whole file sums to our proposed value.
△ Less
Submitted 18 April, 2023; v1 submitted 6 April, 2023;
originally announced April 2023.
-
Features for the 0-1 knapsack problem based on inclusionwise maximal solutions
Authors:
Jorik Jooken,
Pieter Leyman,
Patrick De Causmaecker
Abstract:
Decades of research on the 0-1 knapsack problem led to very efficient algorithms that are able to quickly solve large problem instances to optimality. This prompted researchers to also investigate whether relatively small problem instances exist that are hard for existing solvers and investigate which features characterize their hardness. Previously the authors proposed a new class of hard 0-1 kna…
▽ More
Decades of research on the 0-1 knapsack problem led to very efficient algorithms that are able to quickly solve large problem instances to optimality. This prompted researchers to also investigate whether relatively small problem instances exist that are hard for existing solvers and investigate which features characterize their hardness. Previously the authors proposed a new class of hard 0-1 knapsack problem instances and demonstrated that the properties of so-called inclusionwise maximal solutions (IMSs) can be important hardness indicators for this class. In the current paper, we formulate several new computationally challenging problems related to the IMSs of arbitrary 0-1 knapsack problem instances. Based on generalizations of previous work and new structural results about IMSs, we formulate polynomial and pseudopolynomial time algorithms for solving these problems. From this we derive a set of 14 computationally expensive features, which we calculate for two large datasets on a supercomputer in approximately 540 CPU-hours. We show that the proposed features contain important information related to the empirical hardness of a problem instance that was missing in earlier features from the literature by training machine learning models that can accurately predict the empirical hardness of a wide variety of 0-1 knapsack problem instances. Using the instance space analysis methodology, we also show that hard 0-1 knapsack problem instances are clustered together around a relatively dense region of the instance space and several features behave differently in the easy and hard parts of the instance space.
△ Less
Submitted 16 November, 2022;
originally announced November 2022.
-
A prediction-based approach for online dynamic patient scheduling: a case study in radiotherapy treatment
Authors:
Tu-San Pham,
Antoine Legrain,
Patrick De Causmaecker,
Louis-Martin Rousseau
Abstract:
Patient scheduling is a difficult task involving stochastic factors such as the unknown arrival times of patients. Similarly, the scheduling of radiotherapy for cancer treatments needs to handle patients with different urgency levels when allocating resources. High priority patients may arrive at any time, and there must be resources available to accommodate them. A common solution is to reserve a…
▽ More
Patient scheduling is a difficult task involving stochastic factors such as the unknown arrival times of patients. Similarly, the scheduling of radiotherapy for cancer treatments needs to handle patients with different urgency levels when allocating resources. High priority patients may arrive at any time, and there must be resources available to accommodate them. A common solution is to reserve a flat percentage of treatment capacity for emergency patients. However, this solution can result in overdue treatments for urgent patients, a failure to fully exploit treatment capacity, and delayed treatments for low-priority patients. This problem is especially severe in large and crowded hospitals. In this paper, we propose a prediction-based approach for online dynamic radiotherapy scheduling that dynamically adapts the present scheduling decision based on each incoming patient and the current allocation of resources. Our approach is based on a regression model trained to recognize the links between patients' arrival patterns, and their ideal waiting time in optimal offline solutions where all future arrivals are known in advance. When our prediction-based approach is compared to flat-reservation policies, it does a better job of preventing overdue treatments for emergency patients, while also maintaining comparable waiting times for the other patients. We also demonstrate how our proposed approach supports explainability and interpretability in scheduling decisions using SHAP values.
△ Less
Submitted 23 October, 2022; v1 submitted 15 December, 2021;
originally announced December 2021.
-
Eigenspectra of solar active region long-period oscillations
Authors:
G. Dumbadze,
B. M. Shergelashvili,
S. Poedts,
T. V. Zaqarashvili,
M. Khodachenko,
P. De Causmaecker
Abstract:
We studied the low-frequency $\lesssim 0.5\;$h$^{-1}$ (long-period $\gtrsim 2\;$h) oscillations of active regions (ARs). The investigation is based on an analysis of a time series built from Solar Dynamics Observatory/Helioseismic and Magnetic Imager (SDO/HMI) photospheric magnetograms and comprises case studies of several types of AR structures. The main goals are to investigate whether ARs can b…
▽ More
We studied the low-frequency $\lesssim 0.5\;$h$^{-1}$ (long-period $\gtrsim 2\;$h) oscillations of active regions (ARs). The investigation is based on an analysis of a time series built from Solar Dynamics Observatory/Helioseismic and Magnetic Imager (SDO/HMI) photospheric magnetograms and comprises case studies of several types of AR structures. The main goals are to investigate whether ARs can be engaged in long-period oscillations as unified oscillatory entities and, if so, to determine the spectral pattern of such oscillations. Time series of characteristic parameters of the ARs, such as, the total area, total unsigned radial magnetic flux, and tilt angle, were measured and recorded using the image moment method. The power spectra were built out of Gaussian-apodised and zero-padded datasets. There are long-period oscillations ranging from 2 to 20 h, similarly to the characteristic lifetimes of super-granulation, determined from the datasets of the AR total area and radial magnetic flux, respectively. However, no periodicity in tilt angle data was found. Whatever nature these oscillations have, they must be energetically supported by convective motions beneath the solar surface. The possible interpretations can be related to different types of magnetohydrodynamic (MHD) oscillations of the multi-scale structure of the AR magnetic field, which is probably linked with the characteristic turnover timescales of the super-granulation cells. The presence of oscillations in the radial magnetic flux data may be connected to periodic flux emergence or cancellation processes.
△ Less
Submitted 9 September, 2021;
originally announced September 2021.
-
Evolving test instances of the Hamiltonian completion problem
Authors:
Thibault Lechien,
Jorik Jooken,
Patrick De Causmaecker
Abstract:
Predicting and comparing algorithm performance on graph instances is challenging for multiple reasons. First, there is usually no standard set of instances to benchmark performance. Second, using existing graph generators results in a restricted spectrum of difficulty and the resulting graphs are usually not diverse enough to draw sound conclusions. That is why recent work proposes a new methodolo…
▽ More
Predicting and comparing algorithm performance on graph instances is challenging for multiple reasons. First, there is usually no standard set of instances to benchmark performance. Second, using existing graph generators results in a restricted spectrum of difficulty and the resulting graphs are usually not diverse enough to draw sound conclusions. That is why recent work proposes a new methodology to generate a diverse set of instances by using an evolutionary algorithm. We can then analyze the resulting graphs and get key insights into which attributes are most related to algorithm performance. We can also fill observed gaps in the instance space in order to generate graphs with previously unseen combinations of features. This methodology is applied to the instance space of the Hamiltonian completion problem using two different solvers, namely the Concorde TSP Solver and a multi-start local search algorithm.
△ Less
Submitted 19 November, 2022; v1 submitted 5 October, 2020;
originally announced November 2020.
-
Neural Networked Assisted Tree Search for the Personnel Rostering Problem
Authors:
Ziyi Chen,
Patrick De Causmaecker,
Yajie Dou
Abstract:
The personnel rostering problem is the problem of finding an optimal way to assign employees to shifts, subject to a set of hard constraints which all valid solutions must follow, and a set of soft constraints which define the relative quality of valid solutions. The problem has received significant attention in the literature and is addressed by a large number of exact and metaheuristic methods.…
▽ More
The personnel rostering problem is the problem of finding an optimal way to assign employees to shifts, subject to a set of hard constraints which all valid solutions must follow, and a set of soft constraints which define the relative quality of valid solutions. The problem has received significant attention in the literature and is addressed by a large number of exact and metaheuristic methods. In order to make the complex and costly design of heuristics for the personnel rostering problem automatic, we propose a new method combined Deep Neural Network and Tree Search. By treating schedules as matrices, the neural network can predict the distance between the current solution and the optimal solution. It can select solution strategies by analyzing existing (near-)optimal solutions to personnel rostering problem instances. Combined with branch and bound, the network can give every node a probability which indicates the distance between it and the optimal one, so that a well-informed choice can be made on which branch to choose next and to prune the search tree.
△ Less
Submitted 24 October, 2020;
originally announced October 2020.
-
Exploring search space trees using an adapted version of Monte Carlo tree search for combinatorial optimization problems
Authors:
Jorik Jooken,
Pieter Leyman,
Tony Wauters,
Patrick De Causmaecker
Abstract:
In this article we propose a heuristic algorithm to explore search space trees associated with instances of combinatorial optimization problems. The algorithm is based on Monte Carlo tree search, a popular algorithm in game playing that is used to explore game trees and represents the state-of-the-art algorithm for a number of games. Several enhancements to Monte Carlo tree search are proposed tha…
▽ More
In this article we propose a heuristic algorithm to explore search space trees associated with instances of combinatorial optimization problems. The algorithm is based on Monte Carlo tree search, a popular algorithm in game playing that is used to explore game trees and represents the state-of-the-art algorithm for a number of games. Several enhancements to Monte Carlo tree search are proposed that make the algorithm more suitable in a combinatorial optimization context. These enhancements exploit the combinatorial structure of the problem and aim to efficiently explore the search space tree by pruning subtrees, using a heuristic simulation policy, reducing the domains of variables by eliminating dominated value assignments and using a beam width. The algorithm was implemented with its components specifically tailored to two combinatorial optimization problems: the quay crane scheduling problem with non-crossing constraints and the 0-1 knapsack problem. For the first problem our algorithm surpasses the state-of-the-art results and several new best solutions are found for a benchmark set of instances. For the second problem our algorithm typically produces near-optimal solutions that are slightly worse than the state-of-the-art results, but it needs only a small fraction of the time to do so. These results indicate that the algorithm is competitive with the state-of-the-art for two entirely different combinatorial optimization problems.
△ Less
Submitted 16 November, 2022; v1 submitted 22 October, 2020;
originally announced October 2020.
-
A multi-start local search algorithm for the Hamiltonian completion problem on undirected graphs
Authors:
Jorik Jooken,
Pieter Leyman,
Patrick De Causmaecker
Abstract:
This paper proposes a local search algorithm for a specific combinatorial optimisation problem in graph theory: the Hamiltonian Completion Problem (HCP) on undirected graphs. In this problem, the objective is to add as few edges as possible to a given undirected graph in order to obtain a Hamiltonian graph. This problem has mainly been studied in the context of various specific kinds of undirected…
▽ More
This paper proposes a local search algorithm for a specific combinatorial optimisation problem in graph theory: the Hamiltonian Completion Problem (HCP) on undirected graphs. In this problem, the objective is to add as few edges as possible to a given undirected graph in order to obtain a Hamiltonian graph. This problem has mainly been studied in the context of various specific kinds of undirected graphs (e.g. trees, unicyclic graphs and series-parallel graphs). The proposed algorithm, however, concentrates on solving HCP for general undirected graphs. It can be considered to belong to the category of matheuristics, because it integrates an exact linear time solution for trees into a local search algorithm for general graphs. This integration makes use of the close relation between HCP and the minimum path partition problem, which makes the algorithm equally useful for solving the latter problem. Furthermore, a benchmark set of problem instances is constructed for demonstrating the quality of the proposed algorithm. A comparison with state-of-the-art solvers indicates that the proposed algorithm is able to achieve high-quality results.
△ Less
Submitted 2 July, 2020; v1 submitted 24 April, 2019;
originally announced April 2019.
-
Solving the Steiner Tree Problem in graphs with Variable Neighborhood Descent
Authors:
Matthieu De Laere,
San Tu Pham,
Patrick De Causmaecker
Abstract:
The Steiner Tree Problem (STP) in graphs is an important problem with various applications in many areas such as design of integrated circuits, evolution theory, networking, etc. In this paper, we propose an algorithm to solve the STP. The algorithm includes a reducer and a solver using Variable Neighborhood Descent (VND), interacting with each other during the search. New constructive heuristics…
▽ More
The Steiner Tree Problem (STP) in graphs is an important problem with various applications in many areas such as design of integrated circuits, evolution theory, networking, etc. In this paper, we propose an algorithm to solve the STP. The algorithm includes a reducer and a solver using Variable Neighborhood Descent (VND), interacting with each other during the search. New constructive heuristics and a vertex score system for intensification purpose are proposed. The algorithm is tested on a set of benchmarks which shows encouraging results.
△ Less
Submitted 13 June, 2018;
originally announced June 2018.
-
Evidence for precursors of the coronal hole jets in solar bright points
Authors:
Salome R. Bagashvili,
Bidzina M. Shergelashvili,
Darejan R. Japaridze,
Vasil Kukhianidze,
Stefaan Poedts,
Teimuraz V. Zaqarashvili,
Maxim L. Khodachenko,
Patrick De Causmaecker
Abstract:
A set of 23 observations of coronal jet events that occurred in coronal bright points has been analyzed. The focus was on the temporal evolution of the mean brightness before and during coronal jet events. In the absolute majority of the cases either single or recurrent coronal jets were preceded by slight precursor disturbances observed in the mean intensity curves. The key conclusion is that we…
▽ More
A set of 23 observations of coronal jet events that occurred in coronal bright points has been analyzed. The focus was on the temporal evolution of the mean brightness before and during coronal jet events. In the absolute majority of the cases either single or recurrent coronal jets were preceded by slight precursor disturbances observed in the mean intensity curves. The key conclusion is that we were able to detect quasi-periodical oscillations with characteristic periods from sub-minute up to 3-4 min values in the bright point brightness which precede the jets. Our basic claim is that along with the conventionally accepted scenario of bright point evolution through new magnetic flux emergence and its reconnection with the initial structure of the bright point and the coronal hole, certain MHD oscillatory and wave-like motions can be excited and these can take an important place in the observed dynamics. These quasi-oscillatory phenomena might play the role of links between different epochs of the coronal jet ignition and evolution. They can be an indication of the MHD wave excitation processes due to the system entropy variations, density variations or shear flows. It is very likely a sharp outflow velocity transverse gradients at the edges between the open and closed field line regions. We suppose that magnetic reconnections can be the source of MHD waves due to impulsive generation or rapid temperature variations, and shear flow driven nonmodel MHD wave evolution (self-heating and/or overreflection mechanisms).
△ Less
Submitted 1 March, 2018;
originally announced March 2018.
-
Statistical properties of coronal hole rotation rates: Are they linked to the solar interior?
Authors:
Salome R. Bagashvili,
Bidzina M. Shergelashvili,
Darejan R. Japaridze,
Bidzina B. Chargeishvili,
Alexander G. Kosovichev,
Vasil Kukhianidze,
George Ramishvili,
Teimuraz V. Zaqarashvili,
Stefaan Poedts,
Maxim L. Khodachenko,
Patrick De Causmaecker
Abstract:
The present paper discusses results of a statistical study of the characteristics of coronal hole (CH) rotation in order to find connections to the internal rotation of the Sun. The goal is to measure CH rotation rates and study their distribution over latitude and their area sizes. In addition, the CH rotation rates are compared with the solar photospheric and inner layer rotational profiles. We…
▽ More
The present paper discusses results of a statistical study of the characteristics of coronal hole (CH) rotation in order to find connections to the internal rotation of the Sun. The goal is to measure CH rotation rates and study their distribution over latitude and their area sizes. In addition, the CH rotation rates are compared with the solar photospheric and inner layer rotational profiles. We study coronal holes observed within $\pm 60$ latitude and longitude degrees from the solar disc centre during the time span from the 1 January 2013 to 20 April 2015, which includes the extended peak of solar cycle 24.We used data created by the Spatial Possibilistic Clustering Algorithm (SPoCA), which provides the exact location and characterisation of solar coronal holes using SDO=AIA 193 Å channel images. The CH rotation rates are measured with four-hour cadence data to track variable positions of the CH geometric centre. North-south asymmetry was found in the distribution of coronal holes: about 60 percent were observed in the northern hemisphere and 40 percent were observed in the southern hemisphere. The smallest and largest CHs were present only at high latitudes. The average sidereal rotation rate for 540 examined CHs is $13:86 (\pm 0:05)$ degrees/d. Conclusions. The latitudinal characteristics of CH rotation do not match any known photospheric rotation profile. The CH angular velocities exceed the photospheric angular velocities at latitudes higher than 35-40 degrees. According to our results, the CH rotation profile perfectly coincides with tachocline and the lower layers of convection zone at around 0.71 $R_{\odot}$; this indicates that CHs may be linked to the solar global magnetic field, which originates in the tachocline region.
△ Less
Submitted 14 June, 2017;
originally announced June 2017.
-
Optimization in large graphs: Toward a better future?
Authors:
Pieter Leyman,
Patrick De Causmaecker
Abstract:
Finding groups of connected individuals in large graphs with tens of thousands or more nodes has received considerable attention in academic research. In this paper, we analyze three main issues with respect to the recent influx of papers on community detection in (large) graphs, highlight the specific problems with the current research avenues, and propose a first step towards a better approach.…
▽ More
Finding groups of connected individuals in large graphs with tens of thousands or more nodes has received considerable attention in academic research. In this paper, we analyze three main issues with respect to the recent influx of papers on community detection in (large) graphs, highlight the specific problems with the current research avenues, and propose a first step towards a better approach.
First, in spite of the strong interest in community detection, a strong conceptual and theoretical foundation of connectedness in large graphs is missing. Yet, it is crucial to be able to determine the specific feats that we aim to analyze in large networks, to avoid a purely black-or-white view.
Second, in literature commonly employed (meta)heuristic frameworks are applied for the large graph problems. Currently, it is, however, unclear whether these techniques are even viable options, and what the added value of the constituting parts is. Additionally, the manner in which different algorithms are compared is also ambiguous.
Finally, no analyses of the impact of data parameters on the reported clusters is done. Nonetheless, it would be interesting to evaluate which characteristics lead to which type of communities and what their effect is on computational difficulty.
△ Less
Submitted 23 May, 2017;
originally announced May 2017.
-
The Intermittent Traveling Salesman Problem with Different Temperature Profiles: Greedy or not?
Authors:
Pieter Leyman,
San Tu Pham,
Patrick De Causmaecker
Abstract:
In this research, we discuss the intermittent traveling salesman problem (ITSP), which extends the traditional traveling salesman problem (TSP) by imposing temperature restrictions on each node. These additional constraints limit the maximum allowable visit time per node, and result in multiple visits for each node which cannot be serviced in a single visit. We discuss three different temperature…
▽ More
In this research, we discuss the intermittent traveling salesman problem (ITSP), which extends the traditional traveling salesman problem (TSP) by imposing temperature restrictions on each node. These additional constraints limit the maximum allowable visit time per node, and result in multiple visits for each node which cannot be serviced in a single visit. We discuss three different temperature increase and decrease functions, namely a linear, a quadratic and an exponential function. To solve the problem, we consider three different solution representations as part of a metaheuristic approach. We argue that in case of similar temperature increase and decrease profiles, it is always beneficial to apply a greedy approach, i.e. to process as much as possible given the current node temperature.
△ Less
Submitted 30 January, 2017;
originally announced January 2017.
-
Quasi-oscillatory dynamics observed in ascending phase of the flare on March 6, 2012
Authors:
E. Philishvili,
B. M. Shergelashvili,
T. V. Zaqarashvili,
V. Kukhianidze,
G. Ramishvili,
M. Khodachenko,
S. Poedts,
P. De Causmaecker
Abstract:
Context. The dynamics of the flaring loops in active region (AR) 11429 are studied. The observed dynamics consist of several evolution stages of the flaring loop system during both the ascending and descending phases of the registered M-class flare. The dynamical properties can also be classified by different types of magnetic reconnection, related plasma ejection and aperiodic flows, quasi-period…
▽ More
Context. The dynamics of the flaring loops in active region (AR) 11429 are studied. The observed dynamics consist of several evolution stages of the flaring loop system during both the ascending and descending phases of the registered M-class flare. The dynamical properties can also be classified by different types of magnetic reconnection, related plasma ejection and aperiodic flows, quasi-periodic oscillatory motions, and rapid temperature and density changes, among others. The focus of the present paper is on a specific time interval during the ascending (pre-flare) phase. Aims. The goal is to understand the quasi-periodic behavior in both space and time of the magnetic loop structures during the considered time interval. Methods.We have studied the characteristic location, motion, and periodicity properties of the flaring loops by examining space-time diagrams and intensity variation analysis along the coronal magnetic loops using AIA intensity and HMI magnetogram images (from the Solar Dynamics Observatory(SDO)). Results. We detected bright plasma blobs along the coronal loop during the ascending phase of the solar flare, the intensity variations of which clearly show quasi-periodic behavior. We also determined the periods of these oscillations. Conclusions. Two different interpretations are presented for the observed dynamics. Firstly, the oscillations are interpreted as the manifestation of non-fundamental harmonics of longitudinal standing acoustic oscillations driven by the thermodynamically nonequilibrium background (with time variable density and temperature). The second possible interpretation we provide is that the observed bright blobs could be a signature of a strongly twisted coronal loop that is kink unstable.
△ Less
Submitted 30 December, 2016;
originally announced December 2016.
-
Long-period oscillations of active region patterns: least-squares map** on second-order curves
Authors:
G. Dumbadze,
B. M. Shergelashvili,
V. Kukhianidze,
G. Ramishvili,
T. V. Zaqarashvili,
M. Khodachenko,
E. Gurgenashvili,
S. Poedts,
P. De Causmaecker
Abstract:
Active regions (ARs) are the main sources of variety in solar dynamic events. Automated detection and identification tools need to be developed for solar features for a deeper understanding of the solar cycle. Of particular interest here are the dynamical properties of the ARs, regardless of their internal structure and sunspot distribution. We studied the oscillatory dynamics of two ARs: NOAA 113…
▽ More
Active regions (ARs) are the main sources of variety in solar dynamic events. Automated detection and identification tools need to be developed for solar features for a deeper understanding of the solar cycle. Of particular interest here are the dynamical properties of the ARs, regardless of their internal structure and sunspot distribution. We studied the oscillatory dynamics of two ARs: NOAA 11327 and NOAA 11726 using two different methods of pattern recognition. We developed a novel method of automated AR border detection and compared it to an existing method for the proof-of-concept. The first method uses least-squares fitting on the smallest ellipse enclosing the AR, while the second method applies regression on the convex hull.} After processing the data, we found that the axes and the inclination angle of the ellipse and the convex hull oscillate in time. These oscillations are interpreted as the second harmonic of the standing long-period kink oscillations (with the node at the apex) of the magnetic flux tube connecting the two main sunspots of the ARs. In both ARs we have estimated the distribution of the phase speed magnitude along the magnetic tubes (along the two main spots) by interpreting the obtained oscillation of the inclination angle as the standing second harmonic kink mode. After comparing the obtained results for fast and slow kink modes, we conclude that both of these modes are good candidates to explain the observed oscillations of the AR inclination angles, as in the high plasma $β$ regime the phase speeds of these modes are comparable and on the order of the Alfvén speed. Based on the properties of the observed oscillations, we detected the appropriate depth of the sunspot patterns, which coincides with estimations made by helioseismic methods. The latter analysis can be used as a basis for develo** a magneto-seismological tool for ARs.
△ Less
Submitted 6 October, 2016; v1 submitted 5 October, 2016;
originally announced October 2016.
-
A MIP Backend for the IDP System
Authors:
San Pham,
Jo Devriendt,
Maurice Bruynooghe,
Patrick De Causmaecker
Abstract:
The IDP knowledge base system currently uses MiniSAT(ID) as its backend Constraint Programming (CP) solver. A few similar systems have used a Mixed Integer Programming (MIP) solver as backend. However, so far little is known about when the MIP solver is preferable. This paper explores this question. It describes the use of CPLEX as a backend for IDP and reports on experiments comparing both backen…
▽ More
The IDP knowledge base system currently uses MiniSAT(ID) as its backend Constraint Programming (CP) solver. A few similar systems have used a Mixed Integer Programming (MIP) solver as backend. However, so far little is known about when the MIP solver is preferable. This paper explores this question. It describes the use of CPLEX as a backend for IDP and reports on experiments comparing both backends.
△ Less
Submitted 2 September, 2016;
originally announced September 2016.
-
Characterization of neighborhood behaviours in a multi-neighborhood local search algorithm
Authors:
Nguyen Thi Thanh Dang,
Patrick De Causmaecker
Abstract:
We consider a multi-neighborhood local search algorithm with a large number of possible neighborhoods. Each neighborhood is accompanied by a weight value which represents the probability of being chosen at each iteration. These weights are fixed before the algorithm runs, and are considered as parameters of the algorithm. Given a set of instances, off-line tuning of the algorithm's parameters can…
▽ More
We consider a multi-neighborhood local search algorithm with a large number of possible neighborhoods. Each neighborhood is accompanied by a weight value which represents the probability of being chosen at each iteration. These weights are fixed before the algorithm runs, and are considered as parameters of the algorithm. Given a set of instances, off-line tuning of the algorithm's parameters can be done by automated algorithm configuration tools (e.g., SMAC). However, the large number of neighborhoods can make the tuning expensive and difficult even when the number of parameters has been reduced by some intuition. In this work, we propose a systematic method to characterize each neighborhood's behaviours, representing them as a feature vector, and using cluster analysis to form similar groups of neighborhoods. The novelty of our characterization method is the ability of reflecting changes of behaviours according to hardness of different solution quality regions. We show that using neighborhood clusters instead of individual neighborhoods helps to reduce the parameter configuration space without misleading the search of the tuning procedure. Moreover, this method is problem-independent and potentially can be applied in similar contexts.
△ Less
Submitted 12 March, 2016;
originally announced March 2016.
-
Intervals of Antichains and Their Decompositions
Authors:
Patrick De Causmaecker,
Stefan De Wannemacker,
Jay Yellen
Abstract:
An antichain of subsets is a set of subsets such that no subset in the antichain is a proper subset of any other subset in the antichain. The Dedekind number counts the total number of antichains of subsets of an n-element set. This paper investigates the interval structure of the lattice of antichains. Several partitioning theorems and counting formulas for the size of intervals are derived.
An antichain of subsets is a set of subsets such that no subset in the antichain is a proper subset of any other subset in the antichain. The Dedekind number counts the total number of antichains of subsets of an n-element set. This paper investigates the interval structure of the lattice of antichains. Several partitioning theorems and counting formulas for the size of intervals are derived.
△ Less
Submitted 15 February, 2016;
originally announced February 2016.
-
Formation and evolution of coronal rain observed by SDO/AIA on February 22, 2012
Authors:
Z. Vashalomidze,
V. Kukhianidze,
T. V. Zaqarashvili,
R. Oliver,
B. Shergelashvili,
G. Ramishvili,
S. Poedts,
P. De Causmaecker
Abstract:
The formation and dynamics of coronal rain are currently not fully understood. Coronal rain is the fall of cool and dense blobs formed by thermal instability in the solar corona towards the solar surface with acceleration smaller than gravitational free fall. We aim to study the observational evidence of the formation of coronal rain and to trace the detailed dynamics of individual blobs. We used…
▽ More
The formation and dynamics of coronal rain are currently not fully understood. Coronal rain is the fall of cool and dense blobs formed by thermal instability in the solar corona towards the solar surface with acceleration smaller than gravitational free fall. We aim to study the observational evidence of the formation of coronal rain and to trace the detailed dynamics of individual blobs. We used time series of the 171 Å\, and 304 Å\, spectral lines obtained by the Atmospheric Imaging Assembly (AIA) on board the Solar Dynamic Observatory (SDO) above active region AR 11420 on February 22, 2012. Observations show that a coronal loop disappeared in the 171 Å channel and appeared in the 304 Å line$\text{}\text{}$ more than one hour later, which indicates a rapid cooling of the coronal loop from 1 MK to 0.05 MK. An energy estimation shows that the radiation is higher than the heat input, which indicates so-called catastrophic cooling. The cooling was accompanied by the formation of coronal rain in the form of falling cold plasma. We studied two different sequences of falling blobs. The first sequence includes three different blobs. The mean velocities of the blobs were estimated to be 50 km s$^{-1}$, 60 km s$^{-1}$ and 40 km s$^{-1}$. A polynomial fit shows the different values of the acceleration for different blobs, which are lower than free-fall in the solar corona. The first and second blob move along the same path, but with and without acceleration, respectively. We performed simple numerical simulations for two consecutive blobs, which show that the second blob moves in a medium that is modified by the passage of the first blob. Therefore, the second blob has a relatively high speed and no acceleration, as is shown by observations. The second sequence includes two different blobs with mean velocities of 100 km s$^{-1}$ and 90 km s$^{-1}$, respectively.
△ Less
Submitted 14 April, 2015;
originally announced April 2015.
-
Second International Nurse Rostering Competition (INRC-II) --- Problem Description and Rules ---
Authors:
Sara Ceschia,
Nguyen Thi Thanh Dang,
Patrick De Causmaecker,
Stefaan Haspeslagh,
Andrea Schaerf
Abstract:
In this paper, we provide all information to participate to the Second International Nurse Rostering Competition (INRC-II). First, we describe the problem formulation, which, differently from INRC-I, is a multi-stage procedure. Second, we illustrate all the necessary infrastructure do be used together with the participant's solver, including the testbed, the file formats, and the validation/simula…
▽ More
In this paper, we provide all information to participate to the Second International Nurse Rostering Competition (INRC-II). First, we describe the problem formulation, which, differently from INRC-I, is a multi-stage procedure. Second, we illustrate all the necessary infrastructure do be used together with the participant's solver, including the testbed, the file formats, and the validation/simulation tools. Finally, we state the rules of the competition. All update-to-date information about the competition is available at http://mobiz.vives.be/inrc2/.
△ Less
Submitted 17 January, 2015;
originally announced January 2015.
-
On the number of antichains of sets in a finite universe
Authors:
Patrick De Causmaecker,
Stefan De Wannemacker
Abstract:
Properties of intervals in the lattice of antichains of subsets of a universe of finite size are investigated. New objects and quantities in this lattice are defined. Expressions and numerical values are deduced for the number of connected antichains and the number of fully distinguishing antichains. The latter establish a connection with Stirling numbers of the second kind. Decomposition properti…
▽ More
Properties of intervals in the lattice of antichains of subsets of a universe of finite size are investigated. New objects and quantities in this lattice are defined. Expressions and numerical values are deduced for the number of connected antichains and the number of fully distinguishing antichains. The latter establish a connection with Stirling numbers of the second kind. Decomposition properties of intervals in the lattice of antichains are proven. A new operator allowing partitioning the full lattice in intervals derived from lower dimensional sub-lattices is introduced. Special posets underlying an interval of antichains are defined. The poset allows the derivation of a powerful formula for the size of an interval. This formula allows computing intervals in the six dimensional space. Combinatorial coefficients allowing another decomposition of the full lattice are defined. In some specific cases, related to connected components in graphs, these coefficients can be efficiently computed. This formula allows computing the size of the lattice of order 8 efficiently. This size is the number of Dedekind of order 8, the largest one known so far.
△ Less
Submitted 23 July, 2014; v1 submitted 16 July, 2014;
originally announced July 2014.
-
Partitioning in the space of antimonotonic functions
Authors:
Patrick De Causmaecker,
Stefan De Wannemacker
Abstract:
This paper studies partitions in the space of antimonotonic boolean functions on sets of n elements. The antimonotonic functions are the antichains of the partially ordered set of subsets. We analyse and characterise a natural partial ordering on this set. We study the inter- vals according to this ordering. We show how intervals of antimonotonic functions, and a fortiori the whole space of antimo…
▽ More
This paper studies partitions in the space of antimonotonic boolean functions on sets of n elements. The antimonotonic functions are the antichains of the partially ordered set of subsets. We analyse and characterise a natural partial ordering on this set. We study the inter- vals according to this ordering. We show how intervals of antimonotonic functions, and a fortiori the whole space of antimonotonic functions can be partitioned as disjoint unions of certain classes of intervals. These in- tervals are uniquely determined by antimonotonic functions on smaller sets. This leads to recursive enumeration algorithms and new recursion relations. Using various decompositions, we derive new recursion formu- lae for the number of antimonotonic functions and hence for the number of monotonic functions (i.e. the Dedekind number).
△ Less
Submitted 15 March, 2011;
originally announced March 2011.