Parallel algorithm for computing fixpoints of Galois connections

  • Authors:
  • Petr Krajca;Jan Outrata;Vilem Vychodil

  • Affiliations:
  • Department of Computer Science, Palacky University, Olomouc, Czech Republic;Department of Computer Science, Palacky University, Olomouc, Czech Republic;Department of Computer Science, Palacky University, Olomouc, Czech Republic

  • Venue:
  • Annals of Mathematics and Artificial Intelligence
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper presents a parallel algorithm for computing fixpoints of Galois connections induced by object-attribute relational data. The algorithm results as a parallelization of CbO (Kuznetsov 1999) in which we process disjoint sets of fixpoints simultaneously. One of the distinctive features of the algorithm compared to other parallel algorithms is that it avoids synchronization which has positive impacts on its speed and implementation. We describe the parallel algorithm, prove its correctness, and analyze its asymptotic complexity. Furthermore, we focus on implementation issues, scalability of the algorithm, and provide an evaluation of its efficiency on various data sets.