the nber of vertces n the graph. spannng tree T beng part of a par of maxmally dstant trees s called extremal. Extremal trees are useful n the mxed an
|
|
- Eleanor Wheeler
- 5 years ago
- Views:
Transcription
1 On Central Spannng Trees of a Graph S. Bezrukov Unverstat-GH Paderborn FB Mathematk/Informatk Furstenallee 11 D{33102 Paderborn F. Kaderal, W. Poguntke FernUnverstat Hagen LG Kommunkatonssysteme Bergscher Rng 100 D{58084 Hagen bstract We consder the collecton of all spannng trees of a graph wth dstance between them based on the sze of the symmetrc derence of ther edge sets. central spannng tree of a graph s one for whch the maxmal dstance to all other spannng trees s mnmal. We prove that the problem of constructng a central spannng tree s algorthmcally dcult and leads to an NP-complete problem. 1 Introducton ll the basc notons concernng graphs, whch are not explaned here, may be found n any ntroductory book on graph theory, e.g. [4]. In the whole paper we consder undrected connected graphs wthout loops, but maybe wth multple edges. For a graph G we denote by V (G) and E(G) ts vertex and edge sets, respectvely. Let T 1 and T 2 be a par of spannng trees of a graph G. We dene the dstance between T 1 and T 2 as D(T 1 ; T 2 ) = 1 2 j(e(t 1) [ E(T 2 )) n (E(T 1 ) \ E(T 2 ))j;.e. the dstance equals half of the symmetrc derence between E(T 1 ) and E(T 2 ) (notce that the symmetrc derence tself s always of even sze). For a xed tree T there exsts a polynomal algorthm to nd a tree T 0 such that D(T; T ) s maxmal. Indeed, assgn weghts to the graph edges. Each edge of 0 T gets weght 1, and all the other edges get weght 0. Now apply an algorthm to nd a mnmal weght spannng tree n G. Ths results n a maxmally dstant tree T wth respect to 0 T. par of spannng trees T 1 ; T 2 of a graph G s called maxmally dstant f D(T 1 ; T 2 ) D(T 0 1 ; T 2) for any spannng trees 0 T 0 1 ; T 0 2 of G. Maxmally dstant trees were studed n a nber of papers (cf. [9, 10, 11]). n algorthm for ndng a par of maxmally dstant spannng trees s presented n [9] and requres polynomally many steps wth respect to ppeared n Lect. Notes Comp. Sc., vol.1120, Sprnger Verlag, 1996, 53{58. 1
2 the nber of vertces n the graph. spannng tree T beng part of a par of maxmally dstant trees s called extremal. Extremal trees are useful n the mxed analyss of electrcal crcuts. In our paper we are nterested n the dual problem of ndng a spannng tree T, such that max T 0 D(T; T ) s mnmal. We call such a tree a 0 central tree of G. The noton of a central tree was ntroduced n [2], and some applcatons of such trees to crcut analyss one can nd n [7]. central tree can also be useful for broadcastng messages n a communcaton network. Central trees were ntensvely studed n the lterature (see [8, 12, 13, 14]), but presently we know only the paper [1] beng devoted to the constructon of central trees. Unfortunately the algorthm descrbed n [1] contans a gap, and n [5] one can nd a counterexample to ths algorthm. lso no result s known to us concernng the complexty of the problem of constructng a central tree. Ths complexty aspect s the man pont of our analyss here. Gven a graph G, let us dene ts tree graph T (G). The vertces of T (G) correspond to the spannng trees of G, and two vertces of T (G) are adjacent the dstance between the correspondng spannng trees s 1. Thus the noton of a central tree of G corresponds to a central vertex n the graph T (G). The problem to nd all central vertces n a graph s known to be polynomal wth respect to the nber of ts vertces, but n our case the nber of spannng trees of G may be exponentally large wth respect to jv (G)j, and so the result concernng the central vertces cannot be drectly appled to construct central trees. Let H be a subgraph of a graph G. Denote by H the complement of H n G,.e. the subgraph obtaned by deleton of all the edges of H n G. Let r(h) denote the rank of H,.e. the nber of vertces of G mnus the nber of components of H. Proposton 1 (cf. [6]) If T s a central tree, then r(t ) r(t 0 ) for any other spannng tree T 0. Therefore deleton of a central tree from G results n a maxmal nber of components n the remanng graph. Note that, dually, deleton of an extremal tree results n a mnmal nber of components n the remanng graph (cf. [6]). Ths s the property makng extremal trees useful n crcut analyss. Consder the followng problem, whch we call Central Tree: Instance: graph G and an nteger nber k. Queston: Is there a spannng tree T of G, such that the graph T conssts of k components? In the next secton we prove that ths problem s NP-complete. 2 The man result Theorem 1 The Central Tree problem s NP-complete We use transformaton from the problem X3C (Exact Cover by 3-sets), whch s known to be NP-complete (see the problem [SP2] n [3]) and s the followng: 2
3 Instance: set E of jej = 3k elements and a collecton F of 3-element subsets of E. Queston: Does F contan an exact cover for E,.e. a subcollecton F 0 F such that every element of E occurs n exactly one member of F 0? In the proof we take an nstance for the X3C problem and construct some graph, consdered later as an nput to the Central Tree problem. Hence, we consder the Central Tree problem only for the graphs obtaned n such a way, thus showng that t s NPcomplete even for ths restrcted class of graphs. Let F be a collecton of 3-subsets as an nstance of the X3C problem. We represent F by a bpartte graph G(F ) wth the bpartton sets E and S consstng of 3k and jf j vertces respectvely. The vertces of E correspond to the base set, and the vertces of S correspond to the 3-subsets n F. The edges of G(F ) are determned by the ncdence structure of the set system. We construct an nstance for the Central Tree problem as follows. Take the graph G(F ) and add 3k 2 edges, connectng the vertces of E, such that the subgraph of G(F ) nduced by the vertex set E s a complete graph. dd an extra vertex v to the obtaned graph, and connect v wth each vertex of S. The resultng graph s denoted by G(F ). In Fg. 1a an example of such a graph G(F ) for the case jej = 6, jf j = 4 s shown. The sets fv 1 g and fv 2 g form an exact cover of the base set. ' & mu u u u u u u K 6 w 1 1 w 2 1 w 3 1 w 1 2 w 2 2 w 3 u # v 1 c # ## v 2 cc # ## v a. The graph G(F ). $ % E S Fg. 1 u u u u u u??? mu u u??? # v 1 c # ## v 2 cc # ## v b. spannng tree of G(F ). Now we show that an exact cover of the set E (consstng of k subsets) exsts there exsts a spannng tree n G(F ), whch splts G(F ) nto k +2 components. We asse that jej 6 and (1) jsj > k + 1: (2) Observe that f one bounds these sets the X3C problem s polynomally solvable. Indeed, let an exact cover exst. Denote by v 1 ; :::; v k the vertces of S, correspondng to the coverng subsets (cf. Fg. 1a). Furthermore, for each v denote by w 1 ; w2; w3 ts neghbors n E. Then the subsets fw 1 ; w2; w3 g are dsjont. Consder the spannng tree 3
4 T n G nduced by the edges of the form (v; u) wth u 2 S and (v ; w 1 ), (v ; w 2 ), (v ; w 3 ) for = 1; :::; k. Then the components of G n T consst of k + 1 sngle vertces v; v 1 ; :::; v k and the subgraph nduced by the vertex set E [ (S n fv 1 ; :::; v k g). Thus we have k + 2 components. We refer to Fg. 1b for k = 2. There a spannng tree of the graph G(F ) s shown and after deleton of t the vertces v 1 ; v 2 ; v form 3 sngle components, and the rest of the vertces form the 4 th component. We showed that the exstence of an exact cover of sze k n the set system F mples the exstence of a spannng tree n the graph G(F ), after deleton of whch we get a graph wth k + 2 components. Now we show the reverse drecton. In fact we show that the structure of components must be exactly as descrbed above. So, let T be a spannng tree, whch splts G nto exactly k + 2 components. We clam that all the vertces of E belong to the same component. Suppose ths s not true and there exsts a component C such that 0 < jc \ Ej < jej: Denote E = 0 C \ E. If je 0 j > 1 and je n E 0 j > 1, then the edge cut separatng E and 0 E n E 0 whch s part of T necessarly contans a crcle, contradctng that T s a tree. Let E = 0 fwg and asse the component contanng w has one more vertex u. Wthout loss of generalty we may asse that u 2 S and (w; u) 2 E(G(T )). Now the edge cut separatng u and w from E n E has to contan a crcle, whch s agan a contradcton. 0 Thus, we have a component consstng of the sngle vertex w. It s not dcult to see that all the vertces E n w belong to only one component, whch we denote by D. Now each vertex u 2 S belongs to ths component D, snce otherwse the edge cut separatng u and w from the set E n fwg contans a crcle. Therefore, n ths case the graph G(F ) n T conssts of at most 3 components, formed by the sngle vertces w and v and the subgraph nduced by the vertex set (E n fwg) [ S. But (1) and jej = 3k mply that the nber of components must be at least 4, a contradcton. Hence all the vertces of E must belong to the same component. Consder the followng two cases: Case 1. sse that the vertex v forms a sngle component n G(F ) n T. Then the spannng tree T ncludes all the edges of the form (v; u) wth u 2 S. Case 1a. sse that there exsts a component, whch contans at least 2 vertces of S. Then ths component must contan at least one vertex from E (snce otherwse t s not connected), and so by the above t must contan all the set E. Therefore, there exsts at most one component contanng at least 2 vertces of S, and we have determned already 2 components of the graph G(F ) n T. Thus all the other k components are formed by k sngle vertces (we denote them by v 1 ; :::; v k ) of S, and so the tree T contans the edges of the form (v ; w 1 ), (v ; w 2 ), (v ; w 3 ) (here w 1 ; w2; w3 2 E ncdent wth v, and the sets of the form fw 1 ; w2; w3g must be dsjont). Thus, the vertces v 1; :::; v k form an exact cover of the set E. Case 1b. sse that there s no component contanng at least 2 vertces of S. Ths leads us to a contradcton, snce n ths case each vertex of S (maybe except one of them, 4
5 whch s connected to E) forms a sngle component, and so ether k = jsj or k = jsj? 1, whch contradcts (2). Case 2. Now asse that the component contanng the vertex v (denote ths component by K) also contans some vertces u 1 ; :::; u t 2 S. We show that ths s, however, mpossble. Case 2a. sse smlarly to the above that there exsts another component C (C 6= K), whch contans at least 2 vertces of S n fu 1 ; :::; u t g. Ths leads us to the concluson that C contans the whole set E, E \ K = ; and all the other k components are formed by k sngle vertces of the set S = 0 S n (C [ K) (wth js 0 j = k). Smlarly to the above the vertces of S have to form an exact cover of the set E. Consder the vertex 0 u 1. Its neghborhood W = fw 1 ; w 2 ; w 3 g n E s covered by the vertces of S 0. If there exsts a vertex v 1 2 S such that ts neghborhood n 0 E contans at least 2 vertces of W, then the edge cut separatng the vertces u 1 and v 1 contans a cycle, contradctng that T s a tree. Thus, there exst two vertces v 1 ; v 2 2 S adjacent wth the vertces of 0 W and the edge cut separatng the vertces u 1 ; v 1 ; v 2 ; v contans a cycle, whch s agan a contradcton. Case 2b. sse that there s no other component contanng at least 2 vertces of S. If K \ E = ;, then smlarly to Case 2a we obtan a contradcton that T s not a tree. Thus K has to contan the whole set E and each vertex from the set S n fu 1 ; :::; u t g has to form a sngle component. There are k + 1 of these components, and they have to be separated by a tree. Ths means that the neghborhoods fw 1 ; w2; w3 g of them n E must be dsjont, whch s mpossble because jej = 3k. References [1] moa., Cottafava G.: Invarance Propertes of central trees, IEEE Trans. Crcut Theory, vol. CT-18 (1971), 465{467. [2] Deo D.: central tree, IEEE Trans. Crcut Th., vol. CT-13 (1966), 439{440. [3] Garey M.R., Johnson D.S.: Computers and Intractablty: Gude to the Theory of NP-completeness, Freeman [4] Harary F.: Graph theory, ddson-wesley Publ. Company, [5] Kaderal F.: counterexample to the algorthm of moa and Cottafava for ndng central trees, preprnt, FB 19, TH Darmstadt, June [6] Kaderal F.: Uber zentrale und maxmal entfernte Bae, unpublshed manuscrpt. [7] Kajtan Y., Kawamoto T., Shnoda S.: new method of crcut analyss and central trees of a graph, Electron. Commun. Japan, vol. 66 (1983), No. 1, 36{45. [8] Kawamoto T., Kajtan Y., Shnoda S.: New theorems on central trees descrbed n connecton wth the prncpal partton of a graph, Papers of the Techncal Group on Crcut and System theory of Inst. Elec. Comm. Eng. Japan, No. CST (1977), 63{69. 5
6 [9] Ksh G., Kajtan Y.: Maxmally dstant trees and prncpal partton of a lnear graph, IEEE Trans. Crcut Theory, vol. CT-16 (1969), 323{330. [10] Ksh G., Kajtan Y.: Maxmally dstant trees n a lnear graph, Electroncs and Communcatons n Japan (The Transactons of the Insttute of Electroncs and Communcaton Engneers of Japan), vol. 51 (1968), 35{42. [11] Ksh G., Kajtan Y.: On maxmally dstant trees, Proceedngs of the Ffth nnual llerton Conference on Crcut and System Theory, Unversty of Illnos, Oct. 1967, 635{643. [12] Shnoda S., Kawamoto T.: On central trees of a graph, Lecture notes n Computer Sc., vol. 108 (1981), 137{151. [13] Shnoda S., Kawamoto T.: Central trees and crtcal sets, n Proc. 14th slomar Conf. on Crcut, Systems and Comp., Pacc Grove, Calf., 1980, D.E. Krk ed., 183{187. [14] Shnoda S., Sashu K.: Condtons for an ncdence set to be a central tree, Papers of the Techncal Group on Crcut and System theory of Inst. Elec. Comm. Eng.Japan, No. CS80-6 (1980), 41{46. 6
More on the Linear k-arboricity of Regular Graphs R. E. L. Aldred Department of Mathematics and Statistics University of Otago P.O. Box 56, Dunedin Ne
More on the Lnear k-arborcty of Regular Graphs R E L Aldred Department of Mathematcs and Statstcs Unversty of Otago PO Box 56, Dunedn New Zealand Ncholas C Wormald Department of Mathematcs Unversty of
More informationNon-Split Restrained Dominating Set of an Interval Graph Using an Algorithm
Internatonal Journal of Advancements n Research & Technology, Volume, Issue, July- ISS - on-splt Restraned Domnatng Set of an Interval Graph Usng an Algorthm ABSTRACT Dr.A.Sudhakaraah *, E. Gnana Deepka,
More informationBridges and cut-vertices of Intuitionistic Fuzzy Graph Structure
Internatonal Journal of Engneerng, Scence and Mathematcs (UGC Approved) Journal Homepage: http://www.jesm.co.n, Emal: jesmj@gmal.com Double-Blnd Peer Revewed Refereed Open Access Internatonal Journal -
More informationCHAPTER 2 DECOMPOSITION OF GRAPHS
CHAPTER DECOMPOSITION OF GRAPHS. INTRODUCTION A graph H s called a Supersubdvson of a graph G f H s obtaned from G by replacng every edge uv of G by a bpartte graph,m (m may vary for each edge by dentfyng
More informationThe Erdős Pósa property for vertex- and edge-disjoint odd cycles in graphs on orientable surfaces
Dscrete Mathematcs 307 (2007) 764 768 www.elsever.com/locate/dsc Note The Erdős Pósa property for vertex- and edge-dsjont odd cycles n graphs on orentable surfaces Ken-Ich Kawarabayash a, Atsuhro Nakamoto
More informationConstructing Minimum Connected Dominating Set: Algorithmic approach
Constructng Mnmum Connected Domnatng Set: Algorthmc approach G.N. Puroht and Usha Sharma Centre for Mathematcal Scences, Banasthal Unversty, Rajasthan 304022 usha.sharma94@yahoo.com Abstract: Connected
More informationAn Optimal Algorithm for Prufer Codes *
J. Software Engneerng & Applcatons, 2009, 2: 111-115 do:10.4236/jsea.2009.22016 Publshed Onlne July 2009 (www.scrp.org/journal/jsea) An Optmal Algorthm for Prufer Codes * Xaodong Wang 1, 2, Le Wang 3,
More information1 Introducton Gven a graph G = (V; E), a non-negatve cost on each edge n E, and a set of vertces Z V, the mnmum Stener problem s to nd a mnmum cost su
Stener Problems on Drected Acyclc Graphs Tsan-sheng Hsu y, Kuo-Hu Tsa yz, Da-We Wang yz and D. T. Lee? September 1, 1995 Abstract In ths paper, we consder two varatons of the mnmum-cost Stener problem
More informationTree Spanners for Bipartite Graphs and Probe Interval Graphs 1
Algorthmca (2007) 47: 27 51 DOI: 10.1007/s00453-006-1209-y Algorthmca 2006 Sprnger Scence+Busness Meda, Inc. Tree Spanners for Bpartte Graphs and Probe Interval Graphs 1 Andreas Brandstädt, 2 Feodor F.
More informationRamsey numbers of cubes versus cliques
Ramsey numbers of cubes versus clques Davd Conlon Jacob Fox Choongbum Lee Benny Sudakov Abstract The cube graph Q n s the skeleton of the n-dmensonal cube. It s an n-regular graph on 2 n vertces. The Ramsey
More informationParallelism for Nested Loops with Non-uniform and Flow Dependences
Parallelsm for Nested Loops wth Non-unform and Flow Dependences Sam-Jn Jeong Dept. of Informaton & Communcaton Engneerng, Cheonan Unversty, 5, Anseo-dong, Cheonan, Chungnam, 330-80, Korea. seong@cheonan.ac.kr
More informationThe Greedy Method. Outline and Reading. Change Money Problem. Greedy Algorithms. Applications of the Greedy Strategy. The Greedy Method Technique
//00 :0 AM Outlne and Readng The Greedy Method The Greedy Method Technque (secton.) Fractonal Knapsack Problem (secton..) Task Schedulng (secton..) Mnmum Spannng Trees (secton.) Change Money Problem Greedy
More information6.854 Advanced Algorithms Petar Maymounkov Problem Set 11 (November 23, 2005) With: Benjamin Rossman, Oren Weimann, and Pouya Kheradpour
6.854 Advanced Algorthms Petar Maymounkov Problem Set 11 (November 23, 2005) Wth: Benjamn Rossman, Oren Wemann, and Pouya Kheradpour Problem 1. We reduce vertex cover to MAX-SAT wth weghts, such that the
More informationCordial and 3-Equitable Labeling for Some Star Related Graphs
Internatonal Mathematcal Forum, 4, 009, no. 31, 1543-1553 Cordal and 3-Equtable Labelng for Some Star Related Graphs S. K. Vadya Department of Mathematcs, Saurashtra Unversty Rajkot - 360005, Gujarat,
More informationTheoretical Computer Science
Theoretcal Computer Scence 481 (2013) 74 84 Contents lsts avalable at ScVerse ScenceDrect Theoretcal Computer Scence journal homepage: www.elsever.com/locate/tcs Increasng the mnmum degree of a graph by
More informationCapacitated Domination and Covering: A Parameterized Perspective
Capactated Domnaton and Coverng: A Parameterzed Perspectve Mchael Dom Danel Lokshtanov Saket Saurabh Yngve Vllanger Abstract Capactated versons of Domnatng Set and Vertex Cover have been studed ntensvely
More informationOn Embedding and NP-Complete Problems of Equitable Labelings
IOSR Journal o Mathematcs (IOSR-JM) e-issn: 78-578, p-issn: 39-765X Volume, Issue Ver III (Jan - Feb 5), PP 8-85 wwwosrjournalsorg Ombeddng and NP-Complete Problems o Equtable Labelngs S K Vadya, C M Barasara
More informationFor instance, ; the five basic number-sets are increasingly more n A B & B A A = B (1)
Secton 1.2 Subsets and the Boolean operatons on sets If every element of the set A s an element of the set B, we say that A s a subset of B, or that A s contaned n B, or that B contans A, and we wrte A
More informationHierarchical clustering for gene expression data analysis
Herarchcal clusterng for gene expresson data analyss Gorgo Valentn e-mal: valentn@ds.unm.t Clusterng of Mcroarray Data. Clusterng of gene expresson profles (rows) => dscovery of co-regulated and functonally
More informationProblem Set 3 Solutions
Introducton to Algorthms October 4, 2002 Massachusetts Insttute of Technology 6046J/18410J Professors Erk Demane and Shaf Goldwasser Handout 14 Problem Set 3 Solutons (Exercses were not to be turned n,
More informationAll-Pairs Shortest Paths. Approximate All-Pairs shortest paths Approximate distance oracles Spanners and Emulators. Uri Zwick Tel Aviv University
Approxmate All-Pars shortest paths Approxmate dstance oracles Spanners and Emulators Ur Zwck Tel Avv Unversty Summer School on Shortest Paths (PATH05 DIKU, Unversty of Copenhagen All-Pars Shortest Paths
More informationSum of Linear and Fractional Multiobjective Programming Problem under Fuzzy Rules Constraints
Australan Journal of Basc and Appled Scences, 2(4): 1204-1208, 2008 ISSN 1991-8178 Sum of Lnear and Fractonal Multobjectve Programmng Problem under Fuzzy Rules Constrants 1 2 Sanjay Jan and Kalash Lachhwan
More informationTree Spanners on Chordal Graphs: Complexity, Algorithms, Open Problems
Tree Spanners on Chordal Graphs: Complexty, Algorthms, Open Problems A. Brandstädt 1, F.F. Dragan 2, H.-O. Le 1, and V.B. Le 1 1 Insttut für Theoretsche Informatk, Fachberech Informatk, Unverstät Rostock,
More informationMetric Characteristics. Matrix Representations of Graphs.
Graph Theory Metrc Characterstcs. Matrx Representatons of Graphs. Lecturer: PhD, Assocate Professor Zarpova Elvra Rnatovna, Department of Appled Probablty and Informatcs, RUDN Unversty ezarp@mal.ru Translated
More informationO n processors in CRCW PRAM
PARALLEL COMPLEXITY OF SINGLE SOURCE SHORTEST PATH ALGORITHMS Mshra, P. K. Department o Appled Mathematcs Brla Insttute o Technology, Mesra Ranch-8355 (Inda) & Dept. o Electroncs & Electrcal Communcaton
More informationb * -Open Sets in Bispaces
Internatonal Journal of Mathematcs and Statstcs Inventon (IJMSI) E-ISSN: 2321 4767 P-ISSN: 2321-4759 wwwjmsorg Volume 4 Issue 6 August 2016 PP- 39-43 b * -Open Sets n Bspaces Amar Kumar Banerjee 1 and
More informationOdd Graceful Labeling of Some New Type of Graphs
Internatonal Journal o Mathematcs Trends and Technology IJMTT) Volume 41 Number 1- January 2017 Odd Graceul Labelng o Some New Type o Graphs Sushant Kumar Rout 1 Debdas Mshra 2 and Purna chandra Nayak
More informationF Geometric Mean Graphs
Avalable at http://pvamu.edu/aam Appl. Appl. Math. ISSN: 1932-9466 Vol. 10, Issue 2 (December 2015), pp. 937-952 Applcatons and Appled Mathematcs: An Internatonal Journal (AAM) F Geometrc Mean Graphs A.
More information2x x l. Module 3: Element Properties Lecture 4: Lagrange and Serendipity Elements
Module 3: Element Propertes Lecture : Lagrange and Serendpty Elements 5 In last lecture note, the nterpolaton functons are derved on the bass of assumed polynomal from Pascal s trangle for the fled varable.
More informationMath Homotopy Theory Additional notes
Math 527 - Homotopy Theory Addtonal notes Martn Frankland February 4, 2013 The category Top s not Cartesan closed. problem. In these notes, we explan how to remedy that 1 Compactly generated spaces Ths
More informationComplexity to Find Wiener Index of Some Graphs
Complexty to Fnd Wener Index of Some Graphs Kalyan Das Department of Mathematcs Ramnagar College, Purba Mednpur, West Bengal, Inda Abstract. The Wener ndex s one of the oldest graph parameter whch s used
More informationRoutability Driven Modification Method of Monotonic Via Assignment for 2-layer Ball Grid Array Packages
Routablty Drven Modfcaton Method of Monotonc Va Assgnment for 2-layer Ball Grd Array Pacages Yoch Tomoa Atsush Taahash Department of Communcatons and Integrated Systems, Toyo Insttute of Technology 2 12
More informationsuch that is accepted of states in , where Finite Automata Lecture 2-1: Regular Languages be an FA. A string is the transition function,
* Lecture - Regular Languages S Lecture - Fnte Automata where A fnte automaton s a -tuple s a fnte set called the states s a fnte set called the alphabet s the transton functon s the ntal state s the set
More informationPlanar Capacitated Dominating Set is W[1]-hard
Planar Capactated Domnatng Set s W[1]-hard Hans L. Bodlaender 1, Danel Lokshtanov 2, and Eelko Pennnkx 1 1 Department of Informaton and Computng Scences, Unverstet Utrecht, PO Box 80.089, 3508TB Utrecht,
More informationUNIT 2 : INEQUALITIES AND CONVEX SETS
UNT 2 : NEQUALTES AND CONVEX SETS ' Structure 2. ntroducton Objectves, nequaltes and ther Graphs Convex Sets and ther Geometry Noton of Convex Sets Extreme Ponts of Convex Set Hyper Planes and Half Spaces
More informationModule Management Tool in Software Development Organizations
Journal of Computer Scence (5): 8-, 7 ISSN 59-66 7 Scence Publcatons Management Tool n Software Development Organzatons Ahmad A. Al-Rababah and Mohammad A. Al-Rababah Faculty of IT, Al-Ahlyyah Amman Unversty,
More informationSemi - - Connectedness in Bitopological Spaces
Journal of AL-Qadsyah for computer scence an mathematcs A specal Issue Researches of the fourth Internatonal scentfc Conference/Second صفحة 45-53 Sem - - Connectedness n Btopologcal Spaces By Qays Hatem
More informationInternational Journal of Scientific & Engineering Research, Volume 7, Issue 5, May ISSN Some Polygonal Sum Labeling of Bistar
Internatonal Journal of Scentfc & Engneerng Research Volume 7 Issue 5 May-6 34 Some Polygonal Sum Labelng of Bstar DrKAmuthavall SDneshkumar ABSTRACT- A (p q) graph G s sad to admt a polygonal sum labelng
More informationREFRACTION. a. To study the refraction of light from plane surfaces. b. To determine the index of refraction for Acrylic and Water.
Purpose Theory REFRACTION a. To study the refracton of lght from plane surfaces. b. To determne the ndex of refracton for Acrylc and Water. When a ray of lght passes from one medum nto another one of dfferent
More informationAn Approach in Coloring Semi-Regular Tilings on the Hyperbolic Plane
An Approach n Colorng Sem-Regular Tlngs on the Hyperbolc Plane Ma Louse Antonette N De Las Peñas, mlp@mathscmathadmueduph Glenn R Lago, glago@yahoocom Math Department, Ateneo de Manla Unversty, Loyola
More informationMachine Learning: Algorithms and Applications
14/05/1 Machne Learnng: Algorthms and Applcatons Florano Zn Free Unversty of Bozen-Bolzano Faculty of Computer Scence Academc Year 011-01 Lecture 10: 14 May 01 Unsupervsed Learnng cont Sldes courtesy of
More informationComputation of a Minimum Average Distance Tree on Permutation Graphs*
Annals of Pure and Appled Mathematcs Vol, No, 0, 74-85 ISSN: 79-087X (P), 79-0888(onlne) Publshed on 8 December 0 wwwresearchmathscorg Annals of Computaton of a Mnmum Average Dstance Tree on Permutaton
More informationCompiler Design. Spring Register Allocation. Sample Exercises and Solutions. Prof. Pedro C. Diniz
Compler Desgn Sprng 2014 Regster Allocaton Sample Exercses and Solutons Prof. Pedro C. Dnz USC / Informaton Scences Insttute 4676 Admralty Way, Sute 1001 Marna del Rey, Calforna 90292 pedro@s.edu Regster
More informationALEKSANDROV URYSOHN COMPACTNESS CRITERION ON INTUITIONISTIC FUZZY S * STRUCTURE SPACE
mercan Journal of Mathematcs and cences Vol. 5, No., (January-December, 206) Copyrght Mnd Reader Publcatons IN No: 2250-302 www.journalshub.com LEKNDROV URYOHN COMPCTNE CRITERION ON INTUITIONITIC FUZZY
More informationSome kinds of fuzzy connected and fuzzy continuous functions
Journal of Babylon Unversty/Pure and Appled Scences/ No(9)/ Vol(): 4 Some knds of fuzzy connected and fuzzy contnuous functons Hanan Al Hussen Deptof Math College of Educaton for Grls Kufa Unversty Hananahussen@uokafaq
More informationApproximations for Steiner Trees with Minimum Number of Steiner Points
Journal of Global Optmzaton 18: 17 33, 000. 17 000 Kluwer Academc ublshers. rnted n the Netherlands. Approxmatons for Stener Trees wth Mnmum Number of Stener onts 1, 1,,,,3, DONGHUI CHEN *, DING-ZHU DU
More informationT[ 9,11,16,18,22,27,33] T[23] T[ 2-6,7,8,25,26,32,35] T[31] T[31] T[1] INACTIVE T[31] T[31] T[ 9,11,16,18,22,27,29,33] T[23]
(Computer Networks: The Int'l Journal of Comp. and Telecomm. Networkng, 31(18):1967-1998, Sep 1999) Testng Protocols Modeled as FSMs wth Tmng Parameters? M. Umt Uyar a;1 Marusz A. Fecko b Adarshpal S.
More informationCovering Pairs in Directed Acyclic Graphs
Advance Access publcaton on 5 November 2014 c The Brtsh Computer Socety 2014. All rghts reserved. For Permssons, please emal: ournals.permssons@oup.com do:10.1093/comnl/bxu116 Coverng Pars n Drected Acyclc
More informationA Binarization Algorithm specialized on Document Images and Photos
A Bnarzaton Algorthm specalzed on Document mages and Photos Ergna Kavalleratou Dept. of nformaton and Communcaton Systems Engneerng Unversty of the Aegean kavalleratou@aegean.gr Abstract n ths paper, a
More information1 Dynamic Connectivity
15-850: Advanced Algorthms CMU, Sprng 2017 Lecture #3: Dynamc Graph Connectvty algorthms 01/30/17 Lecturer: Anupam Gupta Scrbe: Hu Han Chn, Jacob Imola Dynamc graph algorthms s the study of standard graph
More informationCOMPLETE CALCULATION OF DISCONNECTION PROBABILITY IN PLANAR GRAPHS. G. Tsitsiashvili. IAM, FEB RAS, Vladivostok, Russia s:
G. Tstsashvl COMPLETE CALCULATION OF ISCONNECTION PROBABILITY IN PLANAR GRAPHS RT&A # 0 (24) (Vol.) 202, March COMPLETE CALCULATION OF ISCONNECTION PROBABILITY IN PLANAR GRAPHS G. Tstsashvl IAM, FEB RAS,
More informationClustering on antimatroids and convex geometries
Clusterng on antmatrods and convex geometres YULIA KEMPNER 1, ILYA MUCNIK 2 1 Department of Computer cence olon Academc Insttute of Technology 52 Golomb tr., P.O. Box 305, olon 58102 IRAEL 2 Department
More information1 Introducton Effcent and speedy recovery of electrc power networks followng a major outage, caused by a dsaster such as extreme weather or equpment f
Effcent Recovery from Power Outage (Extended Summary) Sudpto Guha Λ Anna Moss y Joseph (Seff) Naor z Baruch Scheber x Abstract We study problems that are motvated by the real-lfe problem of effcent recovery
More informationTransaction-Consistent Global Checkpoints in a Distributed Database System
Proceedngs of the World Congress on Engneerng 2008 Vol I Transacton-Consstent Global Checkponts n a Dstrbuted Database System Jang Wu, D. Manvannan and Bhavan Thurasngham Abstract Checkpontng and rollback
More informationAn Application of the Dulmage-Mendelsohn Decomposition to Sparse Null Space Bases of Full Row Rank Matrices
Internatonal Mathematcal Forum, Vol 7, 2012, no 52, 2549-2554 An Applcaton of the Dulmage-Mendelsohn Decomposton to Sparse Null Space Bases of Full Row Rank Matrces Mostafa Khorramzadeh Department of Mathematcal
More informationMultiblock method for database generation in finite element programs
Proc. of the 9th WSEAS Int. Conf. on Mathematcal Methods and Computatonal Technques n Electrcal Engneerng, Arcachon, October 13-15, 2007 53 Multblock method for database generaton n fnte element programs
More informationA New Approach For the Ranking of Fuzzy Sets With Different Heights
New pproach For the ankng of Fuzzy Sets Wth Dfferent Heghts Pushpnder Sngh School of Mathematcs Computer pplcatons Thapar Unversty, Patala-7 00 Inda pushpndersnl@gmalcom STCT ankng of fuzzy sets plays
More informationHermite Splines in Lie Groups as Products of Geodesics
Hermte Splnes n Le Groups as Products of Geodescs Ethan Eade Updated May 28, 2017 1 Introducton 1.1 Goal Ths document defnes a curve n the Le group G parametrzed by tme and by structural parameters n the
More informationElectrical analysis of light-weight, triangular weave reflector antennas
Electrcal analyss of lght-weght, trangular weave reflector antennas Knud Pontoppdan TICRA Laederstraede 34 DK-121 Copenhagen K Denmark Emal: kp@tcra.com INTRODUCTION The new lght-weght reflector antenna
More informationEcient Computation of the Most Probable Motion from Fuzzy. Moshe Ben-Ezra Shmuel Peleg Michael Werman. The Hebrew University of Jerusalem
Ecent Computaton of the Most Probable Moton from Fuzzy Correspondences Moshe Ben-Ezra Shmuel Peleg Mchael Werman Insttute of Computer Scence The Hebrew Unversty of Jerusalem 91904 Jerusalem, Israel Emal:
More informationCombinatorial Auctions with Structured Item Graphs
Combnatoral Auctons wth Structured Item Graphs Vncent Contzer and Jonathan Derryberry and Tuomas Sandholm Carnege Mellon Unversty 5000 Forbes Avenue Pttsburgh, PA 15213 {contzer, jonderry, sandholm}@cs.cmu.edu
More information5 The Primal-Dual Method
5 The Prmal-Dual Method Orgnally desgned as a method for solvng lnear programs, where t reduces weghted optmzaton problems to smpler combnatoral ones, the prmal-dual method (PDM) has receved much attenton
More informationCE 221 Data Structures and Algorithms
CE 1 ata Structures and Algorthms Chapter 4: Trees BST Text: Read Wess, 4.3 Izmr Unversty of Economcs 1 The Search Tree AT Bnary Search Trees An mportant applcaton of bnary trees s n searchng. Let us assume
More informationFace numbers of nestohedra
Face numbers of nestohedra from Faces of generalzed permutohedra, math.co/0609184 jont wth A. Postnkov and L. Wllams. Mnsymposum Algebrasche und geometrsche Kombnatork Erlangen 16 September 2008 Vc Rener
More informationLearning the Kernel Parameters in Kernel Minimum Distance Classifier
Learnng the Kernel Parameters n Kernel Mnmum Dstance Classfer Daoqang Zhang 1,, Songcan Chen and Zh-Hua Zhou 1* 1 Natonal Laboratory for Novel Software Technology Nanjng Unversty, Nanjng 193, Chna Department
More informationS1 Note. Basis functions.
S1 Note. Bass functons. Contents Types of bass functons...1 The Fourer bass...2 B-splne bass...3 Power and type I error rates wth dfferent numbers of bass functons...4 Table S1. Smulaton results of type
More informationGreedy Technique - Definition
Greedy Technque Greedy Technque - Defnton The greedy method s a general algorthm desgn paradgm, bult on the follong elements: confguratons: dfferent choces, collectons, or values to fnd objectve functon:
More informationCHOICE OF THE CONTROL VARIABLES OF AN ISOLATED INTERSECTION BY GRAPH COLOURING
Yugoslav Journal of Operatons Research 25 (25), Number, 7-3 DOI:.2298/YJOR38345B CHOICE OF THE CONTROL VARIABLES OF AN ISOLATED INTERSECTION BY GRAPH COLOURING Vladan BATANOVIĆ Mhalo Pupn Insttute, Volgna
More informationDiscrete Schemes for Gaussian Curvature and Their Convergence
Dscrete Schemes for Gaussan Curvature and Ther Convergence Zhqang Xu Guolang Xu Insttute of Computatonal Math. and Sc. and Eng. Computng, Academy of Mathematcs and System Scences, Chnese Academy of Scences,
More informationReport on On-line Graph Coloring
2003 Fall Semester Comp 670K Onlne Algorthm Report on LO Yuet Me (00086365) cndylo@ust.hk Abstract Onlne algorthm deals wth data that has no future nformaton. Lots of examples demonstrate that onlne algorthm
More informationOn the diameter of random planar graphs
On the dameter of random planar graphs Gullaume Chapuy, CNRS & LIAFA, Pars jont work wth Érc Fusy, Pars, Omer Gménez, ex-barcelona, Marc Noy, Barcelona. Probablty and Graphs, Eurandom, Endhoven, 04. Planar
More informationMcMaster University. Advanced Optimization Laboratory. Title: Distance between vertices of lattice polytopes. Authors:
McMaster Unversty Advanced Optmzaton Laboratory Ttle: Dstance between vertces of lattce polytopes Authors: Anna Deza, Antone Deza, Zhongyan Guan, and Lonel Pournn AdvOL-Report No. 218/1 January 218, Hamlton,
More informationDistance between vertices of lattice polytopes
Optmzaton Letters https://do.org/10.1007/s11590-018-1338-7 ORIGINAL PAPER Dstance between vertces of lattce polytopes Anna Deza 1 Antone Deza 2 Zhongyan Guan 2 Lonel Pournn 3 Receved: 18 January 2018 /
More informationMinimum Cost Optimization of Multicast Wireless Networks with Network Coding
Mnmum Cost Optmzaton of Multcast Wreless Networks wth Network Codng Chengyu Xong and Xaohua L Department of ECE, State Unversty of New York at Bnghamton, Bnghamton, NY 13902 Emal: {cxong1, xl}@bnghamton.edu
More informationi v v 6 i 2 i 3 v + (1) (2) (3) (4) (5) Substituting (4) and (5) into (3) (6) = 2 (7) (5) and (6) (8) (4) and (6) ˆ
5V 6 v 6 î v v Ω î Ω v v 8Ω V î v 5 6Ω 5 Mesh : 6ˆ ˆ = Mesh : ˆ 8ˆ = Mesh : ˆ ˆ ˆ 8 0 = 5 Solvng ˆ ˆ ˆ from () = Solvng ˆ ˆ ˆ from () = 7 7 Substtutng () and (5) nto () (5) and (6) 9 ˆ = A 8 ˆ = A 0 ()
More informationDistributed Degree Splitting, Edge Coloring, and Orientations
Abstract Dstrbuted Degree Splttng, Edge Colorng, and Orentatons Mohsen Ghaffar MIT ghaffar@mt.edu We study a famly of closely-related dstrbuted graph problems, whch we call degree splttng, where roughly
More informationReducing Frame Rate for Object Tracking
Reducng Frame Rate for Object Trackng Pavel Korshunov 1 and We Tsang Oo 2 1 Natonal Unversty of Sngapore, Sngapore 11977, pavelkor@comp.nus.edu.sg 2 Natonal Unversty of Sngapore, Sngapore 11977, oowt@comp.nus.edu.sg
More informationDiscrete Applied Mathematics. Shortest paths in linear time on minor-closed graph classes, with an application to Steiner tree approximation
Dscrete Appled Mathematcs 7 (9) 67 684 Contents lsts avalable at ScenceDrect Dscrete Appled Mathematcs journal homepage: www.elsever.com/locate/dam Shortest paths n lnear tme on mnor-closed graph classes,
More informationComputers and Mathematics with Applications. Discrete schemes for Gaussian curvature and their convergence
Computers and Mathematcs wth Applcatons 57 (009) 87 95 Contents lsts avalable at ScenceDrect Computers and Mathematcs wth Applcatons journal homepage: www.elsever.com/locate/camwa Dscrete schemes for Gaussan
More informationR s s f. m y s. SPH3UW Unit 7.3 Spherical Concave Mirrors Page 1 of 12. Notes
SPH3UW Unt 7.3 Sphercal Concave Mrrors Page 1 of 1 Notes Physcs Tool box Concave Mrror If the reflectng surface takes place on the nner surface of the sphercal shape so that the centre of the mrror bulges
More informationSolitary and Traveling Wave Solutions to a Model. of Long Range Diffusion Involving Flux with. Stability Analysis
Internatonal Mathematcal Forum, Vol. 6,, no. 7, 8 Soltary and Travelng Wave Solutons to a Model of Long Range ffuson Involvng Flux wth Stablty Analyss Manar A. Al-Qudah Math epartment, Rabgh Faculty of
More informationSolving two-person zero-sum game by Matlab
Appled Mechancs and Materals Onlne: 2011-02-02 ISSN: 1662-7482, Vols. 50-51, pp 262-265 do:10.4028/www.scentfc.net/amm.50-51.262 2011 Trans Tech Publcatons, Swtzerland Solvng two-person zero-sum game by
More informationClassifier Selection Based on Data Complexity Measures *
Classfer Selecton Based on Data Complexty Measures * Edth Hernández-Reyes, J.A. Carrasco-Ochoa, and J.Fco. Martínez-Trndad Natonal Insttute for Astrophyscs, Optcs and Electroncs, Lus Enrque Erro No.1 Sta.
More informationParallel Numerics. 1 Preconditioning & Iterative Solvers (From 2016)
Technsche Unverstät München WSe 6/7 Insttut für Informatk Prof. Dr. Thomas Huckle Dpl.-Math. Benjamn Uekermann Parallel Numercs Exercse : Prevous Exam Questons Precondtonng & Iteratve Solvers (From 6)
More informationKey words. Graphics processing unit, GPU, digital geometry, computational geometry, parallel computation, CUDA, OpenCL
PROOF OF CORRECTNESS OF THE DIGITAL DELAUNAY TRIANGULATION ALGORITHM THANH-TUNG CAO, HERBERT EDELSBRUNNER, AND TIOW-SENG TAN Abstract. We prove that the dual of the dgtal Vorono dagram constructed by floodng
More informationCourse Introduction. Algorithm 8/31/2017. COSC 320 Advanced Data Structures and Algorithms. COSC 320 Advanced Data Structures and Algorithms
Course Introducton Course Topcs Exams, abs, Proects A quc loo at a few algorthms 1 Advanced Data Structures and Algorthms Descrpton: We are gong to dscuss algorthm complexty analyss, algorthm desgn technques
More informationOn the Perspectives Opened by Right Angle Crossing Drawings
Journal of Graph Algorthms and Applcatons http://jgaa.nfo/ vol. 5, no., pp. 53 78 (20) On the Perspectves Opened by Rght Angle Crossng Drawngs Patrzo Angeln Luca Cttadn Guseppe D Battsta Walter Ddmo 2
More informationTerm Weighting Classification System Using the Chi-square Statistic for the Classification Subtask at NTCIR-6 Patent Retrieval Task
Proceedngs of NTCIR-6 Workshop Meetng, May 15-18, 2007, Tokyo, Japan Term Weghtng Classfcaton System Usng the Ch-square Statstc for the Classfcaton Subtask at NTCIR-6 Patent Retreval Task Kotaro Hashmoto
More informationLoad Balancing for Hex-Cell Interconnection Network
Int. J. Communcatons, Network and System Scences,,, - Publshed Onlne Aprl n ScRes. http://www.scrp.org/journal/jcns http://dx.do.org/./jcns.. Load Balancng for Hex-Cell Interconnecton Network Saher Manaseer,
More informationNetwork Topologies: Analysis And Simulations
Networ Topologes: Analyss And Smulatons MARJAN STERJEV and LJUPCO KOCAREV Insttute for Nonlnear Scence Unversty of Calforna San Dego, 95 Glman Drve, La Jolla, CA 993-4 USA Abstract:-In ths paper we present
More informationConcurrent Apriori Data Mining Algorithms
Concurrent Apror Data Mnng Algorthms Vassl Halatchev Department of Electrcal Engneerng and Computer Scence York Unversty, Toronto October 8, 2015 Outlne Why t s mportant Introducton to Assocaton Rule Mnng
More informationSubspace clustering. Clustering. Fundamental to all clustering techniques is the choice of distance measure between data points;
Subspace clusterng Clusterng Fundamental to all clusterng technques s the choce of dstance measure between data ponts; D q ( ) ( ) 2 x x = x x, j k = 1 k jk Squared Eucldean dstance Assumpton: All features
More informationCircuit Analysis I (ENGR 2405) Chapter 3 Method of Analysis Nodal(KCL) and Mesh(KVL)
Crcut Analyss I (ENG 405) Chapter Method of Analyss Nodal(KCL) and Mesh(KVL) Nodal Analyss If nstead of focusng on the oltages of the crcut elements, one looks at the oltages at the nodes of the crcut,
More informationAccounting for the Use of Different Length Scale Factors in x, y and z Directions
1 Accountng for the Use of Dfferent Length Scale Factors n x, y and z Drectons Taha Soch (taha.soch@kcl.ac.uk) Imagng Scences & Bomedcal Engneerng, Kng s College London, The Rayne Insttute, St Thomas Hosptal,
More informationFEATURE EXTRACTION. Dr. K.Vijayarekha. Associate Dean School of Electrical and Electronics Engineering SASTRA University, Thanjavur
FEATURE EXTRACTION Dr. K.Vjayarekha Assocate Dean School of Electrcal and Electroncs Engneerng SASTRA Unversty, Thanjavur613 41 Jont Intatve of IITs and IISc Funded by MHRD Page 1 of 8 Table of Contents
More informationNOVEL CONSTRUCTION OF SHORT LENGTH LDPC CODES FOR SIMPLE DECODING
Journal of Theoretcal and Appled Informaton Technology 27 JATIT. All rghts reserved. www.jatt.org NOVEL CONSTRUCTION OF SHORT LENGTH LDPC CODES FOR SIMPLE DECODING Fatma A. Newagy, Yasmne A. Fahmy, and
More informationPROPERTIES OF BIPOLAR FUZZY GRAPHS
Internatonal ournal of Mechancal Engneerng and Technology (IMET) Volume 9, Issue 1, December 018, pp. 57 56, rtcle ID: IMET_09_1_056 valable onlne at http://www.a aeme.com/jmet/ssues.asp?typeimet&vtype
More informationRelated-Mode Attacks on CTR Encryption Mode
Internatonal Journal of Network Securty, Vol.4, No.3, PP.282 287, May 2007 282 Related-Mode Attacks on CTR Encrypton Mode Dayn Wang, Dongda Ln, and Wenlng Wu (Correspondng author: Dayn Wang) Key Laboratory
More informationStrong games played on random graphs
Strong games played on random graphs Asaf Ferber Department of Mathematcs Massachusetts Insttute of Technology Cambrdge, U.S.A. ferbera@mt.edu Pascal Pfster Insttute of Theoretcal Computer Scence ETH Zürch
More informationA SYSTOLIC APPROACH TO LOOP PARTITIONING AND MAPPING INTO FIXED SIZE DISTRIBUTED MEMORY ARCHITECTURES
A SYSOLIC APPROACH O LOOP PARIIONING AND MAPPING INO FIXED SIZE DISRIBUED MEMORY ARCHIECURES Ioanns Drosts, Nektaros Kozrs, George Papakonstantnou and Panayots sanakas Natonal echncal Unversty of Athens
More information