2,998 research outputs found
Characterizing extremal digraphs for identifying codes and extremal cases of Bondy's theorem on induced subsets
An identifying code of a (di)graph is a dominating subset of the
vertices of such that all distinct vertices of have distinct
(in)neighbourhoods within . In this paper, we classify all finite digraphs
which only admit their whole vertex set in any identifying code. We also
classify all such infinite oriented graphs. Furthermore, by relating this
concept to a well known theorem of A. Bondy on set systems we classify the
extremal cases for this theorem
Nonbipartite Dulmage-Mendelsohn Decomposition for Berge Duality
The Dulmage-Mendelsohn decomposition is a classical canonical decomposition
in matching theory applicable for bipartite graphs, and is famous not only for
its application in the field of matrix computation, but also for providing a
prototypal structure in matroidal optimization theory. The Dulmage-Mendelsohn
decomposition is stated and proved using the two color classes, and therefore
generalizing this decomposition for nonbipartite graphs has been a difficult
task. In this paper, we obtain a new canonical decomposition that is a
generalization of the Dulmage-Mendelsohn decomposition for arbitrary graphs,
using a recently introduced tool in matching theory, the basilica
decomposition. Our result enables us to understand all known canonical
decompositions in a unified way. Furthermore, we apply our result to derive a
new theorem regarding barriers. The duality theorem for the maximum matching
problem is the celebrated Berge formula, in which dual optimizers are known as
barriers. Several results regarding maximal barriers have been derived by known
canonical decompositions, however no characterization has been known for
general graphs. In this paper, we provide a characterization of the family of
maximal barriers in general graphs, in which the known results are developed
and unified
Disimplicial arcs, transitive vertices, and disimplicial eliminations
In this article we deal with the problems of finding the disimplicial arcs of
a digraph and recognizing some interesting graph classes defined by their
existence. A diclique of a digraph is a pair of sets of vertices such
that is an arc for every and . An arc is
disimplicial when is a diclique. We show that the problem
of finding the disimplicial arcs is equivalent, in terms of time and space
complexity, to that of locating the transitive vertices. As a result, an
efficient algorithm to find the bisimplicial edges of bipartite graphs is
obtained. Then, we develop simple algorithms to build disimplicial elimination
schemes, which can be used to generate bisimplicial elimination schemes for
bipartite graphs. Finally, we study two classes related to perfect disimplicial
elimination digraphs, namely weakly diclique irreducible digraphs and diclique
irreducible digraphs. The former class is associated to finite posets, while
the latter corresponds to dedekind complete finite posets.Comment: 17 pags., 3 fig
- …