scholarly journals An Introduction to Clique Minimal Separator Decomposition

Algorithms ◽  
2010 ◽  
Vol 3 (2) ◽  
pp. 197-215 ◽  
Author(s):  
Anne Berry ◽  
Romain Pogorelcnik ◽  
Geneviève Simonet
Keyword(s):  
Minimal Separator

scholarly journals Computing the Atom Graph of a Graph and the Union Join Graph of a Hypergraph

Algorithms ◽  
2021 ◽  
Vol 14 (12) ◽  
pp. 347
Author(s):  
Anne Berry ◽  
Geneviève Simonet
Keyword(s):  
Real Number ◽  
Time Complexity ◽  
Matrix Multiplication ◽  
Efficient Algorithms ◽  
Join Graph ◽  
Current Value ◽  
Minimal Separator

The atom graph of a graph is a graph whose vertices are the atoms obtained by clique minimal separator decomposition of this graph, and whose edges are the edges of all possible atom trees of this graph. We provide two efficient algorithms for computing this atom graph, with a complexity in O(min(nωlogn,nm,n(n+m¯)) time, where n is the number of vertices of G, m is the number of its edges, m¯ is the number of edges of the complement of G, and ω, also denoted by α in the literature, is a real number, such that O(nω) is the best known time complexity for matrix multiplication, whose current value is 2,3728596. This time complexity is no more than the time complexity of computing the atoms in the general case. We extend our results to α-acyclic hypergraphs, which are hypergraphs having at least one join tree, a join tree of an hypergraph being defined by its hyperedges in the same way as an atom tree of a graph is defined by its atoms. We introduce the notion of union join graph, which is the union of all possible join trees; we apply our algorithms for atom graphs to efficiently compute union join graphs.

On the maximum weight minimal separator

2019 ◽  
Vol 796 ◽  
pp. 294-308
Author(s):  
Tesshu Hanaka ◽  
Hans L. Bodlaender ◽  
Tom C. van der Zanden ◽  
Hirotaka Ono
Keyword(s):  
Maximum Weight ◽  
Minimal Separator

Minimal Separators

1999 ◽  
Vol 42 (3) ◽  
pp. 386-392
Author(s):  
Norbert Polat
Keyword(s):  
Connected Graph ◽  
Bounded Degree ◽  
Minimal Separator

AbstractA separator of a connected graph G is a set of vertices whose removal disconnects G. In this paper we give various conditions for a separator to contain a minimal one. In particular we prove that every separator of a connected graph that has no thick end, or which is of bounded degree, contains a minimal separator.

On the Maximum Weight Minimal Separator

2017 ◽  
pp. 304-318 ◽  
Author(s):  
Tesshu Hanaka ◽  
Hans L. Bodlaender ◽  
Tom C. van der Zanden ◽  
Hirotaka Ono
Keyword(s):  
Maximum Weight ◽  
Minimal Separator

Research on Selecting a Sublattice Based on L-Context

2014 ◽  
Vol 543-547 ◽  
pp. 4444-4447
Author(s):  
Can Wang ◽  
Xi Yu ◽  
An Sheng Deng ◽  
Chun Ming Xu ◽  
Li Juan Wang
Keyword(s):  
Decision Making ◽  
Graph Theory ◽  
Binary Relation ◽  
Concept Lattice ◽  
Fuzzy Graph ◽  
Fuzzy Concept Lattice ◽  
Fuzzy Concept ◽  
Minimal Separator ◽  
The Relationship ◽  
Open Issues

In this paper, given a binary relation, we represented the relationship between a fuzzy graph and a fuzzy concept lattice. We introduced one of the most useful notions in Graph Theory--minimal separator. In order to make decision-making much easier, the number of concepts can be reduced by selecting a sublattice via saturating the minimal separator of a given concept, a method also proposed when converting L-context to classical context. In the end, we discussed a few open issues.

scholarly journals Finding a maximum minimal separator: Graph classes and fixed-parameter tractability

2021 ◽  
Author(s):  
Tesshu Hanaka ◽  
Yasuaki Kobayashi ◽  
Yusuke Kobayashi ◽  
Tsuyoshi Yagita
Keyword(s):  
Fixed Parameter Tractability ◽  
Graph Classes ◽  
Fixed Parameter ◽  
Minimal Separator

scholarly journals Covering Minimal Separators and Potential Maximal Cliques in $P_t$-Free Graphs

10.37236/9473 ◽  
2021 ◽  
Vol 28 (1) ◽  
Author(s):  
Andrzej Grzesik ◽  
Tereza Klimošová ◽  
Marcin Pilipczuk ◽  
Michał Pilipczuk
Keyword(s):  
Independent Set ◽  
Constant Number ◽  
Maximum Weight ◽  
Induced Subgraph ◽  
Covering Lemma ◽  
Graph Classes ◽  
Polynomial Time Algorithms ◽  
Minimal Separator ◽  
Structural Insights ◽  
Significant Effort

 A graph is called $P_t$-free if it does not contain a $t$-vertex path as an induced subgraph. While $P_4$-free graphs are exactly cographs, the structure of $P_t$-free graphs for $t \geqslant 5$ remains little understood. On one hand, classic computational problems such as Maximum Weight Independent Set (MWIS) and $3$-Coloring are not known to be NP-hard on $P_t$-free graphs for any fixed $t$. On the other hand, despite significant effort, polynomial-time algorithms for MWIS in $P_6$-free graphs~[SODA 2019] and $3$-Coloring in $P_7$-free graphs~[Combinatorica 2018] have been found only recently. In both cases, the algorithms rely on deep structural insights into the considered graph classes. One of the main tools in the algorithms for MWIS in $P_5$-free graphs~[SODA 2014] and in $P_6$-free graphs~[SODA 2019] is the so-called Separator Covering Lemma that asserts that every minimal separator in the graph can be covered by the union of neighborhoods of a constant number of vertices. In this note we show that such a statement generalizes to $P_7$-free graphs and is false in $P_8$-free graphs. We also discuss analogues of such a statement for covering potential maximal cliques with unions of neighborhoods.

scholarly journals AMP Chain Graphs: Minimal Separators and Structure Learning Algorithms

2020 ◽  
Vol 69 ◽  
pp. 419-470
Author(s):  
Mohammad Ali Javidian ◽  
Marco Valtorta ◽  
Pooyan Jamshidi
Keyword(s):  
Structure Learning ◽  
Ground Truth ◽  
High Dimensional ◽  
Adjacent Pair ◽  
Underlying Graph ◽  
Polynomial Time Algorithms ◽  
Disjoint Sets ◽  
Minimal Separator ◽  
Chain Graphs ◽  
Special Case

This paper deals with chain graphs (CGs) under the Andersson–Madigan–Perlman (AMP) interpretation. We address the problem of finding a minimal separator in an AMP CG, namely, finding a set Z of nodes that separates a given non-adjacent pair of nodes such that no proper subset of Z separates that pair. We analyze several versions of this problem and offer polynomial time algorithms for each. These include finding a minimal separator from a restricted set of nodes, finding a minimal separator for two given disjoint sets, and testing whether a given separator is minimal. To address the problem of learning the structure of AMP CGs from data, we show that the PC-like algorithm is order dependent, in the sense that the output can depend on the order in which the variables are given. We propose several modifications of the PC-like algorithm that remove part or all of this order-dependence. We also extend the decomposition-based approach for learning Bayesian networks (BNs) to learn AMP CGs, which include BNs as a special case, under the faithfulness assumption. We prove the correctness of our extension using the minimal separator results. Using standard benchmarks and synthetically generated models and data in our experiments demonstrate the competitive performance of our decomposition-based method, called LCD-AMP, in comparison with the (modified versions of) PC-like algorithm. The LCD-AMP algorithm usually outperforms the PC-like algorithm, and our modifications of the PC-like algorithm learn structures that are more similar to the underlying ground truth graphs than the original PC-like algorithm, especially in high-dimensional settings. In particular, we empirically show that the results of both algorithms are more accurate and stabler when the sample size is reasonably large and the underlying graph is sparse

Sign in / Sign up

Export Citation Format

Share Document