paper-with-me

Papers

MORBDD: Multiobjective Restricted Binary Decision Diagrams by Learning to Sparsify

2024-03-04 · Rahul Patel, Elias B. Khalil, David Bergman

In multicriteria decision-making, a user seeks a set of non-dominated solutions to a (constrained) multiobjective optimization problem, the so-called Pareto frontier. In this work, we seek to bring a state-of-the-art method for exact multiobjective integer linear programming into the heuristic realm. We focus on binary decision diagrams (BDDs) which first construct a graph that represents all feasible solutions to the problem and then traverse the graph to extract the Pareto frontier. Because the Pareto frontier may be exponentially large, enumerating it over the BDD can be time-consuming. We explore how restricted BDDs, which have already been shown to be effective as heuristics for single-objective problems, can be adapted to multiobjective optimization through the use of machine learning (ML). MORBDD, our ML-based BDD sparsifier, first trains a binary classifier to eliminate BDD nodes that are unlikely to contribute to Pareto solutions, then post-processes the sparse BDD to ensure its connectivity via optimization. Experimental results on multiobjective knapsack problems show that MORBDD is highly effective at producing very small restricted BDDs with excellent approximation quality, outperforming width-limited restricted BDDs and the well-known evolutionary algorithm NSGA-II.

📄 PDF Abstract BibTeX arXiv:2403.02482

Code (0)

등록된 구현이 없습니다.

Tasks

Decision MakingMultiobjective Optimization

Methods 이 논문이 사용한 방법론

SET Dynamic Sparse Training method where weight mask is updated randomly periodically
Focus 설명 없음

Similar Papers 제목 키워드 기반

LEO: Learning Efficient Orderings for Multiobjective Binary Decision Diagrams

2023-07-06 · Rahul Patel, Elias B. Khalil

Approaches based on Binary decision diagrams (BDDs) have recently achieved state-of-the-art results for multiobjective integer programming problems. The variable ordering used in constructing BDDs can have a significant …

Query Learning Algorithm for Ordered Multi-Terminal Binary Decision Diagrams

2023-03-03 · Atsuyoshi Nakamura

We propose a query learning algorithm for ordered multi-terminal binary decision diagrams (OMTBDDs) using at most n equivalence and 2n(l\lcei\log_2 m\rceil+ 3n) membership queries by extending the algorithm for ordered b…

Ordered Functional Decision Diagrams: A Functional Semantics For Binary Decision Diagrams

2020-03-20 · Joan Thibault, Khalil Ghorbal

We introduce a novel framework, termed $\lambda$DD, that revisits Binary Decision Diagrams from a purely functional point of view. The framework allows to classify the already existing variants, including the most recent…

Negation

The Tractability of SHAP-Score-Based Explanations over Deterministic and Decomposable Boolean Circuits

2020-07-28 · Marcelo Arenas, Pablo Barceló Leopoldo Bertossi, Mikaël Monet

Scores based on Shapley values are widely used for providing explanations to classification results over machine learning models. A prime example of this is the influential SHAP-score, a version of the Shapley value that…

On the Relative Succinctness of Sentential Decision Diagrams

2018-02-13 · Beate Bollig, Matthias Buttkus

Sentential decision diagrams (SDDs) introduced by Darwiche in 2011 are a promising representation type used in knowledge compilation. The relative succinctness of representation types is an important subject in this area…