Intersection of Longest Paths in Graph Theory and Predicting Performance in Facial Recognition
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Domination in Circle Graphs
Circles graphs Dominating set Some positive results Open Problems Domination in circle graphs Nicolas Bousquet Daniel Gon¸calves George B. Mertzios Christophe Paul Ignasi Sau St´ephanThomass´e WG 2012 Domination in circle graphs Circles graphs Dominating set Some positive results Open Problems 1 Circles graphs 2 Dominating set 3 Some positive results 4 Open Problems Domination in circle graphs W [1]-hardness Under some algorithmic hypothesis, the W [1]-hard problems do not admit FPT algorithms. Circles graphs Dominating set Some positive results Open Problems Parameterized complexity FPT A problem parameterized by k is FPT (Fixed Parameter Tractable) iff it admits an algorithm which runs in time Poly(n) · f (k) for any instances of size n and of parameter k. Domination in circle graphs Circles graphs Dominating set Some positive results Open Problems Parameterized complexity FPT A problem parameterized by k is FPT (Fixed Parameter Tractable) iff it admits an algorithm which runs in time Poly(n) · f (k) for any instances of size n and of parameter k. W [1]-hardness Under some algorithmic hypothesis, the W [1]-hard problems do not admit FPT algorithms. Domination in circle graphs Circles graphs Dominating set Some positive results Open Problems Circle graphs Circle graph A circle graph is a graph which can be represented as an intersection graph of chords in a circle. 3 3 4 2 5 4 2 6 1 1 5 7 7 6 Domination in circle graphs Independent dominating sets. Connected dominating sets. Total dominating sets. All these problems are NP-complete. Circles graphs Dominating set Some positive results Open Problems Dominating set 3 4 5 2 6 1 7 Dominating set Set of chords which intersects all the chords of the graph. -
On Computing Longest Paths in Small Graph Classes
On Computing Longest Paths in Small Graph Classes Ryuhei Uehara∗ Yushi Uno† July 28, 2005 Abstract The longest path problem is to find a longest path in a given graph. While the graph classes in which the Hamiltonian path problem can be solved efficiently are widely investigated, few graph classes are known to be solved efficiently for the longest path problem. For a tree, a simple linear time algorithm for the longest path problem is known. We first generalize the algorithm, and show that the longest path problem can be solved efficiently for weighted trees, block graphs, and cacti. We next show that the longest path problem can be solved efficiently on some graph classes that have natural interval representations. Keywords: efficient algorithms, graph classes, longest path problem. 1 Introduction The Hamiltonian path problem is one of the most well known NP-hard problem, and there are numerous applications of the problems [17]. For such an intractable problem, there are two major approaches; approximation algorithms [20, 2, 35] and algorithms with parameterized complexity analyses [15]. In both approaches, we have to change the decision problem to the optimization problem. Therefore the longest path problem is one of the basic problems from the viewpoint of combinatorial optimization. From the practical point of view, it is also very natural approach to try to find a longest path in a given graph, even if it does not have a Hamiltonian path. However, finding a longest path seems to be more difficult than determining whether the given graph has a Hamiltonian path or not. -
Vertex Deletion Problems on Chordal Graphs∗†
Vertex Deletion Problems on Chordal Graphs∗† Yixin Cao1, Yuping Ke2, Yota Otachi3, and Jie You4 1 Department of Computing, Hong Kong Polytechnic University, Hong Kong, China [email protected] 2 Department of Computing, Hong Kong Polytechnic University, Hong Kong, China [email protected] 3 Faculty of Advanced Science and Technology, Kumamoto University, Kumamoto, Japan [email protected] 4 School of Information Science and Engineering, Central South University and Department of Computing, Hong Kong Polytechnic University, Hong Kong, China [email protected] Abstract Containing many classic optimization problems, the family of vertex deletion problems has an important position in algorithm and complexity study. The celebrated result of Lewis and Yan- nakakis gives a complete dichotomy of their complexity. It however has nothing to say about the case when the input graph is also special. This paper initiates a systematic study of vertex deletion problems from one subclass of chordal graphs to another. We give polynomial-time algorithms or proofs of NP-completeness for most of the problems. In particular, we show that the vertex deletion problem from chordal graphs to interval graphs is NP-complete. 1998 ACM Subject Classification F.2.2 Analysis of Algorithms and Problem Complexity, G.2.2 Graph Theory Keywords and phrases vertex deletion problem, maximum subgraph, chordal graph, (unit) in- terval graph, split graph, hereditary property, NP-complete, polynomial-time algorithm Digital Object Identifier 10.4230/LIPIcs.FSTTCS.2017.22 1 Introduction Generally speaking, a vertex deletion problem asks to transform an input graph to a graph in a certain class by deleting a minimum number of vertices. -
Coloring Clean and K4-Free Circle Graphs 401
Coloring Clean and K4-FreeCircleGraphs Alexandr V. Kostochka and Kevin G. Milans Abstract A circle graph is the intersection graph of chords drawn in a circle. The best-known general upper bound on the chromatic number of circle graphs with clique number k is 50 · 2k. We prove a stronger bound of 2k − 1 for graphs in a simpler subclass of circle graphs, called clean graphs. Based on this result, we prove that the chromatic number of every circle graph with clique number at most 3 is at most 38. 1 Introduction Recall that the chromatic number of a graph G, denoted χ(G), is the minimum size of a partition of V(G) into independent sets. A clique is a set of pairwise adjacent vertices, and the clique number of G, denoted ω(G), is the maximum size of a clique in G. Vertices in a clique must receive distinct colors, so χ(G) ≥ ω(G) for every graph G. In general, χ(G) cannot be bounded above by any function of ω(G). Indeed, there are triangle-free graphs with arbitrarily large chromatic number [4, 18]. When graphs have additional structure, it may be possible to bound the chromatic number in terms of the clique number. A family of graphs G is χ-bounded if there is a function f such that χ(G) ≤ f (ω(G)) for each G ∈G. Some families of intersection graphs of geometric objects have been shown to be χ-bounded (see e.g. [8,11,12]). Recall that the intersection graph of a family of sets has a vertex A.V. -
Open Problems on Graph Drawing
Open problems on Graph Drawing Alexandros Angelopoulos Corelab E.C.E - N.T.U.A. February 17, 2014 Outline Introduction - Motivation - Discussion Variants of thicknesses Thickness Geometric thickness Book thickness Bounds Complexity Related problems & future work 2/ Motivation: Air Traffic Management Separation -VerticalVertical - Lateral - Longitudinal 3/ Motivation: Air Traffic Management : Maximization of \free flight” airspace c d c d X f f i1 i4 i0 i2 i3 i5 e e Y a b a b 8 Direct-to flight (as a choice among \free flight") increases the complexity of air traffic patterns Actually... 4 Direct-to flight increases the complexity of air traffic patterns and we have something to study... 4/ Motivation: Air Traffic Management 5/ How to model? { Graph drawing & thicknesses Geometric thickness (θ¯) Book thickness (bt) Dillencourt et al. (2000) Bernhart and Kainen (1979) : only straight lines : convex positioning of nodes v4 v5 v1 v2 θ(G) ≤ θ¯(G) ≤ bt(G) v5 v3 v0 v4 4 v1 Applications in VLSI & graph visualizationv3 Thickness (θ) v0 8 θ, θ¯, bt characterize the graph (minimizations over all allowedv2 drawings) Tutte (1963), \classical" planar decomposition 6/ Geometric graphs and graph drawings Definition 1.1 (Geometric graph, Bose et al. (2006), many Erd¨ospapers). A geometric graph G is a pair (V (G);E(G)) where V (G) is a set of points in the plane in general position and E(G) is set of closed segments with endpoints in V (G). Elements of V (G) are vertices and elements of E(G) are edges, so we can associate this straight-line drawing with the underlying abstract graph G(V; E). -
Introducing Subclasses of Basic Chordal Graphs
Introducing subclasses of basic chordal graphs Pablo De Caria 1 Marisa Gutierrez 2 CONICET/ Universidad Nacional de La Plata, Argentina Abstract Basic chordal graphs arose when comparing clique trees of chordal graphs and compatible trees of dually chordal graphs. They were defined as those chordal graphs whose clique trees are exactly the compatible trees of its clique graph. In this work, we consider some subclasses of basic chordal graphs, like hereditary basic chordal graphs, basic DV and basic RDV graphs, we characterize them and we find some other properties they have, mostly involving clique graphs. Keywords: Chordal graph, dually chordal graph, clique tree, compatible tree. 1 Introduction 1.1 Definitions For a graph G, V (G) is the set of its vertices and E(G) is the set of its edges. A clique is a maximal set of pairwise adjacent vertices. The family of cliques of G is denoted by C(G). For v ∈ V (G), Cv will denote the family of cliques containing v. All graphs considered will be assumed to be connected. A set S ⊆ V (G) is a uv-separator if vertices u and v are in different connected components of G−S. It is minimal if no proper subset of S has the 1 Email: [email protected] aaURL: www.mate.unlp.edu.ar/~pdecaria 2 Email: [email protected] same property. S is a minimal vertex separator if there exist two nonadjacent vertices u and v such that S is a minimal uv-separator. S(G) will denote the family of all minimal vertex separators of G. -
Graph Layout for Applications in Compiler Construction
Theoretical Computer Science Theoretical Computer Science 2 I7 ( 1999) 175-2 I4 Graph layout for applications in compiler construction G. Sander * Abstract We address graph visualization from the viewpoint of compiler construction. Most data struc- tures in compilers are large, dense graphs such as annotated control flow graph, syntax trees. dependency graphs. Our main focus is the animation and interactive exploration of these graphs. Fast layout heuristics and powerful browsing methods are needed. We give a survey of layout heuristics for general directed and undirected graphs and present the browsing facilities that help to manage large structured graphs. @ l999-Elsevier Science B.V. All rights reserved Keyrror& Graph layout; Graph drawing; Compiler visualization: Force-directed placement; Hierarchical layout: Compound drawing; Fisheye view 1. Introduction We address graph visualization from the viewpoint of compiler construction. Draw- ings of compiler data structures such as syntax trees, control flow graphs, dependency graphs [63], are used for demonstration, debugging and documentation of compilers. In real-world compiler applications, such drawings cannot be produced manually because the graphs are automatically generated, large, often dense, and seldom planar. Graph layout algorithms help to produce drawings automatically: they calculate positions of nodes and edges of the graph in the plane. Our main focus is the animation and interactive exploration of compiler graphs. Thus. fast layout algorithms are required. Animations show the behaviour of an algorithm by a running sequence of drawings. Thus there is not much time to calculate a layout between two subsequent drawings. In interactive exploration, it is annoying if the user has to wait a long time for a layout. -
Local Page Numbers
Local Page Numbers Bachelor Thesis of Laura Merker At the Department of Informatics Institute of Theoretical Informatics Reviewers: Prof. Dr. Dorothea Wagner Prof. Dr. Peter Sanders Advisor: Dr. Torsten Ueckerdt Time Period: May 22, 2018 – September 21, 2018 KIT – University of the State of Baden-Wuerttemberg and National Laboratory of the Helmholtz Association www.kit.edu Statement of Authorship I hereby declare that this document has been composed by myself and describes my own work, unless otherwise acknowledged in the text. I declare that I have observed the Satzung des KIT zur Sicherung guter wissenschaftlicher Praxis, as amended. Ich versichere wahrheitsgemäß, die Arbeit selbstständig verfasst, alle benutzten Hilfsmittel vollständig und genau angegeben und alles kenntlich gemacht zu haben, was aus Arbeiten anderer unverändert oder mit Abänderungen entnommen wurde, sowie die Satzung des KIT zur Sicherung guter wissenschaftlicher Praxis in der jeweils gültigen Fassung beachtet zu haben. Karlsruhe, September 21, 2018 iii Abstract A k-local book embedding consists of a linear ordering of the vertices of a graph and a partition of its edges into sets of edges, called pages, such that any two edges on the same page do not cross and every vertex has incident edges on at most k pages. Here, two edges cross if their endpoints alternate in the linear ordering. The local page number pl(G) of a graph G is the minimum k such that there exists a k-local book embedding for G. Given a graph G and a vertex ordering, we prove that it is NP-complete to decide whether there exists a k-local book embedding for G with respect to the given vertex ordering for any fixed k ≥ 3. -
Application of SPQR-Trees in the Planarization Approach for Drawing Graphs
Application of SPQR-Trees in the Planarization Approach for Drawing Graphs Dissertation zur Erlangung des Grades eines Doktors der Naturwissenschaften der Technischen Universität Dortmund an der Fakultät für Informatik von Carsten Gutwenger Dortmund 2010 Tag der mündlichen Prüfung: 20.09.2010 Dekan: Prof. Dr. Peter Buchholz Gutachter: Prof. Dr. Petra Mutzel, Technische Universität Dortmund Prof. Dr. Peter Eades, University of Sydney To my daughter Alexandra. i ii Contents Abstract . vii Zusammenfassung . viii Acknowledgements . ix 1 Introduction 1 1.1 Organization of this Thesis . .4 1.2 Corresponding Publications . .5 1.3 Related Work . .6 2 Preliminaries 7 2.1 Undirected Graphs . .7 2.1.1 Paths and Cycles . .8 2.1.2 Connectivity . .8 2.1.3 Minimum Cuts . .9 2.2 Directed Graphs . .9 2.2.1 Rooted Trees . .9 2.2.2 Depth-First Search and DFS-Trees . 10 2.3 Planar Graphs and Drawings . 11 2.3.1 Graph Embeddings . 11 2.3.2 The Dual Graph . 12 2.3.3 Non-planarity Measures . 13 2.4 The Planarization Method . 13 2.4.1 Planar Subgraphs . 14 2.4.2 Edge Insertion . 17 2.5 Artificial Graphs . 19 3 Graph Decomposition 21 3.1 Blocks and BC-Trees . 22 3.1.1 Finding Blocks . 22 3.2 Triconnected Components . 24 3.3 SPQR-Trees . 31 3.4 Linear-Time Construction of SPQR-Trees . 39 3.4.1 Split Components . 40 3.4.2 Primal Idea . 42 3.4.3 Computing SPQR-Trees . 44 3.4.4 Finding Separation Pairs . 46 iii 3.4.5 Finding Split Components . -
Forbidden Subgraph Pairs for Traceability of Block- Chains
Electronic Journal of Graph Theory and Applications 1(1) (2013), 1–10 Forbidden subgraph pairs for traceability of block- chains Binlong Lia,b, Hajo Broersmab, Shenggui Zhanga aDepartment of Applied Mathematics, Northwestern Polytechnical University, Xi’an, Shaanxi 710072, P.R. China bFaculty of EEMCS, University of Twente, P.O. Box 217, 7500 AE Enschede, The Netherlands [email protected], [email protected], [email protected] Abstract A block-chain is a graph whose block graph is a path, i.e. it is either a P1, a P2, or a 2-connected graph, or a graph of connectivity 1 with exactly two end-blocks. A graph is called traceable if it contains a Hamilton path. A traceable graph is clearly a block-chain, but the reverse does not hold in general. In this paper we characterize all pairs of connected graphs {R,S} such that every {R,S}-free block-chain is traceable. Keywords: forbidden subgraph, induced subgraph, block-chain, traceable graph, closure, line graph Mathematics Subject Classification : 05C45 1. Introduction We use Bondy and Murty [1] for terminology and notation not defined here and consider finite simple graphs only. Let G be a graph. If a subgraph G′ of G contains all edges xy ∈ E(G) with x,y ∈ V (G′), then G′ is called an induced subgraph of G. For a given graph H, we say that G is H-free if G does not contain an induced subgraph isomorphic to H. For a family H of graphs, G is called H-free if G is H-free for every H ∈ H. -
A Fast Heuristic Algorithm Based on Verification and Elimination Methods for Maximum Clique Problem
A Fast Heuristic Algorithm Based on Verification and Elimination Methods for Maximum Clique Problem Sabu .M Thampi * Murali Krishna P L.B.S College of Engineering, LBS College of Engineering Kasaragod, Kerala-671542, India Kasaragod, Kerala-671542, India [email protected] [email protected] Abstract protein sequences. A major application of the maximum clique problem occurs in the area of coding A clique in an undirected graph G= (V, E) is a theory [1]. The goal here is to find the largest binary ' code, consisting of binary words, which can correct a subset V ⊆ V of vertices, each pair of which is connected by an edge in E. The clique problem is an certain number of errors. A maximal clique is a clique that is not a proper set optimization problem of finding a clique of maximum of any other clique. A maximum clique is a maximal size in graph . The clique problem is NP-Complete. We have succeeded in developing a fast algorithm for clique that has the maximum cardinality. In many maximum clique problem by employing the method of applications, the underlying problem can be formulated verification and elimination. For a graph of size N as a maximum clique problem while in others a N subproblem of the solution procedure consists of there are 2 sub graphs, which may be cliques and finding a maximum clique. This necessitates the hence verifying all of them, will take a long time. Idea is to eliminate a major number of sub graphs, which development of fast and approximate algorithms for cannot be cliques and verifying only the remaining sub the problem. -
Linear Separation of Connected Dominating Sets in Graphs (Extended Abstract) Nina Chiarelli1 and Martin Milanicˇ2
Linear Separation of Connected Dominating Sets in Graphs (Extended Abstract) Nina Chiarelli1 and Martin Milanicˇ2 1 University of Primorska, UP FAMNIT, Glagoljaskaˇ 8, SI6000 Koper, Slovenia [email protected] 2 University of Primorska, UP IAM, Muzejski trg 2, SI6000 Koper, Slovenia University of Primorska, UP FAMNIT, Glagoljaskaˇ 8, SI6000 Koper, Slovenia [email protected] Abstract are looking for, such as matchings, cliques, stable sets, dominating sets, etc. A connected dominating set in a graph is a dominating set of vertices that induces a The above framework provides a unified way connected subgraph. We introduce and study of describing characteristic properties of several the class of connected-domishold graphs, graph classes studied in the literature, such as which are graphs that admit non-negative real threshold graphs (Chvatal´ and Hammer 1977), weights associated to their vertices such that domishold graphs (Benzaken and Hammer 1978), a set of vertices is a connected dominating total domishold graphs (Chiarelli and Milanicˇ set if and only if the sum of the correspond- 2013a; 2013b) and equistable graphs (Payan 1980; ing weights exceeds a certain threshold. We show that these graphs form a non-hereditary Mahadev, Peled, and Sun 1994). If weights as class of graphs properly containing two above exist and are given with the graph, and the well known classes of chordal graphs: block set T is given by a membership oracle, then a dy- graphs and trivially perfect graphs. We char- namic programming algorithm can be