# Design of Polynomial-delay Enumeration Algorithms in Transitive Systems

In this paper, as a new notion, we define a transitive system to be a set system (V, šā 2^V) on a finite set V of elements such that every three sets X,Y,Zāš with Zā Xā© Y implies XāŖ Yāš, where we call a set Cāš a component. We assume that two oracles L_1 and L_2 are available, where given two subsets X,Yā V, L_1 returns a maximal component Cāš with Xā Cā Y; and given a set Yā V, L_2 returns all maximal components Cāš with Cā Y. Given a set I of attributes and a function Ļ:Vā 2^I in a transitive system, a component Cāš is called a solution if the set of common attributes in C is inclusively maximal; i.e., ā_vā CĻ(v)āā_vā XĻ(v) for any component Xāš with Cā X. We prove that there exists an algorithm of enumerating all solutions in delay bounded by a polynomial with respect to the input size and the running times of the oracles. The proposed algorithm yields the first polynomial-delay algorithms for enumerating connectors in an attributed graph and for enumerating all subgraphs with various types of connectivities such as all k-edge/vertex-connected induced subgraphs and all k-edge/vertex-connected spanning subgraphs in a given undirected/directed graph for a fixed k.

• 9 publications
• 12 publications
research
ā 04/16/2020

### Polynomial-delay Enumeration Algorithms in Set Systems

We consider a set system (V, šā 2^V) on a finite set V of elements, wher...
research
ā 02/10/2023

### A Linear Delay Algorithm for Enumeration of 2-Edge/Vertex-connected Induced Subgraphs

For a set system (V,šā 2^V), we call a subset Cāš a component. A nonempt...
research
ā 12/31/2019

### Proximity Search For Maximal Subgraph Enumeration

This paper considers the subgraphs of an input graph that satisfy a give...
research
ā 07/02/2020

### Efficient enumeration of maximal split subgraphs and sub-cographs and related classes

In this paper, we are interested in algorithms that take in input an arb...
research
ā 09/20/2023

### Single-Exponential FPT Algorithms for Enumerating Secluded ā±-Free Subgraphs and Deleting to Scattered Graph Classes

The celebrated notion of important separators bounds the number of small...
research
ā 04/21/2020

### Enumerating Maximal Induced Subgraphs

Given a graph G, the maximal induced subgraphs problem asks to enumerate...
research
ā 05/10/2019

### Robustness: a New Form of Heredity Motivated by Dynamic Networks

We investigate a special case of hereditary property in graphs, referred...