Maximum Induced Multicliques and Complete Multipartite Subgraphs in Polygon-Circle Graphs and Circle Graphs

A k-colouring of a graph G with colours 1 , 2 , … , k is canonical with respect to an ordering π = v 1 , v 2 , … , v n of the vertices of G if adjacent vertices are assigned different colours and, for 1 ≤ c ≤ k , whenever colour c is assigned to a vertex v i , each colour less than c has been assigned to a vertex that precedes v i in π . The canonical k-colouring graph of G with respect to π is the graph Can k π ( G ) with vertex set equal to the set of canonical k-colourings of G with respect to π , with two of these being adjacent if and only if they differ in the colour assigned to exactly one vertex. Connectivity and Hamiltonicity of canonical colouring graphs of bipartite and complete multipartite graphs is studied. It is shown that for complete multipartite graphs, and bipartite graphs there exists a vertex ordering π such that Can k π ( G ) is connected for large enough values of k. It is proved that a canonical colouring graph of a complete multipartite graph usually does not have a Hamilton cycle, and that there exists a vertex ordering π such that Can k π ( K m , n ) has a Hamilton path for all k ≥ 3 . The paper concludes with a detailed consideration of Can k π ( K 2 , 2 , … , 2 ) . For each k ≥ χ and all vertex orderings π , it is proved that Can k π ( K 2 , 2 , … , 2 ) is either disconnected or isomorphic to a particular tree.

On graphs with complete multipartite [formula omitted]-graphs

On polygon numbers of circle graphs and distance hereditary graphs

Maximum weight independent sets and cliques in intersection graphs of filaments

Lin et al. (2013) [16] conjectured that, the complete multipartite graphs are determined by their distance spectra. This was confirmed by Jin and Zhang (2014) [14]. In the present paper we give a shorter and more readable proof of the conjecture.

A parallel algorithm for finding a near-maximum independent set in a circle graph is presented. An independent set in a graph is a set of vertices, no two of which are adjacent. A maximum independent set is an independent set whose cardinality is the largest among all independent sets of a graph. The algorithm is modified for predicting the secondary structure in ribonucleic acids (RNA). The proposed system, composed of an n neural network array (where n is the number of edges in the circle graph of the number of possible base pairs), not only generates a near-maximum independent set but also predicts the secondary structure of ribonucleic acids within several hundred iteration steps. The simulator discovered several solutions which are more stable structures, in a sequence of 359 bases from the potato spindle tuber viroid, than previously proposed structures.

Complete Multipartite Graphs and their Null Set

We give a unified approach to analyzing, for each positive integer s, a class of finite connected graphs that contains all the distance transitive graphs as well as the locally s‐arc transitive graphs of diameter at least s. A graph is in the class if it is connected and if, for each vertex v, the subgroup of automorphisms fixing v acts transitively on the set of vertices at distance i from v, for each i from 1 to s. We prove that this class is closed under forming normal quotients. Several graphs in the class are designated as degenerate, and a nondegenerate graph in the class is called basic if all its nontrivial normal quotients are degenerate. We prove that, for s≥2, a nondegenerate, nonbasic graph in the class is either a complete multipartite graph or a normal cover of a basic graph. We prove further that, apart from the complete bipartite graphs, each basic graph admits a faithful quasiprimitive action on each of its (1 or 2) vertex‐orbits or a biquasiprimitive action. These results invite detailed additional analysis of the basic graphs using the theory of quasiprimitive permutation groups. © 2011 Wiley Periodicals, Inc. J Graph Theory 69:176‐197, 2012

The vertex arboricity va(G) of a graph G is the minimum number of subsets into which the vertex set V(G) can be partitioned so that each subset induces an acyclic subgraph. The fractional version of vertex arboricity is introduced in this paper. We determine fractional vertex arboricity for several classes of graphs, e.g., complete multipartite graphs, cycles, integer distance graphs, prisms and Peterson graph.

Cycle-balance conditions for distance-regular graphs

In this paper we present some results on the sequence of coefficients of the chromatic polynomial of a graph relative to the complete graph basis, that is, when it is expressed as the sum of the chromatic polynomials of complete graphs. These coefficients are the coefficients of what is often called the σ-polynomial. We obtain necessary and sufficient conditions for this sequence to be symmetrical, and we prove that it is ‘skewed’ and decreasing beyond its midpoint. We also prove that it is strongly log-concave when G is a complete multipartite graph. © 1996 John Wiley & Sons, Inc.

The Shapley distance in a graph is defined based on Shapley value in cooperative game theory. It is used to measure the cost for a vertex in a graph to access another vertex. In this paper, we establish the Shapley distance between two arbitrary vertices for some special graphs, i.e., path, tree, cycle, complete graph, complete bipartite, and complete multipartite graph. Moreover, based on the Shapley distance, we propose a new index, namely Shapley index, and then compare Shapley index with Wiener index and Kirchhoff index for these special graphs. We also characterize the extremal graphs in which these three indices are equal.

Kneser graphs are like Swiss cheese, Discrete Analysis 2018:2, 18 pp. This paper relates two very interesting areas of research in extremal combinatorics: removal lemmas, and of variables. A _removal lemma_ is a result that states that if $S$ is a set that contains only few copies of a certain structure, then one can remove just a few elements from $S$ to create a set $S'$ that has no copies of that structure. For instance, the triangle removal states that a graph with few triangles can be approximated by a graph with no triangles. Removal lemmas play a very important role in extremal and additive combinatorics. As for the of variables, the aspect that is of interest here is that there are many interesting theorems that state that if a function has a certain property, it must be because in a certain sense it depends on only a few variables. For example, a famous result of the first author shows that if a monotone graph property fails to have a sharp threshold, then the property can be approximated by one for which the minimal graphs that satisfy it are all small, with the result that the influence of individual edges on whether the graph has the property is substantial. The main result of this paper is an removal lemma for various families of graphs. It states that if $G$ is a graph in one of these families, then for every set $X$ of vertices in $G$ that spans only a few edges one can throw away just a small proportion of $X$ to obtain a subset $X'$ that is independent. Of course, a result like this is completely false in general: one has only to take a sparse random graph, and then every subset will span few edges but no large subset will be independent. But it is true, for example, for complete bipartite graphs, since a set of vertices that spans a sparse subgraph will have to be contained almost entirely in one of the two vertex sets, and then one can throw away the vertices that are in the other set. One of the families for which the authors prove an edge-removal is that of Kneser graphs. For $0<m<n/2$, the Kneser graph $K(n,m)$ has as its vertex set the set of all subsets of $\{1,2,\dots,n\}$ of size $m$, with two such subsets joined by an edge if and only if they are disjoint. Kneser graphs have large sparse sets, but the natural examples seem to depend on just a few variables: for example, one can take all sets that contain a particular element. (Note that an independent set in $K(n,m)$ is just an intersecting family of $m$-sets.) The authors wanted to prove a precise conjecture that would say that every set of vertices that spans a sparse subgraph can be approximated by a set of vertices that (i) depends on just a few variables and (ii) spans an independent set. Before this paper a weaker statement was known where instead of (ii) one had a sparse set. In this paper the authors settle the conjecture completely by showing that a sparse set of vertices can be approximated by an independent set of vertices. The other family of graphs for which the authors prove an edge removal is that of product graphs. If $H$ is a graph, then the product $G=H^n$ is the graph where $x$ and $y$ are joined if for every coordinate $i$ we have that $x_iy_i$ is an edge of $H$. (There are different definitions of product graphs, but this is the one to which the result applies: note that it makes it quite hard for two vertices to be joined.) For example, if $H$ is a complete graph on $r$ coordinates, then $G=[r]^n$ with two vertices joined if and only if they differ in every coordinate. The proof of the removal uses ideas from Jacob Fox's proof of the triangle removal lemma, which obtains the best known bound for that result. Finally, what has this to do with Swiss cheese? The rough idea is that these graphs have large and highly structured independent sets, and a part of the graph is sparse if and only if it has a big intersection with one of these independent sets. Likewise a Swiss cheese contains lots of large holes, and a region of space contained within the boundary of the cheese will contain only a small amount of cheese if and only if it is almost entirely contained in one of the holes. Article image [by G. J. Wanderer](https://www.flickr.com/photos/106561245@N07/13515457313/in/photolist-mAjfA6-f7mF8i-Tf5Ler-7i4FtY-bi74Nt-gWVXdj-7XoC4N-okRvp5-77HxiZ-7xt4hx-RSUt3B-qeB17D-as2aAc-7K64uq-oL2GMj-6trVsK-UDq452-SP1xSX-d4u57o-fATSUi-8Km2Qs-dJeLzb-qu9Z4Z-dNNvQ2-7eVY4b-6mtCks-frWJEF-aCerNx-7tyjAW-haiMTG-oysrog-9LJVj8-fzno-4VuER1-b5n85M-Jka6K5-a7vHJZ-5S7Yyt-Uwa6kC-dNU7Mm-5AWGod-YSE7a-bzagV7-8tV58z-8YW1XL-5nvECU-QAdC69-8wG84t-TSsHP4-9eoj6S) and distributed under a [CC-BY-NC-SA licence](https://creativecommons.org/licenses/by-nc-sa/2.0/).

A k-factor of a graph G is a k-regular spanning subgraph of G. A k-factorization is a partition of E(G) into k-factors. Let K(n, p) be the complete multipartite graph with p parts, each of size n. If $$V_{1},\ldots , V_{p}$$V1,?,Vp are the p parts of V(K(n, p)), then a holeyk-factor of deficiency $$V_{i}$$Vi of K(n, p) is a k-factor of $$K(n,p)-V_{i}$$K(n,p)-Vi for some i satisfying $$1\le i \le p$$1≤i≤p. Hence a holeyk-factorization is a set of holey k-factors whose edges partition E(K(n, p)). Representing each (holey) k-factor as a color class in an edge-coloring, a (holey) k-factorization of K(n, p) is said to be fair if between each pair of parts the color classes have size within one of each other (so the edges are shared "evenly" among the permitted (holey) factors). In this paper the existence of fair 1-factorizations of K(n, p) is completely settled, as is the existence of fair holey 1-factorizations of K(n, p). The latter result can be used to provide a new construction for symmetric quasigroups of order np with holes of size n. Such quasigroups have the additional property that the permitted symbols are shared as evenly as possible among the cells in each $$n \times n$$n×n "box". These quasigroups are in some sense as far from frames produced by direct products as possible.

We study asynchronous cellular automata (ACA) induced by symmetric Boolean functions [1]. These systems can be considered as sequential dynamical systems (SDS) over words, a class of dynamical systems that consists of (a) a finite, labeled graph Y with vertex set {v1,…,vn} and where each vertex vi has a state xvi in a finite field K, (b) a sequence of functions (Fvi,Y)i, and (c) a word w = (w1,…,wk), where each wi is a vertex in Y. The function Fvi,Y updates the state of vertex vi as a function of the state of vi and its Y-neighbors and maps all other vertex states identically. The SDS is the composed map [Formula: see text]. In the particular case of ACA, the graph is the circle graph on n vertices (Y = Circ n), and all the maps Fvi are induced by a common Boolean function. Our main result is the identification of all w-independent ACA, that is, all ACA with periodic points that are independent of the word (update schedule) w. In general, for each w-independent SDS, there is a finite group whose structure contains information about for example SDS with specific phase space properties. We classify and enumerate the set of periodic points for all w-independent ACA, and we also compute their associated groups in the case of Y = Circ 4. Finally, we analyze invertible ACA and offer an interpretation of S35 as the group of an SDS over the three-dimensional cube with local functions induced by nor3 + nand3.