Lecture Note on MAS480A Matroid Theory

Total Page:16

File Type:pdf, Size:1020Kb

Lecture Note on MAS480A Matroid Theory Lecture note on MAS480A Matroid Theory Donggyu Kim [email protected] 2019 Fall This lecture note is based on the lecture by Prof. Oum in KAIST in 2019 Fall. 1 Week01-1, 2019.09.02. Mon Motivations of the matroid theory are graphs and vector spaces. Example 1.1 (Matrices). Let A = R × E matrix over a field F. Let X ⊆ E. What are the properties of A[X], the submatrix of A by taking all columns in X? • Independency/dependency of column vectors • (column) Basis: maximal independent set of (column) vectors • Rank It is fact that all bases have the same size. Example 1.2 (Graphs). Let G = (V; E) be a graph. It is fact that all maximal sets of edges inducing no cycles have the same size. Note that such sets are edge- sets of spanning forests of G. Moreover, the size is (#vertices − #components). Example 1.3 (Matchings in a bipartite graph). Let G be a bipartite graph with a bipartition (A; B). We say that X ⊂ A is matchable to B if there is a matching (a set of edges pairwise vertex-disjoint) M covering X. It is fact that all maximal matchable subsets of A have the same size. Proof. Let X; Y ⊆ A be maximally matchable to B. Suppose jXj < jY j. Let M; N be matchings covering X; Y , respectively. Note that by the maximality jXj = jMj and jY j = jNj. Let consider H := G[M [ N]. Each component of H is a path or a cycle. Moreover, each path of length (= #edges) ≥ 2 or cycle is alternatively labeled by M and N. A component isomorphic to K2, i.e., just an edge, is possibly labeled by both M and N. If there is an edge e 2 N − M, then we can directly add it into M. It contradicts to the maximality of M. If there is no such an edge, we can find a path P which is a component of H and its two end-edges are contained in N since jNj > jMj. Let M 0 = M −(M \P )+(N \P ). It is also a matching in G, and gives X0 ⊆ A which is matchable to B. Note that X ( X0, so it is a contradiction. 1 If we solve problems in matroid, we can think it (matroid) as one of them (vector spaces/graphs/matchings). Then we may get idea to solve. Definition 1.1. A matroid is a pair M = (E; I) of a finite set E and a set I of subsets of E satisfying the following: (I1) ; 2 I, (I2) X 2 I, Y ⊆ X ) Y 2 I, and (I3) X; Y 2 I, jXj < jY j ) 9e 2 Y − X s.t. X [ feg 2 I. Let us say that • X is independent if X 2 I, • X is dependent if X 62 I, • X is a base if X is a maximal independent set, and • X is a circuit if X is a minimal dependent set. The definition of matroid is possibly extended to infinite E. However, there are no settled one. The extensions are messy and hard to handle. See Example 1.2, an independent set is a forest of G. A base is a spanning forest. A dependent set is an edge-set containing a cycle, and a circuit is a cycle. Theorem 1.1. For X ⊆ E, all maximal independent subset of X have the same size. Proof. Let A; B 2 I with A; B ⊆ X. Suppose jAj < jBj. By the axiom (I3), there is e 2 B − A such that A [ feg 2 I, which is a subset of X. It contradicts to a maximality of A. Definition 1.2. The rank function of a matroid M is rM (X) := (a size of a maximal independent subset of X): It is well-deinfed by the previous theorem. The rank of a matroid is r(M) := rM (E): E(M) = E is the ground set of the matroid M. Example 1.4 (Basic classes of matroids). Now we will introduce some basic calsses of matroids. 1. Uniform matroid, Ur;n (0 ≤ r ≤ n). jEj = n. X is independent iff jXj ≤ r. It satisfies all axioms of the matroid. 2. Vector matroid (or linear matroid). A := R × E matrix over F. X is independent iff the column vectors of A[X] are linearly independent. Here, we denote M = M(A). 2 Theorem 1.2. A vector matroid is a matroid. Proof. (I1) and (I2) are trivial. Also, (I3) is obvious by an argument of dimen- sions, but we will explain it more precisely. By a permutation of E, WMA first jX \ Y j columns of A correspond to X \ Y , next jX − Y j columns correspond to X − Y , next jY − Xj columns correspond to Y − X, and remainings corre- sponds to E − (X [ Y ). Note that elementary row operation does not affect on dependency of column vectors. So we can change first jXj columns to IjXj. By the independency of Y , next jY − Xj > 0 columns cannot be a zero matrix. This implies that we can find such e from these column vectors. In this case, we say that M is representable over F or F-representable. A is a representation of M. Similarly, we can define matroids from a graph G (Example 1.2 and 1.3). Setting E = E(G) and X 2 I iff X is a forest, then M = (E; I) is a matroid. We call it as a graphic matroid or a cycle matroid. Assume G is bipartite with a bipartition (A; B). Setting E = A and X 2 I iff X is matchable (to B), then M is also a matroid. We call it as a transversal matroid or a mathcing matroid. 1.1 Whitney, 1935 M Definition 1.3. Let M be a finite set. Let r be a function from 2 to Z≥0. Then we call a system (M; r) a matroid if satisfies below three axioms: (R1) r(;) = 0, (R2) for any N ⊆ M and e 2 M − N, r(N + e) = r(N) or = r(N) + 1, and (R3) for any N ⊆ M and e1; e2 2 M − N, if r(N + e1) = r(N + e2) = r(N) then r(N + e1 + e2) = r(N). We call r a rank function, and r(N) a rank of N. Without doubt, it is fact that for any N ⊆ a system (N; rj2N ) is a matroid. We call it a submatroid of (M; r). When we write a matroid, we can omit a rank function if it is apparent in a context. M Definition 1.4. Let define a two functions ρ, n : 2 ! Z≥0 as ρ(N) = jNj; n(N) = ρ(N) − r(N): ρ(N) is just a cardinality of N. We call n a nullity function, and n(N) a nullity of N. • N is independent if n(N) = 0, • N is dependent if n(N) > 0, • N is a base if it is a maximal independent set (M − N is called a base complement), and 3 • N is a circuit if it is a minimal dependent set. By the axiom (R1) and (R2), 0 ≤ r(N) ≤ ρ(N). So 0 ≤ n(N) ≤ ρ(N). Lemma 1.3. For N ⊆ N 0 ⊆ M, r(N) ≤ r(N 0) and n(N) ≤ r(N 0). Proof. By (R2), r(N) ≤ r(N 0). Also the axiom implies that r(N 0) ≤ r(N) + ρ(N 0) − ρ(N). It is equivalent with n(N) ≤ n(N 0). Lemma 1.4. Any subset of an independent set is independent. Proof. Let N ⊆ M be an independent set, i.e., n(N) = 0. Let N 0 ⊆ N. By the previous theorem, 0 ≤ n(N 0) ≤ n(N) = 0. Therefore, n(N 0) = 0. Theorem 1.5. N is independent iff N is contained in a base iff N does not contain any circuit. Proof. (1)2) Let N be an independent set. If N is a base, done. If not, there is e 2 M −N such that N +e is independent. Repeat this work until get a base. It actually finishes since M is finite. (2)1) By the previous lemma, done. (1)3) Suppose N contains a circuit C. Then 0 < n(C) ≤ n(N), which is a contradiction. (3)1) We will show a contraposition. Let N be a dependent set. If N is a circuit, done. If not, there is e 2 N such that N − e is a dependent. Repeat this work until get a circuit. Theorem 1.6. A circuit is a minimal submatroid contained in no bases, i.e., containing at least one element from each base complement. A base is a maximal submatroid containing no circuit. A base complement is a minimal submatroid containing at least one element from each circuit. Proof. By the previous theorem, N is `contained in no bases' iff it is dependent, and N is `containing no circuit' iff it is independent. Then the first two state- ments are obvious. The last one is obtained by taking the complement operator for each set in the second statement. We can observe the reciprocal relation ship between circuits and base com- plements. Do we derive a dual concept of a matroid from this? Definition 1.5. ∆(N; N 0) = r(N + N 0) − r(N): Proposition 1.7. ∆(A; B + C) = ∆(A + C; B) − ∆(A + C; C): 4 Proof. δ(A; B + C) = r(A + B + C) − r(A) = r(A + B + C) − r(A + C) − r(A) + r(A + C) = ∆(A + C; B) − ∆(A + C; C): Lemma 1.8.
Recommended publications
  • Biased Graphs. Vii. Contrabalance and Antivoltages
    BIASED GRAPHS. VII. CONTRABALANCE AND ANTIVOLTAGES THOMAS ZASLAVSKY Abstract. We develop linear representation theory for bicircular matroids, a chief exam- ple being a matroid associated with forests of a graph, and bicircular lift matroids, a chief example being a matroid associated with spanning forests. (These are bias and lift matroids of contrabalanced biased graphs.) The theory is expressed largely in terms of antivoltages (edge labellings that defy Kirchhoff’s voltage law) with values in the multiplicative or ad- ditive group of the scalar field. We emphasize antivoltages with values in cyclic groups and finite vector spaces since they are crucial for representing the matroids over finite fields; and integer-valued antivoltages with bounded breadth since they are crucial in constructions. We find bounds for the existence of antivoltages and we solve some examples. Other results: The number of antivoltages in an abelian group is a polynomial function of the group order, and the number of integral antivoltages with bounded breadth is a polynomial in the breadth bound. We conclude with an application to complex representation. There are many open questions. Contents Introduction 2 1. Background 3 2. General bounds on representability and antivoltages 5 3. Modular, integral, and prime-power antivoltages 7 4. Minors and matroids 11 5. Completegraphsandcomplete-graphbounds 11 6. More examples 16 7. The number of antivoltages 18 8. Root-of-unity representations 21 References 21 Date: March 2001; Aug., 2002; Aug.–Sept., 2004; Nov.–Dec., 2005. Version of April 3, 2007. 2000 Mathematics Subject Classification. Primary 05B35, 05C22; Secondary 05A15, 05C35. Key words and phrases. Antivoltage, bicircular matroid, bicircular lift matroid, forest matroid, spanning forest matroid, biased graph, gain graph, contrabalance, bias matroid, frame matroid, matroid representation, transversal matroid.
    [Show full text]
  • Counting Independent Sets in Graphs with Bounded Bipartite Pathwidth∗
    Counting independent sets in graphs with bounded bipartite pathwidth∗ Martin Dyery Catherine Greenhillz School of Computing School of Mathematics and Statistics University of Leeds UNSW Sydney, NSW 2052 Leeds LS2 9JT, UK Australia [email protected] [email protected] Haiko M¨uller∗ School of Computing University of Leeds Leeds LS2 9JT, UK [email protected] 7 August 2019 Abstract We show that a simple Markov chain, the Glauber dynamics, can efficiently sample independent sets almost uniformly at random in polynomial time for graphs in a certain class. The class is determined by boundedness of a new graph parameter called bipartite pathwidth. This result, which we prove for the more general hardcore distribution with fugacity λ, can be viewed as a strong generalisation of Jerrum and Sinclair's work on approximately counting matchings, that is, independent sets in line graphs. The class of graphs with bounded bipartite pathwidth includes claw-free graphs, which generalise line graphs. We consider two further generalisations of claw-free graphs and prove that these classes have bounded bipartite pathwidth. We also show how to extend all our results to polynomially-bounded vertex weights. 1 Introduction There is a well-known bijection between matchings of a graph G and independent sets in the line graph of G. We will show that we can approximate the number of independent sets ∗A preliminary version of this paper appeared as [19]. yResearch supported by EPSRC grant EP/S016562/1 \Sampling in hereditary classes". zResearch supported by Australian Research Council grant DP190100977. 1 in graphs for which all bipartite induced subgraphs are well structured, in a sense that we will define precisely.
    [Show full text]
  • Density Theorems for Bipartite Graphs and Related Ramsey-Type Results
    Density theorems for bipartite graphs and related Ramsey-type results Jacob Fox Benny Sudakov Princeton UCLA and IAS Ramsey’s theorem Definition: r(G) is the minimum N such that every 2-edge-coloring of the complete graph KN contains a monochromatic copy of graph G. Theorem: (Ramsey-Erdos-Szekeres,˝ Erdos)˝ t/2 2t 2 ≤ r(Kt ) ≤ 2 . Question: (Burr-Erd˝os1975) How large is r(G) for a sparse graph G on n vertices? Ramsey numbers for sparse graphs Conjecture: (Burr-Erd˝os1975) For every d there exists a constant cd such that if a graph G has n vertices and maximum degree d, then r(G) ≤ cd n. Theorem: 1 (Chv´atal-R¨odl-Szemer´edi-Trotter 1983) cd exists. 2αd 2 (Eaton 1998) cd ≤ 2 . βd αd log2 d 3 (Graham-R¨odl-Ruci´nski2000) 2 ≤ cd ≤ 2 . Moreover, if G is bipartite, r(G) ≤ 2αd log d n. Density theorem for bipartite graphs Theorem: (F.-Sudakov) Let G be a bipartite graph with n vertices and maximum degree d 2 and let H be a bipartite graph with parts |V1| = |V2| = N and εN edges. If N ≥ 8dε−d n, then H contains G. Corollary: For every bipartite graph G with n vertices and maximum degree d, r(G) ≤ d2d+4n. (D. Conlon independently proved that r(G) ≤ 2(2+o(1))d n.) Proof: Take ε = 1/2 and H to be the graph of the majority color. Ramsey numbers for cubes Definition: d The binary cube Qd has vertex set {0, 1} and x, y are adjacent if x and y differ in exactly one coordinate.
    [Show full text]
  • Constrained Representations of Map Graphs and Half-Squares
    Constrained Representations of Map Graphs and Half-Squares Hoang-Oanh Le Berlin, Germany [email protected] Van Bang Le Universität Rostock, Institut für Informatik, Rostock, Germany [email protected] Abstract The square of a graph H, denoted H2, is obtained from H by adding new edges between two distinct vertices whenever their distance in H is two. The half-squares of a bipartite graph B = (X, Y, EB ) are the subgraphs of B2 induced by the color classes X and Y , B2[X] and B2[Y ]. For a given graph 2 G = (V, EG), if G = B [V ] for some bipartite graph B = (V, W, EB ), then B is a representation of G and W is the set of points in B. If in addition B is planar, then G is also called a map graph and B is a witness of G [Chen, Grigni, Papadimitriou. Map graphs. J. ACM, 49 (2) (2002) 127-138]. While Chen, Grigni, Papadimitriou proved that any map graph G = (V, EG) has a witness with at most 3|V | − 6 points, we show that, given a map graph G and an integer k, deciding if G admits a witness with at most k points is NP-complete. As a by-product, we obtain NP-completeness of edge clique partition on planar graphs; until this present paper, the complexity status of edge clique partition for planar graphs was previously unknown. We also consider half-squares of tree-convex bipartite graphs and prove the following complexity 2 dichotomy: Given a graph G = (V, EG) and an integer k, deciding if G = B [V ] for some tree-convex bipartite graph B = (V, W, EB ) with |W | ≤ k points is NP-complete if G is non-chordal dually chordal and solvable in linear time otherwise.
    [Show full text]
  • Graph Theory
    1 Graph Theory “Begin at the beginning,” the King said, gravely, “and go on till you come to the end; then stop.” — Lewis Carroll, Alice in Wonderland The Pregolya River passes through a city once known as K¨onigsberg. In the 1700s seven bridges were situated across this river in a manner similar to what you see in Figure 1.1. The city’s residents enjoyed strolling on these bridges, but, as hard as they tried, no residentof the city was ever able to walk a route that crossed each of these bridges exactly once. The Swiss mathematician Leonhard Euler learned of this frustrating phenomenon, and in 1736 he wrote an article [98] about it. His work on the “K¨onigsberg Bridge Problem” is considered by many to be the beginning of the field of graph theory. FIGURE 1.1. The bridges in K¨onigsberg. J.M. Harris et al., Combinatorics and Graph Theory , DOI: 10.1007/978-0-387-79711-3 1, °c Springer Science+Business Media, LLC 2008 2 1. Graph Theory At first, the usefulness of Euler’s ideas and of “graph theory” itself was found only in solving puzzles and in analyzing games and other recreations. In the mid 1800s, however, people began to realize that graphs could be used to model many things that were of interest in society. For instance, the “Four Color Map Conjec- ture,” introduced by DeMorgan in 1852, was a famous problem that was seem- ingly unrelated to graph theory. The conjecture stated that four is the maximum number of colors required to color any map where bordering regions are colored differently.
    [Show full text]
  • Some Topics Concerning Graphs, Signed Graphs and Matroids
    SOME TOPICS CONCERNING GRAPHS, SIGNED GRAPHS AND MATROIDS DISSERTATION Presented in Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in the Graduate School of the Ohio State University By Vaidyanathan Sivaraman, M.S. Graduate Program in Mathematics The Ohio State University 2012 Dissertation Committee: Prof. Neil Robertson, Advisor Prof. Akos´ Seress Prof. Matthew Kahle ABSTRACT We discuss well-quasi-ordering in graphs and signed graphs, giving two short proofs of the bounded case of S. B. Rao's conjecture. We give a characterization of graphs whose bicircular matroids are signed-graphic, thus generalizing a theorem of Matthews from the 1970s. We prove a recent conjecture of Zaslavsky on the equality of frus- tration number and frustration index in a certain class of signed graphs. We prove that there are exactly seven signed Heawood graphs, up to switching isomorphism. We present a computational approach to an interesting conjecture of D. J. A. Welsh on the number of bases of matroids. We then move on to study the frame matroids of signed graphs, giving explicit signed-graphic representations of certain families of matroids. We also discuss the cycle, bicircular and even-cycle matroid of a graph and characterize matroids arising as two different such structures. We study graphs in which any two vertices have the same number of common neighbors, giving a quick proof of Shrikhande's theorem. We provide a solution to a problem of E. W. Dijkstra. Also, we discuss the flexibility of graphs on the projective plane. We conclude by men- tioning partial progress towards characterizing signed graphs whose frame matroids are transversal, and some miscellaneous results.
    [Show full text]
  • Quasipolynomial Representation of Transversal Matroids with Applications in Parameterized Complexity
    Quasipolynomial Representation of Transversal Matroids with Applications in Parameterized Complexity Daniel Lokshtanov1, Pranabendu Misra2, Fahad Panolan1, Saket Saurabh1,2, and Meirav Zehavi3 1 University of Bergen, Bergen, Norway. {daniello,pranabendu.misra,fahad.panolan}@ii.uib.no 2 The Institute of Mathematical Sciences, HBNI, Chennai, India. [email protected] 3 Ben-Gurion University, Beersheba, Israel. [email protected] Abstract Deterministic polynomial-time computation of a representation of a transversal matroid is a longstanding open problem. We present a deterministic computation of a so-called union rep- resentation of a transversal matroid in time quasipolynomial in the rank of the matroid. More precisely, we output a collection of linear matroids such that a set is independent in the trans- versal matroid if and only if it is independent in at least one of them. Our proof directly implies that if one is interested in preserving independent sets of size at most r, for a given r ∈ N, but does not care whether larger independent sets are preserved, then a union representation can be computed deterministically in time quasipolynomial in r. This consequence is of independent interest, and sheds light on the power of union representation. Our main result also has applications in Parameterized Complexity. First, it yields a fast computation of representative sets, and due to our relaxation in the context of r, this computation also extends to (standard) truncations. In turn, this computation enables to efficiently solve various problems, such as subcases of subgraph isomorphism, motif search and packing problems, in the presence of color lists. Such problems have been studied to model scenarios where pairs of elements to be matched may not be identical but only similar, and color lists aim to describe the set of compatible elements associated with each element.
    [Show full text]
  • Partial Fields and Matroid Representation
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by UC Research Repository Partial Fields and Matroid Representation Charles Semple and Geoff Whittle Department of Mathematics Victoria University PO Box 600 Wellington New Zealand April 10, 1995 Abstract A partial field P is an algebraic structure that behaves very much like a field except that addition is a partial binary operation, that is, for some a; b ∈ P, a + b may not be defined. We develop a theory of matroid representation over partial fields. It is shown that many im- portant classes of matroids arise as the class of matroids representable over a partial field. The matroids representable over a partial field are closed under standard matroid operations such as the taking of mi- nors, duals, direct sums and 2{sums. Homomorphisms of partial fields are defined. It is shown that if ' : P1 → P2 is a non-trivial partial field homomorphism, then every matroid representable over P1 is rep- resentable over P2. The connection with Dowling group geometries is examined. It is shown that if G is a finite abelian group, and r>2, then there exists a partial field over which the rank{r Dowling group geometry is representable if and only if G has at most one element of order 2, that is, if G is a group in which the identity has at most two square roots. 1 1 Introduction It follows from a classical (1958) result of Tutte [19] that a matroid is rep- resentable over GF (2) and some field of characteristic other than 2 if and only if it can be represented over the rationals by the columns of a totally unimodular matrix, that is, by a matrix over the rationals all of whose non- zero subdeterminants are in {1; −1}.
    [Show full text]
  • Templates for Representable Matroids Kevin Manuel Grace Louisiana State University and Agricultural and Mechanical College, [email protected]
    Louisiana State University LSU Digital Commons LSU Doctoral Dissertations Graduate School 6-12-2018 Templates for Representable Matroids Kevin Manuel Grace Louisiana State University and Agricultural and Mechanical College, [email protected] Follow this and additional works at: https://digitalcommons.lsu.edu/gradschool_dissertations Part of the Discrete Mathematics and Combinatorics Commons Recommended Citation Grace, Kevin Manuel, "Templates for Representable Matroids" (2018). LSU Doctoral Dissertations. 4610. https://digitalcommons.lsu.edu/gradschool_dissertations/4610 This Dissertation is brought to you for free and open access by the Graduate School at LSU Digital Commons. It has been accepted for inclusion in LSU Doctoral Dissertations by an authorized graduate school editor of LSU Digital Commons. For more information, please [email protected]. TEMPLATES FOR REPRESENTABLE MATROIDS A Dissertation Submitted to the Graduate Faculty of the Louisiana State University and Agricultural and Mechanical College in partial fulfillment of the requirements for the degree of Doctor of Philosophy in The Department of Mathematics by Kevin Manuel Grace B.S., Pensacola Christian College, 2006 M.S., University of South Alabama, 2010 August 2018 \It is the glory of God to conceal a thing: but the honour of kings is to search out a matter." Proverbs 25:2 ii Acknowledgments It is a profound understatement to say that this dissertation would not have been possible without my advisor, Professor Stefan van Zwam. He has had a tremendous influence on every aspect of this dissertation. I would especially like to thank him for his guidance on presenting my research and for his help with the programming that was necessary. It was an honor to be his first graduate student.
    [Show full text]
  • The Steiner Problem for Count Matroids
    Egervary´ Research Group on Combinatorial Optimization Technical reportS TR-2020-03. Published by the Egerv´aryResearch Group, P´azm´any P. s´et´any 1/C, H{1117, Budapest, Hungary. Web site: www.cs.elte.hu/egres . ISSN 1587{4451. The Steiner problem for count matroids Tibor Jord´an,Yusuke Kobayashi, Ryoga Mahara, and Kazuhisa Makino December 2020 EGRES Technical Report No. 2020-03 1 The Steiner problem for count matroids? Tibor Jord´an??, Yusuke Kobayashi, Ryoga Mahara, and Kazuhisa Makino ??? Abstract We introduce and study a generalization of the well-known Steiner tree prob- lem to count matroids. In the count matroid Mk;l(G), defined on the edge set of a graph G = (V; E), a set F ⊆ E is independent if every vertex set X ⊆ V spans at most kjXj − l edges of F . The graph is called (k; l)-tight if its edge set is independent in Mk;l(G) and jEj = kjV j − l holds. Given a graph G = (V; E), a non-negative length function w : E ! R, a set T ⊆ V of terminals and parameters k; l, our goal is to find a shortest (k; l)- tight subgraph of G that contains the terminals. Since M1;1(G) is isomorphic to the graphic matroid of G, the special case k = l = 1 corresponds to the Steiner tree problem. We obtain other interesting problems by choosing different parameters: for example, in the case k = 2, l = 3 the target is a shortest rigid subgraph containing all terminals. First we show that this problem is NP-hard even if k = 2, l = 3, and w is metric, or w ≡ 1 and jT j = 2.
    [Show full text]
  • Parameterized Algorithms Using Matroids Lecture I: Matroid Basics and Its Use As Data Structure
    Parameterized Algorithms using Matroids Lecture I: Matroid Basics and its use as data structure Saket Saurabh The Institute of Mathematical Sciences, India and University of Bergen, Norway, ADFOCS 2013, MPI, August 5{9, 2013 1 Introduction and Kernelization 2 Fixed Parameter Tractable (FPT) Algorithms For decision problems with input size n, and a parameter k, (which typically is the solution size), the goal here is to design an algorithm with (1) running time f (k) nO , where f is a function of k alone. · Problems that have such an algorithm are said to be fixed parameter tractable (FPT). 3 A Few Examples Vertex Cover Input: A graph G = (V ; E) and a positive integer k. Parameter: k Question: Does there exist a subset V 0 V of size at most k such ⊆ that for every edge( u; v) E either u V 0 or v V 0? 2 2 2 Path Input: A graph G = (V ; E) and a positive integer k. Parameter: k Question: Does there exist a path P in G of length at least k? 4 Kernelization: A Method for Everyone Informally: A kernelization algorithm is a polynomial-time transformation that transforms any given parameterized instance to an equivalent instance of the same problem, with size and parameter bounded by a function of the parameter. 5 Kernel: Formally Formally: A kernelization algorithm, or in short, a kernel for a parameterized problem L Σ∗ N is an algorithm that given ⊆ × (x; k) Σ∗ N, outputs in p( x + k) time a pair( x 0; k0) Σ∗ N such that 2 × j j 2 × • (x; k) L (x 0; k0) L , 2 () 2 • x 0 ; k0 f (k), j j ≤ where f is an arbitrary computable function, and p a polynomial.
    [Show full text]
  • On the Excluded Minors for Matroids of Branch-Width Three
    On the Excluded Minors for Matroids of Branch-Width Three Petr Hlinˇen´y∗ School of Mathematical and Computing Sciences, Victoria University, P.O. Box 600, Wellington, New Zealand; and Institute for Theoretical Computer Science†(ITI MFF), Charles University, Malostransk´en´am. 25, 118 00 Praha 1, Czech Republic. [email protected] Submitted: March 19, 2002; Accepted: July 23, 2002. Abstract Knowing the excluded minors for a minor-closed matroid property provides a useful alternative characterization of that property. It has been shown in [R. Hall, J. Oxley, C. Semple, G. Whittle, On Matroids of Branch-Width Three, submitted 2001] that if M is an excluded minor for matroids of branch-width 3, then M has at most 14 elements. We show that there are exactly 10 such binary matroids M (7 of which are regular), proving a conjecture formulated by Dharmatilake in 1994. We also construct numbers of such ternary and quaternary matroids M, and provide a simple practical algorithm for finding a width-3 branch-decomposition of a matroid. The arguments in our paper are computer-assisted | we use a program Macek [P. Hlinˇen´y, The Macek Program, http://www.mcs.vuw.ac.nz/research/macek, 2002] for structural computations with represented matroids. Unfortunately, it seems to be infeasible to search through all matroids on at most 14 elements. Keywords: representable matroid, minor, branch-width. MR Subject Classifications: 05B35, 05C83 ∗The research was supported by a New Zealand Marsden Fund research grant to Geoff Whittle. y(Supported by the Ministry of Education of Czech Republic as project LN00A056.) the electronic journal of combinatorics 9 (2002), #R32 1 1 Introduction We assume that the reader is familiar with basic terms of graph theory.
    [Show full text]