BI-INDUCED SUBGRAPHS AND STABILITY NUMBER *
|
|
- Bruno Shaw
- 5 years ago
- Views:
Transcription
1 Yugoslav Joural of Operatios Research 14 (2004), Number 1, BI-INDUCED SUBGRAPHS AND STABILITY NUMBER * I E ZVEROVICH, O I ZVEROVICH RUTCOR Rutgers Ceter for Operatios Research, Rutgers Uiversity, Piscataway, New Jersey, USA igor@rutcorrutgersedu Received: Jue 2003 / Accepted: February 2004 Abstract: We defie a 2-parametric hierarchy CLAP ( m, ) of bi-hereditary classes of graphs, ad show that a maximum stable set ca be foud i polyomial time withi each class CLAP ( m, ) The classes ca be recogized i polyomial time Keywords: Stability umber, hereditary class, bi-hereditary class, forbidde iduced subgraphs, forbidde bi-iduced subgraphs 1 INTRODUCTION A set S V( G) i a graph G is stable (or idepedet) if S does ot cotai adjacet vertices A stable set of a graph G is called maximal if it is ot cotaied i aother stable set of G A stable set of a graph G is called maximum if G does ot have a stable set cotaiig more vertices The cardiality of a maximum stable set i G is the stability umber of G, ad it is deoted by α ( G) Decisio Problem 1 (Stable Set) Istace: A graph G ad a iteger k Questio: Is there a stable set i G with at least k vertices? This problem is kow to be NP-complete (Karp [7], see also Garey ad Johso [3]) A class P of graphs is α-polyomial if there exists a polyomial-time algorithm to solve Stable Set Problem withi P We shall defie a hierarchy CLAP ( m, ) of α-polyomial graph classes The hierarchy covers all graphs * The first author was supported by DIMACS Witer 2002/2003 Award AMS Subject Classificatio: 05C69
2 28 IE Zverovich, OI Zverovich / Bi-Iduced Subgraphs ad Stability Number Note that it is easy to fid the stability umber of graphs i ay class without large coected iduced bipartite subgraphs I other words, the class CONNBIP( N) - free graphs is α-polyomial, where CONNBIP ( N) is the set of all coected bipartite graphs of order N Lozi ad Rautebach [8] used this fact to produce α-polyomial subclasses of CONNBIP( N) -free graphs defied by a path ad a star as forbidde subgraphs Specifically, give m ad, there exists a iteger N such that each ( P, K1, m) -free triagle-free graph is a CONNBIP( N) -free graph I our hierarchy we also forbid a path, but we do ot forbid a star Istead, we use Hall's theorem to specify a particular family of coected bipartite graphs, thus obtaiig a more geeral result 2 BI-INDUCED SUBGRAPHS The eighborhood of a vertex x i a graph G is deoted by N( x) = NG ( x) For a subset X of VG, ( ) we deote N( X) = N ( x) x X G Defiitio 1 A bipartite graph F is called a bi-iduced subgraph of a graph G if (BI1): F is a subgraph of G [ot ecessarily iduced], ad (BI2): there exists a bipartitio A B of V(F) such that both A ad B are stable sets i G I other words, a bi-iduced subgraph F of a graph G is obtaied from a bipartite iduced sub graph F' of G by deletig some edges [possibly, oe] As usual, we distiguish bi-iduced subgraphs up to isomorphism A class P is bi-hereditary if it is closed uder takig bi-iduced subgraphs That is, F P wheever G P ad F is a bi-iduced subgraph of G Clearly, a class is bihereditary if ad oly if it ca be characterized i terms of forbidde bi-iduced subgraphs Also, a bi-hereditary class with fiitely may miimal forbidde bi-iduced subgraphs ca be recogized i polyomial time We defie a 2-parametric series CLAP ( m, ) of bi-hereditary classes of graphs As usual, P deotes the -vertex path A m-claw is a complete bipartite graph of the form K If we subdivide every edge of a m-claw by a vertex, we obtai a bipartite graph of order 2m + 1 called a subdivided m-claw, SK (see Figure 1) Figure 1: Subdivided m-claw SK
3 IE Zverovich, OI Zverovich / Bi-Iduced Subgraphs ad Stability Number 29 Defiitio 2 Give itegers m 1 ad 1, the class CLAP ( m, ) cosists of all graphs that do ot cotai SK as bi-iduced subgraphs, ad P as iduced subgraphs Clearly, CLAP ( m, ) CLAP ( m+ 1, ), CLAP ( m, ) CLAP ( m, + 1) for all m 1 ad 1, ad CLAP ( m, ) m= 1= 1 cotais all graphs Note that membership i each CLAP ( m, ) ca be checked i polyomial time, sice there is oe miimal forbidde iduced subgraph ad there is oe miimal forbidde bi-iduced subgraph for this class 3 STABILITY IN CLAP ( m, ) Here is our mai result Theorem 1 For all itegers m 1 ad 1, the class CLAP ( m, ) is α -polyomial Proof: We defie N = N( m, ) = ( m+ 2) ( m+ 1) 2 d 1 (1) d = 1 if 3, ad N = 1 if 2 Now we apply the followig algorithm to a arbitrary graph G CLAP ( m, ) Algorithm 1 Step 0 Set S = 0 Step 1 For every stable set T V( G)\ S with T N, defie S' = ( S \ N( T)) T If S' > S, set S = S' Step 2 Retur S ad Stop The algorithm rus i polyomial time, sice N is a costat It produces a set S V( G) Suppose that S is ot a maximum stable set Claim 1 S is a stable set i G, ad there exists a stable set T V( G)\ S with T > N
4 30 IE Zverovich, OI Zverovich / Bi-Iduced Subgraphs ad Stability Number Proof: Iitially, S = 0 is a stable set Also, the set S' = ( S \ N( T)) T [o Step 2] is stable Thus S is a stable set i G Sice S is ot a maximum stable set, there exists a stable set I i G with I > S We deote T = I \ S Sice S < I we have S \ I < T, ad therefore NT ( ) S S\ I < T Step 1 of the algorithm implies that T Accordig to Claim 1, there exists a set T V( G)\ S such that (Tl): T > N, ad > N (T2): S' > S, where S' = ( S \ N( T)) T We assume that T has the miimum cardiality amog all sets that satisfy (Tl) ad (T2) Let H be a bipartite graph iduced by T U, where U = S \ I Claim 2 (i) For every vertex u T, there exists a matchig M i H - u that covers U, ad (ii) T = U + 1 Proof: (i) Each proper subset T' of T does ot satisfy (T2) [with T' istead of T] Ideed, if T' N, the it follows from Step 1 of the algorithm If T > N the it follows from miimality of T Let u T Each subset of T' = T \{ u} does ot have property (T2) I other words, for every X T ', we have N( X) X i H u By Hall's theorem (Hall [5], see also Hall [4]), there exists a matchig M i H u that covers T' I particular, T' U The coditio (T2) for T implies that T > U Therefore T' = U, ad M must cover U as well (ii) The statemet follows directly from (i) As usual, ( G) is the maximum vertex degree i G Claim 3 ( H) m+ 2 Proof: Suppose that there exists a vertex u V( H) of degree m + 2 First let u T Let u is adjacet to pairwise distict vertices v 1, v 2,, vm U By Claim 2(i), there exists a matchig M i H u that covers U We cosider the edges of M that are icidet to v1, v2,, v m Clearly, H u cotais SK as a hi-iduced subgraph Now let u U Let u is adjacet to pairwise distict vertices u1, u2,, um+ 2 T We apply Claim 2(i) to the graph H' = H u m + 2 : there exists a matchig M i H ' that covers U At most oe edge of M is icidet to the vertex u We see that H ' cotais SK as a hi-iduced subgraph It remais to ote that a hi-iduced subgraph i a iduced subgraph of G is also a hi-iduced subgraph of G
5 IE Zverovich, OI Zverovich / Bi-Iduced Subgraphs ad Stability Number 31 Note that Claim 2 implies coectedess of H Ideed, if H is ot coected the there is a compoet K i H such that oe part is larger tha the other, ad therefore deletig a vertex u T \ V( K) produces a graph without perfect matchig Claim 4 H cotais P as a iduced subgraph Proof: Accordig to (Tl), T N + 1 By Claim 2(ii), U = T 1 N Thus, V( H) 2N + 1 (2) If 2 the N = 1 ad 2N + 1= 3, ad the result follows Suppose that 3 Usig (2) ad (1), we obtai V( H) 2N ( m+ 2) ( m+ 1) The (3) ad Claim 3 imply V( H) 2 + ( 1) 2 d 1 (3) d = 1 2 d 1 (4) d = 1 Let u V( H) There are at most ( 1) d 1 vertices at distace d 1 from u Sice H is a coected graph, (4) implies that there exists a vertex v at distace 1 from u A shortest ( uv, )-path is a iduced P Claim 4 produces a cotradictio to the coditio that G CLAP ( m, ) This cotradictio shows that S is a maximum stable set i G Theorem 1 implies the followig results o α-polyomial classes: ( P5, K1, )- free graphs (Mosca [10]), a subclass of ( P5, K1,4) -free graphs (Brastädt ad Hammer [2]), ( P5, P, K2,3) -free graphs (Mahadev [9], see Figure 2), ad ( P 2 P 3, K 1, )-free graphs (Alekseev [1]) Figure 2: P 5, P ad K 2,3
6 32 IE Zverovich, OI Zverovich / Bi-Iduced Subgraphs ad Stability Number REFERENCES [1] Alekseev, VE, "O easy ad hard hereditary classes of graphs for the idepedet set problem", Discrete Appl Math (to appear) [2] Brastiidt, A, ad Hammer, PL, "O the stability umber of claw-free P 5 -free ad more geeral graphs", Discrete Appl Math, 95 (1-3) (1999) [3] Garey, MR, ad Johso, DS, Computers ad itractability A guide to the theory of NPcompleteess, W H Freema ad Co, Sa Fracisco, Calif, 1979 [4] Hall, M Jr, Combiatorial theory, Blaisdell Publ Co, Waltham, 1967 [5] Hall, P, "O represetatives of subsets", J Lodo Math Soc, 10 (1935) [6] Hertz, A, "Polyomially solvable cases for the maximum stable set problem", Discrete Appl Math, 60 (1-3) (1995) [7] Karp, RM, "Reducibility amog combiatorial problems", i: Complexity of computer computatios, Pleum Press, New York, 1972, [8] Lozi, V, ad Rautebach, D, "Some results o graphs without log iduced paths", RUTCOR Research Report RRR , RUTCOR, Rutgers Uiversity, 2003 [9] Mahadev, NVR, "Vertex deletio ad stability umber", Techical Report ORWP 90/2, Swiss Federal Istitute of Techology, 1990 [10] Mosca, R, "Polyomial algorithms for the maximum stable set problem o particular classes of P 5 -free graphs", Iform Process Lett, 61 (3) (1997)
Math 778S Spectral Graph Theory Handout #3: Eigenvalues of Adjacency Matrix
Math 778S Spectral Graph Theory Hadout #3: Eigevalues of Adjacecy Matrix The Cartesia product (deoted by G H) of two simple graphs G ad H has the vertex-set V (G) V (H). For ay u, v V (G) ad x, y V (H),
More informationCHAPTER 2 NEIGHBORHOOD CONNECTED PERFECT DOMINATION IN GRAPHS
22 CHAPTER 2 NEIGHBORHOOD CONNECTED PERFECT DOMINATION IN GRAPHS 2.1 INTRODUCTION Various types of domiatio have bee studied by several authors ad more tha 75 models of domiatio are listed i the appedix
More informationEQUITABLE DOMINATING CHROMATIC SETS IN GRAPHS. Sethu Institute of Technology Kariapatti, Tamilnadu, INDIA 2 Department of Mathematics
Iteratioal Joural of Pure ad Applied Mathematics Volume 104 No. 2 2015, 193-202 ISSN: 1311-8080 (prited versio); ISSN: 1314-3395 (o-lie versio) url: http://www.ijpam.eu doi: http://dx.doi.org/10.12732/ijpam.v104i2.4
More informationACO Comprehensive Exam 9 October 2007 Student code A. 1. Graph Theory
1. Graph Theory Prove that there exist o simple plaar triagulatio T ad two distict adjacet vertices x, y V (T ) such that x ad y are the oly vertices of T of odd degree. Do ot use the Four-Color Theorem.
More informationSome special clique problems
Some special clique problems Reate Witer Istitut für Iformatik Marti-Luther-Uiversität Halle-Witteberg Vo-Seckedorff-Platz, D 0620 Halle Saale Germay Abstract: We cosider graphs with cliques of size k
More informationPairs of disjoint q-element subsets far from each other
Pairs of disjoit q-elemet subsets far from each other Hikoe Eomoto Departmet of Mathematics, Keio Uiversity 3-14-1 Hiyoshi, Kohoku-Ku, Yokohama, 223 Japa, eomoto@math.keio.ac.jp Gyula O.H. Katoa Alfréd
More informationWeakly Connected Closed Geodetic Numbers of Graphs
Iteratioal Joural of Mathematical Aalysis Vol 10, 016, o 6, 57-70 HIKARI Ltd, wwwm-hikaricom http://dxdoiorg/101988/ijma01651193 Weakly Coected Closed Geodetic Numbers of Graphs Rachel M Pataga 1, Imelda
More informationTechnische Universität Ilmenau Institut für Mathematik
Techische Uiversität Ilmeau Istitut für Mathematik Preprit No. M 07/09 Domiatio i graphs of miimum degree at least two ad large girth Löwestei, Christia; Rautebach, Dieter 2007 Impressum: Hrsg.: Leiter
More informationOn size multipartite Ramsey numbers for stars versus paths and cycles
Electroic Joural of Graph Theory ad Applicatios 5 (1) (2017), 4 50 O size multipartite Ramsey umbers for stars versus paths ad cycles Aie Lusiai 1, Edy Tri Baskoro, Suhadi Wido Saputro Combiatorial Mathematics
More information# fixed points of g. Tree to string. Repeatedly select the leaf with the smallest label, write down the label of its neighbour and remove the leaf.
Combiatorics Graph Theory Coutig labelled ad ulabelled graphs There are 2 ( 2) labelled graphs of order. The ulabelled graphs of order correspod to orbits of the actio of S o the set of labelled graphs.
More informationON THE NUMBER OF LAPLACIAN EIGENVALUES OF TREES SMALLER THAN TWO. Lingling Zhou, Bo Zhou* and Zhibin Du 1. INTRODUCTION
TAIWANESE JOURNAL OF MATHEMATICS Vol 19, No 1, pp 65-75, February 015 DOI: 1011650/tjm190154411 This paper is available olie at http://jouraltaiwamathsocorgtw ON THE NUMBER OF LAPLACIAN EIGENVALUES OF
More informationSolutions for the Exam 9 January 2012
Mastermath ad LNMB Course: Discrete Optimizatio Solutios for the Exam 9 Jauary 2012 Utrecht Uiversity, Educatorium, 15:15 18:15 The examiatio lasts 3 hours. Gradig will be doe before Jauary 23, 2012. Studets
More informationPolynomial identity testing and global minimum cut
CHAPTER 6 Polyomial idetity testig ad global miimum cut I this lecture we will cosider two further problems that ca be solved usig probabilistic algorithms. I the first half, we will cosider the problem
More informationBalanced coloring of bipartite graphs
Balaced colorig of bipartite graphs Uriel Feige Shimo Koga Departmet of Computer Sciece ad Applied Mathematics Weizma Istitute, Rehovot 76100, Israel uriel.feige@weizma.ac.il Jue 16, 009 Abstract Give
More informationFew remarks on Ramsey-Turán-type problems Benny Sudakov Λ Abstract Let H be a fixed forbidden graph and let f be a function of n. Denote by RT n; H; f
Few remarks o Ramsey-Turá-type problems Bey Sudakov Abstract Let H be a fixed forbidde graph ad let f be a fuctio of. Deote by ; H; f () the maximum umber of edges a graph G o vertices ca have without
More information(A sequence also can be thought of as the list of function values attained for a function f :ℵ X, where f (n) = x n for n 1.) x 1 x N +k x N +4 x 3
MATH 337 Sequeces Dr. Neal, WKU Let X be a metric space with distace fuctio d. We shall defie the geeral cocept of sequece ad limit i a metric space, the apply the results i particular to some special
More informationLarge holes in quasi-random graphs
Large holes i quasi-radom graphs Joaa Polcy Departmet of Discrete Mathematics Adam Mickiewicz Uiversity Pozań, Polad joaska@amuedupl Submitted: Nov 23, 2006; Accepted: Apr 10, 2008; Published: Apr 18,
More informationA NOTE ON INVARIANT SETS OF ITERATED FUNCTION SYSTEMS
Acta Math. Hugar., 2007 DOI: 10.1007/s10474-007-7013-6 A NOTE ON INVARIANT SETS OF ITERATED FUNCTION SYSTEMS L. L. STACHÓ ad L. I. SZABÓ Bolyai Istitute, Uiversity of Szeged, Aradi vértaúk tere 1, H-6720
More informationLecture 2. The Lovász Local Lemma
Staford Uiversity Sprig 208 Math 233A: No-costructive methods i combiatorics Istructor: Ja Vodrák Lecture date: Jauary 0, 208 Origial scribe: Apoorva Khare Lecture 2. The Lovász Local Lemma 2. Itroductio
More informationAxioms of Measure Theory
MATH 532 Axioms of Measure Theory Dr. Neal, WKU I. The Space Throughout the course, we shall let X deote a geeric o-empty set. I geeral, we shall ot assume that ay algebraic structure exists o X so that
More informationγ-max Labelings of Graphs
γ-max Labeligs of Graphs Supapor Saduakdee 1 & Varaoot Khemmai 1 Departmet of Mathematics, Sriakhariwirot Uiversity, Bagkok, Thailad Joural of Mathematics Research; Vol. 9, No. 1; February 017 ISSN 1916-9795
More informationOn matchings in hypergraphs
O matchigs i hypergraphs Peter Frakl Tokyo, Japa peter.frakl@gmail.com Tomasz Luczak Adam Mickiewicz Uiversity Faculty of Mathematics ad CS Pozań, Polad ad Emory Uiversity Departmet of Mathematics ad CS
More informationV low. e H i. V high
ON SIZE RAMSEY NUMBERS OF GRAPHS WITH BOUNDED DEGREE VOJT ECH R ODL AND ENDRE SZEMER EDI Abstract. Aswerig a questio of J. Beck [B2], we prove that there exists a graph G o vertices with maximum degree
More informationOn Random Line Segments in the Unit Square
O Radom Lie Segmets i the Uit Square Thomas A. Courtade Departmet of Electrical Egieerig Uiversity of Califoria Los Ageles, Califoria 90095 Email: tacourta@ee.ucla.edu I. INTRODUCTION Let Q = [0, 1] [0,
More informationThe Boolean Ring of Intervals
MATH 532 Lebesgue Measure Dr. Neal, WKU We ow shall apply the results obtaied about outer measure to the legth measure o the real lie. Throughout, our space X will be the set of real umbers R. Whe ecessary,
More informationThe Local Harmonious Chromatic Problem
The 7th Workshop o Combiatorial Mathematics ad Computatio Theory The Local Harmoious Chromatic Problem Yue Li Wag 1,, Tsog Wuu Li ad Li Yua Wag 1 Departmet of Iformatio Maagemet, Natioal Taiwa Uiversity
More informationLecture Notes for Analysis Class
Lecture Notes for Aalysis Class Topological Spaces A topology for a set X is a collectio T of subsets of X such that: (a) X ad the empty set are i T (b) Uios of elemets of T are i T (c) Fiite itersectios
More informationDense H-free graphs are almost (χ(h) 1)-partite
Dese H-free graphs are almost χh) 1)-partite Peter Alle arxiv:0907.815v1 [math.co] 22 Jul 2009 July 22, 2009 Abstract By usig the Szemerédi Regularity Lemma [9], Alo ad Sudakov [1] recetly exteded the
More informationOn Algorithm for the Minimum Spanning Trees Problem with Diameter Bounded Below
O Algorithm for the Miimum Spaig Trees Problem with Diameter Bouded Below Edward Kh. Gimadi 1,2, Alexey M. Istomi 1, ad Ekateria Yu. Shi 2 1 Sobolev Istitute of Mathematics, 4 Acad. Koptyug aveue, 630090
More informationNotes on the Combinatorial Nullstellensatz
Notes o the Combiatorial Nullstellesatz Costructive ad Nocostructive Methods i Combiatorics ad TCS U. Chicago, Sprig 2018 Istructor: Adrew Drucker Scribe: Roberto Ferádez For the followig theorems ad examples
More informationMetric Space Properties
Metric Space Properties Math 40 Fial Project Preseted by: Michael Brow, Alex Cordova, ad Alyssa Sachez We have already poited out ad will recogize throughout this book the importace of compact sets. All
More informationDisjoint Systems. Abstract
Disjoit Systems Noga Alo ad Bey Sudaov Departmet of Mathematics Raymod ad Beverly Sacler Faculty of Exact Scieces Tel Aviv Uiversity, Tel Aviv, Israel Abstract A disjoit system of type (,,, ) is a collectio
More informationDomination Number of Square of Cartesian Products of Cycles
Ope Joural of Discrete Matheatics, 01,, 88-94 Published Olie October 01 i SciRes http://wwwscirporg/joural/ojd http://dxdoiorg/10436/ojd014008 Doiatio Nuber of Square of artesia Products of ycles Morteza
More informationChain conditions. 1. Artinian and noetherian modules. ALGBOOK CHAINS 1.1
CHAINS 1.1 Chai coditios 1. Artiia ad oetheria modules. (1.1) Defiitio. Let A be a rig ad M a A-module. The module M is oetheria if every ascedig chai!!m 1 M 2 of submodules M of M is stable, that is,
More informationDiscrete mathematics , Fall Instructor: prof. János Pach. 1 Counting problems and the inclusion-exclusion principle
Discrete mathematics 014-015, Fall Istructor: prof Jáos Pach - covered material - Special thaks to Jaa Cslovjecsek, Kelly Fakhauser, ad Sloboda Krstic for sharig their lecture otes If you otice ay errors,
More informationON GRAPHS WITH THREE DISTINCT LAPLACIAN EIGENVALUES. 1 Introduction
Appl. Math. J. Chiese Uiv. Ser. B 2007, 22(4): 478-484 ON GRAPHS WITH THREE DISTINCT LAPLACIAN EIGENVALUES Wag Yi 1 Fa Yizheg 1 Ta Yigyig 1,2 Abstract. I this paper, a equivalet coditio of a graph G with
More informationMa/CS 6b Class 19: Extremal Graph Theory
/9/05 Ma/CS 6b Class 9: Extremal Graph Theory Paul Turá By Adam Sheffer Extremal Graph Theory The subfield of extremal graph theory deals with questios of the form: What is the maximum umber of edges that
More informationAlliance Partition Number in Graphs
Alliace Partitio Number i Graphs Lida Eroh Departmet of Mathematics Uiversity of Wiscosi Oshkosh, Oshkosh, WI email: eroh@uwoshedu, phoe: (90)44-7343 ad Ralucca Gera Departmet of Applied Mathematics Naval
More informationDominating Sets and Domination Polynomials of Square Of Cycles
IOSR Joural of Mathematics IOSR-JM) ISSN: 78-78. Volume 3, Issue 4 Sep-Oct. 01), PP 04-14 www.iosrjourals.org Domiatig Sets ad Domiatio Polyomials of Square Of Cycles A. Vijaya 1, K. Lal Gipso 1 Assistat
More informationM A T H F A L L CORRECTION. Algebra I 1 4 / 1 0 / U N I V E R S I T Y O F T O R O N T O
M A T H 2 4 0 F A L L 2 0 1 4 HOMEWORK ASSIGNMENT #4 CORRECTION Algebra I 1 4 / 1 0 / 2 0 1 4 U N I V E R S I T Y O F T O R O N T O P r o f e s s o r : D r o r B a r - N a t a Correctio Homework Assigmet
More informationThe Nature Diagnosability of Bubble-sort Star Graphs under the PMC Model and MM* Model
Iteratioal Joural of Egieerig ad Applied Scieces (IJEAS) ISSN: 394-366 Volume-4 Issue-8 August 07 The Nature Diagosability of Bubble-sort Star Graphs uder the PMC Model ad MM* Model Mujiagsha Wag Yuqig
More informationEDGE-COLORINGS AVOIDING RAINBOW STARS
EDGE-COLORINGS AVOIDING RAINBOW STARS CARLOS HOPPEN, HANNO LEFMANN, KNUT ODERMANN, AND JULIANA SANCHES Abstract. We cosider a extremal problem motivated by a paper of Balogh [J. Balogh, A remark o the
More informationLecture 2: April 3, 2013
TTIC/CMSC 350 Mathematical Toolkit Sprig 203 Madhur Tulsiai Lecture 2: April 3, 203 Scribe: Shubhedu Trivedi Coi tosses cotiued We retur to the coi tossig example from the last lecture agai: Example. Give,
More information4 The Sperner property.
4 The Sperer property. I this sectio we cosider a surprisig applicatio of certai adjacecy matrices to some problems i extremal set theory. A importat role will also be played by fiite groups. I geeral,
More informationPAijpam.eu IRREGULAR SET COLORINGS OF GRAPHS
Iteratioal Joural of Pure ad Applied Mathematics Volume 109 No. 7 016, 143-150 ISSN: 1311-8080 (prited versio); ISSN: 1314-3395 (o-lie versio) url: http://www.ijpam.eu doi: 10.173/ijpam.v109i7.18 PAijpam.eu
More informationWe will conclude the chapter with the study a few methods and techniques which are useful
Chapter : Coordiate geometry: I this chapter we will lear about the mai priciples of graphig i a dimesioal (D) Cartesia system of coordiates. We will focus o drawig lies ad the characteristics of the graphs
More informationHomework 3. = k 1. Let S be a set of n elements, and let a, b, c be distinct elements of S. The number of k-subsets of S is
Homewor 3 Chapter 5 pp53: 3 40 45 Chapter 6 p85: 4 6 4 30 Use combiatorial reasoig to prove the idetity 3 3 Proof Let S be a set of elemets ad let a b c be distict elemets of S The umber of -subsets of
More informationAdjacent vertex distinguishing total coloring of tensor product of graphs
America Iteratioal Joural of Available olie at http://wwwiasiret Research i Sciece Techology Egieerig & Mathematics ISSN Prit): 38-3491 ISSN Olie): 38-3580 ISSN CD-ROM): 38-369 AIJRSTEM is a refereed idexed
More informationMaximal sets of integers not containing k + 1 pairwise coprimes and having divisors from a specified set of primes
EuroComb 2005 DMTCS proc. AE, 2005, 335 340 Maximal sets of itegers ot cotaiig k + 1 pairwise coprimes ad havig divisors from a specified set of primes Vladimir Bliovsky 1 Bielefeld Uiversity, Math. Dept.,
More informationStochastic Matrices in a Finite Field
Stochastic Matrices i a Fiite Field Abstract: I this project we will explore the properties of stochastic matrices i both the real ad the fiite fields. We first explore what properties 2 2 stochastic matrices
More informationSolutions to Math 347 Practice Problems for the final
Solutios to Math 347 Practice Problems for the fial 1) True or False: a) There exist itegers x,y such that 50x + 76y = 6. True: the gcd of 50 ad 76 is, ad 6 is a multiple of. b) The ifiimum of a set is
More informationLaplacian energy of a graph
Liear Algebra ad its Applicatios 414 (2006) 29 37 www.elsevier.com/locate/laa Laplacia eergy of a graph Iva Gutma a,, Bo Zhou b a Faculty of Sciece, Uiversity of Kragujevac, 34000 Kragujevac, P.O. Box
More informationAbsolutely Harmonious Labeling of Graphs
Iteratioal J.Math. Combi. Vol. (011), 40-51 Absolutely Harmoious Labelig of Graphs M.Seeivasa (Sri Paramakalyai College, Alwarkurichi-6741, Idia) A.Lourdusamy (St.Xavier s College (Autoomous), Palayamkottai,
More information6 Integers Modulo n. integer k can be written as k = qn + r, with q,r, 0 r b. So any integer.
6 Itegers Modulo I Example 2.3(e), we have defied the cogruece of two itegers a,b with respect to a modulus. Let us recall that a b (mod ) meas a b. We have proved that cogruece is a equivalece relatio
More informationFIXED POINTS OF n-valued MULTIMAPS OF THE CIRCLE
FIXED POINTS OF -VALUED MULTIMAPS OF THE CIRCLE Robert F. Brow Departmet of Mathematics Uiversity of Califoria Los Ageles, CA 90095-1555 e-mail: rfb@math.ucla.edu November 15, 2005 Abstract A multifuctio
More informationMATH 205 HOMEWORK #2 OFFICIAL SOLUTION. (f + g)(x) = f(x) + g(x) = f( x) g( x) = (f + g)( x)
MATH 205 HOMEWORK #2 OFFICIAL SOLUTION Problem 2: Do problems 7-9 o page 40 of Hoffma & Kuze. (7) We will prove this by cotradictio. Suppose that W 1 is ot cotaied i W 2 ad W 2 is ot cotaied i W 1. The
More informationMaximising the number of independent sets in connected graphs
Maximisig the umber of idepedet sets i coected graphs Floria Leher ad Stepha Wager September 30, 015 A Turá coected graph TC,α is obtaied from α cliques of size α or α by joiig all cliques by a edge to
More informationLecture 14: Graph Entropy
15-859: Iformatio Theory ad Applicatios i TCS Sprig 2013 Lecture 14: Graph Etropy March 19, 2013 Lecturer: Mahdi Cheraghchi Scribe: Euiwoog Lee 1 Recap Bergma s boud o the permaet Shearer s Lemma Number
More informationlim za n n = z lim a n n.
Lecture 6 Sequeces ad Series Defiitio 1 By a sequece i a set A, we mea a mappig f : N A. It is customary to deote a sequece f by {s } where, s := f(). A sequece {z } of (complex) umbers is said to be coverget
More informationDisjoint unions of complete graphs characterized by their Laplacian spectrum
Electroic Joural of Liear Algebra Volume 18 Volume 18 (009) Article 56 009 Disjoit uios of complete graphs characterized by their Laplacia spectrum Romai Boulet boulet@uiv-tlse.fr Follow this ad additioal
More informationw (1) ˆx w (1) x (1) /ρ and w (2) ˆx w (2) x (2) /ρ.
2 5. Weighted umber of late jobs 5.1. Release dates ad due dates: maximimizig the weight of o-time jobs Oce we add release dates, miimizig the umber of late jobs becomes a sigificatly harder problem. For
More informationWeight Distribution in Matching Games
Faculty of Electrical Egieerig, Mathematics & Computer Sciece Weight Distributio i Matchig Games Frits Hof Idividual research assigmet for course program Oderzoek va wiskude i master Sciece Educatio ad
More informationAN INTRODUCTION TO SPECTRAL GRAPH THEORY
AN INTRODUCTION TO SPECTRAL GRAPH THEORY JIAQI JIANG Abstract. Spectral graph theory is the study of properties of the Laplacia matrix or adjacecy matrix associated with a graph. I this paper, we focus
More informationarxiv: v3 [math.co] 6 Aug 2014
NEAR PERFECT MATCHINGS IN -UNIFORM HYPERGRAPHS arxiv:1404.1136v3 [math.co] 6 Aug 2014 JIE HAN Abstract. Let H be a -uiform hypergraph o vertices where is a sufficietly large iteger ot divisible by. We
More informationArkansas Tech University MATH 2924: Calculus II Dr. Marcel B. Finan
Arkasas Tech Uiversity MATH 94: Calculus II Dr Marcel B Fia 85 Power Series Let {a } =0 be a sequece of umbers The a power series about x = a is a series of the form a (x a) = a 0 + a (x a) + a (x a) +
More informationFormulas for the Number of Spanning Trees in a Maximal Planar Map
Applied Mathematical Scieces Vol. 5 011 o. 64 3147-3159 Formulas for the Number of Spaig Trees i a Maximal Plaar Map A. Modabish D. Lotfi ad M. El Marraki Departmet of Computer Scieces Faculty of Scieces
More informationHOMEWORK 2 SOLUTIONS
HOMEWORK SOLUTIONS CSE 55 RANDOMIZED AND APPROXIMATION ALGORITHMS 1. Questio 1. a) The larger the value of k is, the smaller the expected umber of days util we get all the coupos we eed. I fact if = k
More informationBi-Magic labeling of Interval valued Fuzzy Graph
Advaces i Fuzzy Mathematics. ISSN 0973-533X Volume 1, Number 3 (017), pp. 645-656 Research Idia Publicatios http://www.ripublicatio.com Bi-Magic labelig of Iterval valued Fuzzy Graph K.Ameeal Bibi 1 ad
More informationApplication to Random Graphs
A Applicatio to Radom Graphs Brachig processes have a umber of iterestig ad importat applicatios. We shall cosider oe of the most famous of them, the Erdős-Réyi radom graph theory. 1 Defiitio A.1. Let
More informationMath F215: Induction April 7, 2013
Math F25: Iductio April 7, 203 Iductio is used to prove that a collectio of statemets P(k) depedig o k N are all true. A statemet is simply a mathematical phrase that must be either true or false. Here
More informationk-equitable mean labeling
Joural of Algorithms ad Comutatio joural homeage: htt://jac.ut.ac.ir k-euitable mea labelig P.Jeyathi 1 1 Deartmet of Mathematics, Govidammal Aditaar College for Wome, Tiruchedur- 628 215,Idia ABSTRACT
More informationMAT1026 Calculus II Basic Convergence Tests for Series
MAT026 Calculus II Basic Covergece Tests for Series Egi MERMUT 202.03.08 Dokuz Eylül Uiversity Faculty of Sciece Departmet of Mathematics İzmir/TURKEY Cotets Mootoe Covergece Theorem 2 2 Series of Real
More informationProblem Set 2 Solutions
CS271 Radomess & Computatio, Sprig 2018 Problem Set 2 Solutios Poit totals are i the margi; the maximum total umber of poits was 52. 1. Probabilistic method for domiatig sets 6pts Pick a radom subset S
More informationMcGill University Math 354: Honors Analysis 3 Fall 2012 Solutions to selected problems
McGill Uiversity Math 354: Hoors Aalysis 3 Fall 212 Assigmet 3 Solutios to selected problems Problem 1. Lipschitz fuctios. Let Lip K be the set of all fuctios cotiuous fuctios o [, 1] satisfyig a Lipschitz
More informationTutorial F n F n 1
(CS 207) Discrete Structures July 30, 203 Tutorial. Prove the followig properties of Fiboacci umbers usig iductio, where Fiboacci umbers are defied as follows: F 0 =0,F =adf = F + F 2. (a) Prove that P
More information62. Power series Definition 16. (Power series) Given a sequence {c n }, the series. c n x n = c 0 + c 1 x + c 2 x 2 + c 3 x 3 +
62. Power series Defiitio 16. (Power series) Give a sequece {c }, the series c x = c 0 + c 1 x + c 2 x 2 + c 3 x 3 + is called a power series i the variable x. The umbers c are called the coefficiets of
More informationSection 11.8: Power Series
Sectio 11.8: Power Series 1. Power Series I this sectio, we cosider geeralizig the cocept of a series. Recall that a series is a ifiite sum of umbers a. We ca talk about whether or ot it coverges ad i
More informationConnected Balanced Subgraphs in Random Regular Multigraphs Under the Configuration Model
Coected Balaced Subgraphs i Radom Regular Multigraphs Uder the Cofiguratio Model Liyua Lu Austi Mohr László Székely Departmet of Mathematics Uiversity of South Carolia 1523 Greee Street, Columbia, SC 29208
More informationIt is always the case that unions, intersections, complements, and set differences are preserved by the inverse image of a function.
MATH 532 Measurable Fuctios Dr. Neal, WKU Throughout, let ( X, F, µ) be a measure space ad let (!, F, P ) deote the special case of a probability space. We shall ow begi to study real-valued fuctios defied
More informationCommutativity in Permutation Groups
Commutativity i Permutatio Groups Richard Wito, PhD Abstract I the group Sym(S) of permutatios o a oempty set S, fixed poits ad trasiet poits are defied Prelimiary results o fixed ad trasiet poits are
More informationLecture 1: Basic problems of coding theory
Lecture 1: Basic problems of codig theory Error-Correctig Codes (Sprig 016) Rutgers Uiversity Swastik Kopparty Scribes: Abhishek Bhrushudi & Aditya Potukuchi Admiistrivia was discussed at the begiig of
More informationMeasure and Measurable Functions
3 Measure ad Measurable Fuctios 3.1 Measure o a Arbitrary σ-algebra Recall from Chapter 2 that the set M of all Lebesgue measurable sets has the followig properties: R M, E M implies E c M, E M for N implies
More informationABOUT CHAOS AND SENSITIVITY IN TOPOLOGICAL DYNAMICS
ABOUT CHAOS AND SENSITIVITY IN TOPOLOGICAL DYNAMICS EDUARD KONTOROVICH Abstract. I this work we uify ad geeralize some results about chaos ad sesitivity. Date: March 1, 005. 1 1. Symbolic Dyamics Defiitio
More informationCardinality Homework Solutions
Cardiality Homework Solutios April 16, 014 Problem 1. I the followig problems, fid a bijectio from A to B (you eed ot prove that the fuctio you list is a bijectio): (a) A = ( 3, 3), B = (7, 1). (b) A =
More informationOn the distribution of coefficients of powers of positive polynomials
AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 49 (2011), Pages 239 243 O the distributio of coefficiets of powers of positive polyomials László Major Istitute of Mathematics Tampere Uiversity of Techology
More informationM17 MAT25-21 HOMEWORK 5 SOLUTIONS
M17 MAT5-1 HOMEWORK 5 SOLUTIONS 1. To Had I Cauchy Codesatio Test. Exercise 1: Applicatio of the Cauchy Codesatio Test Use the Cauchy Codesatio Test to prove that 1 diverges. Solutio 1. Give the series
More informationMath 220A Fall 2007 Homework #2. Will Garner A
Math 0A Fall 007 Homewor # Will Garer Pg 3 #: Show that {cis : a o-egative iteger} is dese i T = {z œ : z = }. For which values of q is {cis(q): a o-egative iteger} dese i T? To show that {cis : a o-egative
More informationThe multiplicative structure of finite field and a construction of LRC
IERG6120 Codig for Distributed Storage Systems Lecture 8-06/10/2016 The multiplicative structure of fiite field ad a costructio of LRC Lecturer: Keeth Shum Scribe: Zhouyi Hu Notatios: We use the otatio
More informationSRC Technical Note June 17, Tight Thresholds for The Pure Literal Rule. Michael Mitzenmacher. d i g i t a l
SRC Techical Note 1997-011 Jue 17, 1997 Tight Thresholds for The Pure Literal Rule Michael Mitzemacher d i g i t a l Systems Research Ceter 130 Lytto Aveue Palo Alto, Califoria 94301 http://www.research.digital.com/src/
More informationIntroduction to Computational Biology Homework 2 Solution
Itroductio to Computatioal Biology Homework 2 Solutio Problem 1: Cocave gap pealty fuctio Let γ be a gap pealty fuctio defied over o-egative itegers. The fuctio γ is called sub-additive iff it satisfies
More informationThe Forcing Domination Number of Hamiltonian Cubic Graphs
Iteratioal J.Math. Combi. Vol.2 2009), 53-57 The Forcig Domiatio Number of Hamiltoia Cubic Graphs H.Abdollahzadeh Ahagar Departmet of Mathematics, Uiversity of Mysore, Maasagagotri, Mysore- 570006 Pushpalatha
More informationFans are cycle-antimagic
AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 68(1 (017, Pages 94 105 Fas are cycle-atimagic Ali Ovais Muhammad Awais Umar Abdus Salam School of Mathematical Scieces GC Uiversity, Lahore Pakista aligureja
More informationHoggatt and King [lo] defined a complete sequence of natural numbers
REPRESENTATIONS OF N AS A SUM OF DISTINCT ELEMENTS FROM SPECIAL SEQUENCES DAVID A. KLARNER, Uiversity of Alberta, Edmoto, Caada 1. INTRODUCTION Let a, I deote a sequece of atural umbers which satisfies
More informationA Combinatorial Proof of a Theorem of Katsuura
Mathematical Assoc. of America College Mathematics Joural 45:1 Jue 2, 2014 2:34 p.m. TSWLatexiaTemp 000017.tex A Combiatorial Proof of a Theorem of Katsuura Bria K. Miceli Bria Miceli (bmiceli@triity.edu)
More informationA Study on Total Rebellion Number in Graphs
Joural of Iformatics ad Mathematical Scieces Vol. 9, No. 3, pp. 765 773, 017 ISSN 0975-5748 (olie); 0974-875X (prit) Published by GN Publicatios http://www.rgpublicatios.com Proceedigs of the Coferece
More informationInfinite Sequences and Series
Chapter 6 Ifiite Sequeces ad Series 6.1 Ifiite Sequeces 6.1.1 Elemetary Cocepts Simply speakig, a sequece is a ordered list of umbers writte: {a 1, a 2, a 3,...a, a +1,...} where the elemets a i represet
More informationOn Net-Regular Signed Graphs
Iteratioal J.Math. Combi. Vol.1(2016), 57-64 O Net-Regular Siged Graphs Nuta G.Nayak Departmet of Mathematics ad Statistics S. S. Dempo College of Commerce ad Ecoomics, Goa, Idia E-mail: ayakuta@yahoo.com
More informationAn exact result for hypergraphs and upper bounds for the Turán density of K r r+1
A exact result for hypergraphs ad upper bouds for the Turá desity of K r r+1 Liyua Lu Departmet of Mathematics Uiversity of outh Carolia Columbia, C 908 Yi Zhao Departmet of Mathematics ad tatistics Georgia
More informationAn analog of the arithmetic triangle obtained by replacing the products by the least common multiples
arxiv:10021383v2 [mathnt] 9 Feb 2010 A aalog of the arithmetic triagle obtaied by replacig the products by the least commo multiples Bair FARHI bairfarhi@gmailcom MSC: 11A05 Keywords: Al-Karaji s triagle;
More informationCOM BIN A TOR I A L TOURNAMENTS THAT ADMIT EXACTLY ONE HAMILTONIAN CIRCUIT
a 7 8 9 l 3 5 2 4 6 6 7 8 9 2 4 3 5 a 5 a 2 7 8 9 3 4 6 1 4 6 1 3 7 8 9 5 a 2 a 6 5 4 9 8 7 1 2 3 8 6 1 3 1 7 1 0 6 5 9 8 2 3 4 6 1 3 5 7 0 9 3 4 0 7 8 9 9 8 7 3 2 0 4 5 6 1 9 7 8 1 9 8 7 4 3 2 5 6 0 YEA
More information