Abstract:The maximum common subgraph of two graphs is the largest possible common subgraph, i.e., the common subgraph with as many vertices as possible. Even if this problem is very challenging, as it has been long proven NP-hard, its countless practical applications still motivates searching for exact solutions. This work discusses the possibility to extend an existing, very effective branch-and-bound procedure on parallel multi-core and many-core architectures. We analyze a parallel multi-core implementation that exploits a divide-and-conquer approach based on a thread pool, which does not deteriorate the original algorithmic efficiency and it minimizes data structure repetitions. We also extend the original algorithm to parallel many-core GPU architectures adopting the CUDA programming framework, and we show how to handle the heavily workload-unbalance and the massive data dependency. Then, we suggest new heuristics to reorder the adjacency matrix, to deal with “dead-ends”, and to randomize the search with automatic restarts. These heuristics can achieve significant speed-ups on specific instances, even if they may not be competitive with the original strategy on average. Finally, we propose a portfolio approach, which integrates all the different local search algorithms as component tools; such portfolio, rather than choosing the best tool for a given instance up-front, takes the decision on-line. The proposed approach drastically limits memory bandwidth constraints and avoids other typical portfolio fragility as CPU and GPU versions often show a complementary efficiency and run on separated platforms. Experimental results support the claims and motivate further research to better exploit GPUs in embedded task-intensive and multi-engine parallel applications.

Derivation of Parallel Programs for Maximum Marking Problems on Lists

MmpP: Maximum Marking Problems in Parallel

Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem

Online Scheduling on Parallel Machines: A Survey

Generation of Efficient Programs for Solving Maximum Multi-Marking Problems

Maximum Marking Problems with Accumulative Weight Functions

Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms.

Parallel Dynamic Programming using Data-Parallel Skeletons

Formal Derivation Of The Maximal Contiguous Subsequence Sum Problem With Par Method

Solving more general maximum marking problems on recursive data structures

The Parallel Theorem Proving Algorithm Based on Semi-Extension Rule

Parallelization with Tree Skeletons

Deriving Parallel Codes Via Invariants

Calculating Linear Time Algorithms for Solving Maximum Weightsum Problems

A Uniform Approach Toward Nested Parallelism

The Maximum Common Subgraph Problem: A Parallel and Multi-Engine Approach

Make It Practical: a Generic Linear-Time Algorithm for Solving Maximum-Weightsum Problems.

The Maximum Clique Problems with Applications to Graph Coloring

Systematic Derivation of Tree Contraction Algorithms.

A Parallel Method With Hybrid Algorithms For Mixed Integer Nonlinear Programming

Parallelizing Maximal Clique Enumeration Over Graph Data.