Signed Graph Equation L K (S) S

Similar documents
Note on Path Signed Graphs

Total Minimal Dominating Signed Graph

Negation Switching Equivalence in Signed Graphs

Restricted super line signed graph RL r (S)

THE COMMON MINIMAL COMMON NEIGHBORHOOD DOMINATING SIGNED GRAPHS. Communicated by Alireza Abdollahi. 1. Introduction

Algorithms, Lecture 3 on NP : Nondeterministic Polynomial Time

2D ELEMENTARY CELLULAR AUTOMATA WITH FOUR NEIGHBORS

Chapter 12. Synchronous Circuits. Contents

INTRODUCTION TO MATHEMATICAL REASONING. Worksheet 3. Sets and Logics

1/ 19 2/17 3/23 4/23 5/18 Total/100. Please do not write in the spaces above.

On the Infinity of Primes of the Form 2x 2 1

Figure 9.1: A clock signal.

A NOTE ON THE ERGODIC THEOREMS

MATH 214 (NOTES) Math 214 Al Nosedal. Department of Mathematics Indiana University of Pennsylvania. MATH 214 (NOTES) p. 1/11

Motives Study Group UCL

Stream Ciphers. Debdeep Mukhopadhyay

ORF 307: Lecture 14. Linear Programming: Chapter 14: Network Flows: Algorithms

Modified Sigma-Delta Converter and Flip-Flop Circuits Used for Capacitance Measuring

CHAPTER I BASIC CONCEPTS

arxiv: v1 [math.ho] 15 Apr 2015

Research Article. ISSN (Print) *Corresponding author Shireen Fathima

Chapter 27. Inferences for Regression. Remembering Regression. An Example: Body Fat and Waist Size. Remembering Regression (cont.)

Research Article Sufficient Conditions and Applications for Carathéodory Functions

INTERNATIONAL CONFERENCE ON ENGINEERING DESIGN ICED 05 MELBOURNE, AUGUST 15-18, 2005 GENERAL DESIGN THEORY AND GENETIC EPISTEMOLOGY

Iterative Deletion Routing Algorithm

Music and Mathematics: On Symmetry

Knowledge Representation

Overview. Teacher s Manual and reproductions of student worksheets to support the following lesson objective:

Chapter 4. Logic Design

CS8803: Advanced Digital Design for Embedded Hardware

Sequential Logic Notes

ORF 307 Network Flows: Algorithms

CS8803: Advanced Digital Design for Embedded Hardware

Visualizing Euclidean Rhythms Using Tangle Theory

ALGEBRAIC PURE TONE COMPOSITIONS CONSTRUCTED VIA SIMILARITY

NETFLIX MOVIE RATING ANALYSIS

ANNA KOWALSKA and ANDRZEJ F. NOWAK. Sample paper for Dissertationes Mathematicae

Route optimization using Hungarian method combined with Dijkstra's in home health care services

Randomness for Ergodic Measures

AskDrCallahan Calculus 1 Teacher s Guide

Appendix B. Elements of Style for Proofs

EE 200 Problem Set 3 Cover Sheet Fall 2015

Digital Circuit And Logic Design I. Lecture 8

Digital Circuit And Logic Design I

A New General Class of Fuzzy Flip-Flop Based on Türkşen s Interval Valued Fuzzy Sets

Two Enumerative Tidbits

On the Analogy between Cognitive Representation and Truth

MATH 214 (NOTES) Math 214 Al Nosedal. Department of Mathematics Indiana University of Pennsylvania. MATH 214 (NOTES) p. 1/3

Math and Music. Cameron Franc

Formalizing Irony with Doxastic Logic

CSC 373: Algorithm Design and Analysis Lecture 17

Math 8 Assignment Log. Finish Discussion on Course Outline. Activity Section 2.1 Congruent Figures Due Date: In-Class: Directions for Section 2.

Draft Guidelines on the Preparation of B.Tech. Project Report

CALL FOR PAPERSSPECIAL ISSUE 40 YEARS JOURNAL DESARROLLO Y SOCIEDAD

Sequential Circuits: Latches & Flip-Flops

Fuzzy Concept and Mathematics Education

SEVENTH GRADE. Revised June Billings Public Schools Correlation and Pacing Guide Math - McDougal Littell Middle School Math 2004

INSTRUCTION FOR AUTHORS

New Address Shift Linear Feedback Shift Register Generator

Beliefs under Unawareness

A High- Speed LFSR Design by the Application of Sample Period Reduction Technique for BCH Encoder

EIGHT SHORT MATHEMATICAL COMPOSITIONS CONSTRUCTED BY SIMILARITY

The unbelievable musical magic of the number 12

Lecture 17 Microwave Tubes: Part I

GRADE. Nevada DEPARTMENT OF EDUCATION. Instructional Materials. Nevada TEST. Grade 7 MATHEMATICS. Copyright 2013 by the Nevada Department of Education

Testing Sequential Circuits

A Functional Representation of Fuzzy Preferences

CPSC 121: Models of Computation Lab #5: Flip-Flops and Frequency Division

1.1. History and Development Summary of the Thesis

DIFFERENTIATE SOMETHING AT THE VERY BEGINNING THE COURSE I'LL ADD YOU QUESTIONS USING THEM. BUT PARTICULAR QUESTIONS AS YOU'LL SEE

A Framework for Segmentation of Interview Videos

UNIT IV. Sequential circuit

Traffic Light Controller

Configurable Multiple Value Encoders using Semi Floating-Gate

Cognitive Units, Connections and Mathematical Proof

Analogue Versus Digital [5 M]

THESIS/DISSERTATION Submission REVIEW Checklist Office of Graduate Studies

2 The Essentials of Binary Arithmetic

Trial version. Analogue to Digital Conversion in Distance Measurement

CPSC 121: Models of Computation Lab #5: Flip-Flops and Frequency Division

UNIT III. Combinational Circuit- Block Diagram. Sequential Circuit- Block Diagram

CS 61C: Great Ideas in Computer Architecture

Journal Price Survey

On Containers and Content, with a Cautionary Note to Philosophers of Mind

POST-KANTIAN AUTONOMIST AESTHETICS AS APPLIED ETHICS ETHICAL SUBSTRATUM OF PURIST LITERARY CRITICISM IN 20 TH CENTURY

Lecture 3: Nondeterministic Computation

Application of Bradford s Law on journal citations: A study of Ph.D. theses in social sciences of University of Delhi

1/9. Descartes on Simple Ideas (2)

Math Final Exam Practice Test December 2, 2013

Quadratic and cubic functions defined on the positive integers

1-5 Square Roots and Real Numbers. Holt Algebra 1

Decade Counters Mod-5 counter: Decade Counter:

T T T T T F F F F T T T F F T T. which is equiv. to p Aq^ B, which is equiv. to A ^ B.

ENGINEERING & TECHNOLOGY REFERENCE GUIDE FOR AUTHORS

6.5 Percussion scalograms and musical rhythm

Guidelines on Format and Duplication of the Master s Thesis and Project Report

PROFESSORS: Bonnie B. Bowers (chair), George W. Ledger ASSOCIATE PROFESSORS: Richard L. Michalski (on leave short & spring terms), Tiffany A.

1360 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 59, NO. 3, MARCH Optimal Encoding for Discrete Degraded Broadcast Channels

Math Released Item Grade 5. Whole Number and Fraction Part 0542-M02399

Testing Transition Systems with Input and Output Testers

Transcription:

International J.Math. Combin. Vol.4 (2009), 84-88 Signed Graph Equation L K (S) S P. Siva Kota Reddy andm.s.subramanya Department of Mathematics, Rajeev Institute of Technology, Industrial Area, B-M Bypass Road, Hassan 573 201, India Department of Studies in Mathematics, University of Mysore, Manasagangotri, Mysore 570 006, India E-mail: reddy math@yahoo.com, subramanya ms@rediffmail.com Abstract: A Smarandachely k-signed graph (Smarandachely k-marked graph) is an ordered pair S =(G, σ) (S =(G, μ)), where G =(V, E) is a graph called the underlying graph of S and σ : E (e 1, e 2,, e k )(μ: V (e 1, e 2,, e k )) is a function, where each e i {+, }. Particularly, a Smarandachely 2-singed graph or 2-marked graph is called abbreviated to a singed graph or a marked graph. We characterize signed graphs S for which L(S) S, S C E(S) andl k (S) S, where denotes switching equivalence and L(S), S and C E(S) are denotes line signed graph, complementary signed Graph and common-edge signed graph of S respectively. Key Words: Smarandachely k-signed graph, Smarandachely k-marked graph, signed graphs, balance, switching, line signed graph, complementary signed graph, common-edge signed graph. AMS(2000): 05C22. 1. Introduction For standard terminology and notion in graph theory we refer the reader to Harary [7]; the non-standard will be given in this paper as and when required. We treat only finite simple graphs without self loops and isolates. A Smarandachely k-signed graph (Smarandachely k-marked graph) is an ordered pair S = (G, σ) (S =(G, μ)), where G =(V,E) is a graph called the underlying graph of S and σ : E (e 1, e 2,, e k )(μ: V (e 1, e 2,, e k )) is a function, where each e i {+, }. Particularly,a Smarandachely 2-singed graph or 2-marked graph is called abbreviated to a singed graph or a marked graph. A signed graph S =(G, σ) isbalanced if every cycle in S has an even number of negative edges (See [8]). Equivalently a signed graph is balanced if product of signs of the edges on every cycle of S is positive. A marking of S is a function μ : V (G) {+, }; A signed graph S together with a marking 1 Received Oct.8, 2009. Accepted Dec. 10, 2009.

Signed Graph Equation L K (S) S 85 μ is denoted by S μ. The following characterization of balanced signed graphs is well known. Proposition 1 (E. Sampathkumar [10]) A signed graph S =(G, σ) is balanced if, and only if, there exist a marking μ of its vertices such that each edge uv in S satisfies σ(uv) =μ(u)μ(v). Behzad and Chartrand [4] introduced the notion of line signed graph L(S) of a given signed graph S as follows: L(S) is a signed graph such that (L(S)) u = L(S u ) and an edge e i e j in L(S) is negative if, and only if, both e i and e j are adjacent negative edges in S. Another notion of line signed graph introduced in [6],is as follows: The line signed graph of a signed graph S =(G, σ) is a signed graph L(S) =(L(G),σ ), where for any edge ee in L(S), σ (ee )=σ(e)σ(e )(see also, E. Sampathkumar et al. [11]. In this paper, we follow the notion of line signed graph defined by M. K. Gill [6]. Proposition 2 balanced. For any signed graph S =(G, σ), its line signed graph L(S) =(L(G),σ ) is Proof We first note that the labeling σ of S can be treated as a marking of vertices of L(S). Then by definition of L(S) weseethatσ (ee )=σ(e)σ(e ), for every edge ee of L(S) and hence, by proposition-1, the result follows. Remark: In [2], M. Acharya has proved the above result. The proof given here is different from that given in [2]. For any positive integer k, thek th iterated line signed graph, L k (S) ofs is defined as follows: L 0 (S) =S, L k (S) =L(L k 1 (S)) Corollary For any signed graph S =(G, σ) and for any positive integer k, L k (S) is balanced. Let S = (G, σ) be a signed graph. Consider the marking μ on vertices of S defined as follows: each vertex v V, μ(v) is the product of the signs on the edges incident at v. Complement of S is a signed graph S =(G, σ c ), where for any edge e = uv G, σ c (uv) = μ(u)μ(v). Clearly, S as defined here is a balanced signed graph due to Proposition 1. The idea of switching a signed graph was introduced by Abelson and Rosenberg [1] in connection with structural analysis of marking μ of a signed graph S. Switching S with respect to a marking μ is the operation of changing the sign of every edge of S to its opposite whenever its end vertices are of opposite signs. The signed graph obtained in this way is denoted by S μ (S) and is called μ-switched signed graph or just switched signed graph. Two signed graphs S 1 =(G, σ) ands 2 =(G,σ )aresaidtobeisomorphic, written as S 1 = S2 if there exists a graph isomorphism f : G G (that is a bijection f : V (G) V (G ) such that if uv is an edge in G then f(u)f(v) isanedgeing ) such that for any edge e G, σ(e) =σ (f(e)). Further, a signed graph S 1 =(G, σ) switches to a signed graph S 2 =(G,σ ) (or that S 1 and S 2 are switching equivalent) written S 1 S 2, whenever there exists a marking μ of S 1 such that S μ (S 1 ) = S 2. Note that S 1 S 2 implies that G = G, since the definition of switching does not involve change of adjacencies in the underlying graphs of the respective signed graphs.

86 P. Siva Kota Reddy and M. S. Subramanya Two signed graphs S 1 =(G, σ) ands 2 =(G,σ )aresaidtobeweakly isomorphic (see [14]) or cycle isomorphic (see [15]) if there exists an isomorphism φ : G G such that the sign of every cycle Z in S 1 equals to the sign of φ(z) ins 2. The following result is well known (See [15]). Proposition 3 (T. Zaslavasky [15]) Two signed graphs S 1 and S 2 with the same underlying graph are switching equivalent if, and only if, they are cycle isomorphic. 2. Switching Equivalence of Iterated Line Signed Graphs and Complementary Signed Graphs In [12], we characterized signed graphs that are switching equivalent to their line signed graphs and iterated line signed graphs. In this paper, we shall solve the equation L k (S) S. We now characterize signed graphs whose complement and line signed graphs are switching equivalent. In the case of graphs the following result is due to Aigner [3] (See also [13] where H K denotes the corona of the graphs H and K [7]. Proposition 4 (M. Aigner [3]) ThelinegraphL(G) of a graph G is isomorphic with G if, and only if, G is either C 5 or K 3 K 1. Proposition 5 For any signed graph S =(G, σ), L(S) S if, and only if, G is either C 5 or K 3 K 1. Proof Suppose L(S) S. This implies, L(G) = G and hence by Proposition-4 we see that the graph G must be isomorphic to either C 5 or K 3 K 1. Conversely, suppose that G is a C 5 or K 3 K 1.ThenL(G) = G by Proposition-4. Now, if S any signed graph on any of these graphs, By Proposition-2 and definition of complementary signed graph, L(S) ands are balanced and hence, the result follows from Proposition 3. In [5], the authors define path graphs P k (G) ofagivengraphg =(V,E) for any positive integer k as follows: P k (G) has for its vertex set the set P k (G) of all distinct paths in G having k vertices, and two vertices in P k (G) are adjacent if they represent two paths P, Q P k (G) whose union forms either a path P k+1 or a cycle C k in G. Much earlier, the same observation as above on the formation of a line graph L(G) ofa given graph G, Kulli [9] had defined the common-edge graph C E (G) ofg as the intersection graph of the family P 3 (G) of 2-paths (i.e., paths of length two) each member of which is treated as a set of edges of corresponding 2-path; as shown by him, it is not difficult to see that C E (G) = L 2 (G), for any isolate-free graph G, wherel(g) :=L 1 (G) andl t (G) denotes the t th iterated line graph of G for any integer t 2. In [12], we extend the notion of C E (G) to realm of signed graphs: Given a signed graph S =(G, σ) itscommon-edge signed graph C E (S) =(C E (G),σ )isthatsignedgraphwhose underlying graph is C E (G), the common-edge graph of G, whereforanyedge(e 1 e 2,e 2 e 3 )in C E (S),σ (e 1 e 2,e 2 e 3 )=σ(e 1 e 2 )σ(e 2 e 3 ).

Signed Graph Equation L K (S) S 87 Proposition 6(E. Sampathkumar et al. [12]) For any signed graph S =(G, σ), its commonedge signed graph C E (S) is balanced. We now characterize signed graph whose complement S and common-edge signed graph C E (S) are switching equivalent. In the case of graphs the following result is due to Simic [13]. Proposition 7(S. K. Simic [13]) The common-edge graph C E (G) of a graph G is isomorphic with G if, and only if, G is either C 5 or K 2 K 2. Proposition 8 For any signed graph S =(G, σ), S C E (S) if, and only if, G is either C 5 or K 2 K 2. Proof Suppose S C E (S). This implies, G = C E (G) and hence by Proposition-7, we see that the graph G must be isomorphic to either C 5 or K 2 K 2. Conversely, suppose that G is a C 5 or K 2 K 2.ThenG = C E (G) byproposition-7.now, if S any signed graph on any of these graphs, By Proposition-6 and definition of complementary signed graph, C E (S) ands are balanced and hence, the result follows from Proposition 3. We now characterize signed graphs whose complement and its iterated line signed graphs L k (S), where k 3 are switching equivalent. In the case of graphs the following result is due to Simic [13]. Proposition 9(S. K. Simic [13]) For any positive integer k 3, L k (G) is isomorphic with G if, and only if, G is C 5. Proposition 10 For any signed graph S =(G, σ) and for any positive integer k 3, L k (S) S if, and only if, G is C 5. Proof Suppose L k (S) S. This implies, L k (G) = G and hence by Proposition-9 we see that the graph G is isomorphic to C 5. Conversely, suppose that G is isomorphic to C 5.ThenL k (G) = G by Proposition-9. Now, if S any signed graph on C 5, By Corollary-2.1 and definition of complementary signed graph, L k (S) ands are balanced and hence, the result follows from Proposition 3. References [1] R. P. Abelson and M. J. Rosenberg, Symoblic psychologic: A model of attitudinal cognition, Behav. Sci., 3 (1958), 1-13. [2] M. Acharya, x-line sigraph of a sigraph, J. Combin. Math. Combin. Comput., 69(2009), 103-111. [3] M. Aigner, Graph whose complement and line graph are isomorphic, J. Comb. Theory, 7 (1969), 273-275. [4] M. Behzad and G. T. Chartrand, Line coloring of signed graphs, Element der Mathematik, 24(3) (1969), 49-52. [5] H. J. Broersma and C. Hoede, Path graphs, J. Graph Theory, 13(4) (1989), 427-444. [6] M. K. Gill, Contributions to some topics in graph theory and its applications, Ph.D. thesis,

88 P. Siva Kota Reddy and M. S. Subramanya The Indian Institute of Technology, Bombay, 1983. [7] F. Harary, Graph Theory, Addison-Wesley Publishing Co., 1969. [8] F. Harary, On the notion of balance of a signed graph, Michigan Math. J., 2(1953), 143-146. [9] V. R. Kulli, On common-edge graphs, The Karnatak University Journal: Science-Vol. XVIII(1973), 321-324. [10] E. Sampathkumar, Point signed and line signed graphs, Nat. Acad. Sci. Letters, 7(3) (1984), 91-93. [11] E. Sampathkumar, P. Siva Kota Reddy, and M. S. Subramanya, The Line n-sigraph of a symmetric n-sigraph, Southeast Asian Bull. Math., to appear. [12] E. Sampathkumar, P. Siva Kota Reddy, and M. S. Subramanya, Common-edge signed graph of a signed graph, Submitted. [13] S. K. Simic, Graph equation L n (G) = G, univ. Beograd publ. Electrostatic. Fak., Ser. Math Fiz, 498/541 (1975), 41-44. [14] T. Sozánsky, Enueration of weak isomorphism classes of signed graphs, J. Graph Theory, 4(2)(1980), 127-144. [15] T. Zaslavsky, Signed Graphs, Discrete Appl. Math., 4(1)(1982), 47-74.