Constructing hypohamiltonian snarks with cyclic connectivity 5 and 6.
A tree is classified as being type I provided that there are two or more Perron branches at its characteristic vertex. The question arises as to how one might construct such a tree in which the Perron branches at the characteristic vertex are not isomorphic. Motivated by an example of Grone and Merris, we produce a large class of such trees, and show how to construct others from them. We also investigate some of the properties of a subclass of these trees. Throughout, we exploit connections between...
We investigate tournaments that are projective in the variety that they generate, and free algebras over partial tournaments in that variety. We prove that the variety determined by three-variable equations of tournaments is not locally finite. We also construct infinitely many finite, pairwise incomparable simple tournaments.
The intersection graph of a graph has for vertices all the induced paths of order 3 in . Two vertices in are adjacent if the corresponding paths in are not disjoint. A -container between two different vertices and in a graph is a set of internally vertex disjoint paths between and . The length of a container is the length of the longest path in it. The -wide diameter of is the minimum number such that there is a -container of length at most between any pair of different...
An edge of a -connected graph is said to be -contractible (or simply contractible) if the graph obtained from by contracting (i.e., deleting and identifying its ends, finally, replacing each of the resulting pairs of double edges by a single edge) is still -connected. In 2002, Kawarabayashi proved that for any odd integer , if is a -connected graph and contains no subgraph , then has a -contractible edge. In this paper, by generalizing this result, we prove that for any integer...
The control flow of programs can be represented by directed graphs. In this paper we provide a uniform and detailed formal basis for control flow graphs combining known definitions and results with new aspects. Two graph reductions are defined using only syntactical information about the graphs, but no semantical information about the represented programs. We prove some properties of reduced graphs and also about the paths in reduced graphs. Based on graphs, we define statement coverage and branch...