Universality in graph properties with degree restrictions

Minimal reducible bounds for induced-hereditary properties

A graph property is any nonempty isomorphism-closed class of simple (finite or infinite) graphs. A graph property P is of finite character if a graph G has a property P if and only if every finite induced subgraph of G has a property P . Let P1,P2, . . . ,Pn be graph properties of finite character, a graph G is said to be (uniquely) (P1,P2, . . . ,Pn)partitionable if there is an (exactly one) partition {V1, V2, . . . , Vn} of V (G) such that G[Vi] ∈ Pi for i = 1, 2, . . . , n. Let us denote by R = P1◦P2◦ · · · ◦Pn the class of all (P1,P2, . . . ,Pn)-partitionable graphs. A property R = P1◦P2◦ · · · ◦Pn, n ≥ 2 is said to be reducible. We prove that any reducible additive graph property R of finite character has a uniquely (P1,P2, . . . ,Pn)-partitionable countable generating graph. We also prove that for a reducible additive hereditary graph property R of finite character there exists a weakly universal countable graph if and only if each property Pi has a weakly universal graph. 242 J. Bucko and P. Mihok

For fixed integers r,ell geq 0, a graph G is called an (r,ell)-graph if the vertex set V(G) can be partitioned into r independent sets and ell cliques. This brings us to the following natural parameterized questions: Vertex (r,ell)-Partization and Edge (r,ell)-Partization. An input to these problems consist of a graph G and a positive integer k and the objective is to decide whether there exists a set S subseteq V(G) (S subseteq E(G)) such that the deletion of S from G results in an (r,ell)-graph. These problems generalize well studied problems such as Odd Cycle Transversal, Edge Odd Cycle Transversal, Split Vertex Deletion and Split Edge Deletion. We do not hope to get parameterized algorithms for either Vertex (r, ell)-Partization or Edge (r,ell)-Partization when either of r or ell is at least 3 as the recognition problem itself is NP-complete. This leaves the case of r,ell in {1,2}. We almost complete the parameterized complexity dichotomy for these problems by obtaining the following results: - We show that Vertex (r,ell)-Partization is fixed parameter tractable (FPT) for r,ell in {1,2}. Then we design an Oh(sqrt log n)-factor approximation algorithms for these problems. These approximation algorithms are then utilized to design polynomial sized randomized Turing kernels for these problems. - Edge (r,ell)-Partization is FPT when (r,ell)in{(1,2),(2,1)}. However, the parameterized complexity of Edge (2,2)-Partization remains open. For our approximation algorithms and thus for Turing kernels we use an interesting finite forbidden induced graph characterization, for a class of graphs known as (r,ell)-split graphs, properly containing the class of (r,ell)-graphs. This approach to obtain approximation algorithms could be of an independent interest.

In a recent paper [l] K . CORRADI and A. HAJNAL proved that if a finite graph without multiple edges contains at least 3k vertices and the valency of every vertex is at least 2k, where k is a positive integer, then the graph contains k independent circuits, i . e . the graph contains as a subgraph a set of k circuits no two of which have a vertex in common . The present paper contains extensions of this theorem. In a recent paper [2] P . ERDŐS and L. POSA proved, among other things, that if a finite graph with or without loops and multiple edges contains n vertices and at least n + 4 edges, then the graph contains two circuits without an edge in common . The present paper contains analogous results for planar graphs . We adopt the following notation : O k denotes a graph consisting of k independent circuits, kO denotes a graph consisting of k or more circuits no two of which have an edge in common . If q is a graph then 'V (q) denotes the set of vertices of q, `V i(q ) denotes the set of vertices of q having valency i in q (i being a non-negative integer), T 5 i (q), Ty i (q) denote the set of vertices of 4 having valency i and ' i, respectively, and &(q) denotes the set of edges of c~ . The valency of the vertex x in the graph will be denoted by v (x, C~) . I ? (() I will be denoted by V (q), J & (q) I by E(q) etc. In this notation the theorem Of CORRADI and HAJNAL quoted above states that if q is a finite graph without multiple edges and if V(q) 3k and T -2k_ 1 (4) =0, then q Ok ; and the theorem of ERDOS and POSA quoted above states that if is a finite graph and E(C) _V(q) + 4, then qD 2 O .

Gathering a group of mobile agents is a fundamental task in the field of distributed and mobile systems. This can be made drastically more difficult to achieve when some agents are subject to faults, especially the Byzantine ones that are known as being the worst faults to handle. In this paper we study, from a deterministic point of view, the task of Byzantine gathering in a network modeled as a graph. In other words, despite the presence of Byzantine agents, all the other (good) agents, starting from {possibly} different nodes and applying the same deterministic algorithm, have to meet at the same node in finite time and stop moving. An adversary chooses the initial nodes of the agents (the number of agents may be larger than the number of nodes) and assigns a different positive integer (called label) to each of them. Initially, each agent knows its label. The agents move in synchronous rounds and can communicate with each other only when located at the same node. Within the team, f of the agents are Byzantine. A Byzantine agent acts in an unpredictable and arbitrary way. For example, it can choose an arbitrary port when it moves, can convey arbitrary information to other agents and can change its label in every round, in particular by forging the label of another agent or by creating a completely new one. Besides its label, which corresponds to a local knowledge, an agent is assigned some global knowledge denoted by GK that is common to all agents. In literature, the Byzantine gathering problem has been analyzed in arbitrary n-node graphs by considering the scenario when GK=(n,f) and the scenario when GK=f. In the first (resp. second) scenario, it has been shown that the minimum number of good agents guaranteeing deterministic gathering of all of them is f+1 (resp. f+2). However, for both these scenarios, all the existing deterministic algorithms, whether or not they are optimal in terms of required number of good agents, have the major disadvantage of having a time complexity that is exponential in n and L, where L is the value of the largest label belonging to a good agent. In this paper, we seek to design a deterministic solution for Byzantine gathering that makes a concession on the proportion of Byzantine agents within the team, but that offers a significantly lower complexity. We also seek to use a global knowledge whose the length of the binary representation (that we also call size) is small. In this respect, assuming that the agents are in a strong team i.e., a team in which the number of good agents is at least some prescribed value that is quadratic in f, we give positive and negative results. On the positive side, we show an algorithm that solves Byzantine gathering with all strong teams in all graphs of size at most n, for any integers n and f, in a time polynomial in n and the length |l_{min}| of the binary representation of the smallest label of a good agent. The algorithm works using a global knowledge of size O(log log log n), which is of optimal order of magnitude in our context to reach a time complexity that is polynomial in n and |l_{min}|. Indeed, on the negative side, we show that there is no deterministic algorithm solving Byzantine gathering with all strong teams, in all graphs of size at most n, in a time polynomial in n and |l_{min}| and using a global knowledge of size o(log log log n).

This paper introduces the concept of upper detour monophonic domination number of a graph. For a connected graph G with vertex set V (G), a set M ⊆ V (G) is called minimal detour monophonic dominating set, if no proper subset of M is a detour monophonic dominating set. The maximum cardinality among all minimal monophonic dominating sets is called upper detour monophonic domination number and is denoted by γ+ dm (G). For any two positive integers p and q with 2 ≤ p ≤ q there is a connected graph G with γm (G) = γdm (G) = p and γ+ dm (G) = q. For any three positive integers p, q, r with 2 < p < q < r, there is a connected graph G with m(G) = p, γdm (G) = q and γ+ dm (G) = r. Let p and q be two positive integers with 2 < p < q such that γdm (G) = p and γ+ dm (G) = q. Then there is a minimal DMD set whose cardinality lies between p and q. Let p, q and r be any three positive integers with 2 ≤ p ≤ q ≤ r. Then, there exist a connected graph G such that γm (G)= p, γ+ dm (G) = q and |V (G)| = r.

Universal [formula omitted]-colorable graphs without a given configuration

The Unitary addition Cayley graph of Gaussian integers modulo n denoted by \(G_n[i]\) has a vertex set \(\mathbb {Z}_n[i]\). Any two vertices, \(x=a_1+ib_1\), \(y=a_2+ib_2\) of \(G_n[i]\), are adjacent if and only if \(gcd(N(x+y),n)=1\), where \(N(a+ib)=a^2+b^2\) is the norm of any element \(a+ib\) in \(\mathbb {Z}_n[i]\). First, we find two important results of unitary addition Cayley graph of Gaussian integers modulo n by considering \(\mathbb {Z}_n[i]\) and \(U_n[i]\) as the vertex set. Using the results, we obtain clique number, chromatic number of the graph \(G_n[i]\). Lastly, domination number of unitary addition Cayley graph of Gaussian integers modulo n is also found in this paper.KeywordsCayley graphGaussian integersClique numberDomination number

Given any permutation π of the set {1, 2, 3, …, n}, the permutation graph G π is classical. (If V = {1, 2, 3,…n}, then G π = (V, E) with V as vertex set and π(i) π(j) ϵ E if and only if i π(j)). We define another graph called balanced permutation graph, with the same vertex set {1, 2, 3,…, n} as G π , but with adjacency condition ij ϵ E if and only if i + j = π(i) + π(j). Some properties of balanced permutation graph are discussed in this paper.

Universal Graphs with Forbidden Subgraphs and Algebraic Closure

Let 𝑋 be a set and (𝑋,𝑇) be a topological space. A new type of graph on 𝑃(𝑋), namely the closure graph of 𝑇 is introduced. The closure graph denoted by &lt;em&gt;Γ&lt;sup&gt;c&lt;/sup&gt;&lt;/em&gt; whose vertex set is 𝑃(𝑋) in which two distinct vertices 𝐴 and 𝐵 are adjacent if &lt;em&gt;A&lt;/em&gt;'∩&lt;em&gt;B&lt;/em&gt;' ⊆ (&lt;em&gt;A&lt;/em&gt;∩&lt;em&gt;B&lt;/em&gt;)'. In this paper, the closure graph is shown as a simple, connected graph with diameter at most two. Furthermore, the girth of the closure graph &lt;em&gt;Γ&lt;sup&gt;c&lt;/sup&gt;&lt;/em&gt;of 𝑇 is three if 𝑋 contains more than one point. Also, several graph properties are studied.

Let k be a positive integer, and let G be a simple graph with vertex set V (G). A Roman k-dominating function on G is a function f : V (G) <TEX>$\rightarrow$</TEX> {0, 1, 2} such that every vertex u for which f(u) = 0 is adjacent to at least k vertices <TEX>$\upsilon_1,\;\upsilon_2,\;{\ldots},\;\upsilon_k$</TEX> with <TEX>$f(\upsilon_i)$</TEX> = 2 for i = 1, 2, <TEX>$\ldot$</TEX>, k. The weight of a Roman k-dominating function is the value f(V (G)) = <TEX>$\sum_{u{\in}v(G)}$</TEX> f(u). The minimum weight of a Roman k-dominating function on a graph G is called the Roman k-domination number <TEX>${\gamma}_{kR}$</TEX>(G) of G. Note that the Roman 1-domination number <TEX>$\gamma_{1R}$</TEX>(G) is the usual Roman domination number <TEX>$\gamma_R$</TEX>(G). In this paper, we investigate the properties of the Roman k-domination number. Some of our results extend these one given by Cockayne, Dreyer Jr., S. M. Hedetniemi, and S. T. Hedetniemi [2] in 2004 for the Roman domination number.

For fixed integers r,l >= 0, a graph G is called an (r,l)-graph if the vertex set V(G) can be partitioned into r independent sets and l cliques. Such a graph is also said to have cochromatic number r+l. The class of (r,l) graphs generalizes r-colourable graphs (when l=0) and hence not surprisingly, determining whether a given graph is an (r,l)-graph is NP-hard even when r >= 3 or l >= 3 in general graphs. When r and ell are part of the input, then the recognition problem is NP-hard even if the input graph is a perfect graph (where the Chromatic Number problem is solvable in polynomial time). It is also known to be fixed-parameter tractable (FPT) on perfect graphs when parameterized by r and l. I.e. there is an f(r+l) n^O(1) algorithm on perfect graphs on n vertices where f is a function of r and l. Observe that such an algorithm is unlikely on general graphs as the problem is NP-hard even for constant r and l. In this paper, we consider the parameterized complexity of the following problem, which we call Vertex Partization. Given a perfect graph G and positive integers r,l,k decide whether there exists a set S subset or equal to V(G) of size at most k such that the deletion of S from G results in an (r,l)-graph. This problem generalizes well studied problems such as Vertex Cover (when r=1 and l=0), Odd Cycle Transversal (when r=2, l=0) and Split Vertex Deletion (when r=1=l). 1. Vertex Partization on perfect graphs is FPT when parameterized by k+r+l. 2. The problem, when parameterized by k+r+l, does not admit any polynomial sized kernel, under standard complexity theoretic assumptions. In other words, in polynomial time, the input graph cannot be compressed to an equivalent instance of size polynomial in k+r+l. In fact, our result holds even when k=0. 3. When r,ell are universal constants, then Vertex Partization on perfect graphs, parameterized by k, has a polynomial sized kernel.

A (p,1)- total labeling of G is an assignment of integers to V(G)∪E(G) such that any two adjacent vertices of G receive distinct integers, any two adjacent edges of G receive distinct integers, and a vertex and its incident edge receive integers that differ by at least p in absolute value. The span of a (p,1)-total labeling is the maximum difference between two labels. The minimum span of a (p,1)-total labeling of G is called the (p,1)-total number and denoted by λ^T_P(G). Let n and k be two positive integers. The graph with vertex sets {u(1),...,u(n)} and {v(1),...,v(n)} and edge sets {u(i)u(i+1)|i=1,2,...,n},{u(i)v(i)|i=1,2,...,n} and {v(i)v(i+k)|i=1,2,...,n;k<n}, where addition is modulo n is called generalized Petersen graph and denoted by P(n,k). In this thesis, we mainly focus on the (2,1)-total labeling of the generalized Petersen graph, and we show that for each pair of positive integer n and k, 1<=n, if n≡0(mod 5) and k≠0(mod 5), then λ^T_2(P(n,k))=5. Moreover, we also prove that λ^T_2(P(n,5))=5 if n≡0(mod 25).

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/).