Next Article in Journal
Blockchain for Mass Customization: The Value of Information Sharing Through Data Accuracy by Contract Coordination
Previous Article in Journal
Ribbonness of a Stable-Ribbon Surface-Link, II: General Case
Previous Article in Special Issue
On Bridge Graphs with Local Antimagic Chromatic Number 3
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Exploring Dominating Functions and Their Complexity in Subclasses of Weighted Chordal Graphs and Bipartite Graphs

by
Chuan-Min Lee
Department of Applied Artificial Intelligence, Ming Chuan University, 5 De Ming Road, Guishan District, Taoyuan City 333, Taiwan
Mathematics 2025, 13(3), 403; https://doi.org/10.3390/math13030403
Submission received: 25 November 2024 / Revised: 8 January 2025 / Accepted: 24 January 2025 / Published: 25 January 2025
(This article belongs to the Special Issue Advances in Graph Theory: Algorithms and Applications)

Abstract

:
Domination problems are fundamental problems in graph theory with diverse applications in optimization, network design, and computational complexity. This paper investigates { k } -domination, k-tuple domination, and their total domination variants in weighted strongly chordal graphs and chordal bipartite graphs. Specifically, the { k } -domination problem in weighted strongly chordal graphs and the total { k } -domination problem in weighted chordal bipartite graphs are shown to be solvable in O ( n + m ) time. For weighted proper interval graphs and convex bipartite graphs, we solve the k-tuple domination and total k-tuple domination problems in O ( n 2.371552 log 2 ( n ) log ( n / δ ) ) , where δ is the desired accuracy. Furthermore, for weighted unit interval graphs, the k-tuple domination problem achieves a significant complexity improvement, reduced from O ( n k + 2 ) to O ( n 2.371552 log 2 ( n ) log ( n / δ ) ) . These results are achieved through a combination of linear and integer programming techniques, complemented by totally balanced matrices, totally unimodular matrices, and graph-specific matrix representations such as neighborhood and closed neighborhood matrices.

1. Introduction

Domination is a fundamental concept in graph theory and is widely regarded as a critical graph optimization problem. Over the years, it has attracted significant attention due to its diverse applications in network design, resource optimization, social network analysis, and computational complexity. Its importance was first notably recognized in 1990, when a special issue of Discrete Mathematics was dedicated entirely to this topic [1]. By 1998, more than 1200 papers had been published on domination and its variants, which led to the release of two seminal books on the subject [2,3]. Since then, the field has experienced rapid growth, with over 5000 papers exploring various types of domination in graphs. Three additional books [4,5,6] have been published in recent years to capture the latest advancements in domination theory. Among these variants, total domination has gained particular prominence and has become a well-researched problem, as outlined in [7].

1.1. Current Research Directions

An active area of current research focuses on { k } -domination and total { k } -domination. Domination and total domination are special cases when k = 1 . Extensive studies on these problems have revealed insights into computational complexity and solution techniques [8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26]. For instance, { k } -domination is polynomial-time solvable for strongly chordal graphs, but remains NP-complete for chordal bipartite graphs [8]. Similarly, total { k } -domination is solvable in polynomial time for chordal bipartite graphs [9] but NP-complete for bipartite planar graphs [10]. From an approximation perspective, both problems can be approximated within a factor of ln n in polynomial time, where n is the number of vertices in the graph [11].
Beyond { k } -domination, the k-tuple domination and total k-tuple domination problems have also garnered attention. While polynomial-time solutions exist for specific graph families, such as trees, strongly chordal graphs, interval graphs, P 4 -lite graphs, and web graphs [27,28,29,30,31], the problems remain NP-complete for others, such as chordal and planar graphs [12,28]. The k-tuple total domination problem can be solved in O ( n 3 k ) time for weighed proper interval graphs [32]. Furthermore, for  k < 4 , the running time of O ( n 3 k ) can be improved to be O ( n 2 k + 4 ) . For weighted unit interval graphs, the k-tuple and total k-tuple domination problems can be solved in O ( n k + 2 ) and O ( n k + 3 ) time [33], respectively. The dichotomy between tractable and intractable cases has also been a focus of study in [34,35,36,37,38,39,40,41]. It is worth noting that Roman domination is closely related to { k } -domination and k-tuple domination. Several research papers have been conducted on variations of this problem in weighted graphs, such as the (independent) ( a , b ) -Roman domination problem for weighted chordal and strongly chordal graphs [42], and double Roman domination for trees and general graphs [43].

1.2. Research Gap and Motivation

Despite significant advancements, most studies on (total) { k } -domination and (total) k-tuple domination have primarily focused on unweighted graphs. In contrast, much less attention has been given to these problems in weighted graphs, even though weighted graphs are widely used in real-world systems to model varying costs, capacities, or priorities. This gap underscores a key motivation for our research: exploring these domination problems in weighted graphs offers significant opportunities for both theoretical advancements and practical applications.
For instance, similar to the discussion in [43], these domination problems are highly relevant to practical resource allocation, where costs or resource availability may vary by location. Unlike standard unweighted domination problems, which assume uniform costs across all vertices, our study emphasizes minimizing actual costs rather than merely the number of resources. This approach better reflects real-world scenarios where the expenses of providing services or resources can differ significantly due to factors such as geographic disparities or operational constraints.
To address this motivation and bridge the identified gap, we focus on the { k } -domination and total { k } -tuple domination problems for weighted strongly chordal graphs and chordal bipartite graphs. We also investigate k-tuple domination and total k-tuple domination for weighted proper interval graphs and weighted convex bipartite graphs.

1.3. Scope of Study

Strongly chordal graphs and chordal bipartite graphs are well-studied classes that include several important subclasses, such as trees, proper interval graphs, convex bipartite graphs, and bipartite permutation graphs [44]. These classes are characterized by specific vertex ordering constraints, which facilitate various computational operations. Employing these properties, we aim to develop efficient algorithms for solving domination problems on weighted graphs.
Most existing research on domination in weighted graphs assigns weights to vertices, with each vertex’s weight representing attributes, like importance, cost, or influence, that directly impact domination parameters. Following this convention, this paper focuses exclusively on vertex-weighted graphs, and the term “weighted graph” refers specifically to this context.

1.4. Contributions

This paper presents the following contributions.
1.
{k}-Domination for Weighted Strongly Chordal Graphs (Section 3): We demonstrate that the { k } -domination problem in weighted strongly chordal graphs can be solved in O ( n + m ) time, where n and m denote the number of vertices and edges, respectively. This result is achieved by refining Hoffman et al.’s method [45] and leveraging properties of adjacency lists and totally balanced matrices.
2.
Total {k}-Domination for Weighted Chordal Bipartite Graphs (Section 4): Building on structural similarities between chordal bipartite graphs and strongly chordal graphs, we extend the refined framework to solve the total { k } -domination problem in O ( n + m ) time for weighted chordal bipartite graphs.
3.
k-Tuple Domination for Weighted Proper Interval Graphs (Section 5): Using linear and integer linear programming techniques, we solve the k-tuple domination problem for weighted proper interval graphs in O n 2.371552 log 2 ( n ) log ( n / δ ) time, where δ is the desired accuracy. Since a graph is a proper interval graph if and only if it is a unit interval graph [44], we reduce the complexity from O ( n k + 2 ) [33] to O n 2.371552 log 2 ( n ) log ( n δ ) .
4.
Total k-Tuple Domination for Weighted Convex Bipartite Graphs (Section 5): We achieve the same time complexity bound, O n 2.371552 log 2 ( n ) log ( n δ ) , for solving the total k-tuple domination problem in weighted convex bipartite graphs.
This study is purely theoretical and includes formal proofs of correctness and efficiency, enriching the understanding of domination problems in these graph classes.
Except for Section 1, Section 3, Section 4, and Section 5, the remainder of the paper is organized as follows:
  • Section 2: Preliminaries
    This section provides a foundation of essential concepts and definitions that underpin our research. We introduce and explore fundamental properties of strongly chordal graphs, chordal bipartite graphs, proper interval graphs, and convex bipartite graphs. To set the stage for our linear programming approach, we formally define (total) { k } -domination and (total) k-tuple domination. Additionally, we review matrix-theoretic tools, specifically adjacency matrices, totally balanced matrices, greedy matrices, and totally unimodular matrices, which play a critical role in our modeling framework.
  • Section 6: Conclusions
    The paper concludes by summarizing our findings, discussing the theoretical implications of our results, and proposing directions for future research that extends these domination techniques to other classes of weighted graphs.

2. Preliminaries

This paper integrates critical insights from multiple fields, including graph classes, linear algebra, graph theory, algorithms, and linear programming, each contributing indispensable tools and perspectives that enhance both the formulation and depth of our analysis. This section presents the fundamental concepts most pertinent to understanding the study’s objectives and methodology. For definitions, notations, additional concepts, or more comprehensive details not covered in this section, standard textbooks and monographs—such as Introduction to Algorithms [46], Theory of Linear and Integer Programming [47], Graph Theory [48], Introduction to Linear Algebra [49], and  Graph Classes: A Survey [44]—are recommended as supplementary resources.

2.1. Graphs and Their Representations

Each graph G = ( V , E ) in this paper is finite, undirected, and contains no multiple edges or self-loops, where V is the vertex set and E is the edge set of G. If the vertex and edge sets are not explicitly specified, they are denoted by V ( G ) and E ( G ) , respectively.
Two vertices u and v in a graph G are adjacent if they are connected with an edge, i.e.,  ( u , v ) E ( G ) , and are also called neighbors. The degree of a vertex v in G, denoted by d e g G ( v ) , is the number of neighbors of v. For any vertex v V ( G ) , the neighborhood of v in G, denoted by N G ( v ) , is the set of neighbors of v, so that | N G ( v ) | = d e g G ( v ) . A vertex u is a closed neighbor of v if either u N G ( v ) or u = v . The closed neighborhood of v, denoted by N G [ v ] , is the set of closed neighbors of v.
Let G = ( V , E ) and G = ( V , E ) be two graphs. If  V V and E E , then G is a subgraph of G. If  G is a subgraph of G, and  G contains all the edges ( u , v ) E with u , v V , then G is an induced subgraph; we say that G is induced by V and written as G [ V ] .
Graphs in this paper are represented using adjacency lists. The adjacency-list representation of a graph G = ( V , E ) consists of an array of | V | lists. Each vertex v V is associated with a list of all neighbors of v. Figure 1 provides an example of the adjacency-list representation for a graph G with four vertices and four edges.
This representation is efficient in terms of memory usage. The amount of memory required to store a graph in this representation is O ( n + m ) , where n and m represent the number of vertices and edges, respectively. Adjacency lists support efficient operations such as
  • Neighbor Access: Accessing all (closed) neighbors of a vertex v takes O ( d e g ( v ) + 1 ) time, as they are directly stored in a list. With each vertex maintaining its own neighbor list, this structure enables quick access to both neighbors and closed neighbors.
  • Traversal: Traversing all vertices and edges in the graph takes O ( n + m ) time. This efficiency is particularly advantageous in algorithms like Depth-First Search (DFS) and Breadth-First Search (BFS).

2.2. {k}-Domination and Total {k}-Domination in Weighted Graphs

A dominating set D of a graph G = ( V , E ) is a subset of V such that | N G [ v ] D | 1 for every v V , while a total dominating set D is a subset of V such that | N G ( v ) D | 1 for every v V . The domination number of G, denoted by γ ( G ) , is the minimum cardinality of a dominating set of G. The total domination number of G, denoted by γ t ( G ) , is the minimum cardinality of a total dominating set of G. The domination problem is to find a dominating set of G with the minimum cardinality, and the total domination problem is to find a total dominating set of G with the minimum cardinality.
Domination and total domination can be expressed in terms of functions. Let f : V { 0 , 1 } be a labeling function of a graph G = ( V , E ) . The function f is a dominating (respectively, total dominating) function of G if v N G [ v ] f ( v ) 1 (respectively, v N G ( v ) f ( v ) 1 ) for every v V . The labeling weight of f is defined as v V f ( v ) .
Clearly, the domination number γ ( G ) is the minimum labeling weight of a dominating function, i.e., 
γ ( G ) = min { v V f ( v ) f   is   a   dominating   function   of   G } .
Similarly, the total domination number γ t ( G ) is the minimum labeling weight of a total dominating function, i.e., 
γ t ( G ) = min v V f ( v ) f   is   a   total   dominating   function   of   G .
Definition 1. 
Let k be a fixed positive integer, and let f : V { 0 , 1 , , k } be a labeling function of a graph G = ( V , E ) . The function f is a { k } -dominating (respectively, total { k } -dominating) function of G if v N G [ v ] f ( v ) k (respectively, v N G ( v ) f ( v ) k ) for every v V . The labeling weight of f is defined as v V f ( v ) . The  { k } -domination problem is to find a { k } -dominating function of G with the minimum labeling weight, while the total { k } -domination problem is to find a total { k } -dominating function of G with the minimum labeling weight.
By Definition 1, domination and total domination correspond to { 1 } -domination and total { 1 } -domination, respectively.
We now introduce the concepts of { k } -domination and total { k } -domination for weighted graphs. As mentioned earlier in the introduction, this paper focuses exclusively on vertex-weighted graphs.
Definition 2. 
Let w : V R be a function that assigns a weight w ( v ) to each vertex v of a graph G = ( V , E ) . We refer to w as a vertex-weight function, and  ( G , w ) as a weighted graph.
Definition 3. 
The labeling weight of a { k } -dominating function or a total { k } -dominating function f of a weighted graph ( G , w ) is defined as v V ( G ) f ( v ) · w ( v ) . The { k } -domination problem for a weighted graph ( G , w ) is to find a { k } -dominating function of G with the minimum labeling weight, while the total { k } -domination problem is to find a total { k } -dominating function with the minimum labeling weight.
An unweighted graph H can be treated as a specific case of a weighted graph, where every vertex v V ( H ) has a weight w ( v ) = 1 . The primary difference in defining the { k } -domination problem for unweighted and weighted graphs lies in the calculation of the labeling weight.
  • In unweighted graphs, the labeling weight of a { k } -dominating function is simply the sum of the function values assigned to each vertex, i.e.,  v V f ( v ) , where each vertex has an implicit weight of 1.
  • In weighted graphs, each vertex is assigned a specific weight through a vertex-weight function w ( v ) . The labeling weight is then calculated as v V f ( v ) · w ( v ) , meaning that the contribution of each vertex to the total weight depends on both the value of the labeling function f ( v ) and the vertex’s weight w ( v ) .
This distinction also applies to the definitions of total { k } -domination on unweighted and weighted graphs. Therefore, the introduction of vertex weights in weighted graphs alters how the overall labeling weight is determined in both the { k } -domination and total { k } -domination problems.

2.3. k-Tuple Domination and Total k-Tuple Domination in Weighted Graphs

Let k be a fixed positive integer, and let f : V { 0 , 1 } be a labeling function for a graph G = ( V , E ) . The function f is a k-tuple dominating function of G if v N G [ v ] f ( v ) k for every v V . Similarly, f is a total k-tuple dominating function if v N G ( v ) f ( v ) k for every v V . The labeling weight of f is defined as v V f ( v ) .
The k-tuple domination problem aims to find a k-tuple dominating function of G with the minimum labeling weight. Similarly, the total k-tuple domination problem seeks a total k-tuple dominating function with the minimum labeling weight.
Domination and total domination correspond to 1-tuple domination and total 1-tuple domination, respectively.
The labeling weight of a k-tuple dominating function or a total k-tuple dominating function f of a weighted graph ( G , w ) is defined as v V ( G ) f ( v ) · w ( v ) . The k-tuple domination problem for a weighted graph ( G , w ) is to find a k-tuple dominating function with the minimum labeling weight. Similarly, the total k-tuple domination problem is to find a total k-tuple dominating function with the minimum labeling weight.

2.4. Strongly Chordal Graphs and Chordal Bipartite Graphs

A chord in a cycle of a graph is an edge that connects two non-consecutive vertices in the cycle. A chordal graph is a graph in which every cycle with four or more vertices has a chord. A perfect elimination ordering of a graph G = ( V , E ) is an ordering v 1 , v 2 , , v n of the vertices such that for any indices i < j < k , if  ( v i , v j ) E and ( v i , v k ) E , then ( v j , v k ) E . Rose [50] proved that a graph is chordal if and only if it admits a perfect elimination ordering. A strong elimination ordering  v 1 , v 2 , , v n of a graph G = ( V , E ) is a perfect elimination ordering such that for each i < j and k < , if  ( v i , v ) E , ( v i , v k ) E , and  ( v k , v j ) , then ( v , v j ) E . Farber [51] proved that a graph is a strongly chordal graph if and only if it admits a strong elimination ordering.
A bipartite graph is a graph G = ( X , Y , E ) in which the vertex set V ( G ) can be partitioned into two disjoint sets X and Y such that every edge in the graph connects a vertex in X to a vertex in Y, and no edge connects two vertices within the same set. In other words, there are no edges between vertices within X or within Y. Therefore, a bipartite graph does not have a cycle of an odd number of vertices. A chordal bipartite graph is a bipartite graph in which every cycle of more than four vertices contains a chord.
Let G = ( V , E ) be a graph, and let v 1 , v 2 , , v n be an ordering of V. Let G i be a subgraph of G induced by { v i , v i + 1 , , v n } . A weak elimination ordering of G is an ordering v 1 , v 2 , , v n such that for any indices i < j < k , if  v j , v k N G i ( v i ) , then N G i ( v j ) N G i ( v k ) . Uehara [52] showed that a graph is chordal bipartite if and only if it admits a weak elimination ordering.

2.5. Proper Interval Graphs and Convex Bipartite Graphs

A graph G = ( V , E ) is an interval graph if there exists an interval model on the real line such that each closed interval I v = [ a v , b v ] in the interval model corresponds to a vertex v V , and  two vertices u , v V are adjacent in G if and only if their corresponding intervals overlap, that is:
I u I v .
Figure 2 illustrates an interval graph G = ( V , E ) , which is constructed from an interval model on the real line.
An interval graph is called a proper interval graph if there exists an interval model for this interval graph such that for every pair of intervals [ a u , b u ] and [ a v , b v ] in the model, neither interval is strictly contained within the other, i.e., it is not true that a u a v and b v b u . A unit interval graph is a special type of interval graph where all the intervals associated with the vertices have the same length. In fact, G is a unit interval graph if and only if G is a proper interval graph [53]; they are the same class of graph.
Let B = ( X , Y , E ) be a bipartite graph. An ordering P of X in B has the adjacency property if for each vertex y Y , N B ( y ) consists of vertices that are consecutive in the ordering P of X. A bipartite graph B = ( X , Y , E ) is a convex bipartite graph if there is an ordering of X or Y satisfying the adjacency property.

2.6. Totally Balanced, Totally Unimodular, and Greedy Matrices

A matrix M is called a ( 0 , 1 ) -matrix if every entry in M is either 1 or 0. In a matrix of numbers, the sum of all entries in a row is called the row sum, while the sum of all entries in a column is called the column sum. A ( 0 , 1 ) -matrix is totally balanced if it does not contain as a submatrix the incidence matrix of any cycle of length at least three. Equivalently, a  ( 0 , 1 ) -matrix is totally balanced it does not contain any square submatrix satisfying all the following “forbidden conditions” [45]:
1.
All row sums are equal to 2.
2.
All column sums are equal to 2.
3.
All columns are distinct.
Here is an example of a matrix that is not totally balanced:
A = 1 0 1 0 0 0 1 1 0 1 1 1 0 1 0 0 1 0 1 1 1 0 1 1 0 .
A ( 0 , 1 ) -matrix is greedy if it does not contain any of the following forbidden submatrices:
1 1 0 1 1 0 and 1 1 1 0 0 1 .
A greedy matrix is in standard greedy form [45] if it does not contain the following Γ -matrix as a submatrix:
1 1 1 0 .
Let det ( M ) denote the determinant of a matrix M . The matrix M is totally unimodular if det ( M ) { 1 , 0 , 1 } for every square submatrix M of M .
A matrix has the consecutive ones property if its rows can be permuted in such a way that, in every column, all the 1s appear consecutively. This property is particularly relevant in applications involving binary matrices and is a useful tool for analyzing matrix structures.
The following theorem reveals a connection between the consecutive ones property and total unimodularity.
Theorem 1 
([47]). If a ( 0 , 1 ) -matrix has the consecutive ones property for columns, then it is totally unimodular.

2.7. Linear and Integer Linear Programming

Consider the following two optimization problems:
min { c T x x 0 , A x b } and max { c T x x 0 , A x b } .
A solution to an optimization problem is a column vector x = ( x 1 , x 2 , , x n ) T , often called a point because each solution corresponds to a specific set of values for the variables, which can be represented as a single point in geometric space. In other words, each feasible solution is associated with a unique location in this space. A solution that satisfies all constraints is known as a feasible solution, whereas a solution that fails to satisfy at least one constraint is an infeasible solution. The set of points that satisfy all the constraints is referred to as the feasible region. In linear programming, the feasible region is called a polyhedron, as it is the intersection of linear constraints. A polyhedron is often denoted by P, such as P = { x x 0 , A x b } , representing the set of all points x that meet the specified constraints.
In an optimization problem, a constraint is called active at a given solution point if the solution causes the constraint to hold as an equality, effectively “binding” the solution at the boundary defined by the constraint. An extreme point of a polyhedron occurs where several of the constraints in the problem are active, often as many as the dimension of the space.
The fundamental theorem of linear programming ([54]) states that if a linear program has an optimal solution, at least one optimal solution will be located at an extreme point of the polyhedron. This result is foundational because it allows optimization algorithms like the simplex method to focus on the extreme points of the feasible region, significantly reducing the computational effort required to find an optimal solution. If every extreme point of a polyhedron consists of integer values for all variables, then the polyhedron is said to be integral. Theorem 2 establishes that linear programs satisfy strong duality.
Theorem 2 
([46]).
min { c T x x 0 , A x b } = max { b T y y 0 , A T y c } .
An integer linear program is an optimization model similar to a linear program, but includes an additional constraint that requires all decision variables to be integers. This distinction substantially impacts both the complexity and solution methods for these problems. While linear programs can be solved in polynomial time [55], integer linear programs are NP-complete [56], making them more computationally challenging.
Integer linear programs satisfy weak duality but do not always satisfy strong duality, meaning the optimal values of an integer linear program and its dual may differ.
To solve integer linear programs, advanced methods such as branch-and-bound, branch-and-cut, and cutting planes are often employed. These methods frequently use linear relaxations, which remove the integer constraints to produce a continuous solution. In certain cases, the optimal objective value of an integer linear program matches that of its linear relaxation, as illustrated by Theorem 3.
Theorem 3 
([57]). If A , b , and  c all have integer entries, with at least one of b or c as a constant vector, and  A is totally balanced, then the optimal objective values of the integer program
max { c T x A x b , x Z and x 0 }
and its linear relaxation are the same.

3. {k}-Domination in Weighted Strongly Chordal Graphs

In this section, we demonstrate that the { k } -domination problem in weighted strongly chordal graphs with n vertices and m edges can be solved in O ( n + m ) time. The solution follows a four-step framework, as outlined below:
(1)
Modeling (Section 3.1): The { k } -domination problem is formulated as an integer linear programming task using matrix representations, particularly adjacency matrices. This formulation establishes the theoretical foundation for the algorithmic approaches described in subsequent sections. We aim to solve the integer linear program by its relaxation.
(2)
Primal and Dual Algorithms by Hoffman et al. (Section 3.2): We introduce the primal and dual algorithms proposed by Hoffman et al. [45], which solve the linear program:
min { c T x + d T z A x + z b , x 0 , z 0 } .
These algorithms provide a robust framework for solving linear programming problems, forming the basis for adapting solutions to the { k } -domination problem.
(3)
Refined Algorithms for Weighted Strongly Chordal Graphs (Section 3.3): Building on Hoffman et al.’s [45] algorithms, this section introduces refinements tailored to the structural properties of weighted strongly chordal graphs. These refinements reduce the computational complexity to O ( n 2 ) , representing an intermediate step toward the final optimized solution.
(4)
Optimized Algorithms with Enhanced Data Structures (Section 3.4): By integrating advanced data structures, this section further reduces the overall time complexity from O ( n 2 ) to O ( n + m ) . This optimization capitalizes on the sparsity and adjacency structure of strongly chordal graphs, achieving linear-time performance relative to the graph’s size.

3.1. Modeling

We start by presenting Lemma 1 to concentrate exclusively on non-negative vertex weights ( w ( v ) R 0 ). This simplification allows us to assume that all weighted graphs have non-negative vertex weights.
Lemma 1. 
Let w be a vertex-weight function of a graph G = ( V , E ) , and let γ k ( G , w ) represent the the minimum labeling weight of a { k } -dominating function for ( G , w ) . Define S = { v v V , w ( v ) < 0 } and let w be a vertex-weight function such that w ( v ) = max { w ( v ) , 0 } for each v V . Then, γ k ( G , w ) = γ k ( G , w ) + k v S w ( v ) .
Proof. 
Let f be a { k } -dominating function for ( G , w ) with minimum weight, so γ k ( G , w ) = v V w ( v ) f ( v ) . Define a function f such that f ( v ) = k for v S and f ( v ) = f ( v ) for v V S . Since f is also a { k } -dominating function of G and w ( v ) = 0 for v S , we obtain
γ k ( G , w ) v V w ( v ) f ( v ) = v V S w ( v ) f ( v ) = v V w ( v ) f ( v ) v S w ( v ) f ( v ) γ k ( G , w ) k v S w ( v ) .
Conversely, let h be a { k } -dominating function for ( G , w ) with the minimum labeling weight, so
γ k ( G , w ) = v V w ( v ) h ( v ) = v V S w ( v ) h ( v ) .
Define f such that f ( v ) = k for v S and f ( v ) = h ( v ) for v V S . Clearly, f is a { k } -dominating function of G, and  w ( v ) = 0 for v S . We have
γ k ( G , w ) v V w ( v ) f ( v ) = v V S w ( v ) f ( v ) + k v S w ( v ) = v V S w ( v ) h ( v ) + k v S w ( v ) = γ k ( G , w ) + k v S w ( v ) .
This completes the proof.    □
Let ( G , w ) be a weighted graph with V ( G ) = { v 1 , v 2 . , v n } . We associate a variable x j with each v j V ( G ) and require that x j { 0 , 1 , , k } for j = 1 , 2 , , n . Let w j = w ( v j ) for 1 i n . The  { k } -domination problem for the weighted graph ( G , w ) is formulated as the following integer linear program IP k ( G , w ) :
minimize j = 1 n w j x j subject to v j N G [ v i ] x j k for i = 1 , 2 , , n x j { 0 , 1 , , k } for j = 1 , 2 , , n .
We formulate the integer linear program I P k ( G , w ) from IP k ( G , w ) as follows:
I P k ( G , w ) : minimize j = 1 n w j x j subject to v j N G [ v i ] x j k for i = 1 , 2 , , n x j 0 and x j Z for i = 1 , 2 , , n .
Lemma 2. 
Let x = ( x 1 , x 2 , , x n ) be an optimal solution to I P k ( G , w ) . Then, 0 x j k for all j = 1 , 2 , , n .
Proof. 
By the constraints of I P k ( G , w ) , we know that x j 0 for j = 1 , 2 , , n . Since x is an optimal solution to I P k ( G , w ) , j = 1 n w j x j is minimized. Assume that there exists an x i in x such that x i > k . For any constraint involving x i , the constraint remains satisfied if x i is replaced with k, by Lemma 1. Consequently, the resulting objective value is less than j = 1 n w j x j , leading to a contradiction. Therefore, the lemma holds.    □
By Lemma 2, it is clear that an optimal solution x to I P k ( G , w ) if and only if it is also an optimal solution to IP k ( G , w ) . Thus, we can solve the { k } -domination problem for the weighed graph ( G , w ) by solving the integer linear program I P k ( G , w ) .
In graph theory, the neighborhood matrix and the closed neighborhood matrix are two distinct representations of the adjacency relationships in a graph H with vertices V ( H ) = { v 1 , v 2 , , v n } .
  • The neighborhood matrix of G is a matrix N = ( n i j ) R n × n such that n i j = 1 if v j N H ( v i ) ; otherwise, n i j = 0 .
  • The closed neighborhood matrix of G is a matrix M = ( m i j ) R n × n such that m i j = 1 if v j N H [ v i ] ; otherwise, m i j = 0 .
Let M = ( m i j ) R n × n be the closed neighborhood matrix of the weighted graph G with w = ( w j ) R 0 n , x = ( x j ) R n , and  p = ( p i ) R n , where p i = k for 1 i n .
We present the linear program L P k ( G , w ) and its dual L P k d ( G , w ) using the closed neighborhood matrix M .
Primal ( L P k ( G , w ) ) : Dual ( L P k d ( G , w ) ) : minimize w T x maximize p T y subject to M x p subject to M T y w x 0 . y 0 .
Let I P opt and L P opt denote the optimal objective values of an integer linear program I P and its linear relaxation L P , respectively. The polyhedron for I P is a subset of the polyhedron for L P , since I P includes the additional constraint that variables must be integers. Therefore, the optimal value of L P , minimized over a larger polyhedron, cannot be greater than the optimal value of I P . Hence, L P opt I P opt .
In subsequent sections, we aim to demonstrate that for weighted strongly chordal graphs, the optimal value of I P k ( G , w ) is equal to the optimal value of its linear relaxation L P k ( G , w ) . This allows us to solve this integer linear program by obtaining an integral solution directly from its linear relaxation.

3.2. Primal and Dual Algorithms by Hoffman et al.’s [45]

Let A = ( a i j ) R m × n be a greedy matrix in standard form, with vectors x = ( x j ) R n , y = ( y i ) R m , and  z = ( z i ) R m as variables. Let c = ( c j ) R n , b = ( b i ) R m , and  d = ( d i ) R m be constant vectors with c 0 , d 0 , and  b 1 b 2 b m 0 . The primal linear program P is defined as:
minimize c T x + d T z subject to A x + z b x 0 , z 0 .
The dual program D is formulated as:
maximize b T y subject to A T y c y 0 , y d .
Hoffman et al. [45] introduced two greedy algorithms to solve P and its dual D in polynomial time, and constructed an integer optimal solution for P. These algorithms are presented in Algorithms 1 and 2.
Algorithm 1 provides an integer optimal solution for D. The dual program D contains n constraints and m decision variables y 1 , y 2 , , y m . A constraint j is defined as tight if
i = 1 m a i j y i = c j .
Let J = { j j is tight } and α ( j ) = max { i a i j = 1 , y i > 0 , i = 1 m a i j y i = c j } . Algorithm 1 determines each variable y i in increasing order of i and takes the largest feasible value. It also computes J and α ( j ) for use in Algorithm 2.
Algorithm 1: Dual Solution for Program D with Greedy Matrices
Mathematics 13 00403 i001
Algorithm 2 computes the primal solution corresponding to the dual solution by iteratively adjusting x j values.
Algorithm 2: Primal Solution for Program P Corresponding to Dual Solution
Mathematics 13 00403 i002
Theorem 4 
([45]). The dual program D is solved by Algorithm 1 for all c 0 , d 0 , and  b 1 b 2 b m 0 if and only if A is greedy in standard greedy form. Further, Algorithm 2 constructs an integer optimal solution to the primal problem P. Both algorithms run in O ( m n )  time.

3.3. Refined Algorithms for Weighted Strongly Chordal Graphs

We present Lemma 3 as a fundamental observation linking greedy matrices in standard greedy form to the closed neighborhood matrices of strongly chordal graphs with strong elimination orderings.
Lemma 3. 
If the vertices of a strongly chordal graph G are ordered by its strong elimination ordering, then the closed neighborhood matrix of G is a greedy matrix in standard greedy form.
Proof. 
We start by proving the following claim.
Claim 1. 
A greedy matrix in standard greedy form is precisely a totally balanced matrix that contains no submatrix identical to the Γ-matrix.
Let S 1 represent the set of all greedy matrices in standard greedy form, and let S 2 represent the set of all totally balanced matrices that exclude any submatrix identical to the Γ -matrix. To prove the claim, we will show that S 1 = S 2 .
According to Hoffman et al. [45], every greedy matrix is totally balanced. This establishes that S 1 S 2 .
By definition, a greedy matrix is a ( 0 , 1 ) -matrix that does not contain either of the following forbidden submatrices:
F 1 = 1 1 0 1 1 0 and F 2 = 1 1 1 0 0 1 .
It is clear that a totally balanced matrix that excludes any submatrix identical to the Γ -matrix must also exclude F 1 and F 2 as submatrices. Therefore, any matrix in S 2 must also be in S 1 , giving us S 2 S 1 .
Since we have both S 1 S 2 and S 2 S 1 , it follows that S 1 = S 2 . This completes the proof of the claim.
Farber [51] showed that if the vertices of a strongly chordal graph G are ordered by its strong elimination ordering, then the closed neighborhood matrix of G is totally balanced and excludes any submatrix identical to the Γ -matrix.
Thus, the lemma holds.    □
For clarity and ease of reference, we present the formulations of P, D, L P k ( G , w ) , and  L P k d ( G , w ) together below.
Primal ( P ) : Dual ( D ) : minimize c T x + d T z maximize b T y subject   to A x + z b subject to A T y c x 0 , z 0 . y 0 , y d . Primal ( L P k ( G , w ) ) : Dual ( L P k d ( G , w ) ) : minimize w T x maximize p T y subject to M x p subject to M T y w x 0 . y 0 .
Theorem 5. 
For weighted strongly chordal graphs ( G , w ) with n vertices arranged by strong elimination ordering, the  { k } -domination problem can be solved in O ( n 2 ) time.
Proof. 
Lemma 3 allows us to observe that for a weighted strongly chordal graph ( G , w ) with n vertices arranged in strong elimination ordering, the closed neighborhood matrix M of G is a greedy matrix in standard greedy form. Additionally, in the linear program L P k ( G , w ) , we have w 0 , and the vector p is constant with entries equal to k. Consequently, the programs L P k ( G , w ) and its dual L P k d ( G , w ) for the weighted strongly chordal graph ( G , w ) are specific instances of the programs P and D, where z = 0 and the vector d is absent.
This connection enables us to modify and simplify Hoffman et al.’s [45] original algorithms, Algorithms 1 and 2, to yield Algorithms 3 and 4. We present Algorithms 3 and 4 below with the necessary line-by-line transformations.
To modify and simplify Algorithm 1 into Algorithm 3, the following line-by-line adjustments were made:
1.
Line 1: Replace c ^ with w ^ and c with w .
2.
Line 2: Adjust the loop range from m to n.
3.
Line 3: Simplify the min calculation from min { d i , min { c ^ j a i j = 1 } } to min { w ^ j m i j = 1 } .
4.
Lines 5 and 6: Replace the original lines with the simplified expression j = max { j y i = w ^ j , m i j = 1 } . Note that in the simplified algorithm, d i is unnecessary in Line 3. Therefore, if  y i > 0 , then y i from min { w ^ j m i j = 1 } must equal w ^ j for some j. Thus, the largest j is chosen such that y i = w ^ j can be expressed equivalently as j = max { j y i = w ^ j , m i j = 1 } .
5.
Line 9: Substitute each c ^ j with w ^ j and a i j with m i j in the update statement.
Algorithm 3: Simplified Algorithm for L P k d ( G , w )
Mathematics 13 00403 i003
To modify and simplify Algorithm 2 into Algorithm 4, we made the following adjustments (highlighted:
1.
Line 1: Change b ^ to p ^ . Replace b with p .
2.
Line 4: Adjust b ^ α ( k ) to p ^ α ( k ) .
3.
Line 5: Replace b ^ i with p ^ i . Replace a i k with m i k .
4.
Remove Lines 7 and 8, since they are unnecessary in the simplified algorithm for L P k ( G , w ) .
Algorithm 4: Simplified Algorithm for L P k ( G , w ) with totally balanced matrices
Mathematics 13 00403 i004
By Theorem 4, the linear program L P k ( G , w ) and its dual L P k d ( , w ) are solvable in O ( n 2 ) time for weighted strongly chordal graphs G with vertices in strong elimination ordering, and Algorithms 3 and 4 can provide integer optimal solutions for L P k ( G , w ) and L P k d ( G , w ) . Thus, the { k } -domination problem for weighted strongly chordal graphs can be solved in O ( n 2 ) time. □

3.4. Optimized Algorithms with Enhanced Data Structures

In the previous section, we established that the linear program L P k ( G , w ) and its dual are special cases of the problems tackled by Hoffman et al.’s [45] algorithms. This enables us to apply their method directly to solve these programs in O ( n 2 ) time. Hoffman et al.’s [45] algorithms are robustly constructed around the relationships between totally balanced matrices, greedy matrices, and linear programs, using the strengths of matrix structures and concepts from linear and integer programming. In contrast, the closed neighborhood matrices M in L P k ( G , w ) are closely tied to graph adjacency structures.
The adjacency-list representation, as discussed in Section 2.1, plays a crucial role in enhancing the efficiency of Algorithms 3 and 4. By incorporating optimized data structures for critical steps in these algorithms, we improve the overall time complexity from O ( n 2 ) to O ( n + m ) , where n represents the number of vertices, and m represents the number of edges in a graph. Since the maximum number of edges in a graph is n 2 = O ( n 2 ) , this improvement makes the algorithms particularly effective for sparse strongly chordal graphs when m n 2 . Theorem 6 demonstrates how to obtain the desired time complexity.
Theorem 6. 
For weighted strongly chordal graphs ( G , w ) with n vertices arranged by strong elimination ordering, the { k } -domination problem can be solved in O ( n + m ) time, where m is the number of edges in G.
Proof. 
We begin with demonstrating how each line of Algorithm 3 relates to the adjacency list and other optimized data structures and the running time of each line based on the adjacency list representation and the number of vertices (n) and edges (m):
1.
Line 1: This line initializes the set J to keep track of selected indices j and makes a copy of the vector w as w ^ . This step does not directly involve the adjacency list, as it is a basic initialization of variables. We implement J as an array with n entries and initialize the array with each entry set to zero. This array structure allows us to store specific information about each element efficiently, and each entry can be accessed, updated, or retrieved in O ( 1 ) time. The initialization step takes O ( n ) time.
2.
Line 2: This loop iterates over each index i, where n corresponds to the number of constraints equal to the number of vertices. It executes n times in total. For each iteration, it processes Lines 3–8.
(a)
Line 3: For each i, the algorithm assigns y i the minimum value among the entries w ^ j for all j such that m i j = 1 . Clearly, m i j = 1 means v j N G [ v i ] . Using the adjacency list, the algorithm can directly access all neighbors of v i , including v i itself, in O ( d e g G ( v i ) + 1 ) time.
(b)
Line 4: This line checks whether the calculated y i value is greater than 0. It can be completed in O ( 1 ) time.
(c)
Lines 5–7: This block finds the largest j for i such that y i = w ^ j and m i j = 1 .
The adjacency list helps here by providing access to each index j of v j N G [ v i ] , allowing the algorithm to identify all possible values of j where y i = w ^ j . Once the appropriate j is found, J and α ( j ) are updated. Since J is an array, the operation J { j } is translated to setting J [ j ] = 1 . Conversely, J does not contain some k if J [ k ] = 0 . We also implement the operation α ( j ) i by an array. The operation α ( j ) i is translated to setting α [ j ] = i .
Hence, the steps take O ( d e g G ( v i ) + 1 ) time.
(d)
Line 8: This line updates w ^ j for each index j of vertices v j N G [ v i ] , subtracting y i from w ^ j . Using the adjacency list, the algorithm can efficiently locate each j where m i j = 1 and apply the update only to those specific j values for vertices v j N G [ v i ] .
The overall time complexity depends on the sum of all neighbor operations across vertices, yielding
O n + i = 1 n ( d e g G ( v i ) + 1 ) = O ( n + m ) ,
where n is the number of vertices and m is the number of edges.
We next demonstrate how each line of Algorithm 4 relates to the adjacency list and other optimized data structures and the running time of each line based on the adjacency list representation and the number of vertices (n) and edges (m):
1.
Line 1: This line initializes p ^ as a copy of p and sets x j = 0 for all j J .
To set x j = 0 for all j J , we implement a stack J ^ and set it to be empty. Then, we visit each entry J [ j ] for 1 j n , set x j = 0 if J [ j ] = 0 , and push j into the stack J ^ if J [ j ] 0 . After visiting all entries of J, we delete J and rename J ^ with J. All operations can be completed in O ( n ) time. Since p also has n entries, copying p takes O ( n ) time.
2.
Line 2 (While Loop): The loop runs until J is empty, so the number of iterations depends on the number of elements in J. Clearly, it executes at most n times. Each iteration involves Lines 3–6, so we analyze each of these lines within the context of a single iteration.
(a)
Line 3: Select the last column k from J. In other words, we have to select the largest index k of J with J [ k ] = 1 . Since we have implemented a stack, pushing each index j with J [ j ] = 1 into the stack from smallest one to the largest one, deleting J, and renaming the stack with J. Therefore, selecting the last column of J is equivalent to popping an element from J. Hence, it takes O ( 1 ) time.
(b)
Line 4: Set x k based on p ^ α ( k ) . Retrieving the value from α ( k ) and assigning x k takes O ( 1 ) time.
(c)
Line 5: Update p ^ i for all i such that m i k = 1 . Since m i k = 1 , this operation iterates over each index i of vertices v i N G [ v k ] . Using the adjacency list, this step takes O ( deg ( v k ) + 1 ) for each iteration.
(d)
Line 6: Remove k from J. J is implemented as a stack. Removing the last element takes O ( 1 ) time.
The overall time complexity of the algorithm is:
O n + k J ( d e g G ( v k ) + 4 ) = O ( n + m ) ,
where n is the number of vertices and m is the number of edges in the graph. This linear time complexity makes the algorithm efficient for sparse graphs.
Following the discussion above, Algorithms 3 and 4 both run in O ( n + m ) time. Consequently, the theorem holds. □

4. Total {k}-Domination in Weighted Chordal Bipartite Graphs

The total { k } -domination problem in weighted chordal bipartite graphs can be efficiently solved by the structural properties of these graphs. Specifically, we demonstrate how the neighborhood matrix of a chordal bipartite graph ordered by its weak elimination ordering forms a greedy matrix in standard greedy form. The following lemma establishes the foundational connection between weak elimination orderings and greedy matrices.
Lemma 4. 
If the vertices of a chordal bipartite graph are ordered by its weak elimination ordering, then the neighborhood matrix of the graph is a greedy matrix in standard greedy form.
Proof. 
Let G be a chordal bipartite graph with the vertices ordered by its weak elimination ordering v 1 , v 2 , , v n , and let N = ( n i j ) R n × n be the neighborhood matrix of G. Since the neighborhood matrix of a chordal bipartite graph is totally balanced [51], N is totally balanced. We now check if N contains the Γ -matrix as a submatrix:
Γ = 1 1 1 0 .
Assume that N contains the Γ -matrix as a submatrix, shown below with entries chosen by rows i , j and columns k , , where i < j and k < :
k i n e i 1 1 j 1 0 .
Since N is a neighborhood matrix, each a i i is 0 for 1 i j . It imples that i k , i , and j k . Furthermore, as bipartite graphs contain only cycles with even number of vertices, if j = , then v i , v j , and v k would form a cycle of odd number of vertices, which is impossible. Thus, j .
Consider three cases:
  • Case 1:  i < k . Then, v i , v j , v k , and v are all vertices of G i . Since v i is adjacent to both v k and v , the neighborhood relationship N G i ( v k ) N G i ( v ) must hold. As v j N G i ( v k ) , it follows that v j N G i ( v ) . However, this implies that v j is adjacent to v , which contradicts the assumption that v j and v are not adjacent.
  • Case 2:  k < i < . In this case, v i , v j , v k , and v are all vertices of G k . Since v i is adjacent to both v k and v , the neighborhood relationship N G k ( v i ) N G k ( v ) must hold. Consequently, v j N G k ( v i ) implies v j N G k ( v ) . However, this contradicts the assumption that v j and v are not adjacent.
  • Case 3:  < i . Here, v i , v j , v k , and v are again vertices of G k . By reasoning similar to Case 2, the adjacency of v i to both v k and v implies N G k ( v i ) N G k ( v ) . Since v j N G k ( v i ) , we deduce that v j N G k ( v ) , which means v j and v are adjacent. This contradicts the assumption that v j and v are not adjacent.
These cases confirm that N is totally balanced and excludes the Γ -matrix as a submatrix. By Claim 1, we conclude that the neighborhood matrix of a chordal bipartite graph ordered by its weak elimination ordering is a greedy matrix in standard greedy form. □
The following lemma is similar to Lemma 1. It allows us to concentrate exclusively on non-negative vertex weights ( R 0 ).
Lemma 5. 
Let w be a vertex-weight function of a graph G = ( V , E ) , and let γ t k ( G , w ) represent the the minimum labeling weight of a total { k } -dominating function for ( G , w ) . Define S = { v v V , w ( v ) < 0 } and let w be a vertex-weight function such that w ( v ) = max { w ( v ) , 0 } for each v V . Then, γ t k ( G , w ) = γ t k ( G , w ) + k v S w ( v ) .
Proof. 
This lemma can be proved by the arguments similar to those for proving Lemma 1. □
Let G be a chordal bipartite graph with the vertices arranged in weak elimination ordering with N = ( n i j ) R n × n as its neighborhood matrix. Let w = ( w j ) R 0 n , x = ( x j ) R n , and p = ( p i ) R n , where p i = k for 1 i n .
The total { k } -domination problem for weighted chordal bipartite graphs can be formulated as the following integer linear program I P t k ( G , w ) :
I P t k ( G , w ) : minimize w T x subject to Nx p x 0 , x Z .
Let L P t k ( G , w ) be the linear relaxation of I P t k ( G , w ) , and let L P t k d ( G , w ) be the dual program of L P t k ( G , w ) . We present the formulations of P, D, L P t k ( G , w ) , and L P t k d ( G , w ) together below:
Primal ( P ) : Dual ( D ) : minimize c T x + d T z maximize b T y subject to A x + z b subject to A T y c x 0 , z 0 . y 0 , y d .
Primal ( L P t k ( G , w ) ) : Dual ( L P t k d ( G , w ) ) : minimize w T x maximize p T y subject to N x p subject to N T y w x 0 . y 0 .
Theorem 7. 
For weighted chordal bipartite graphs ( G , w ) with n vertices arranged by its weak elimination ordering, the total { k } -domination problem can be solved in O ( n + m ) time, where m is the number of edges in G.
Proof. 
The proof proceeds in three steps:
1.
Neighborhood Matrix Properties: By Lemma 4, we have established that for a weighted chordal bipartite graph ( G , w ) with n vertices arranged by its weak elimination ordering, the neighborhood matrix N of G is a greedy matrix in standard greedy form. This property ensures that the constraints of the total { k } -domination problem are well-structured for efficient computation.
2.
Connection to Linear Programs: The primal and dual linear programs, L P t k ( G , w ) and L P t k d ( G , w ) , for the weighted chordal bipartite graphs are specific instances of the linear programs P and D, where z = 0 and the vector d is absent. These simplifications reduce the computational overhead associated with solving the general cases.
3.
Efficient Computation: Using arguments similar to those in the proofs of Theorems 5 and 6, we use the greedy matrix property of N and advanced primal-dual algorithms to solve the relaxed problem efficiently. Optimized data structures ensure that each step in the algorithm operates in linear time relative to the size of the graph.
Combining these observations, the total { k } -domination problem for weighted chordal bipartite graphs ( G , w ) can be solved in O ( n + m ) time. □

5. Total k-Tuple Domination and k-Tuple Domination

The k-tuple domination and total k-tuple domination problems are fundamental in graph theory, with applications in optimization and network analysis. In this section, we investigate these problems for weighted proper interval graphs and weighted convex bipartite graphs. Utilizing structural properties of these graph classes, we formulate integer linear programs with totally unimodular constraint matrices, enabling efficient solutions via linear relaxations.

5.1. Integer Linear Programs with Totally Unimodular Matrices

Totally unimodular matrices allow integer solutions to be obtained directly from linear relaxations, making them crucial in solving the k-tuple and total k-tuple domination problems efficiently. This section presents our results about totally unimodular matrices and their applications.

5.1.1. Problem Formulations

Let ( G , w ) be a weighed graph with n vertices and m edges. The k-tuple domination problem for ( G , w ) is formulated as an integer linear program I P × k ( G , w ) :
minimize w T x , subject to M x p , x { 0 , 1 } n ,
where M is the closed neighborhood matrix of G, w is the weight vector, and p is a k-vector. Its linear relaxation L P × k ( G , w ) ) is
minimize w T x , subject to M x p , 0 x 1 .
To incorporate the constraint x 1 into the standard inequality framework, we express it equivalently as:
x 1 x 1 .
This transformation allows us to maintain a unified form for all constraints. Using this approach, the linear program L P × k ( G , w ) can be rewritten as:
minimize w T x , subject to M x p , x 0 ,
where M = M I , p = p q , I is the identity matrix, and q is a 1-vector.
Similarly, the total k-tuple domination problem is formulated as an integer linear program I P × t k ( G , w ) :
minimize w T x , subject to N x p , x { 0 , 1 } n ,
where N is the neighborhood matrix. Its linear relaxation L P × t k ( G , w ) ) can be formulated as:
minimize w T x , subject to N x p , x 0 ,
where N = N I , p = p q , I is the identity matrix, and q is a 1-vector.

5.1.2. Fundamental Lemmas on Totally Unimodular Matrices

In this section, we present our fundamental lemmas on totally unimodular matrices.
Lemma 6. 
Let A R m × n be a totally unimodular matrix, and let I R n × n be the identity matrix. Then, the matrix
B = A I
is also totally unimodular.
Proof. 
It is clear that the matrix I is totally unimodular, as each determinant of any square submatrix of I evaluates to 1 , 0 , or 1, satisfying the definition of total unimodularity. Let B = ( b i j ) R p × p be any square submatrix of B .
First, if the rows of B are formed exclusively from either A or I , then B is totally unimodular because A and I satisfy the definition of total unimodularity by ensuring that every determinant of their square submatrices is in { 1 , 0 , 1 } .
Next, consider the case where the rows of B are formed from both A and I . We compute det ( B ) using the Laplace expansion along a row i formed from I . By the definition of Laplace expansion:
det ( B ) = j = 1 p b i j ( 1 ) i + j det ( B i j ) ,
where B i j is the ( p 1 ) × ( p 1 ) square submatrix obtained by removing the i-th row and j-th column from B .
Since row i comes from I , it has at most one nonzero entry, which is 1 . This means that:
det ( B ) = 0 or det ( B ) = ( 1 ) s det ( B i j ) ,
where s is a non-negative integer determined by the row and column indices of the nonzero entry.
If B i j still contains rows from I , we recursively apply the Laplace expansion and remove rows and columns associated with I . Each step multiplies the determinant by ( 1 ) s , with s { 0 , 1 } . Eventually, the process reduces B to a square submatrix of A .
Since A satisfies the definition of total unimodularity, every determinant of its square submatrices is in { 1 , 0 , 1 } . Therefore, det ( B ) { 1 , 0 , 1 } as well.
Thus, B is totally unimodular. □
Lemma 7. 
Let A R m × n be a totally unimodular matrix, and let I R m × m be the identity matrix. Then, the matrix
A I
is also totally unimodular.
Proof. 
By Lemma 6, we know that the matrix
B = A I
is totally unimodular. Take the transpose of B to obtain A I . The determinant of each square submatrix remains unchanged by transposing, so det M = det M T for each square submatrix M of A I . Consequently, A I is a totally unimodular matrix. □
Theorem 8 
([47]). Let A be an integral matrix. Then, A is totally unimodular if and only if for each integral vector b , the polyhedron
{ x x 0 , A x b }
is integral.
Lemma 8. 
Let A be an integral matrix. Then, A is totally unimodular if and only if for each integral vector b , the polyhedron
{ x x 0 , A x b }
is integral.
Proof. 
Assume that A contains r rows. By the properties of determinants under scalar multiplication ([49]), for each square submatrix A of A , we have
det ( A ) = ( 1 ) r · det ( A ) .
If A is totally unimodular, then det ( A ) { 1 , 0 , 1 } , which implies that A is totally unimodular. Let s be an integer vector. Clearly,
s { x x 0 , A x b } if and only if s { x x 0 , A x b } .
By Theorem 8, the polyhedron { x x 0 , A x b } is integral. Therefore, { x x 0 , A x b } is also integral.
Conversely, if { x x 0 , A x b } is integral, then so is { x x 0 , A x b } . By Theorem 8, A is totally unimodular. Following the same reasoning as above, ( A ) = A is therefore also totally unimodular.
Thus, the lemma holds. □
Lemma 9. 
Let A be a totally unimodular matrix. For each integral vector b , the polyhedron
{ x x 0 , A x = b }
is integral.
Proof. 
It is clear that the polyhedron { x x 0 , A x = b } is equivalent to the following:
{ x x 0 , A x b , A x b } = { x x 0 , A x b } { x x 0 , A x b } .
Following Theorem 8 and Lemma 8, the polyhedra { x x 0 , A x b } and { x x 0 , A x b } are integral. Therefore, { x x 0 , A x = b } is integral. □

5.2. k-Tuple Domination in Weighted Proper Interval Graphs

We have formulated the k-tuple domination problem for weighted graphs ( G , w ) as the integer linear program I P × k ( G , w ) . For weighted proper interval graphs, solving I P × k ( G , w ) is equivalent to directly solving the k-tuple domination problem.
The following lemma establishes a critical connection between the closed neighborhood matrices of weighted proper interval graphs and totally unimodular matrices. This connection enables I P × k ( G , w ) to be solved efficiently by addressing its linear relaxation L P × k ( G , w ) .
Lemma 10. 
The closed neighborhood matrix of a weighted proper interval graph is totally unimodular.
Proof. 
The lemma follows from two established results:
  • A graph is a proper interval graph if and only if its closed neighborhood matrix has the consecutive ones property for columns [44].
  • If a ( 0 , 1 ) -matrix has the consecutive ones property for columns, then it is totally unimodular [47].
Theorem 9. 
The k-tuple domination problem for weighted proper interval graphs ( G , w ) can be solved in the running time of
O n 2.371552 log 2 ( n ) log ( n / δ ) ,
where n is the number of vertices, and δ is the desired accuracy within the range ( 0 , 1 ] .
Proof. 
Following Lemmas 6, 8, and 10, we know that the closed neighborhood matrix M of G and the constraint matrix M in L P × k ( G , w ) are totally unimodular, and the polyhedron of L P × k ( G , w ) is integer. Therefore, the optimal objective values of L P × k ( G , w ) and I P × k ( G , w ) are equal. Thus, solving IP × t k ( G , w ) is equivalent to finding an integral solution to LP × t k ( G , w ) . This implies that the total k-tuple domination problem for weighted convex bipartite graphs can be solved by computing an integral solution to LP × t k ( G , w ) .
Recently, van den Brand [58] derandomized the algorithm of Cohen et al. [59] to achieve that linear programs of the form min { c T x x 0 , A x = b } with no redundant constraints can be solved in the running time
O ( n ω + n 2.5 α / 2 + o ( 1 ) + n 2 + 1 / 6 + o ( 1 ) ) log 2 ( n ) log ( n / δ ) ,
where n is the number of decision variables, ω is the exponent of matrix multiplication, α is the dual exponent of matrix multiplication, and δ is the desired accuracy within the range ( 0 , 1 ] . Williams et al. [60] established ω 2.371552 and α 0.321334 . This yields a simplified complexity of O n 2.371552 log 2 ( n ) log ( n / δ ) .
The linear program L P × k ( G , w ) is min { w T x x 0 , M x p } . To solve L P × k ( G , w ) by van den Brand’s algorithm, we transform L P × k ( G , w ) into the form min { c T x x 0 , A x = b } using slack variables. The transformation steps are as follows:
1.
Introduce Slack Variables.
Convert the inequality M x p into an equality by introducing slack variables. Rewrite it as:
M x = p + s ,
where s 0 is a vector of slack variables. This ensures each constraint in the original inequality has a corresponding non-negative slack variable.
2.
Rewrite as Equalities.
Rearrange the equality above as:
M x s = p .
Define a new vector x ˜ = x s , so we can express the constraints in matrix form as:
M I x ˜ = p .
3.
Extend the Objective Function.
Since the original objective function is w T x , extend it to include the slack variables by setting:
c = w j ,
where j is a zero vector. This ensures that the slack variables s do not affect the objective function.
Thus, the transformed linear program becomes:
min { c T x ˜ x ˜ 0 , A x ˜ = b } ,
where A = M I , b = p , x ˜ = x s , and c = w j .
We verify the correctness and analyze the time complexity of this transformation by confirming that the feasible sets of x and objective functions of the original and transformed problems are equivalent. The steps are as follows:
1.
Converting Inequalities to Equalities via Slack Variables
In L P × k ( G , w ) , the inequality M x p restricts x so that each entry of M x is at least the corresponding entry of p . To convert this inequality into an equality, we introduce a vector of slack variables s 0 , rewriting it as:
M x = p + s .
This ensures that M x p holds if and only if there exists a non-negative vector s such that M x = p + s . Since M has 2 n rows and n columns, the vector s consists of 2 n entries. Setting up the slack variables takes O ( n ) time.
2.
Reformulating Constraints with Augmented Matrices
We define x ˜ = x s and rewrite the equality as:
A x ˜ = b ,
where A = M I and b = p . This matrix formulation ensures that each slack variable s i directly accounts for the surplus required to satisfy each inequality. Constructing A requires combining M with I , and constructing x ˜ requires combining x with s .
The matrix A has 2 n rows and 3 n columns. The vector x ˜ has 3 n rows and one column, resulting in an augmented matrix, which takes O ( n 2 ) time. Hence, the step can be done in O ( n 2 ) time.
3.
Ensuring Equivalence of Feasible Sets of x
In the original linear program, the feasible region is defined by all x 0 such that M x p . In the transformed linear program, the feasible region is defined by all non-negative vectors x ˜ = x s 0 that satisfy A x ˜ = b . Clearly,
x { x x 0 , M x p } if and only if x { x x 0 , s 0 , M x = p + s } .
This establishes that the transformation preserves the feasible region.
4.
Ensuring Equivalence of Objective Functions
The original objective function w T x depends only on x , so in the transformed program, we extend it by defining c = w j , where j is a zero vector. This construction prevents the slack variables s from influencing the objective function, so that the objective c T x ˜ = w T x in the transformed program is identical to the original objective. Extending the objective vector takes O ( n ) time.
Having verified that the transformation preserves both the feasible region and the objective function, we conclude that the transformation is correct with the time complexity of O ( n 2 ) .
Since M is totally unimodular, Lemmas 7 and 9 imply that A = M I is totally unimodular, and the polyhedron of the transformed linear program is integer.
Despite the transformed linear program containing 3 n variables, it can still be solved in O n 2.371552 log 2 ( n ) log ( n / δ ) time. Consequently, the linear relaxation L P × k ( G , w ) runs in time of:
O n 2 + n 2.371552 log 2 ( n ) log ( n / δ ) = O n 2.371552 log 2 ( n ) log ( n / δ ) .

5.3. Total k-Tuple Domination in Weighted Convex Bipartite Graphs

In this subsection, we explore the total k-tuple domination problem in weighted convex bipartite graphs. In Section 5.1.1, we formulated the total k-tuple domination problem for weighted graphs ( G , w ) as the integer linear program I P × t k ( G , w ) . For weighted convex bipartite graphs ( G , w ) , solving I P × t k ( G , w ) is equivalent to directly solving the total k-tuple domination problem.
To establish a connection between the neighborhood matrices of weighted convex bipartite graphs and totally unimodular matrices (as discussed in Section 5.1 and Section 5.2), we begin by examining the neighborhood matrix of a convex bipartite graph.
Figure 3 illustrates a convex bipartite graph G = ( X , Y , E ) , where X = { x 1 , x 2 , x 3 , x 4 } and Y = { y 1 , y 2 , y 3 , y 4 } .
The neighborhood matrix N of G is shown below:
x 1 x 2 x 3 x 4 y 1 y 2 y 3 y 4 i n e x 1 0 0 0 0 1 0 0 0 x 2 0 0 0 0 1 1 0 0 x 3 0 0 0 0 0 1 1 1 x 4 0 0 0 0 0 1 0 1 i n e y 1 1 1 0 0 0 0 0 0 y 2 0 1 1 1 0 0 0 0 y 3 0 0 1 0 0 0 0 0 y 4 0 0 1 1 0 0 0 0 = A 1 A 2 A 3 A 4
The matrix N is partitioned into four blocks: A 1 , A 2 , A 3 , and A 4 . Since G is bipartite, no two vertices in X or Y are adjacent. Therefore, A 1 and A 4 are zero-matrices. Moreover, the adjacency property ensures that every column of A 2 has consecutive ones. Then, A 2 has the consecutive ones property for columns. The block A 3 is the transpose of A 2 because of the symmetry of a neighborhood matrix of a graph.
Lemma 11. 
Let M be a square matrix partitioned as
M = Q P S R ,
where Q is a zero-matrix, and P and S are square matrices with det ( P ) , det ( S ) { 1 , 0 , 1 } . Then,
det ( M ) { 1 , 0 , 1 } .
Proof. 
By a factorization involving the Schur complement [61], we have
det P Q R S = det ( P ) det ( S ) ,
where P and S contribute independently to the determinant. Since det ( P ) , det ( S ) { 1 , 0 , 1 } , it follows that
det P Q R S { 1 , 0 , 1 } .
Next, let
M = P Q R S .
To transform M into M , we perform column exchanges. Each column exchange introduces a sign change in the determinant. Therefore, we have
det ( M ) = ( 1 ) s det ( M ) ,
where s is the number of column exchanges.
Since det ( M ) { 1 , 0 , 1 } , and sign changes do not affect the magnitude of the determinant, we conclude
det ( M ) { 1 , 0 , 1 } .
Theorem 10. 
Let G = ( X , Y , E ) be a convex bipartite graph, where the ordering of X satisfies the adjacency property. Then, the neighborhood matrix N of G is totally unimodular.
Proof. 
Let X = { 1 , 2 , , r } and Y = { r + 1 , r + 2 , , n } . The neighborhood matrix N of G, an n × n matrix, can be partitioned as
N = N 1 N 2 N 3 N 4 ,
where N 1 = N ( 1 : r , 1 : r ) , N 2 = N ( 1 : r , r + 1 : n ) , N 3 = N ( r + 1 : n , 1 : r ) , N 4 = N ( r + 1 : n , r + 1 : n ) . Since G is bipartite, N 1 and N 4 are zero-matrices.
The adjacency property of G ensures that N 2 satisfies the consecutive ones property for columns. By Theorem 1, N 2 is totally unimodular. Since N 3 = N 2 T and the transpose of a totally unimodular matrix is also totally unimodular, N 3 is totally unimodular.
To verify that N is totally unimodular, we show that every square submatrix N of N satisfies det ( N ) { 1 , 0 , 1 } . Assume that N is composed of p rows and p columns, where 1 p n . We consider three cases based on the structure of N .
  • Case 1: N is a submatrix of a single block.
If N is a submatrix of N 1 or N 4 , it is a zero-matrix, so det ( N ) = 0 . If N is a submatrix of N 2 or N 3 , the total unimodularity of N 2 and N 3 ensures det ( N ) { 1 , 0 , 1 } .
  • Case 2: N includes rows and columns from exactly two blocks.
The rows and columns of N are from two blocks, N 1 and N 2 , N 2 and N 4 , N 3 and N 4 , or N 1 and N 3 . Since N 1 and N 4 are zero-matrices, at least one row or column of N is entirely zero, implying det ( N ) = 0 .
  • Case 3: N includes rows and columns from all four blocks.
We partition N as
N = N 1 N 2 N 3 N 4 ,
where N 1 = N ( 1 : s , 1 : t ) , N 2 = N ( 1 : s , t + 1 : p ) , N 3 = N ( s + 1 : p , 1 : t ) , N 4 = N ( s + 1 : p , t + 1 : p ) .
In this case, N i is a submatrix of N i for 1 i 4 . Since N 1 and N 4 are submatrices of zero-matrices, they are zero-matrices themselves. This reduces N to a dependency on N 2 and N 3 . We analyze based on the dimensions of the submatrices.
  • Case 3.1: p t < s .
In this case, p s < t . We partition N as
N = N 1 N 2 N 3 N 4 ,
where N 1 = N ( 1 : s , 1 : p s ) , N 2 = N ( 1 : s , p s + 1 : p ) , N 3 = N ( s + 1 : p , 1 : p s ) , N 4 = N ( s + 1 : p , p s + 1 : p ) .
Here, N 1 is a zero-matrix, and both N 2 and N 3 are square matrices. Notably, N 2 contains a column of zeros because p s < t . We have det ( N 2 ) = 0 . Since N 3 is a submatrix of N 3 , it preserves totally unimodularity, and thus det ( N 3 ) { 1 , 0 , 1 } . By Lemma 11, det ( N ) { 1 , 0 , 1 } .
  • Case 3.2: p t > s .
In this case, p s > t . We partition N as
N = N 1 N 2 N 3 N 4 ,
where N 1 = N ( 1 : p t , 1 : t ) , N 2 = N ( 1 : p t , t + 1 : p ) , N 3 = N ( p t + 1 : p , 1 : t ) , N 4 = N ( p t + 1 : p , t + 1 : p ) .
Here, N 1 is a zero-matrix, and both N 2 and N 3 are square matrices. Notably, N 2 contains a row of zeros because p t > s . We have det ( N 2 ) = 0 . Since N 3 is a submatrix of N 3 , it preserves totally unimodularity, and thus det ( N 3 ) { 1 , 0 , 1 } . By Lemma 11, det ( N ) { 1 , 0 , 1 } .
  • Case 3.3: p t = s .
In this case, p s = t . We partition N as
N = N 1 N 2 N 3 N 4 ,
where N 1 = N ( 1 : s , 1 : t ) , N 2 = N ( 1 : s , t + 1 : p ) , N 3 = N ( s + 1 : p , 1 : t ) , N 4 = N ( s + 1 : p , t + 1 : p ) .
Here, N 1 is a zero-matrix, and both N 2 and N 3 are square matrices. Since N 2 and N 3 are submatrices of totally unimodular matrices, their determinants satisfy det ( N 2 ) { 1 , 0 , 1 } and det ( N 3 ) { 1 , 0 , 1 } . By Lemma 11, det ( N ) { 1 , 0 , 1 } .
In all subcases, det ( N ) { 1 , 0 , 1 } . Therefore, the neighborhood matrix N of the convex bipartite graph G is totally unimodular. □
Theorem 11. 
The total k-tuple domination problem for weighted convex bipartite graphs ( G , w ) can be solved in the running time of
O n 2.371552 log 2 ( n ) log n δ ,
where n is the number of vertices in G, and δ is the desired accuracy within the range ( 0 , 1 ] .
Proof. 
By Lemma 6, Lemma 8, and Theorem 10, the neighborhood matrix N of G and the constraint matrix N in LP × t k ( G , w ) are totally unimodular. Consequently, the polyhedron associated with LP × t k ( G , w ) is integer, meaning that the optimal objective values of LP × t k ( G , w ) and IP × t k ( G , w ) are equal.
Thus, solving IP × t k ( G , w ) is equivalent to finding an integral solution to LP × t k ( G , w ) . This implies that the total k-tuple domination problem for weighted convex bipartite graphs can be solved by computing an integral solution to LP × t k ( G , w ) .
Following arguments analogous to those used in the proof of Theorem 9, we conclude that the total k-tuple domination problem can be solved in the running time of
O n 2.371552 log 2 ( n ) log n δ .

6. Conclusions and Future Directions

This paper investigates the complexity of and algorithmic solutions for { k } -domination, k-tuple domination, and their total domination variants in weighted subclasses of chordal graphs and bipartite graphs. The primary contributions of this work are as follows:
1.
Developing efficient O ( n + m ) time algorithms for { k } -domination in weighted strongly chordal graphs and total { k } -domination in weighted chordal bipartite graphs.
2.
Establishing the running time of O ( n 2.371552 log 2 ( n ) log ( n / δ ) ) for k-tuple and total k-tuple domination in weighted proper interval graphs and convex bipartite graphs. This result improves the running time for the k-tuple domination problem in unit proper interval graphs.
3.
Extending theoretical models to vertex-weighted graph settings, bridging gaps in the existing research on weighted graph domination.
4.
Leveraging linear and integer programming techniques, supported by totally balanced and totally unimodular matrices, to provide formal proofs of correctness and efficiency for the proposed algorithms.
These results advance both the theoretical understanding and computational efficiency of domination problems in weighted graph classes.
Future work can extend these domination techniques to other weighted graph classes, including real-world network applications and dynamic graph settings. Additionally, integrating these approaches with advanced optimization techniques, such as parallel computation and distributed systems, may yield even more efficient and scalable algorithms.

Funding

This research received no external funding.

Data Availability Statement

Data are contained within the article.

Acknowledgments

The author sincerely thanks the reviewers for their insightful comments and suggestions, which have greatly improved this paper’s clarity, analysis, and overall quality. Their constructive feedback and dedication to advancing research in this field are deeply appreciated.

Conflicts of Interest

The author declares no conflicts of interest.

References

  1. Hedetniemi, S.T.; Laskar, R.C. (Eds.) Special Volume: Topics on Domination, Discrete Mathematics; North Holland: New York, NY, USA, 1990; Volume 86. [Google Scholar]
  2. Haynes, T.W.; Hedetniemi, S.T.; Slater, P.J. (Eds.) Fundamentals of Domination in Graphs; Marcel Dekker: New York, NY, USA, 1998. [Google Scholar]
  3. Haynes, T.W.; Hedetniemi, S.T.; Slater, P.J. (Eds.) Domination in Graphs: Advanced Topics; Marcel Dekker: New York, NY, USA, 1998. [Google Scholar]
  4. Haynes, T.W.; Hedetniemi, S.T.; Henning, M.A. (Eds.) Topics in Domination in Graphs; Developments in Mathematics; Springer: Cham, Switzerland, 2020; Volume 64. [Google Scholar]
  5. Haynes, T.W.; Hedetniemi, S.T.; Henning, M.A. (Eds.) Structures of Domination in Graphs; Developments in Mathematics; Springer: Cham, Switzerland, 2021; Volume 66. [Google Scholar]
  6. Haynes, T.W.; Hedetniemi, S.T.; Henning, M.A. (Eds.) Domination in Graphs: Core Concepts; Springer Monographs in Mathematics; Springer: Cham, Switzerland, 2023. [Google Scholar]
  7. Henning, M.A.; Yeo, A. Total Domination in Graphs; Springer Monographs in Mathematics; Springer: Cham, Switzerland, 2013. [Google Scholar]
  8. Argiroffo, G.; Leoni, V.; Torres, P. On the complexity of {k}-domination and k-tuple domination in graphs. Inform. Process. Lett. 2015, 115, 556–561. [Google Scholar] [CrossRef]
  9. Pradhan, D. Complexity of certain functional variants of total domination in chordal bipartite graphs. Discret. Math. Algorithms Appl. 2012, 4, 1240045. [Google Scholar] [CrossRef]
  10. Argiroffo, G.; Leoni, V.; Torres, P. Complexity of k-tuple total and total {k}-dominations for some subclasses of bipartite graphs. Inform. Process. Lett. 2018, 138, 75–80. [Google Scholar] [CrossRef]
  11. He, J.; Liang, H. Complexity of total {k}-domination and related problem. In Proceedings of the FAW-AAIM 2011, Jinhua, China, 28–31 May 2011; LNCS 6681. pp. 147–155. [Google Scholar]
  12. Lee, C.-M.; Chang, M.S. Variations of Y-dominating functions on graphs. Discret. Math. 2008, 308, 4185–4204. [Google Scholar] [CrossRef]
  13. Argiroffo, G.; Leoni, V.; Torres, P. On the complexity of the labeled domination problem in graphs. Int. Trans. Oper. Res. 2017, 24, 355–367. [Google Scholar] [CrossRef]
  14. Bonomo-Braberman, F.; Gonzalez, C.L. A new approach on locally checkable problems. Discret. Appl. Math. 2022, 314, 53–80. [Google Scholar] [CrossRef]
  15. Tan, H.; Liu, L.; Liang, H. Total {k}-domination in special graphs. Math. Found. Comput. 2018, 1, 255–263. [Google Scholar] [CrossRef]
  16. Lee, C.-M. R-total domination on convex bipartite graphs. J. Comb. Math. Comb. Comput. 2012, 81, 209–224. [Google Scholar]
  17. Lee, C.-M. The complexity of total k-domatic partition and total R-domination on graphs with weak elimination orderings. Int. J. Comput. Math. Comput. Syst. Theory 2020, 5, 134–147. [Google Scholar] [CrossRef]
  18. Bonomo, F.; Brešar, B.; Grippo, L.N.; Milanič, M.; Safe, M.D. Domination parameters with number 2: Interrelations and algorithmic consequences. Discret. Appl. Math. 2018, 235, 23–50. [Google Scholar] [CrossRef]
  19. Brešar, B.; Dorbec, P.; Goddard, W.; Hartnell, B.; Henning, M.A.; Klavžar, S.; Rall, D.F. Vizing’s conjecture: A survey and recent results. J. Graph Theory 2012, 69, 46–76. [Google Scholar] [CrossRef]
  20. Cabrera-Martínez, A.; Conchado Peiró, A. On the {2}-domination number of graphs. AIMS Math. 2022, 7, 10731–10743. [Google Scholar] [CrossRef]
  21. Cabrera-Martínez, A.; Montejano, L.P.; Rodríguez-Velázquez, J.A. From w-domination in graphs to domination parameters in lexicographic product graphs. Bull. Malays. Math. Sci. Soc. 2023, 46, 109. [Google Scholar] [CrossRef]
  22. Cheng, Y.J.; Fu, H.L.; Liu, C.A. The integer {k}-domination number of circulant graphs. Discret. Math. Algorithms Appl. 2020, 12, 2050055. [Google Scholar] [CrossRef]
  23. Choudhary, K.; Margulies, S.; Hicks, I.V. Integer domination of Cartesian product graphs. Discret. Math. 2015, 338, 1239–1242. [Google Scholar] [CrossRef]
  24. Krop, E.; Davila, R.R. On a Vizing-type Integer Domination Conjecture. Theory Appl. Graphs 2020, 7, 4. [Google Scholar] [CrossRef]
  25. Villamar, I.R.; Cabrera-Martínez, A.; Sánchez, J.L.; Sigarreta, J.M. Relating the total {2}-domination number with the total domination number of graphs. Discret. Appl. Math. 2023, 333, 90–95. [Google Scholar] [CrossRef]
  26. Zverovich, V. On general frameworks and threshold functions for multiple domination. Discret. Math. 2015, 338, 2095–2104. [Google Scholar] [CrossRef]
  27. Liao, C.; Chang, G.J. Algorthmic aspects of k-tuple domination in graphs. Taiwan. J. Math. 2002, 6, 415–420. [Google Scholar] [CrossRef]
  28. Liao, C.; Chang, G.J. k-tuple domination in graphs. Inform. Process. Lett. 2003, 87, 45–50. [Google Scholar] [CrossRef]
  29. Li, P.; Wang, A.; Shang, J. A simple optimal algorithm for k-tuple dominating problem in interval graphs. J. Comb. Optim. 2023, 45, 14. [Google Scholar] [CrossRef]
  30. Dobson, M.P.; Leoni, V.; Nasini, G. The multiple domination and limited packing problems in graphs. Inform. Process. Lett. 2011, 111, 1108–1113. [Google Scholar] [CrossRef]
  31. Dobson, M.P.; Leoni, V.; Lopez Pujato, M.I. Efficient algorithms for tuple domination on co-biconvex graphs and web graphs. arXiv 2022, arXiv:2008.05345. [Google Scholar]
  32. Chiarelli, N.; Hartinger, T.R.; Leoni, V.A.; Lopez Pujato, M.I.; Milaniĉ, M. New algorithms for weighted k-domination and total k-domination problem in proper interval graphs. Theor. Comput. Sci. 2019, 795, 128–141. [Google Scholar] [CrossRef]
  33. Li, P.; Li, X.; Liu, J.-B.; Shang, J. Optimized Algorithms for Problems Related to Weighted k-Domination, k-Tuple Domination, and Total k-Domination for Unit Interval Graphs. 2024. Available online: https://ssrn.com/abstract=4725957 (accessed on 8 May 2012).
  34. Dobson, M.P.; Leoni, V.; Lopez Pujato, M.I. k-tuple and k-tuple dominations on web graphs. Mat. Contemp. 2020, 48, 31–41. [Google Scholar] [CrossRef]
  35. Bellmonte, R.; Vatshelle, M. Graph classes with structured neighborhoods and algorithmic applications. Theor. Comput. Sci. 2013, 511, 54–65. [Google Scholar] [CrossRef]
  36. Bui-Xuan, B.; Telle, J.A.; Vatshelle, M. Fast dynamic programming for locally checkable vertex subset and vertex partitioning problems. Theor. Comput. Sci. 2013, 511, 66–76. [Google Scholar] [CrossRef]
  37. Barman, S.C.; Mondal, S.; Pal, M. Minimum 2-tuple domianting set of permutation graphs. J. Appl. Math. Comput. 2013, 43, 133–150. [Google Scholar] [CrossRef]
  38. Sinha, A.K.; Rana, A.; Pal, A. The 2-tuple domination problem on trapezoid graphs. Ann. Pure Appl. Math. 2014, 7, 71–76. [Google Scholar]
  39. Sinha, A.K.; Rana, A.; Pal, A. The 2-tuple domination problem on circular-arc graphs. J. Math. Inform. 2017, 8, 45–55. [Google Scholar] [CrossRef]
  40. Lan, J.K.; Chang, G.J. On the algorithmic complexity of k-tuple total domination. Discret. Appl. Math. 2014, 174, 81–91. [Google Scholar] [CrossRef]
  41. Lee, C.-M. Signed and minus total domination on subclasses of bipartite graphs. Ars Comb. 2011, 100, 129–149. [Google Scholar]
  42. Liu, C.H.; Chang, G.J. Roman domination on strongly chordal graphs. J. Comb. Optim. 2013, 26, 608–619. [Google Scholar] [CrossRef]
  43. Klobučar Barišić, A.; Manger, R. Solving the minimum-cost double Roman domination problem. Cent. Eur. J. Oper. Res. 2014, 32, 793–817. [Google Scholar] [CrossRef]
  44. Brandstädt, A.; Le, V.B.; Spinrad, J.P. Graph Classes: A Survey; Society for Industrial and Applied Mathematics: Philadelphia, PA, USA, 1999. [Google Scholar]
  45. Hoffman, A.J.; Kolen, A.W.J.; Sakarovitch, M. Totally-balanced and greedy matrices. Siam J. Alg. Disc. Meth. 1985, 6, 721–730. [Google Scholar] [CrossRef]
  46. Cormen, T.H.; Leiserson, C.E.; Rivest, R.L.; Stein, C. Introduction to Algorithms, 4th ed.; MIT Press: Cambridge, MA, USA, 2022. [Google Scholar]
  47. Schrijver, A. Theory of Linear and Integer Programming; John Wiley & Sons: Hoboken, NJ, USA, 1998. [Google Scholar]
  48. Diestel, R. Graph Theory, 6th ed.; Springer: Berlin/Heidelberg, Germany, 2024. [Google Scholar]
  49. Strang, G. Introduction to Linear Algebra; Wellesley-Cambridge Press: Wellesley, MA, USA, 2022. [Google Scholar]
  50. Rose, D.J. Triangulated graphs and the elimination process. J. Math. Anal. Appl. 1970, 32, 597–600. [Google Scholar] [CrossRef]
  51. Farber, M. Characterizations of strongly chordal graphs. Discret. Math. 1983, 43, 173–189. [Google Scholar] [CrossRef]
  52. Uehara, R. Linear time algorithms on chordal bipartite and strongly chordal graphs. In Proceedings of the Automata, Languages and Programming: 29th International Colloquium, ICALP 2002, Málaga, Spain, 8–13 July 2002; pp. 993–1004. [Google Scholar]
  53. Roberts, F.S. Indifference Graphs, Proof Techniques in Graph Theory; Harary, F., Ed.; Academic Press: New York, NY, USA, 1969; pp. 139–146. [Google Scholar]
  54. Tardella, F. The fundamental theorem of linear programming: Extensions and applications. Optimization 2011, 60, 283–301. [Google Scholar] [CrossRef]
  55. Khachiyan, L.G. A polynomial algorithm for linear programming. Dokl. Akad. Nauk. SSSR 1979, 244, 1093–1096. [Google Scholar] [CrossRef]
  56. Karp, R.M. Reductibility among combinatorial problems. Complex. Comput. Comput. 1972, 1, 85–103. [Google Scholar]
  57. Scheinerman, E.R.; Ullman, D.H. Fractional Graph Theory: A Rational Approach to the Theory of Graphs; Dover Publications, Inc.: Mineola, NY, USA, 2011. [Google Scholar]
  58. Van den Brand, J. A deterministic linear program solver in current matrix multiplication time. In Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms, Salt Lake City, UT, USA, 5–8 January 2020; Society for Industrial and Applied Mathematics: Philadelphia, PA, USA, 2020; pp. 259–278. [Google Scholar]
  59. Cohen, M.B.; Lee, Y.T.; Song, Z. Solving linear programs in the current matrix multiplication time. J. ACM 2021, 68, 1–39. [Google Scholar] [CrossRef]
  60. Williams, V.V.; Xu, Y.; Xu, Z.; Zhou, R. New bounds for matrix multiplication: From alpha to omega. In Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), Alexandria, Virginia, 7–10 January 2024; Society for Industrial and Applied Mathematics: Philadelphia, PA, USA, 2024; pp. 3792–3835. [Google Scholar]
  61. Zhang, F. (Ed.) The Schur Complement and Its Applications; Springer Science & Business Media: Berlin/Heidelberg, Germany, 2006; Volume 4. [Google Scholar]
Figure 1. A representation of a graph G. (a) The graph G with 4 vertices and 4 edges. (b) The adjacency-list representation of G.
Figure 1. A representation of a graph G. (a) The graph G with 4 vertices and 4 edges. (b) The adjacency-list representation of G.
Mathematics 13 00403 g001
Figure 2. An interval graph constructed from the intervals [ 0.5 , 2.5 ] ,   [ 2 , 4.5 ] ,   [ 3.5 , 5.5 ] ,   [ 5 , 7.5 ] . The upper part shows the interval representation, and the lower part shows the corresponding graph.
Figure 2. An interval graph constructed from the intervals [ 0.5 , 2.5 ] ,   [ 2 , 4.5 ] ,   [ 3.5 , 5.5 ] ,   [ 5 , 7.5 ] . The upper part shows the interval representation, and the lower part shows the corresponding graph.
Mathematics 13 00403 g002
Figure 3. A convex bipartite graph G = ( X , Y , E ) , where X = { x 1 , x 2 , x 3 , x 4 } and Y = { y 1 , y 2 , y 3 , y 4 } . The graph satisfies the adjacency property for the ordering of X.
Figure 3. A convex bipartite graph G = ( X , Y , E ) , where X = { x 1 , x 2 , x 3 , x 4 } and Y = { y 1 , y 2 , y 3 , y 4 } . The graph satisfies the adjacency property for the ordering of X.
Mathematics 13 00403 g003
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Lee, C.-M. Exploring Dominating Functions and Their Complexity in Subclasses of Weighted Chordal Graphs and Bipartite Graphs. Mathematics 2025, 13, 403. https://doi.org/10.3390/math13030403

AMA Style

Lee C-M. Exploring Dominating Functions and Their Complexity in Subclasses of Weighted Chordal Graphs and Bipartite Graphs. Mathematics. 2025; 13(3):403. https://doi.org/10.3390/math13030403

Chicago/Turabian Style

Lee, Chuan-Min. 2025. "Exploring Dominating Functions and Their Complexity in Subclasses of Weighted Chordal Graphs and Bipartite Graphs" Mathematics 13, no. 3: 403. https://doi.org/10.3390/math13030403

APA Style

Lee, C.-M. (2025). Exploring Dominating Functions and Their Complexity in Subclasses of Weighted Chordal Graphs and Bipartite Graphs. Mathematics, 13(3), 403. https://doi.org/10.3390/math13030403

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop