English
Related papers

Related papers: The Visualization of the Road Coloring Algorithm i…

200 papers

Path graphs are intersection graphs of paths in a tree.~In this paper we give a "6\ good characterization" of path graphs, namely, we prove that path graph membership is in $NP\cap CoNP$ without resorting to existing polynomial time…

Discrete Mathematics · Computer Science 2021-09-20 Nicola Apollonio , Lorenzo Balzotti

We define a graph-based rate optimization problem and consider its computation, which provides a unified approach to the computation of various theoretical limits, including the (conditional) graph entropy, rate-distortion functions and…

Information Theory · Computer Science 2025-03-18 Deheng Yuan , Tao Guo , Zhongyi Huang , Shi Jin

This paper explores the application of a new algebraic method of color exchanges to the edge coloring of simple graphs. Vizing's theorem states that the edge coloring of a simple graph $G$ requires either $\Delta$ or $\Delta+1$ colors,…

Data Structures and Algorithms · Computer Science 2011-04-12 Tony T. Lee , Yujie Wan , Hao Guan

Over the last decade, the process of automatic image colorization has been of significant interest for several application areas including restoration of aged or degraded images. This problem is highly ill-posed due to the large degrees of…

Computer Vision and Pattern Recognition · Computer Science 2018-07-16 Kamyar Nazeri , Eric Ng , Mehran Ebrahimi

In graph theory, Graph Colouring Problem (GCP) is an assignment of colours to vertices of any given graph such that the colours on adjacent vertices are different. The GCP is known to be an optimization and NP-hard problem. Imperialist…

Artificial Intelligence · Computer Science 2013-08-20 Hojjat Emami , Shahriar Lotfi

A code design problem for memory devises with restricted state transitions is formulated as a combinatorial optimization problem that is called a subgraph domatic partition (subDP) problem. If any neighbor set of a given state transition…

Information Theory · Computer Science 2015-01-20 Tadashi Wadayama , Taizuke Izumi , Hirotaka Ono

Self-stabilization is a versatile technique to withstand any transient fault in a distributed system. Mobile robots (or agents) are one of the emerging trends in distributed computing as they mimic autonomous biologic entities. The…

Data Structures and Algorithms · Computer Science 2009-09-29 Lélia Blin , Maria Gradinariu Potop-Butucaru , Sébastien Tixeuil

In the Properly Colored Spanning Tree problem, we are given an edge-colored undirected graph and the goal is to find a properly colored spanning tree, i.e., a spanning tree in which any two adjacent edges have distinct colors. The problem…

Data Structures and Algorithms · Computer Science 2024-02-02 Yuhang Bai , Kristóf Bérczi , Gergely Csáji , Tamás Schwarcz

Graph coloring is one of the central problems in distributed graph algorithms. Much of the research on this topic has focused on coloring with $\Delta+1$ colors, where $\Delta$ denotes the maximum degree. Using $\Delta+1$ colors may be…

Data Structures and Algorithms · Computer Science 2017-08-24 Mohsen Ghaffari , Christiana Lymouri

Graph coloring, also known as vertex coloring, considers the problem of assigning colors to the nodes of a graph such that adjacent nodes do not share the same color. The optimization version of the problem concerns the minimization of the…

Artificial Intelligence · Computer Science 2010-11-25 Hugo Hernández , Christian Blum

We investigate networks of automata that synchronise over common action labels. A graph synchronisation topology between the automata is defined in such a way that two automata are connected iff they can synchronise over an action. We show…

Logic in Computer Science · Computer Science 2020-12-10 Laure Petrucci , Michał Knapik

We present trade-offs in the incremental and fully dynamic settings to maintian a proper coloring. For any fully dynamic $2$-coloring algorithm, the maximum of the update time, number of recolorings, and query time is $\Omega(\log n)$. We…

Data Structures and Algorithms · Computer Science 2020-02-28 Manas Jyoti Kashyop , N. S. Narayanaswamy , Meghana Nasre , Sai Mohith Potluri

In this paper we study the number of vertex recolorings that an algorithm needs to perform in order to maintain a proper coloring of a graph under insertion and deletion of vertices and edges. We present two algorithms that achieve…

Data Structures and Algorithms · Computer Science 2018-06-26 Luis Barba , Jean Cardinal , Matias Korman , Stefan Langerman , André van Renssen , Marcel Roeloffzen , Sander Verdonschot

The present paper studies local distributed graph problems in highly dynamic networks. Communication and changes of the graph happen in synchronous rounds and our algorithms always, i.e., in every round, satisfy non-trivial guarantees, no…

Data Structures and Algorithms · Computer Science 2018-12-10 Philipp Bamberger , Fabian Kuhn , Yannic Maus

Handling various objects with different colors is a significant challenge for image colorization techniques. Thus, for complex real-world scenes, the existing image colorization algorithms often fail to maintain color consistency. In this…

Computer Vision and Pattern Recognition · Computer Science 2023-04-26 Subhankar Ghosh , Saumik Bhattacharya , Prasun Roy , Umapada Pal , Michael Blumenstein

A directed acyclic graph (DAG) can represent a two-dimensional string or picture. We propose recognizing picture languages using DAG automata by encoding 2D inputs into DAGs. An encoding can be input-agnostic (based on input size only) or…

Formal Languages and Automata Theory · Computer Science 2026-05-26 Yvo Ad Meeres , František Mráz

A square coloring of a graph $G$ is a coloring of the square $G^2$ of $G$, that is, a coloring of the vertices of $G$ such that any two vertices that are at distance at most $2$ in $G$ receive different colors. We investigate the complexity…

Data Structures and Algorithms · Computer Science 2022-11-09 Akanksha Agrawal , Dániel Marx , Daniel Neuen , Jasper Slusallek

Color refinement is a classical technique used to show that two given graphs G and H are non-isomorphic; it is very efficient, although it does not succeed on all graphs. We call a graph G amenable to color refinement if it succeeds in…

Computational Complexity · Computer Science 2015-05-05 V. Arvind , Johannes Köbler , Gaurav Rattan , Oleg Verbitsky

Video colorization task has recently attracted wide attention. Recent methods mainly work on the temporal consistency in adjacent frames or frames with small interval. However, it still faces severe challenge of the inconsistency between…

Computer Vision and Pattern Recognition · Computer Science 2023-05-16 Yu Zhang , Siqi Chen , Mingdao Wang , Xianlin Zhang , Chuang Zhu , Yue Zhang , Xueming Li

Color-constrained subgraph problems are those where we are given an edge-colored (directed or undirected) graph and the task is to find a specific type of subgraph, like a spanning tree, an arborescence, a single-source shortest path tree,…

Data Structures and Algorithms · Computer Science 2024-07-24 P. S. Ardra , Jasine Babu , Kritika Kashyap , R. Krithika , Sreejith K. Pallathumadam , Deepak Rajendraprasad