Discrete Math for Testers

2021 ◽  
pp. 33-51
Author(s):  
Paul C. Jorgensen ◽  
Byron DeVries
Keyword(s):  
2019 ◽  
Vol 53 (5) ◽  
pp. 1763-1773
Author(s):  
Meziane Aider ◽  
Lamia Aoudia ◽  
Mourad Baïou ◽  
A. Ridha Mahjoub ◽  
Viet Hung Nguyen

Let G = (V, E) be an undirected graph where the edges in E have non-negative weights. A star in G is either a single node of G or a subgraph of G where all the edges share one common end-node. A star forest is a collection of vertex-disjoint stars in G. The weight of a star forest is the sum of the weights of its edges. This paper deals with the problem of finding a Maximum Weight Spanning Star Forest (MWSFP) in G. This problem is NP-hard but can be solved in polynomial time when G is a cactus [Nguyen, Discrete Math. Algorithms App. 7 (2015) 1550018]. In this paper, we present a polyhedral investigation of the MWSFP. More precisely, we study the facial structure of the star forest polytope, denoted by SFP(G), which is the convex hull of the incidence vectors of the star forests of G. First, we prove several basic properties of SFP(G) and propose an integer programming formulation for MWSFP. Then, we give a class of facet-defining inequalities, called M-tree inequalities, for SFP(G). We show that for the case when G is a tree, the M-tree and the nonnegativity inequalities give a complete characterization of SFP(G). Finally, based on the description of the dominating set polytope on cycles given by Bouchakour et al. [Eur. J. Combin. 29 (2008) 652–661], we give a complete linear description of SFP(G) when G is a cycle.


2015 ◽  
Vol 07 (04) ◽  
pp. 1550050
Author(s):  
Carlos J. Luz

For any graph [Formula: see text] Luz and Schrijver [A convex quadratic characterization of the Lovász theta number, SIAM J. Discrete Math. 19(2) (2005) 382–387] introduced a characterization of the Lovász number [Formula: see text] based on convex quadratic programming. A similar characterization is now established for the weighted version of the number [Formula: see text] independently introduced by McEliece, Rodemich, and Rumsey [The Lovász bound and some generalizations, J. Combin. Inform. Syst. Sci. 3 (1978) 134–152] and Schrijver [A Comparison of the Delsarte and Lovász bounds, IEEE Trans. Inform. Theory 25(4) (1979) 425–429]. Also, a class of graphs for which the weighted version of [Formula: see text] coincides with the weighted stability number is characterized.


2008 ◽  
Vol 2 (2) ◽  
pp. 146-157 ◽  
Author(s):  
P.G.L. Leach ◽  
S.K. Andriopoulos

We present a short history of the Ermakov equation with an emphasis on its discovery by thewest and the subsequent boost to research into invariants for nonlinear systems although recognizing some of the significant developments in the east. We present the modern context of the Ermakov equation in the algebraic and singularity theory of ordinary differential equations and applications to more divers fields. The reader is referred to the previous article (Appl. Anal. Discrete math., 2 (2008), 123-145) for an english translation of Ermakov's original paper.


Author(s):  
Shamaila Yousaf ◽  
Akhlaq Ahmad Bhatti

The total irregularity index of a graph [Formula: see text] is defined by Abdo et al. [H. Abdo, S. Brandt and D. Dimitrov, The total irregularity of a graph, Discrete Math. Theor. Comput. Sci. 16 (2014) 201–206] as [Formula: see text], where [Formula: see text] denotes the degree of a vertex [Formula: see text]. In 2014, You et al. [L. H. You, J. S. Yang and Z. F. You, The maximal total irregularity of unicyclic graphs, Ars Comb. 114 (2014) 153–160.] characterized the graph having maximum [Formula: see text] value among all elements of the class [Formula: see text] (Unicyclic graphs) and Zhou et al. [L. H. You, J. S. Yang, Y. X. Zhu and Z. F. You, The maximal total irregularity of bicyclic graphs, J. Appl. Math. 2014 (2014) 785084, http://dx.doi.org/10.1155/2014/785084 ] characterized the graph having maximum [Formula: see text] value among all elements of the class [Formula: see text] (Bicyclic graphs). In this paper, we characterize the aforementioned graphs with an alternative but comparatively simple approach. Also, we characterized the graphs having maximum [Formula: see text] value among the classes [Formula: see text] (Tricyclic graphs), [Formula: see text] (Tetracyclic graphs), [Formula: see text] (Pentacyclic graphs) and [Formula: see text] (Hexacyclic graphs).


Sign in / Sign up

Export Citation Format

Share Document