Let \( k \) be a positive integer and \( G = (V, E) \) be a graph of minimum degree at least \( k – 1 \). A function \( f: V \to \{-1, 1\} \) is called a \({signed \; k -dominating\; function}\) of \( G \) if \( \sum_{u \in N_G[v]} f(u) \geq k \) for all \( v \in V \). The \({signed \; k -domination \;number}\) of \( G \) is the minimum value of \( \sum_{v \in V} f(v) \) taken over all signed \( k \)-dominating functions of \( G \). The \({signed \;total \; k-dominating \;function}\) and \({signed\; total \; k -domination\; number}\) of \( G \) can be similarly defined by changing the closed neighborhood \( N_G[v] \) to the open neighborhood \( N_G(v) \) in the definition. The upper \({signed \; k -domination \;number}\) is the maximum value of \( \sum_{u \in V} f(u) \) taken over all \({minimal}\) signed \( k \)-dominating functions of \( G \). In this paper, we study these graph parameters from both algorithmic complexity and graph-theoretic perspectives. We prove that for every fixed \( k \geq 1 \), the problems of computing these three parameters are all \( \mathcal{NP} \)-hard. We also present sharp lower bounds on the signed \( k \)-domination number and signed total \( k \)-domination number for general graphs in terms of their minimum and maximum degrees, generalizing several known results about signed domination.

In this paper, we study a pair of simplicial complexes, which we denote by \( \mathcal{B}(k,d) \) and \( \mathcal{ST}(k+1,d-k-1) \), for all nonnegative integers \( k \) and \( d \) with \( 0 \leq k \leq d-2 \). We conjecture that their underlying topological spaces \( |\mathcal{B}(k,d)| \) and \( |\mathcal{ST}(k+1,d-k-1)| \) are homeomorphic for all such \( k \) and \( d \). We answer this question when \( k = d-2 \) by relating the complexes through a series of well-studied combinatorial operations that transform a combinatorial manifold while preserving its PL-homeomorphism type.

Let \( D = (V,A) \) be a finite and simple digraph. A Roman dominating function (RDF) on \( D \) is a labeling \( f: V(D) \to \{0,1,2\} \) such that every vertex \( v \) with label \( 0 \) has a vertex \( w \) with label \( 2 \) such that \( wv \) is an arc in \( D \). The weight of an RDF \( f \) is the value \( \omega(f) = \sum_{v \in V} f(v) \). The Roman domination number of a digraph \( D \), denoted by \( \gamma_R(D) \), equals the minimum weight of an RDF on \( D \). The Roman reinforcement number \( r_R(D) \) of a digraph \( D \) is the minimum number of arcs that must be added to \( D \) in order to decrease the Roman domination number. In this paper, we initiate the study of Roman reinforcement number in digraphs and we present some sharp bounds for \( r_R(D) \). In particular, we determine the Roman reinforcement number of some classes of digraphs.

In this paper, some formulae for computing the numbers of spanning trees of the corona and the join of graphs are deduced.

Partially filled \(6 \times 6\) Sudoku grids are categorized based on the arrangement of the values in the first three rows. This categorization is then employed to determine the number of \(6 \times 6\) Sudoku grids.

Stankova and West proved in 2002 that the patterns \( 231 \) and \( 312 \) are shape-Wilf-equivalent. Their proof was nonbijective. We give a new characterization of \( 231 \) and \( 312 \) avoiding full rook placements and use this to give a simple bijection that demonstrates the shape-Wilf-equivalence.

In this paper, we give a complete solution to the existence of lattice group divisible \(3\)-designs with block sizes four and six.

Let \( R \) be a commutative ring with identity and \( \mathbb{A}^*(R) \) be the set of non-zero ideals with non-zero annihilators. The annihilating-ideal graph of \( R \) is defined as the graph \( \mathbb{AG}(R) \) with the vertex set \( \mathbb{A}^*(R) \) and two distinct vertices \( I_1 \) and \( I_2 \) are adjacent if and only if \( I_1 I_2 = (0) \). In this paper, we study some connections between the graph-theoretic properties of \( \mathbb{AG}(R) \) and algebraic properties of the commutative ring \( R \).

Let \( A_n = (a_1, a_2, \ldots, a_n) \) and \( B_n = (b_1, b_2, \ldots, b_n) \) be two sequences of nonnegative integers satisfying \( a_1 \geq a_2 \geq \cdots \geq a_n \), \( a_i \leq b_i \) for \( i = 1,2,\ldots,n \), and \( a_i = a_{i+1} \) implies that \( b_i \geq b_{i+1} \) for \( i = 1,2,\ldots,n-1 \). Let \( I \) be a subset of \( \{1,2,\ldots,n\} \) and \( a_i \equiv b_i \pmod{2} \) for each \( i \in I \). \( (A_n; B_n) \) is said to be partial parity graphic with respect to \( I \) if there exists a simple graph \( G \) with vertices \( v_1, v_2, \ldots, v_n \), such that \( a_i \leq d_G(v_i) \leq b_i \) for \( i = 1,2,\ldots,n \) and \( d_G(v_i) \equiv b_i \pmod{2} \) for each \( i \in I \). In this paper, we give a characterization for \( (A_n; B_n) \) to be partial parity graphic. This is a variation of the partial parity \( (g, f) \)-factor theorem due to Kano and Matsuda in degree sequences.