Tampere University of Technology

TUTCRIS Research Portal

A general framework for island systems

Research output: Contribution to journalArticleScientificpeer-review

Details

Original languageEnglish
Pages (from-to)3-24
Number of pages22
JournalActa Universitatis Szegediensis: Acta Scientiarum Mathematicarum
Volume81
Issue number1-2
DOIs
Publication statusPublished - 2015
Publication typeA1 Journal article-refereed

Abstract

The notion of an island defined on a rectangular board is an elementary combinatorial concept that occurred first in [3]. Results of [3] were starting points for investigations exploring several variations and various aspects of this notion. In this paper we introduce a general framework for islands that subsumes all earlier studied concepts of islands on finite boards, moreover we show that the prime implicants of a Boolean function, the formal concepts of a formal context, convex subgraphs of a simple graph, and some particular subsets of a projective plane also fit into this framework. We axiomatize those cases where islands have the property of being pairwise comparable or disjoint, or they are distant, introducing the notion of a connective island domain and of a proximity domain, respectively. In the general case the maximal systems of islands are characterised by using the concept of an admissible system. We also characterise all possible island systems in the case of connective island domains and proximity domains.

ASJC Scopus subject areas

Keywords

  • Admissible system, CD-independent and CDW-independent sets, Connected subgraph, Convex subgraph, Distant system, Formal concept, Height function, Island domain, Island system, Point-to-set proximity relation, Prime implicant, Projective plane, Proximity domain

Publication forum classification

Field of science, Statistics Finland