English
Related papers

Related papers: SAT Encoding of Partial Ordering Models for Graph …

200 papers

We describe a rational approach to reduce the computational and communication complexities of lossless point-to-point compression for computation with side information. The traditional method relies on building a characteristic graph with…

Information Theory · Computer Science 2022-06-07 Derya Malak

We show how graph neural networks can be used to solve the canonical graph coloring problem. We frame graph coloring as a multi-class node classification problem and utilize an unsupervised training strategy based on the statistical physics…

Machine Learning · Computer Science 2022-11-28 Martin J. A. Schuetz , J. Kyle Brubaker , Zhihuai Zhu , Helmut G. Katzgraber

We present a simple and versatile formulation of grid-based graph representation problems as an integer linear program (ILP) and a corresponding SAT instance. In a grid-based representation vertices and edges correspond to axis-parallel…

Computational Geometry · Computer Science 2015-02-17 Therese Biedl , Thomas Bläsius , Benjamin Niedermann , Martin Nöllenburg , Roman Prutkin , Ignaz Rutter

A class domination coloring (also called cd-Coloring or dominated coloring) of a graph is a proper coloring in which every color class is contained in the neighbourhood of some vertex. The minimum number of colors required for any…

Discrete Mathematics · Computer Science 2022-03-18 R. Krithika , Ashutosh Rai , Saket Saurabh , Prafullkumar Tale

We introduce and study the Doubly Balanced Connected graph Partitioning (DBCP) problem: Let $G=(V,E)$ be a connected graph with a weight (supply/demand) function $p:V\rightarrow \{-1,+1\}$ satisfying $p(V)=\sum_{j\in V} p(j)=0$. The…

Combinatorics · Mathematics 2016-07-25 Saleh Soltan , Mihalis Yannakakis , Gil Zussman

The Simple Assembly Line Balancing Problem with Power Peak Minimization (SALBP-3PM) minimizes maximum instantaneous power usage while assigning $n$ tasks to $m$ workstations and determining execution schedules within given cycle time…

Logic in Computer Science · Computer Science 2025-12-15 Tuyen Van Kieu , Phong Chi Nguyen , Bao Gia Hoang , Khanh Van To

Many variations of the classical graph coloring model have been intensively studied due to their multiple applications; scheduling problems and aircraft assignments, for instance, motivate the robust coloring problem. This model gets to…

Discrete Mathematics · Computer Science 2023-05-17 Delia Garijo , Alberto Márquez , Rafael Robles

Let $G$ be a graph on $n$ vertices and let $\mathcal{L}_k$ be an arbitrary function that assigns each vertex in $G$ a list of $k$ colours. Then $G$ is $\mathcal{L}_k$-list colourable if there exists a proper colouring of the vertices of $G$…

Combinatorics · Mathematics 2014-03-12 Jeannette Janssen , Rogers Mathew , Deepak Rajendraprasad

In this paper, we introduce a new concept in graph coloring, namely the \textit{packing total coloring}, which extends the idea of packing coloring to both the vertices and the edges of a given graph. More precisely, for a graph $G$, a…

Combinatorics · Mathematics 2026-05-11 Jasmina Ferme , Daša Mesarič Štesl

We study the problem of coloring a given graph using a small number of colors in several well-established models of computation for big data. These include the data streaming model, the general graph query model, the massively parallel…

Data Structures and Algorithms · Computer Science 2019-05-03 Suman K. Bera , Amit Chakrabarti , Prantar Ghosh

Given a multigraph $G=(V,E)$, the {\em edge-coloring problem} (ECP) is to color the edges of $G$ with the minimum number of colors so that no two adjacent edges have the same color. This problem can be naturally formulated as an integer…

Combinatorics · Mathematics 2022-06-09 Guantao Chen , Guangming Jing , Wenan Zang

Answer Set Programming (ASP) is a famous logic language for knowledge representation, which has been really successful in the last years, as witnessed by the great interest into the development of efficient solvers for ASP. Yet, the great…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-09-19 Marco De Bortoli

Machine learning (ML) approaches are increasingly being used to accelerate combinatorial optimization (CO) problems. We investigate the Set Cover Problem (SCP) and propose Graph-SCP, a graph neural network method that augments existing…

Machine Learning · Computer Science 2025-10-10 Zohair Shafi , Benjamin A. Miller , Tina Eliassi-Rad , Rajmonda S. Caceres

In the index coding problem, introduced by Birk and Kol (INFOCOM, 1998), the goal is to broadcast an n bit word to n receivers (one bit per receiver), where the receivers have side information represented by a graph G. The objective is to…

Data Structures and Algorithms · Computer Science 2015-03-19 Eden Chlamtac , Ishay Haviv

In a bounded max-coloring of a vertex/edge weighted graph, each color class is of cardinality at most $b$ and of weight equal to the weight of the heaviest vertex/edge in this class. The bounded max-vertex/edge-coloring problems ask for…

Data Structures and Algorithms · Computer Science 2009-04-13 Evripidis Bampis , Alexander Kononov , Giorgio Lucarelli , Ioannis Milis

The degree splitting problem requires coloring the edges of a graph red or blue such that each node has almost the same number of edges in each color, up to a small additive discrepancy. The directed variant of the problem requires…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-12-24 Mohsen Ghaffari , Juho Hirvonen , Fabian Kuhn , Yannic Maus , Jukka Suomela , Jara Uitto

In this paper we study fractional coloring from the angle of distributed computing. Fractional coloring is the linear relaxation of the classical notion of coloring, and has many applications, in particular in scheduling. It was proved by…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-03-15 Nicolas Bousquet , Louis Esperet , François Pirot

Let $G = (V,E)$ be a finite simple graph. Recall that a proper coloring of $G$ is a mapping $\varphi: V\to\{1,\ldots,k\}$ such that every color class induces an independent set. Such a $\varphi$ is called a semi-matching coloring if the…

Combinatorics · Mathematics 2017-12-11 Yaroslav Shitov

The Minimum Sum Coloring Problem is a variant of the Graph Vertex Coloring Problem, for which each color has a weight. This paper presents a new way to find a lower bound of this problem, based on a relaxation into an integer partition…

Discrete Mathematics · Computer Science 2019-09-20 Alexandre Gondran , Vincent Duchamp , Laurent Moalic

We introduce a new type of adversary for online graph problems. The new adversary is parameterized by a single integer $\kappa$, which upper bounds the number of connected components that the adversary can use at any time during the…

Data Structures and Algorithms · Computer Science 2020-05-25 Yaqiao Li , Vishnu V. Narayan , Denis Pankratov