Next Article in Journal
Estimation and Simultaneous Confidence Bands for Fixed-Effects Panel Data Partially Linear Models
Previous Article in Journal
A Trigonometric Variant of Kaneko–Tsumura ψ-Values
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Sphere Coverage in n Dimensions

1
School of Computer Science and Information Technology, University College Cork, T12 XF62 Cork, Ireland
2
Faculty of Mathematics and Informatics, Transilvania University of Brasov, 500036 Brasov, Romania
*
Author to whom correspondence should be addressed.
Mathematics 2024, 12(23), 3772; https://doi.org/10.3390/math12233772
Submission received: 19 October 2024 / Revised: 20 November 2024 / Accepted: 27 November 2024 / Published: 29 November 2024

Abstract

:
This paper presents some theoretical results on the sphere coverage problem in the n-dimensional space. These results refer to the minimal number of spheres, denoted by N k ( a ) , to cover a cuboid. The first properties outline some theoretical results for the numbers N k ( a ) , including sub-additivity and monotony on each variable. We use then these results to establish some lower and upper bounds for N k ( a ) , as well as for the minimal density of spheres to achieve k-coverage. Finally, a computation is proposed to approximate the N k ( a ) numbers, and some tables are produced to show them for 2D and 3D cuboids.

1. Introduction

The challenges associated with packing and covering surfaces with circles or spheres of similar radii have numerous practical applications, ranging from coding theory to Wireless Sensor Networks (WSN). These problems are complementary in nature: the packing problem aims to determine the maximum number of spheres that can fill a given area, while the covering problem seeks to identify the minimum number of spheres required to cover a specified area. While considerable attention has been devoted to the packing problem, the coverage problem remains relatively under explored.
For instance, notable progress has been made in addressing the packing problem, with several significant results including equations, as well as lower and upper bounds for packing density, and patterns that achieve maximum packing [1]. However, the covering problem has received comparatively less attention, and consistent results regarding the minimal number of spheres, minimal density, or the patterns necessary to achieve optimal coverage are lacking.

1.1. Problem to Investigate

The problem to research is to investigate in R n what the smallest number of spheres needed to fully cover a cuboid is. In R n , the sphere and cuboid shapes are defined as follows.
Definition 1. 
A n-sphere of center x R n and radius r > 0 is given by
S ( x , r ) = { y R n :   y x   r } ,
where . is the Euclidean distance in R n .
The volume of the sphere S ( x , r ) in R n is V n ( r ) = π n / 2 Γ ( n + 1 2 ) · r n , where Γ is the Euler gamma function defined by Γ ( n + 1 2 ) = ( n 1 2 ) · ( n 3 2 ) · · 1 2 · π 1 2 . The first five equations for the sphere volumes are presented in Table 1.
Definition 2. 
A n-dimensional cuboid or rectangle given by a , b R n with a b is R ( a , b ) = i = 1 n [ a i , b i ] ; R ( b ) denotes the cuboid with a = 0 . Note that the order relationship a b is defined on components a i b i , i = 1 , , n .
The volume of the n-cuboid is given by V n ( a , b ) = i = 1 n | b i a i | .
The coverage problem requires to have the space of the cuboid R ( a ) fully covered by spheres of the same radius.
Definition 3. 
The cuboid R ( a ) is k-covered with spheres of radius 1 if, y R ( a ) , there exist k different spheres S ( x i , 1 ) i = 1 . . k , so that y S ( x i , 1 ) i = 1 . . k .
This definition does not exclude the situation where the spheres have the same center. It is clear that the k-coverage exists when a huge number of spheres are used to cover the points k times. However, it makes sense to find the coverage that uses the smallest number of spheres.
Definition 4. 
If a R + n , then N k ( a ) denotes the smallest number of spheres to have a k-coverage for the cuboid R ( a ) .
The problem to investigate can be mathematically formulated as follows: given the cuboid R ( a ) R n , find the minimum number of spheres S ( x , 1 ) of radius 1 to k-cover it, e.g.,
N k ( a ) = min { m N : so that there are m spheres S ( x , 1 ) to cover R ( a ) } .

1.2. Related Works

Since 1939, research on one-coverage or circle packing has focused on developing mathematical expressions for optimal covering configurations. Notably, Kershner [2] studied how to cover any two-dimensional point set with congruent circles, demonstrating that the minimum number of circles, N ( ϵ ) , required to cover a closed set of points M satisfies lim ϵ 0 N ( ϵ ) = 2 3 9 · ϵ 2 · | M | . Furthermore, Verblunsky [3] demonstrated that the minimum number N ( l ) of circles with radius 1 required to cover a square of side length l must satisfy N ( l ) 2 l 2 + l 3 3 . These early studies [2,3] did not focus on specific circle patterns for minimal coverage, while recent research has explored efficient methods for covering rectangles with congruent circles [4,5,6]. These studies have confirmed the difficulty of achieving optimal packing and the lack of a definitive pattern for achieving optimal coverage.
Recently, many studies have focused on k-coverage problems in sensor networks, exploring the conditions for achieving coverage and detection algorithms. Some research discusses the minimum density of sensors needed for k-coverage in a specified area. Adlakha et al. [7] proposed an exposure-based model to determine the necessary sensor density for complete coverage, concluding that the number of sensors required for one-coverage is approximately O ( A / r 2 ) , where A is the area being covered; however, they did not provide a constant factor for this estimate.
Research by Ammari et al. [8] focused on k-coverage, a condition where each point in the target area is covered by at least k sensors. They divided the target area into “Reuleaux” triangles, and found that the target area is k-covered if and only if each “Reuleaux” triangle contains at least k active sensors. Additionally, they determined the minimal sensor density required to guarantee k-coverage is λ ( r , k ) = 2 k ( π 3 ) · r 2 = 1.4188 · k r 2 , where r is the radius of the sensing disks, which is directly proportional to k and inversely proportional to the square of the sensing disk radius.
Tabirca et al. [9] studied the minimal number of sensors required for 2D coverage, providing mathematical equations as lower and upper bounds for these numbers, as well as some values for small dimensions. Then, similar results were proposed by Tabirca [10] for the 3D space considering how can cover cuboids.
The exploration of 3D coverage arises from the demand for robust coverage in Wireless Sensor Networks (WSNs) deployed within buildings or integrated into cellular networks. Research efforts have primarily focused on identifying efficient deployments utilizing 3D geometrical shapes such as spheres, octahedrons, or dodecahedrons. Another avenue of investigation involves theoretical analyses of coverage properties like density and uncovered areas. However, transitioning from 2D to 3D coverage presents significantly greater challenges.
Zhang et al. [11] studied full-coverage deployment using lattice concepts. They connected optimal patterns with natural constructs, and used lattices to model coverage due to their periodicity and homogeneity. The authors proposed new deployment coverage patterns for optimal connectivity under lattice constraints and demonstrated their practical application using sphere sensing and communication models.
Huang et al. [12] proposed an efficient coverage solution by reducing the 3D problem to 2D and then 1D. They used spheres and sphere caps to develop a polynomial algorithm. They introduced sphere coverage and field sensing and examined coverage of each spherical cap. By projecting circles onto a 1D line, they evaluated coverage levels.
Yun et al. [13] suggested optimal patterns for sensor deployment achieving full coverage and k-connectivity in WSNs. They proposed a hexagon-based universally elemental pattern and substantiated its optimality. They also proposed a new deployment polygon-based methodology, and investigated the k-connectivity problem, establishing its optimality for k < 6 based on a theoretical result linking coverage with connectivity graph topology.
Priyadarshi et al. [14] developed a deterministic sensor deployment method using nonlinear optimization. They proposed geometric relationships between sphere radius and area sizes, and integrated these expressions into a multivariable function maximized using Lagrange multipliers. They introduced a three-dimensional coverage pattern and deployment structure based on cuboids, partitioning the monitor region into a three-dimensional grid. Their method significantly reduced the number of sensors compared to traditional methods like cube and regular tetrahedron schemes.
This article’s contribution can be described as twofold. Firstly, some theoretical results will be given to describe the monotonic properties of the numbers N k ( a ) . Then, upper and lower bounds are proposed for N k ( a ) , and for the minimal density of sensors. Secondly, the article will propose a complex algorithm to approximate the numbers N k ( a ) . Based on this computation, some of the N k ( a ) values will be presented for 2D and 3D.

2. Smallest Number of Spheres N k ( a )

Lemma 1. 
The numbers N k ( a ) satisfy the following equations:
a 1 , a 2 R + n , a 1 a 2 N k ( a 1 ) N k ( a 2 )
k 1 , k 2 N N k 1 + k 2 ( a ) N k 1 ( a ) + N k 2 ( a )
Proof. 
Since R ( 0 , a 1 ) R ( 0 , a 2 ) , then a minimal k-cover of R ( 0 , a 2 ) gives a k-cover for R ( 0 , a 1 ) , so that N k ( a 1 ) N k ( a 2 ) . Now, the minimal k 1 -cover, together with the minimal k 2 -cover of R ( 0 , a ) , gives a ( k 1 + k 2 ) -cover for the cuboid, so that N k 1 + k 2 ( a ) N k 1 ( a ) + N k 2 ( a ) .    □
Lemma 2. 
N 1 ( 2 n · 1 n ) = 1 .
Proof. 
This is based on R ( 0 , 2 n · 1 n ) S ( 1 n · 1 n , 1 ) , which means that the specified sphere of radius 1 covers the n-rectangle, because
x R ( 0 , 2 n · 1 n ) | x i 1 n | 1 n
x 1 n · 1 n = i = 1 n ( x i 1 n ) 2 i = 1 n ( 1 n ) 2 = 1 .
Furthermore, the n-sphere circumscribes the rectangle.    □
Lemma 3. 
x N n N 1 ( 2 n · x ) i = 1 n x i
Proof. 
We use the decomposition of the n-rectangle R ( 0 , 2 n · x ) in small rectangles, which can be inscribed in spheres or radius 1. This decomposition takes benefit of the fact that x N n has all components natural numbers, and is given by
R ( 0 , 2 n · x ) =
= 0 i 1 < x 1 0 i 2 < x 2 0 i n < x n R ( 2 n · ( i 1 , , i n ) , 2 n · ( i 1 + 1 , , i n + 1 ) .
If i = ( i 1 , , i n ) R n , then ( i 1 + 1 , , i n + 1 ) = i + 1 n , so that
R ( 2 n · ( i 1 , , i n ) , 2 n · ( i 1 + 1 , , i n + 1 ) = R ( 2 n · i , 2 n · ( i + 1 n ) = 2 n · i + R ( 0 , 2 n · 1 n ) ,
which is covered by an n-sphere of radius 1. Therefore, Equation (5) shows that the rectangle R ( 0 , 2 n · x ) can be decomposed in small rectangles that can be inscribed in spheres of radius 1, so that there is a one-covering with i = 1 n x i spheres.    □
Lemma 4. 
a R n N 1 ( a ) i = 1 n n 2 · a i
The proof of this lemma is based on the previous lemmas. Consider x i = n 2 · a i N , which gives n 2 · a i x i a i 2 n · x i . Since a 2 n · x , it results from Lemmas 1 and 2 that
N 1 ( a ) N 1 ( 2 n · x ) i = 1 n x i = i = 1 n n 2 · a i .
Theorem 1. 
The numbers N k ( a ) , a R n satisfy the following equation:
k · Γ ( n + 1 2 ) π n 2 · i = 1 n a i N k ( a ) k · i = 1 n n 2 · a i .
One inequality of Equation (7) is a direct consequence of Lemmas 1 and 4, because
N k ( a ) = N 1 + 1 + . . + 1 ( a ) N 1 ( a ) + + N 1 ( a ) = k · N 1 ( a ) k · i = 1 n n 2 · a i .
For the second inequality, we observe that N k ( a )  n-spheres of radius 1 fully cover the n-rectangle R ( 0 , a ) ’s volume k times; this gives the following implications:
N k ( a ) · V s ( r ) k · V r ( 0 , a ) N k ( a ) · π n / 2 Γ ( n + 1 2 ) k · i = 1 n a i
N k ( a ) k · Γ ( n + 1 2 ) π n / 2 · i = 1 n a i
which now fully proves the double inequality.
When each component of a = ( a 1 , , a n ) tends to infinity, e.g., a i , we can consider that a . The following consequence is found when we isolate N k ( a ) V n ( 0 , a ) , then take the limit a and use lim a i n 2 · a i a i = n 2 .
Proposition 1. 
The numbers N k ( a ) , a R n satisfy the following equation:
k · Γ ( n + 1 2 ) π n 2 lim a N k ( a ) V n ( 0 , a ) k · ( n 2 ) n .
We can denote λ n ( k ) = lim a N k ( a ) V n ( 0 , a ) , and call it the minimal density of spheres to achieve k-coverage in the n-dimensional space. Therefore, these minimal densities are between the lower and upper bounds listed below for the values of n = 2 , 3 , 4 , 5 :
n = 2 k π λ 2 ( k ) k 2 0.318 · k λ 2 ( k ) 0.5 · k
n = 3 3 4 · π · k λ 3 ( k ) 3 · 3 8 · k 0.238 · k λ 3 ( k ) 0.649 · k
n = 4 2 π 2 · k λ 4 ( k ) k 0.202 · k λ 4 ( k ) k
n = 5 15 8 · π 2 · k λ 5 ( k ) 25 · 5 32 · k 0.189 · k λ 5 ( k ) 1.746 · k

3. Algorithm and Computational Results

A computational strategy similar to that of Nurmela and Ostergard [5] is employed to calculate the approximate minimum covering number N 1 ( a ) , simply denoted as N in the following, for cuboids R ( a ) in 2D and 3D, with integer edge lengths not exceeding 9 for two dimensions, and not exceeding 5 for three dimensions (Figure 1). Algorithm 1 presents the pseudocode for our approach.
For a given set edge lengths a, a binary search method is utilized to find the smallest positive integer N between the theoretical lower and upper bounds established in Theorem 1, such that N unit circles or spheres could cover the cuboid R ( a ) . Specifically, we determined the direction of the binary search by verifying whether N circles or spheres could cover the given cuboid, with the final minimum N value representing the sought-after approximated N.
To verify whether N circles or spheres could cover a given cuboid R ( a ) , we initially generated M sets of random initial positions for N circle or sphere centers. Subsequently, adopting a strategy akin to [5], we applied the Broyden–Fletcher–Goldfarb–Shanno (BFGS) algorithm to optimize these center positions, yielding M local optimal solutions. We constructed a minimization function f ( x ) , where x represents the position vector of N circle or sphere centers. If, after BFGS optimization, any solution set corresponded to N circle positions that completely covered the cuboid R ( a ) , it was concluded that N circles or spheres could cover the given cuboid.
Algorithm 1 Minimum covering number calculation
Require: 
Cuboid dimensions a, Number of random trials M
Ensure: 
Approximated minimum covering number N
1:
function FindMinimalCoveringNumber(a, M)
2:
    lower_bound Γ ( n + 1 / 2 ) π n / 2 i a i
3:
    upper_bound i = 1 n n 2 · a i
4:
    while lower_bound < upper_bound do
5:
         N ( lower _ bound + upper _ bound ) / 2
6:
        if CanCoverCuboid(N, a, M) then
7:
           upper_bound N
8:
        else
9:
           lower_bound N + 1
10:
    return upper_bound

11:
function CanCoverCuboid(N, a, M)
12:
    for trial 1 to M do
13:
         x GenerateRandomPositions(N, a)
14:
         x opt BFGS_minimize(f, x ) where  f ( x ) = Loss( x , a)
15:
        if Loss( x opt , a) 1  then
16:
           return true
17:
    return false

18:
function Loss( x , a)
19:
     V ConstructVoronoiDiagram( x )
20:
    uncovered ←CalculateUncoveredVolume(V, x , a)
21:
    max_dist_squared ←CalculateMaxDistanceSquared(V, x )
22:
    boundary_violation ←CalculateBoundaryViolation( x , a)
23:
    return uncovered + max_dist_squared + boundary_violation

24:
function CalculateUncoveredVolume(V, x , a)
25:
    covered 0
26:
    for all point x in x  do
27:
         C The cell in V containing x
28:
         S  DecomposeIntoSimplices(C)
29:
         c The unit circle or sphere centered at point x
30:
        for all simplex s in S do
31:
           covered ← covered + CalculateIntersectionVolume(s, c)
32:
    return  ( i = 1 n a i ) covered

33:
function CalculateMaxDistanceSquared(V, x )
34:
    max_dist_squared 0
35:
    for all point x in x  do
36:
         C The cell in V containing x
37:
        for all vertex v in C do
38:
           dist_squared min x x v x 2
39:
           max_dist_squared max { max _ dist _ squared , dist _ squared }
40:
    return max_dist_squared

41:
function CalculateBoundaryViolation( x , a)
42:
    sum 0
43:
    for all point x in x  do
44:
        sum ← sum + i = 1 n ( max { 0 , x i } + max { 0 , x i a i } )
45:
    return sum
Diverging from [5], we found that using only the uncovered area or volume as a loss function could lead to the optimization process becoming trapped in local minima when approaching nearly full coverage, where the area or volume approaches zero. Instead of introducing additional steps to address this issue, as in [5], we proposed an improved loss function,
f ( x ) = A uncovered ( x ) + max p R ( a ) min x x p x 2 + x x H H d ( x , H ) ,
where A uncovered ( x ) represents the uncovered area or volume, max p R ( a ) min x x p x 2 is the square of the maximum distance from any point p in the cuboid to the nearest circle or sphere center x, H is the set of halfspaces defining the cuboid R ( a ) , and d ( x , H ) is the distance from point x to halfspace H. H H d ( x , H ) = 0 if and only if point x is within the cuboid R ( a ) .
This loss function not only considers the uncovered area or volume, but also introduces a guidance term to take effect when the uncovered area or volume approaches zero, while ensuring circle or sphere centers remain within the cuboid through a penalty term. The cuboid is fully covered by the unit circles or spheres if the loss function f ( x ) 1 , where the uncovered area or volume is 0, and the maximum distance from any point in the cuboid to the nearest circle or sphere center is less than or equal to 1.
To calculate the uncovered area or volume, we first constructed a Voronoi diagram of the circle or sphere centers, then computed the area or volume of the intersection between each Voronoi cell and its corresponding unit circle or sphere, and finally subtracted these areas or volumes from the area or volume of the cuboid R ( a ) to obtain the total uncovered area or volume. Specifically, we decomposed each Voronoi cell into a triangle or tetrahedron by connecting the simplices on its convex hull with its centroid as a vertex, then calculated the intersection area or volume of these triangles or tetrahedrons with the circle or sphere. The intersection volume was calculated using the method in [15].
Based on the research of Stoyan and Patsuk [16,17], the maximum distance from any point in the cuboid to the nearest circle or sphere center must occur at a vertex of the Voronoi diagram. Therefore, we only needed to calculate the distance from each Voronoi cell vertex to its corresponding circle or sphere center, and take the maximum value to obtain the required maximum distance.
If the edges of the cuboid are aligned with the coordinate axes, with the origin as one of its vertices, the total distance H H d ( x , H ) for any point x can be simply calculated as the sum of distances by which each coordinate of x exceeds the cuboid’s boundaries. Formally, this can be calculated as i = 1 n ( max { 0 , x i } + max { 0 , x i a i } ) .
With a fixed M = 30 , the experimental results for the minimum covering number N 1 ( a ) of cuboids R ( a ) are presented in the tables below; note that these numbers are approximation for N 1 ( a ) . For example, Table 2 shows the approximated numbers N 1 ( a ) in 2D, extending the results from [9]. On the other hand, Table 3, Table 4, Table 5, Table 6 and Table 7 show the approximated values of N 1 ( a ) = N 1 ( a 1 , a 2 , a 3 ) for a 3D cuboid listed in a sequence of sub-tables generated for a 1 = 1 , 2 , 3 , 4 , 5 . Note that the Python programs to generate these tables are available at [18].

4. Conclusions

The article presented some theoretical results related to the minimal number of spheres N k ( a ) to cover a cuboid in an n-dimensional space. Firstly, It was proven that these numbers N k ( a ) are sub-additive and increasing. Base on these results, some lower and upper bounds were proposed for N k ( a ) in Equation (7), which then generated Equation (8) for the minimal density for k-coverage. Finally, an algorithm was proposed to generate approximations for N 1 ( a ) for 2D and 3D cuboids. This computation was based on Voronoi diagrams generated for the area to cover. In addition, a loss function is introduced to lead the optimization process. The computation was then used to generate the numbers N k ( a ) for some cuboids in 2D and 3D. More work is now needed to investigate better intervals for these bounds, as well as to find geometrical configurations to achieve the minimal coverage. Furthermore, this work can also be extended to other type of shapes to cover a given area. For example, simplices, like triangles as two-simplex, tetrahedrons as three-simplex, etc., can be considered.

Author Contributions

Methodology, T.T. and S.T.; Software, F.Z.; Investigation, F.Z.; Writing—original draft, T.T.; Writing—review & editing, S.T.; Supervision, T.T. and S.T. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

No new data were created or analyzed in this study.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Tóth, G.F. Packing and covering in higher dimensions. arXiv 2022, arXiv:2202.11358. [Google Scholar]
  2. Kershner, R. The Number of Circles Covering a Set. Am. J. Math. 1939, 61, 665–671. [Google Scholar] [CrossRef]
  3. Verblunsky, S. On the Least Number of Unit Circles Which Can Cover a Square. J. Lond. Math Soc. 1949, 24, 164–170. [Google Scholar] [CrossRef]
  4. Melisen, J.B.M.; Shuur, P.C. Covering a Rectangle with 6 and 7 Circles. Discret. Appl. Math. 2000, 99, 146–156. [Google Scholar]
  5. Nurmela, K.J.; Ostergard, P.R.J. Covering a Square with up to 30 Equal Circles, Esearch Report HUT-TCS-A62; Laboratory of Theoretical Computer Science, Helsinky University of Technology: Helsinky, Finland, 2000. [Google Scholar]
  6. Tarnai, T.; Gasper, Z. Covering a Square by Equal Circles. Elem. Math. 1995, 50, 167–170. [Google Scholar]
  7. Adlakha, S.; Srivastava, M. Critical Density Threshold for Coverage in Wireless Sensor Networks. In Proceedings of the 2003 IEEE WCNC, Orleans, LA, USA, 16–20 March 2003; pp. 1615–1629. [Google Scholar]
  8. Ammari, H.M.; Das, S.K. Clustering-Based Minimum Energy Wireless m-Connected k-Covered Sensor Networks. In Proceedings of the 2008 EWSN Sensor, LNCS 4913, Bologna, Italy, 30 January–1 February 2008; pp. 1–6. [Google Scholar]
  9. Tabirca, T.; Yang, L.T.; Tabirca, S. Smallest Number of Sensors for k-Covering. Int. J. Comput. Commun. 2013, 2, 312–319. [Google Scholar] [CrossRef]
  10. Tabirca, T. Minimal Number of Sensors for 3D Coverage. Bull. Transilv. Univ. Bras. Math. Comput. Sci. 2024, 4, 209–218. [Google Scholar] [CrossRef]
  11. Zhang, C.; Bai, X.; Teng, J.; Xuan, D.; Jia, W. Constructing low-connectivity and full-coverage three dimensional sensor networks. IEEE J. Sel. Areas Commun. 2010, 28, 984–993. [Google Scholar] [CrossRef]
  12. Huang, C.F.; Tseng, Y.C.; Lo, C.F. The coverage problem in three-dimensional wireless sensor networks. In Proceedings of the IEEE Global Telecommunications Conference, GLOBECOM ’04, Dallas, TX, USA, 29 November–3 December 2004; Volume 5, pp. 3182–3186. [Google Scholar]
  13. Yun, Z.; Bai, X.; Xuan, D.; Lai, T.H.; Jia, W. Optimal Deployment Patterns for Full Coverage and k-Connectivity (k ≤ 6) Wireless Sensor Networks. IEEE/ACM Trans. Netw. 2010, 18, 934–947. [Google Scholar]
  14. Priyadarshi, R.; Gupta, B. Area Coverage Optimization in Three-Dimensional Wireless Sensor Network. Wirel. Pers Commun 2021, 117, 843–865. [Google Scholar] [CrossRef]
  15. Strobl, S.; Formella, A.; Pöschel, T. Exact calculation of the overlap volume of spheres and mesh elements. J. Comput. Phys. 2016, 311, 158–172. [Google Scholar] [CrossRef]
  16. Stoyan, Y.G.; Patsuk, V.M. Covering a compact polygonal set by identical circles. Comput. Optim. Appl. 2010, 46, 75–92. [Google Scholar] [CrossRef]
  17. Stoyan, Y.G.; Patsuk, V.M. Covering a convex 3D polytope by a minimal number of congruent spheres. Int. J. Comput. Math. 2014, 91, 2010–2020. [Google Scholar] [CrossRef]
  18. Fangda Zou Github Page. Available online: https://github.com/FredBill1/min-circle-covering (accessed on 18 November 2024).
Figure 1. Examples of minimal covering of cuboids R ( a ) in 2D and 3D, approximated using Algorithm 1. The Voronoi cells of the circle or sphere centers are painted with random colors. (a) Cover R ( a ) with 40 unit circles, where a = { 9 , 9 } . (b) Cover R ( a ) with 77 unit spheres, where a = { 5 , 5 , 5 } .
Figure 1. Examples of minimal covering of cuboids R ( a ) in 2D and 3D, approximated using Algorithm 1. The Voronoi cells of the circle or sphere centers are painted with random colors. (a) Cover R ( a ) with 40 unit circles, where a = { 9 , 9 } . (b) Cover R ( a ) with 77 unit spheres, where a = { 5 , 5 , 5 } .
Mathematics 12 03772 g001
Table 1. Sphere volume—first formulae.
Table 1. Sphere volume—first formulae.
n2345
V n ( r ) π · r 2 4 3 · π · r 3 1 2 · π 2 · r 4 8 15 · π 2 · r 5
Table 2. Approximated minimum covering number N ( a ) for 2D cuboids R ( a ) .
Table 2. Approximated minimum covering number N ( a ) for 2D cuboids R ( a ) .
a a 2 = 1 a 2 = 2 a 2 = 3 a 2 = 4 a 2 = 5 a 2 = 6 a 2 = 7 a 2 = 8 a 2 = 9
a 1 = 1 122334556
a 1 = 2 24466881111
a 1 = 3 245689111214
a 1 = 4 36691012151618
a 1 = 5 368101315182023
a 1 = 6 489121518212427
a 1 = 7 5811151821252832
a 1 = 8 51112162024283235
a 1 = 9 61114182327323540
Table 3. Approximated minimum covering number N ( a ) for 3D cuboids R ( a ) , where a 1 = 1 .
Table 3. Approximated minimum covering number N ( a ) for 3D cuboids R ( a ) , where a 1 = 1 .
a 1 = 1 a 3 = 1 a 3 = 2 a 3 = 3 a 3 = 4 a 3 = 5
a 2 = 1 12334
a 2 = 2 24568
a 2 = 3 358912
a 2 = 4 3691215
a 2 = 5 48121519
Table 4. Approximated minimum covering number N ( a ) for 3D cuboids R ( a ) , where a 1 = 2 .
Table 4. Approximated minimum covering number N ( a ) for 3D cuboids R ( a ) , where a 1 = 2 .
a 1 = 2 a 3 = 1 a 3 = 2 a 3 = 3 a 3 = 4 a 3 = 5
a 2 = 1 24568
a 2 = 2 48101215
a 2 = 3 510151823
a 2 = 4 612182228
a 2 = 5 815232834
Table 5. Approximated minimum covering number N ( a ) for 3D cuboids R ( a ) , where a 1 = 3 .
Table 5. Approximated minimum covering number N ( a ) for 3D cuboids R ( a ) , where a 1 = 3 .
a 1 = 3 a 3 = 1 a 3 = 2 a 3 = 3 a 3 = 4 a 3 = 5
a 2 = 1 358912
a 2 = 2 510151823
a 2 = 3 815212734
a 2 = 4 918273443
a 2 = 5 1223344353
Table 6. Approximated minimum covering number N ( a ) for 3D cuboids R ( a ) , where a 1 = 4 .
Table 6. Approximated minimum covering number N ( a ) for 3D cuboids R ( a ) , where a 1 = 4 .
a 1 = 4 a 3 = 1 a 3 = 2 a 3 = 3 a 3 = 4 a 3 = 5
a 2 = 1 3691215
a 2 = 2 612182228
a 2 = 3 918273443
a 2 = 4 1222344454
a 2 = 5 1528435468
Table 7. Approximated minimum covering number N ( a ) for 3D cuboids R ( a ) , where a 1 = 5 .
Table 7. Approximated minimum covering number N ( a ) for 3D cuboids R ( a ) , where a 1 = 5 .
a 1 = 5 a 3 = 1 a 3 = 2 a 3 = 3 a 3 = 4 a 3 = 5
a 2 = 1 48121519
a 2 = 2 815232834
a 2 = 3 1223344353
a 2 = 4 1528435468
a 2 = 5 1934536877
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

Tabirca, T.; Zou, F.; Tabirca, S. Sphere Coverage in n Dimensions. Mathematics 2024, 12, 3772. https://doi.org/10.3390/math12233772

AMA Style

Tabirca T, Zou F, Tabirca S. Sphere Coverage in n Dimensions. Mathematics. 2024; 12(23):3772. https://doi.org/10.3390/math12233772

Chicago/Turabian Style

Tabirca, Tatiana, Fangda Zou, and Sabin Tabirca. 2024. "Sphere Coverage in n Dimensions" Mathematics 12, no. 23: 3772. https://doi.org/10.3390/math12233772

APA Style

Tabirca, T., Zou, F., & Tabirca, S. (2024). Sphere Coverage in n Dimensions. Mathematics, 12(23), 3772. https://doi.org/10.3390/math12233772

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