1,569 research outputs found
Smallest Domination Number and Largest Independence Number of Graphs and Forests with given Degree Sequence
For a sequence of non-negative integers, let and be the sets of all graphs and forests with degree sequence ,
respectively. Let ,
, , and where is the domination
number and is the independence number of a graph . Adapting
results of Havel and Hakimi, Rao showed in 1979 that can be
determined in polynomial time.
We establish the existence of realizations with
, and with
and that have strong structural properties. This leads to
an efficient algorithm to determine for every given degree
sequence with bounded entries as well as closed formulas for
and
On an Annihilation Number Conjecture
Let denote the cardinality of a maximum independent set, while
be the size of a maximum matching in the graph .
If , then is a
K\"onig-Egerv\'ary graph. If is the
degree sequence of , then the annihilation number of
is the largest integer such that (Pepper 2004, Pepper 2009). A set satisfying
is an annihilation
set, if, in addition, , for every vertex , then is a
maximal annihilation set in .
In (Larson & Pepper 2011) it was conjectured that the following assertions
are equivalent:
(i) ;
(ii) is a K\"onig-Egerv\'ary graph and every maximum independent set is a
maximal annihilating set.
In this paper, we prove that the implication "(i) (ii)" is
correct, while for the opposite direction we provide a series of generic
counterexamples.
Keywords: maximum independent set, matching, tree, bipartite graph,
K\"onig-Egerv\'ary graph, annihilation set, annihilation number.Comment: 17 pages, 11 figure
2-switch: transition and stability on graphs and forests
Given any two forests with the same degree sequence, we show in an
algorithmic way that one can be transformed into the other by a sequence of
2-switches in such a way that all the intermediate graphs of the transformation
are forests. We also prove that the 2-switch operation perturbs minimally some
well-known integer parameters in families of graphs with the same degree
sequence. Then, we apply these results to conclude that the studied parameters
have the interval property on those families.Comment: 23 pages, 2 figure
Irregular independence and irregular domination
If is an independent set of a graph such that the vertices in
have different degrees, then we call an irregular independent set of .
If is a dominating set of such that the vertices that are not in
have different numbers of neighbours in , then we call an irregular
dominating set of . The size of a largest irregular independent set of
and the size of a smallest irregular dominating set of are denoted by
and , respectively. We initiate the
investigation of these two graph parameters. For each of them, we obtain sharp
bounds in terms of basic graph parameters such as the order, the size, the
minimum degree and the maximum degree, and we obtain Nordhaus-Gaddum-type
bounds. We also establish sharp bounds relating the two parameters.
Furthermore, we characterize the graphs with , we
determine those that are planar, and we determine those that are outerplanar.Comment: 15 page
2-switch transition on unicyclic graphs and pseudoforest
In the present work we prove that given any two unicycle graphs
(pseudoforests)
that share the same degree sequence there is a finite sequence of 2-switches
transforming one into the other such that all the graphs in the sequence
are also unicyclic graphs (pseudoforests).Comment: 12 pages. arXiv admin note: text overlap with arXiv:2004.1116
Weighted Upper Edge Cover: Complexity and Approximability
Optimization problems consist of either maximizing or minimizing an objective
function. Instead of looking for a maximum solution (resp. minimum solution),
one can find a minimum maximal solution (resp. maximum minimal solution). Such
"flipping" of the objective function was done for many classical optimization
problems. For example, Minimum Vertex Cover becomes Maximum Minimal Vertex
Cover, Maximum Independent Set becomes Minimum Maximal Independent Set and so
on. In this paper, we propose to study the weighted version of Maximum Minimal
Edge Cover called Upper Edge Cover, a problem having application in the genomic
sequence alignment. It is well-known that Minimum Edge Cover is polynomial-time
solvable and the "flipped" version is NP-hard, but constant approximable. We
show that the weighted Upper Edge Cover is much more difficult than Upper Edge
Cover because it is not approximable, nor
in edge-weighted graphs of size and
maximum degree respectively. Indeed, we give some hardness of
approximation results for some special restricted graph classes such as
bipartite graphs, split graphs and -trees. We counter-balance these negative
results by giving some positive approximation results in specific graph
classes.Comment: 19 pages, 4 figure
The matching number of tree and bipartite degree sequences
We study the possible values of the matching number among all trees with a
given degree sequence as well as all bipartite graphs with a given bipartite
degree sequence. For tree degree sequences, we obtain closed formulas for the
possible values. For bipartite degree sequences, we show the existence of
realizations with a restricted structure, which allows to derive an analogue of
the Gale-Ryser Theorem characterizing bipartite degree sequences. More
precisely, we show that a bipartite degree sequence has a realization with a
certain matching number if and only if a cubic number of inequalities similar
to those in the Gale-Ryser Theorem are satisfied. For tree degree sequences as
well as for bipartite degree sequences, the possible values of the matching
number form intervals
Equating two maximum degrees
Given a graph , we would like to find (if it exists) the largest induced
subgraph in which there are at least vertices realizing the maximum
degree of . This problem was first posed by Caro and Yuster. They proved,
for example, that for every graph on vertices we can guarantee, for , such an induced subgraph by deleting at most vertices,
but the question if is best possible remains open.
Among the results obtained in this paper we prove that:
1. For every graph on vertices we can delete at most vertices to get an induced subgraph
with at least two vertices realizing , and this bound is sharp,
solving the problems left open by Caro and Yuster.
2.For every graph with maximum degree we can delete at
most vertices to get an
induced subgraph with at least two vertices realizing , and this
bound is sharp.
3. Every graph with and least vertices
(respectively vertices if k is even) contains an induced subgraph
in which at least vertices realise , and these bound are sharp
Lower bounds for independence and -independence number of graphs using the concept of degenerate degrees
Let be a graph and any vertex of . We define the degenerate degree
of , denoted by as , where
the maximum is taken over all subgraphs of containing the vertex . We
show that the degenerate degree sequence of any graph can be determined by an
efficient algorithm. A -independent set in is any set of vertices
such that . The largest cardinality of any -independent
set is denoted by . For , we prove that
. Using the
concept of cheap vertices we strengthen our bound for the independence number.
The resulting lower bounds improve greatly the famous Caro-Wei bound and also
the best known bounds for and for some families of
graphs. We show that the equality in our bound for independence number happens
for a large class of graphs. Our bounds are achieved by Cheap-Greedy algorithms
for which are designed by the concept of cheap sets. At the end,
a bound for is presented, where is a forest and an
arbitrary non-negative integer
A logician's view of graph polynomials
Graph polynomials are graph parameters invariant under graph isomorphisms
which take values in a polynomial ring with a fixed finite number of
indeterminates. We study graph polynomials from a model theoretic point of
view. In this paper we distinguish between the graph theoretic (semantic) and
the algebraic (syntactic) meaning of graph polynomials. We discuss how to
represent and compare graph polynomials by their distinctive power. We
introduce the class of graph polynomials definable using Second Order Logic
which comprises virtually all examples of graph polynomials with a fixed finite
set of indeterminates. Finally we show that the location of zeros and stability
of graph polynomials is not a semantic property. The paper emphasizes a model
theoretic view and gives a unified exposition of classical results in algebraic
combinatorics together with new and some of our previously obtained results
scattered in the graph theoretic literature.Comment: 46 pages, 2 figures, Expanded version of invited lecture at WOLLIC
2016 (Workshop on Logic, Language, Information and Computation, Puebla,
Mexico, 2016), Revised version May 5, 201
- …