We give a decomposition formula for the edge zeta function of a regular covering \(\overrightarrow{G}\) of a graph \(G\). Furthermore, we present a determinant expression for some \(Z\)-function of an oriented line graph \(\overrightarrow{L}(G)\) of \(G\). As a corollary, we obtain a factorization formula for the edge zeta function of \(\overrightarrow{G}\) by \(L\)-functions of \(\overrightarrow{L}(G)\).

A hamiltonian graph \(G\) is panpositionable if for any two different vertices \(x\) and \(y\) of \(G\) and any integer \(k\) with \(d_G(x,y) \leq k \leq |V(G)|/2\), there exists a hamiltonian cycle \(C\) of \(G\) with \(d_C(x,y) = k\). A bipartite hamiltonian graph \(G\) is bipanpositionable if for any two different vertices \(x\) and \(y\) of \(G\) and for any integer \(k\) with \(d_G(x,y) \leq k \leq |V(G)|/2\) and \((k – d_G(x,y))\) is even, there exists a hamiltonian cycle \(C\) of \(G\) such that \(d_C(x,y) = k\). In this paper, we prove that the hypercube \(Q_n\) is bipanpositionable hamiltonian if and only if \(n \geq 2\). The recursive circulant graph \(G(n;1,3)\) is bipanpositionable hamiltonian if and only if \(n \geq 6\) and \(n\) is even; \(G(n; 1,2)\) is panpositionable hamiltonian if and only if \(n \in \{5,6,7,8,9, 11\}\), and \(G(n; 1, 2,3)\) is panpositionable hamiltonian if and only if \(n \geq 5\).

The lower domination number of a digraph \(D\), denoted by \(\gamma(D)\), is the least number of vertices in a set \(S\), such that \(O[S] = V(D)\). A set \(S\) is irredundant if for all \(x \in S\), \(|O[x] – O[S – x]| \geq 1\). The lower irredundance number of a digraph, denoted \(ir(D)\), is the least number of vertices in a maximal irredundant set. A Gallai-type theorem has the form \(x(G) + y(G) = n\), where \(x\) and \(y\) are parameters defined on \(G\), and \(n\) is the number of vertices in the graph. We characterize directed trees satisfying \(\gamma(D) + \Delta_+(D) = n\) and directed trees satisfying \(ir(D) + \Delta_+(D) = n\).

We introduce a new concept of strong domination and connected strong domination in hypergraphs. The relationships between strong domination number and other hypergraph parameters like domination, independence, strong independence and irredundant numbers of hypergraphs are considered. There are also some chains of inequalities generalizing the famous Cockayne, Hedetniemi and Miller chain for parameters of graphs. There are given some generalizations of well known theorems for graphs, namely Gallai type theorem generalizing Nieminen, Hedetniemi and Laskar theorems.

The vertex linear arboricity \(vla(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 a subgraph whose connected components are paths. In this paper, we seek to convert vertex linear arboricity into its fractional analogues, i.e., the fractional vertex linear arboricity of graphs. Let \(\mathbb{Z}_n\) denote the additive group of integers modulo \(n\). Suppose that \(C \subseteq \mathbb{Z}_n \backslash 0\) has the additional property that it is closed under additive inverse, that is, \(-c \in C\) if and only if \(c \in C\). A circulant graph is the graph \(G(\mathbb{Z}_n, C)\) with the vertex set \(\mathbb{Z}_n\) and \(i, j\) are adjacent if and only if \(i – j \in C\). The fractional vertex linear arboricity of the complete \(n\)-partite graph, the cycle \(C_n\), the integer distance graph \(G(D)\) for \(D = \{1, 2, \ldots, m\}\), \(D = \{2, 3, \ldots, m\}\) and \(D = P\) the set of all prime numbers, the Petersen graph and the circulant graph \(G(\mathbb{Z}_a, C)\) with \(C = \{-a + b, \ldots, -b, b, \ldots, a – b\}\) (\(a – 2b \geq b – 3 \geq 3\)) are determined, and an upper and a lower bounds of the fractional vertex linear arboricity of Mycielski graph are obtained.

Deciding whether a graph can be partitioned into \(k\) vertex-disjoint paths is a well-known NP-complete problem. In this paper, we give new sufficient conditions for a bipartite graph to be partitionable into \(k\) vertex-disjoint paths. We prove the following results for a simple bipartite graph \(G = (V_1, V_2, E)\) of order \(n\):(i) For any positive integer \(k\), if \(\|V_1| – |V_2\| \leq k\) and \(d_G(x) + d_G(y) \geq \frac{n-k+1}{2}\) for every pair \(x \in V_1\) and \(y \in V_2\) of nonadjacent vertices of \(G\), then \(G\) can be partitioned into \(k\) vertex-disjoint paths, unless \(k = 1\), \(|V_1| = |V_2| = \frac{n}{2}\) and \(G = K_{s,s} \cup K_{\frac{n}{2} – s, \frac{n}{2} – s} \cup K_{2, 2}\), where \(1 \leq k \leq \frac{n}{2} – 1\);(ii) For any two positive integers \(p_1\) and \(p_2\) satisfying \(n = p_1 + p_2\), if \(G\) does not belong to some easily recognizable classes of exceptional graphs, \(\|V_1| – |V_2\| \leq 2\) and \(d_G(x) + d_G(y) = \frac{n-1}{2}\) for every pair \(x \in V_1\) and \(y \in V_2\) of nonadjacent vertices of \(G\), then \(G\) can be partitioned into two vertex-disjoint paths \(P_{1}\) and \(P_{2}\) of order \(p_1\) and \(p_2\), respectively.These results also lead to new sufficient conditions for the existence of a Hamilton path in a bipartite graph.

In this paper we compute the chirality group, the chirality index and the smallest regular coverings of the chiral Coxeter maps, the toroidal orientably regular maps described in Coxeter and Moser monograph [H.S.M.Coxeter and W.O.J.Moser,Generation and Relations Discrete Group(4th ed.),Springer-varlag,Berlin,1984]. We also compute the greatest regular maps covered by chiral Coxeter maps.

We observe that a lobster with diameter at least five has a unique path \(x_0, x_1, \ldots, x_{m}\) (called the central path) such that \(x_p\) and \(x_m\) are adjacent to the centers of at least one \(K_{1,s}\), \(s > 0\), and besides adjacencies in the central path each \(x_i\), \(1 \leq i \leq m-1\), is at most adjacent to the centers of some \(K_{1,s}\), \(s \geq 0\). In this paper we give graceful labelings to some new classes of lobsters with diameter at least five, in which the degree of the vertex \(x_m\) is odd and the degree of each of the remaining vertices on the central path is even. The main idea used to obtain these graceful lobsters is to form a diameter four tree \(T(L)\) from a lobster \(L\) of certain type, give a graceful labeling to \(T(L)\) and finally get a graceful labeling of \(L\) by applying component moving and inverse transformations.

A graph \(G = (V, E)\) is said to be super edge-magic if there exists a one-to-one correspondence \(A\) from \(V \cup E\) onto \(\{1, 2, 3, \ldots, |V| + |E|\}\) such that \(\lambda(V) = \{1, 2, \ldots, |V|\}\) and \(\lambda(x) + \lambda(xy) + \lambda(y)\) is constant for every edge \(xy\).In this paper, given a positive integer \(k\) (\(k \geq 6\)), we use the partitions of \(k\) having three distinct parts to construct infinitely many super edge-magic graphs without isolated vertices with edge magic number \(k\). Especially, we use this method to find graphs with the maximum number of edges among the super edge-magic graphs with \(v\) vertices. In addition, we investigate whether or not some interesting families of graphs are super edge-magic.

A vertex \(w\) in a di(graph) \(G\) is said to resolve a pair \(u, v\) of vertices of \(G\) if the distance from \(u\) to \(w\) does not equal the distance from \(v\) to \(w\). A set \(S\) of vertices of \(G\) is a resolving set for \(G\) if every pair of vertices of \(G\) is resolved by some vertex of \(S\). The smallest cardinality of a resolving set for \(G\), denoted by \(dim(G)\), is called the metric dimension for \(G\).

We show that if \(G\) is the Cayley digraph \(Cay(\Delta : \Gamma)\) where \(\Delta = \{ (1, 0, 0), (0, 1, 0), (0, 0, 1) \}\) and \(\Gamma =\mathbb{Z}_m \oplus \mathbb{Z}_n \oplus \mathbb{Z}_k\) with \(m \leq n \leq k\), then \(dim(G) = n\) if \(m < n\) and improve known upper bounds if \(m = n\). We use these results to establish improved upper bounds for the metric dimension of Cayley digraphs of abelian groups that are expressed as a direct product of four or more cyclic groups. Lower bounds for Cayley digraphs of groups that are multiple copies of \(\mathbb{Z}_n\) are established.