Minimal Connectivity

A k-connected graph such that deleting any edge / deleting any vertex / contracting any edge results in a graph which is not k-connected is called minimally / critically / contraction-critically k-connected. These three classes play a prominent role in graph connectivity theory, and we give a brief introduction with a light emphasis on reduction- and construction theorems for classes of k-connected graphs.Comment: IMADA-preprint-math, 33 page

Cycles and Bases of Graphs and Matroids

The objective of this dissertation is to investigate the properties of cycles and bases in matroids and in graphs. In [62], Tutte defined the circuit graph of a matroid and proved that a matroid is connected if and only if its circuit graph is connected. Motivated by Tutte\u27s result, we introduce the 2nd order circuit graph of a matroid, and prove that for any connected matroid M other than U1,1, the second order circuit graph of M has diameter at most 2 if and only if M does not have a restricted minor isomorphic to U2,6.;Another research conducted in this dissertation is related to the eulerian subgraph problem in graph theory. A graph G is eulerian if G is connected without vertices of odd degrees, and G is supereulerian if G has a spanning eulerian subgraph. In [3], Boesch, Suffey and Tindel raised a problem to determine when a graph is supereulerian, and they remarked that such a problem would be a difficult one. In [55], Pulleyblank confirmed the remark by showing that the problem to determine if a graph is supereulerian, even within planar graphs, is NP-complete. Catlin in [8] introduced a reduction method based on the theory of collapsible graphs to search for spanning eulerian subgraphs in a given graph G. In this dissertation, we introduce the supereulerian width of a graph G, which generalizes the concept of supereulerian graphs, and extends the supereulerian problem to the supereulerian width problem in graphs. Further, we also generalize the concept of collapsible graphs to s-collapsible graphs and develop the reduction method based on the theory of s-collapsible graphs. Our studies extend the collapsible graph theory of Catlin. These are applied to show for any integer n \u3e 2, the complete graph Kn is (n - 3)- collapsible, and so the supereulerian width of Kn is n - 2. We also prove a best possible degree condition for a simple graph to have supereulerian width at least 3.;The number of edge-disjoint spanning trees plays an important role in the design of networks, as it is considered as a measure of the strength of the network. As disjoint spanning trees are disjoint bases in graphic matroids, it is important to study the properties related to the number of disjoint bases in matroids. In this dissertation, we develop a decomposition theory based on the density function of a matroid, and prove a decomposition theorem that partitions the ground set of a matroid M into subsets based on their densities. As applications of the decomposition theorem, we investigate problems related to the properties of disjoint bases in a matroid. We showed that for a given integer k \u3e 0, any matroid M can be embedded into a matroid M\u27 with the same rank (that is, r(M) = r( M\u27)) such that M\u27 has k disjoint bases. Further we determine the minimum value of |E( M\u27)| -- |E(M)| in terms of invariants of M. For a matroid M with at least k disjoint bases, we characterize the set of elements in M such that removing any one of them would still result in a matroid with at least k disjoint bases

Some problems in combinatorial topology of flag complexes

In this work we study simplicial complexes associated to graphs and their homotopical and combinatorial properties. The main focus is on the family of flag complexes, which can be viewed as independence complexes and clique complexes of graphs. In the first part we study independence complexes of graphs using two cofibre sequences corresponding to vertex and edge removals. We give applications to the connectivity of independence complexes of chordal graphs and to extremal problems in topology and we answer open questions about the homotopy types of those spaces for particular families of graphs. We also study the independence complex as a space of configurations of particles in the so-called hard-core models on various lattices. We define, and investigate from an algorithmic perspective, a special family of combinatorially defined homology classes in independence complexes. This enables us to give algorithms as well as NP-hardness results for topological properties of some spaces. As a corollary we prove hardness of computing homology of simplicial complexes in general. We also view flag complexes as clique complexes of graphs. That leads to the study of various properties of Vietoris-Rips complexes of graphs. The last result is inspired by a problem in face enumeration. Using methods of extremal graph theory we classify flag triangulations of 3-manifolds with many edges. As a corollary we complete the classification of face vectors of flag simplicial homology 3-spheres

Exploiting structure to cope with NP-hard graph problems: Polynomial and exponential time exact algorithms

An ideal algorithm for solving a particular problem always finds an optimal solution, finds such a solution for every possible instance, and finds it in polynomial time. When dealing with NP-hard problems, algorithms can only be expected to possess at most two out of these three desirable properties. All algorithms presented in this thesis are exact algorithms, which means that they always find an optimal solution. Demanding the solution to be optimal means that other concessions have to be made when designing an exact algorithm for an NP-hard problem: we either have to impose restrictions on the instances of the problem in order to achieve a polynomial time complexity, or we have to abandon the requirement that the worst-case running time has to be polynomial. In some cases, when the problem under consideration remains NP-hard on restricted input, we are even forced to do both. Most of the problems studied in this thesis deal with partitioning the vertex set of a given graph. In the other problems the task is to find certain types of paths and cycles in graphs. The problems all have in common that they are NP-hard on general graphs. We present several polynomial time algorithms for solving restrictions of these problems to specific graph classes, in particular graphs without long induced paths, chordal graphs and claw-free graphs. For problems that remain NP-hard even on restricted input we present exact exponential time algorithms. In the design of each of our algorithms, structural graph properties have been heavily exploited. Apart from using existing structural results, we prove new structural properties of certain types of graphs in order to obtain our algorithmic results

Approximation Algorithms for Geometric Networks

The main contribution of this thesis is approximation algorithms for several computational geometry problems. The underlying structure for most of the problems studied is a geometric network. A geometric network is, in its abstract form, a set of vertices, pairwise connected with an edge, such that the weight of this connecting edge is the Euclidean distance between the pair of points connected. Such a network may be used to represent a multitude of real-life structures, such as, for example, a set of cities connected with roads. Considering the case that a specific network is given, we study three separate problems. In the first problem we consider the case of interconnected `islands' of well-connected networks, in which shortest paths are computed. In the second problem the input network is a triangulation. We efficiently simplify this triangulation using edge contractions. Finally, we consider individual movement trajectories representing, for example, wild animals where we compute leadership individuals. Next, we consider the case that only a set of vertices is given, and the aim is to actually construct a network. We consider two such problems. In the first one we compute a partition of the vertices into several subsets where, considering the minimum spanning tree (MST) for each subset, we aim to minimize the largest MST. The other problem is to construct a $t$-spanner of low weight fast and simple. We do this by first extending the so-called gap theorem. In addition to the above geometric network problems we also study a problem where we aim to place a set of different sized rectangles, such that the area of their corresponding bounding box is minimized, and such that a grid may be placed over the rectangles. The grid should not intersect any rectangle, and each cell of the grid should contain at most one rectangle. All studied problems are such that they do not easily allow computation of optimal solutions in a feasible time. Instead we consider approximation algorithms, where near-optimal solutions are produced in polynomial time. In addition to the above geometric network problems we also study a problem where we aim to place a set of different sized rectangles, such that the area of their corresponding bounding box is minimized, and such that a grid may be placed over the rectangles. The grid should not intersect any rectangle, and each cell of the grid should contain at most one rectangle. All studied problems are such that they do not easily allow computation of optimal solutions in a feasible time. Instead we consider approximation algorithms, where near-optimal solutions are produced in polynomial time

Smallest snarks with oddness 4 and cyclic connectivity 4 have order 44

The family of snarks -- connected bridgeless cubic graphs that cannot be 3-edge-coloured -- is well-known as a potential source of counterexamples to several important and long-standing conjectures in graph theory. These include the cycle double cover conjecture, Tutte's 5-flow conjecture, Fulkerson's conjecture, and several others. One way of approaching these conjectures is through the study of structural properties of snarks and construction of small examples with given properties. In this paper we deal with the problem of determining the smallest order of a nontrivial snark (that is, one which is cyclically 4-edge-connected and has girth at least 5) of oddness at least 4. Using a combination of structural analysis with extensive computations we prove that the smallest order of a snark with oddness at least 4 and cyclic connectivity 4 is 44. Formerly it was known that such a snark must have at least 38 vertices [J. Combin. Theory Ser. B 103 (2013), 468--488] and one such snark on 44 vertices was constructed by Lukot'ka et al. [Electron. J. Combin. 22 (2015), #P1.51]. The proof requires determining all cyclically 4-edge-connected snarks on 36 vertices, which extends the previously compiled list of all such snarks up to 34 vertices [J. Combin. Theory Ser. B, loc. cit.]. As a by-product, we use this new list to test the validity of several conjectures where snarks can be smallest counterexamples.Comment: 21 page

Balanced triangulations on few vertices and an implementation of cross-fips

A d -dimensional simplicial complex is balanced if the underlying graph is ( d + 1 ) -colorable. We present an implementation of cross-flips, a set of local moves introduced by Izmestiev, Klee and Novik which connect any two PL-homeomorphic balanced combinatorial manifolds. As a result we exhibit a vertex minimal balanced triangulation of the real projective plane, of the dunce hat and of the real projective space, as well as several balanced triangulations of surfaces and 3-manifolds on few vertices. In particular we construct small balanced triangulations of the 3-sphere that are non-shellable and shellable but not vertex decomposable

Cycles, Disjoint Spanning Trees and Orientations of Graphs

A graph G is hamiltonian-connected if any two of its vertices are connected by a Hamilton path (a path including every vertex of G); and G is s-hamiltonian-connected if the deletion of any vertex subset with at most s vertices results in a hamiltonian-connected graph. We prove that the line graph of a (t + 4)-edge-connected graph is (t + 2)-hamiltonian-connected if and only if it is (t + 5)-connected, and for s ≥ 2 every (s + 5)-connected line graph is s-hamiltonian-connected.;For integers l and k with l \u3e 0, and k ≥ 0, Ch( l, k) denotes the collection of h-edge-connected simple graphs G on n vertices such that for every edge-cut X with 2 ≤ |X| ≤ 3, each component of G -- X has at least (n -- k)/l vertices. We prove that for any integer k \u3e 0, there exists an integer N = N( k) such that for any n ≥ N, any graph G ∈ C2(6, k) on n vertices is supereulerian if and only if G cannot be contracted to a member in a well characterized family of graphs.;An orientation of an undirected graph G is a mod (2 p + 1)-orientation if under this orientation, the net out-degree at every vertex is congruence to zero mod 2p + 1. A graph H is mod (2p + 1)-contractible if for any graph G that contains H as a subgraph, the contraction G/H has a mod (2p + 1)-orientation if and only if G has a mod (2p + 1)-orientation (thus every mod (2p + 1)-contractible graph has a mod (2p + 1)-orientation). Jaeger in 1984 conjectured that every (4p)-edge-connected graph has a mod (2p + 1)-orientation. It has also been conjectured that every (4p + 1)-edge-connected graph is mod (2 p + 1)-contractible. We investigate graphs that are mod (2 p + 1)-contractible, and as applications, we prove that a complete graph Km is (2p + 1)-contractible if and only if m ≥ 4p + 1; that every (4p -- 1)-edge-connected K4-minor free graph is mod (2p + 1)-contractible, which is best possible in the sense that there are infinitely many (4p -- 2)-edge-connected K4-minor free graphs that are not mod (2p + 1)-contractible; and that every (4p)-connected chordal graph is mod (2p + 1)-contractible. We also prove that the above conjectures on line graphs would imply the truth of the conjectures in general, and that if G has a mod (2p + 1)-orientation and delta(G) ≥ 4p, then L(G) also has a mod (2p + 1)-orientation.;The design of an n processor network with given number of connections from each processor and with a desirable strength of the network can be modelled as a degree sequence realization problem with certain desirable graphical properties. A nonincreasing sequence d = ( d1, d2, ···, dn) is graphic if there is a simple graph G with degree sequence d. It is proved that for a positive integer k, a graphic nonincreasing sequence d has a simple realization G which has k-edge-disjoint spanning trees if and only if either both n = 1 and d1 = 0, or n ≥ 2 and both dn ≥ k and i=1n di ≥ 2k(n -- 1).;We investigate the emergence of specialized groups in a swarm of robots, using a simplified version of the stick-pulling problem [56], where the basic task requires the collaboration of two robots in asymmetric roles. We expand our analytical model [57] and identify conditions for optimal performance for a swarm with any number of species. We then implement a distributed adaptation algorithm based on autonomous performance evaluation and parameter adjustment of individual agents. While this algorithm reliably reaches optimal performance, it leads to unbounded parameter distributions. Results are improved by the introduction of a direct parameter exchange mechanism between selected high- and low-performing agents. The emerging parameter distributions are bounded and fluctuate between tight unimodal and bimodal profiles. Both the unbounded optimal and the bounded bimodal distributions represent partitions of the swarm into two specialized groups