Normal 6-edge-colorings of some bridgeless cubic graphs

In an edge-coloring of a cubic graph, an edge is poor or rich, if the set of colors assigned to the edge and the four edges adjacent it, has exactly five or exactly three distinct colors, respectively. An edge is normal in an edge-coloring if it is rich or poor in this coloring. A normal $k$-edge-coloring of a cubic graph is an edge-coloring with $k$ colors such that each edge of the graph is normal. We denote by $\chi'_{N}(G)$ the smallest $k$, for which $G$ admits a normal $k$-edge-coloring. Normal edge-colorings were introduced by Jaeger in order to study his well-known Petersen Coloring Conjecture. It is known that proving $\chi'_{N}(G)\leq 5$ for every bridgeless cubic graph is equivalent to proving Petersen Coloring Conjecture. Moreover, Jaeger was able to show that it implies classical conjectures like Cycle Double Cover Conjecture and Berge-Fulkerson Conjecture. Recently, two of the authors were able to show that any simple cubic graph admits a normal $7$-edge-coloring, and this result is best possible. In the present paper, we show that any claw-free bridgeless cubic graph, permutation snark, tree-like snark admits a normal $6$-edge-coloring. Finally, we show that any bridgeless cubic graph $G$ admits a $6$-edge-coloring such that at least $\frac{7}{9}\cdot |E|$ edges of $G$ are normal.Comment: 17 pages, 11 figures. arXiv admin note: text overlap with arXiv:1804.0944

Influence Diffusion in Social Networks under Time Window Constraints

We study a combinatorial model of the spread of influence in networks that generalizes existing schemata recently proposed in the literature. In our model, agents change behaviors/opinions on the basis of information collected from their neighbors in a time interval of bounded size whereas agents are assumed to have unbounded memory in previously studied scenarios. In our mathematical framework, one is given a network $G=(V,E)$, an integer value $t(v)$ for each node $v\in V$, and a time window size $\lambda$. The goal is to determine a small set of nodes (target set) that influences the whole graph. The spread of influence proceeds in rounds as follows: initially all nodes in the target set are influenced; subsequently, in each round, any uninfluenced node $v$ becomes influenced if the number of its neighbors that have been influenced in the previous $\lambda$ rounds is greater than or equal to $t(v)$. We prove that the problem of finding a minimum cardinality target set that influences the whole network $G$ is hard to approximate within a polylogarithmic factor. On the positive side, we design exact polynomial time algorithms for paths, rings, trees, and complete graphs.Comment: An extended abstract of a preliminary version of this paper appeared in: Proceedings of 20th International Colloquium on Structural Information and Communication Complexity (Sirocco 2013), Lectures Notes in Computer Science vol. 8179, T. Moscibroda and A.A. Rescigno (Eds.), pp. 141-152, 201

Colourings of cubic graphs inducing isomorphic monochromatic subgraphs

A $k$-bisection of a bridgeless cubic graph $G$ is a $2$-colouring of its vertex set such that the colour classes have the same cardinality and all connected components in the two subgraphs induced by the colour classes (monochromatic components in what follows) have order at most $k$. Ban and Linial conjectured that every bridgeless cubic graph admits a $2$-bisection except for the Petersen graph. A similar problem for the edge set of cubic graphs has been studied: Wormald conjectured that every cubic graph $G$ with $|E(G)| \equiv 0 \pmod 2$ has a $2$-edge colouring such that the two monochromatic subgraphs are isomorphic linear forests (i.e. a forest whose components are paths). Finally, Ando conjectured that every cubic graph admits a bisection such that the two induced monochromatic subgraphs are isomorphic. In this paper, we give a detailed insight into the conjectures of Ban-Linial and Wormald and provide evidence of a strong relation of both of them with Ando's conjecture. Furthermore, we also give computational and theoretical evidence in their support. As a result, we pose some open problems stronger than the above mentioned conjectures. Moreover, we prove Ban-Linial's conjecture for cubic cycle permutation graphs. As a by-product of studying $2$-edge colourings of cubic graphs having linear forests as monochromatic components, we also give a negative answer to a problem posed by Jackson and Wormald about certain decompositions of cubic graphs into linear forests.Comment: 33 pages; submitted for publicatio

Mode Vertices and Mode Graphs.

The eccentricity of a vertex, v, of a connected graph, G, is the distance to a furthest vertex from v. A mode vertex of a connected graph, G, is a vertex whose eccentricity occurs as often in the eccentricity sequence of G as the eccentricity of any other vertex. The mode of a graph, G, is the subgraph induced by the mode vertices of G. A mode graph is a connected graph for which each vertex is a mode vertex. Note that mode graphs are a generalization of self-centered graphs. This paper presents some results based on these definitions

Influence Diffusion in Social Networks under Time Window Constraints

We study a combinatorial model of the spread of influence in networks that generalizes existing schemata recently proposed in the literature. In our model, agents change behaviours/opinions on the basis of information collected from their neighbours in a time interval of bounded size whereas agents are assumed to have unbounded memory in previously studied scenarios. In our mathematical framework, one is given a network G = (V , E), an integer value t(v) for each node v ∈ V , and a time window size λ. The goal is to determine a small set of nodes (target set) that influences the whole graph. The spread of influence proceeds in rounds as follows: initially all nodes in the target set are influenced; subsequently, in each round, any uninfluenced node v becomes influenced if the number of its neighbours that have been influenced in the previous λ rounds is greater than or equal to t(v). We prove that the problem of finding a minimum cardinality target set that influences the whole network G is hard to approximate within a polylogarithmic factor. On the positive side, we design exact polynomial time algorithms for paths, rings, and tree

On Generalizations of Supereulerian Graphs

A graph is supereulerian if it has a spanning closed trail. Pulleyblank in 1979 showed that determining whether a graph is supereulerian, even when restricted to planar graphs, is NP-complete. Let $\kappa\u27(G)$ and $\delta(G)$ be the edge-connectivity and the minimum degree of a graph $G$, respectively. For integers $s \ge 0$ and $t \ge 0$, a graph $G$ is $(s,t)$-supereulerian if for any disjoint edge sets $X, Y \subseteq E(G)$ with $|X|\le s$ and $|Y|\le t$, $G$ has a spanning closed trail that contains $X$ and avoids $Y$. This dissertation is devoted to providing some results on $(s,t)$-supereulerian graphs and supereulerian hypergraphs. In Chapter 2, we determine the value of the smallest integer $j(s,t)$ such that every $j(s,t)$-edge-connected graph is $(s,t)$-supereulerian as follows: j(s,t) = \left\{ \begin{array}{ll} \max\{4, t + 2\} & \mbox{ if $0 \le s \le 1$, or $(s,t) \in \{(2,0), (2,1), (3,0),(4,0)\}$,} \\ 5 & \mbox{ if $(s,t) \in \{(2,2), (3,1)\}$,} \\ s + t + \frac{1 - (-1)^s}{2} & \mbox{ if $s \ge 2$ and $s+t \ge 5$. } \end{array} \right. As applications, we characterize $(s,t)$-supereulerian graphs when $t \ge 3$ in terms of edge-connectivities, and show that when $t \ge 3$, $(s,t)$-supereulerianicity is polynomially determinable. In Chapter 3, for a subset $Y \subseteq E(G)$ with $|Y|\le \kappa\u27(G)-1$, a necessary and sufficient condition for $G-Y$ to be a contractible configuration for supereulerianicity is obtained. We also characterize the $(s,t)$-supereulerianicity of $G$ when $s+t\le \kappa\u27(G)$. These results are applied to show that if $G$ is $(s,t)$-supereulerian with $\kappa\u27(G)=\delta(G)\ge 3$, then for any permutation $\alpha$ on the vertex set $V(G)$, the permutation graph $\alpha(G)$ is $(s,t)$-supereulerian if and only if $s+t\le \kappa\u27(G)$. For a non-negative integer $s\le |V(G)|-3$, a graph $G$ is $s$-Hamiltonian if the removal of any $k\le s$ vertices results in a Hamiltonian graph. Let $i_{s,t}(G)$ and $h_s(G)$ denote the smallest integer $i$ such that the iterated line graph $L^{i}(G)$ is $(s,t)$-supereulerian and $s$-Hamiltonian, respectively. In Chapter 4, for a simple graph $G$, we establish upper bounds for $i_{s,t}(G)$ and $h_s(G)$. Specifically, the upper bound for the $s$-Hamiltonian index $h_s(G)$ sharpens the result obtained by Zhang et al. in [Discrete Math., 308 (2008) 4779-4785]. Harary and Nash-Williams in 1968 proved that the line graph of a graph $G$ is Hamiltonian if and only if $G$ has a dominating closed trail, Jaeger in 1979 showed that every 4-edge-connected graph is supereulerian, and Catlin in 1988 proved that every graph with two edge-disjoint spanning trees is a contractible configuration for supereulerianicity. In Chapter 5, utilizing the notion of partition-connectedness of hypergraphs introduced by Frank, Kir\\u27aly and Kriesell in 2003, we generalize the above-mentioned results of Harary and Nash-Williams, of Jaeger and of Catlin to hypergraphs by characterizing hypergraphs whose line graphs are Hamiltonian, and showing that every 2-partition-connected hypergraph is a contractible configuration for supereulerianicity. Applying the adjacency matrix of a hypergraph $H$ defined by Rodr\\u27iguez in 2002, let $\lambda_2(H)$ be the second largest adjacency eigenvalue of $H$. In Chapter 6, we prove that for an integer $k$ and a $r$-uniform hypergraph $H$ of order $n$ with $r\ge 4$ even, the minimum degree $\delta\ge k\ge 2$ and $k\neq r+2$, if $\lambda_2(H)\le (r-1)\delta-\frac{r^2(k-1)n}{4(r+1)(n-r-1)}$, then $H$ is $k$-edge-connected. %$\kappa\u27(H)\ge k$. Some discussions are displayed in the last chapter. We extend the well-known Thomassen Conjecture that every 4-connected line graph is Hamiltonian to hypergraphs. The $(s,t)$-supereulerianicity of hypergraphs is another interesting topic to be investigated in the future