Fitting Voronoi diagrams to planar tesselations
- Authors: Aloupis, Greg , Pérez-Rosés, Hebert , Pineda-Villavicencio, Guillermo , Taslakian, Perouz , Trinchet-Almaguer, Dannier
- Date: 2013
- Type: Text , Conference paper
- Relation: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 8288 LNCS, p. 349-361
- Full Text:
- Reviewed:
- Description: Given a tesselation of the plane, defined by a planar straight-line graph G, we want to find a minimal set S of points in the plane, such that the Voronoi diagram associated with S 'fits' G. This is the Generalized Inverse Voronoi Problem (GIVP), defined in [12] and rediscovered recently in [3]. Here we give an algorithm that solves this problem with a number of points that is linear in the size of G, assuming that the smallest angle in G is constant. © 2013 Springer-Verlag.
Connectivity of cubical polytopes
- Authors: Bui, Hoa , Pineda-Villavicencio, Guillermo , Ugon, Julien
- Date: 2019
- Type: Text , Journal article
- Relation: Journal of Combinatorial Theory Series A Vol. 169, no. (Jan 2019), p. 21
- Full Text:
- Reviewed:
- Description: A cubical polytope is a polytope with all its facets being combinatorially equivalent to cubes. We deal with the connectivity of the graphs of cubical polytopes. We first establish that, for any d >= 3, the graph of a cubical d-polytope with minimum degree 5 is min{delta, 2d - 2}-connected. Second, we show, for any d >= 4, that every minimum separator of cardinality at most 2d - 3 in such a graph consists of all the neighbours of some vertex and that removing the vertices of the separator from the graph leaves exactly two components, with one of them being the vertex itself. (C) 2019 Elsevier Inc. All rights reserved.
The linkedness of cubical polytopes: the cube
- Authors: Bui, Hoa , Pineda-Villavicencio, Guillermo , Ugon, Julien
- Date: 2021
- Type: Text , Journal article
- Relation: Electronic Journal of Combinatorics Vol. 28, no. 3 (2021), p.
- Relation: http://purl.org/au-research/grants/arc/DP180100602
- Full Text:
- Reviewed:
- Description: The paper is concerned with the linkedness of the graphs of cubical polytopes. A graph with at least 2k vertices is k-linked if, for every set of k disjoint pairs of vertices, there are k vertex-disjoint paths joining the vertices in the pairs. We say that a polytope is k-linked if its graph is k-linked. We establish that the d-dimensional cube is [(d + 1)/2]-linked, for every d ≠ 3; this is the maximum possible linkedness of a d-polytope. This result implies that, for every d ≥ 1, a cubical d-polytope is [d/2]-linked, which answers a question of Wotzlaw (Incidence graphs and unneighborly polytopes, Ph.D. thesis, 2009). Finally, we introduce the notion of strong linkedness, which is slightly stronger than that of linkedness. A graph G is strongly k-linked if it has at least 2k + 1 vertices and, for every vertex v of G, the subgraph G − v is k-linked. We show that cubical 4-polytopes are strongly 2-linked and that, for each d ≥ 1, d-dimensional cubes are strongly
The linkedness of cubical polytopes : beyond the cube
- Authors: Bui, Hoa , Pineda-Villavicencio, Guillermo , Ugon, Julien
- Date: 2024
- Type: Text , Journal article
- Relation: Discrete Mathematics Vol. 347, no. 3 (2024), p.
- Relation: https://purl.org/au-research/grants/arc/DP180100602
- Full Text:
- Reviewed:
- Description: A cubical polytope is a polytope with all its facets being combinatorially equivalent to cubes. The paper is concerned with the linkedness of the graphs of cubical polytopes. A graph with at least 2k vertices is k-linked if, for every set of k disjoint pairs of vertices, there are k vertex-disjoint paths joining the vertices in the pairs. We say that a polytope is k-linked if its graph is k-linked. In a previous paper [3] we proved that every cubical d-polytope is ⌊d/2⌋-linked. Here we strengthen this result by establishing the ⌊(d+1)/2⌋-linkedness of cubical d-polytopes, for every d≠3. A graph G is strongly k-linked if it has at least 2k+1 vertices and, for every vertex v of G, the subgraph G−v is k-linked. We say that a polytope is (strongly) k-linked if its graph is (strongly) k-linked. In this paper, we also prove that every cubical d-polytope is strongly ⌊d/2⌋-linked, for every d≠3. These results are best possible for this class of polytopes.
- Description: A cubical polytope is a polytope with all its facets being combinatorially equivalent to cubes. The paper is concerned with the linkedness of the graphs of cubical polytopes. A graph with at least 2k vertices is k-linked if, for every set of k disjoint pairs of vertices, there are k vertex-disjoint paths joining the vertices in the pairs. We say that a polytope is k-linked if its graph is k-linked. In a previous paper [3] we proved that every cubical d-polytope is
The maximum degree & diameter-bounded subgraph and its applications
- Authors: Dekker, Anthony , Pérez-Rosés, Hebert , Pineda-Villavicencio, Guillermo , Watters, Paul
- Date: 2012
- Type: Text , Journal article
- Relation: Journal of Mathematical Modelling and Algorithms Vol. 11, no. 3 (2012), p. 249-268
- Full Text: false
- Reviewed:
- Description: We introduce the problem of finding the largest subgraph of a given weighted undirected graph (host graph), subject to constraints on the maximum degree and the diameter. We discuss some applications in security, network design and parallel processing, and in connection with the latter we derive some bounds for the order of the largest subgraph in host graphs of practical interest: the mesh and the hypercube. We also present a heuristic strategy to solve the problem, and we prove an approximation ratio for the algorithm. Finally, we provide some experimental results with a variety of host networks, which show that the algorithm performs better in practice than the prediction provided by our theoretical approximation ratio.
On bipartite graphs of diameter 3 and defect 2
- Authors: Delorme, Charles , Jorgensen, Leif , Miller, Mirka , Pineda-Villavicencio, Guillermo
- Date: 2009
- Type: Text , Journal article
- Relation: Journal of Graph Theory Vol. 61, no. 4 (2009), p. 271-288
- Full Text:
- Reviewed:
- Description: We consider bipartite graphs of degree A<2, diameter D = 3, and defect 2 (having 2 vertices less than the bipartite Moore bound). Such graphs are called bipartite (â–³,3, -2) -graphs. We prove the uniqueness of the known bipartite (3, 3, -2) -graph and bipartite (4, 3, -2)-graph. We also prove several necessary conditions for the existence of bipartite (â–³,3, -2) - graphs. The most general of these conditions is that either â–³ or â–³-2 must be a perfect square. Furthermore, in some cases for which the condition holds, in particular, when â–³ = 6 and â–³ = 9, we prove the non-existence of the corresponding bipartite (â–³,3,-2)-graphs, thus establishing that there are no bipartite (â–³,3, -2)-graphs, for 5
On graphs with cyclic defect or excess
- Authors: Delorme, Charles , Pineda-Villavicencio, Guillermo
- Date: 2010
- Type: Text , Journal article
- Relation: Electronic Journal of Combinatorics Vol. 17, no. 1 (2010), p.
- Full Text:
- Reviewed:
- Description: The Moore bound constitutes both an upper bound on the order of a graph of maximum degree d and diameter D = k and a lower bound on the order of a graph of minimum degree d and odd girth g = 2k + 1. Graphs missing or exceeding the Moore bound by ε are called graphs with defect or excess ε, respectively. While Moore graphs (graphs with ε = 0) and graphs with defect or excess 1 have been characterized almost completely, graphs with defect or excess 2 represent a wide unexplored area. Graphs with defect (excess) 2 satisfy the equation Gd,k(A) = Jn +B (Gd,k(A) = Jn - B), where A denotes the adjacency matrix of the graph in question, n its order, Jn the n × n matrix whose entries are all 1's, B the adjacency matrix of a union of vertex-disjoint cycles, and Gd,k(x) a polynomial with integer coefficients such that the matrix Gd,k(A) gives the number of paths of length at most k joining each pair of vertices in the graph. In particular, if B is the adjacency matrix of a cycle of order n we call the corresponding graphs graphs with cyclic defect or excess; these graphs are the subject of our attention in this paper. We prove the non-existence of infinitely many such graphs. As the highlight of the paper we provide the asymptotic upper bound of O(64/3 d3/2) for the number of graphs of odd degree d ≥ 3 and cyclic defect or excess. This bound is in fact quite generous, and as a way of illustration, we show the non-existence of some families of graphs of odd degree d ≥ 3 and cyclic defect or excess. Actually, we conjecture that, apart from the Möbius ladder on 8 vertices, no non-trivial graph of any degree ≥ 3 and cyclic defect or excess exists.
On bipartite graphs of defect 2
- Authors: Delorme, Charles , Jorgensen, Leif , Miller, Mirka , Pineda-Villavicencio, Guillermo
- Date: 2009
- Type: Text , Journal article
- Relation: European Journal of Combinatorics Vol. 30, no. 4 (2009), p. 798-808
- Full Text:
- Reviewed:
- Description: It is known that the Moore bipartite bound provides an upper bound on the order of a connected bipartite graph. In this paper we deal with bipartite graphs of maximum degree
Quadratic form representations via generalized continuants
- Authors: Delorme, Charles , Pineda-Villavicencio, Guillermo
- Date: 2015
- Type: Text , Journal article
- Relation: Journal of Integer Sequences Vol. 18, no. 6 (2015), p. Article number 15.6.4
- Full Text: false
- Reviewed:
- Description: H. J. S. Smith proved Fermat’s two-square theorem using the notion of palindromic continuants. In this paper we extend Smith’s approach to proper binary quadratic form representations in some commutative Euclidean rings, including rings of integers and rings of polynomials over fields of odd characteristic. Also, we present new deterministic algorithms for finding the corresponding proper representations. © 2015 University of Waterloo. All rights reserved.
Continuants and some decompositions into squares
- Authors: Delorme, Charles , Pineda-Villavicencio, Guillermo
- Date: 2015
- Type: Text , Journal article
- Relation: Integers Vol. 15, no. (2015), p. 1
- Full Text:
- Reviewed:
- Description: In 1855 H. J. S. Smith proved Fermat's two-square using the notion of palindromic continuants. In his paper, Smith constructed a proper representation of a prime number
On the reconstruction of polytopes
- Authors: Doolittle, Joseph , Nevo, Eran , Pineda-Villavicencio, Guillermo , Ugon, Julien , Yost, David
- Date: 2019
- Type: Text , Journal article
- Relation: Discrete and Computational Geometry Vol. 61, no. 2 (2019), p. 285-302. http://purl.org/au-research/grants/arc/DP180100602
- Full Text:
- Reviewed:
- Description: Blind and Mani, and later Kalai, showed that the face lattice of a simple polytope is determined by its graph, namely its 1-skeleton. Call a vertex of a d-polytope nonsimple if the number of edges incident to it is more than d. We show that (1) the face lattice of any d-polytope with at most two nonsimple vertices is determined by its 1-skeleton; (2) the face lattice of any d-polytope with at most d- 2 nonsimple vertices is determined by its 2-skeleton; and (3) for any d> 3 there are two d-polytopes with d- 1 nonsimple vertices, isomorphic (d- 3) -skeleta and nonisomorphic face lattices. In particular, the result (1) is best possible for 4-polytopes. © 2018, Springer Science+Business Media, LLC, part of Springer Nature.
On large bipartite graphs of diameter 3
- Authors: Feria-Purón, Ramiro , Miller, Mirka , Pineda-Villavicencio, Guillermo
- Date: 2013
- Type: Text , Journal article
- Relation: Discrete Mathematics Vol. 313, no. 4 (2013), p. 381-390
- Relation: http://purl.org/au-research/grants/arc/DP110102011
- Full Text:
- Reviewed:
- Description: We consider the bipartite version of the degree/diameter problem, namely, given natural numbers d≥2 and D≥2, find the maximum number N b(d,D) of vertices in a bipartite graph of maximum degree d and diameter D. In this context, the bipartite Moore bound Mb(d,D) represents a general upper bound for Nb(d,D). Bipartite graphs of order Mb(d,D) are very rare, and determining Nb(d,D) still remains an open problem for most (d,D) pairs. This paper is a follow-up of our earlier paper (Feria-Purón and Pineda-Villavicencio, 2012 [5]), where a study on bipartite (d,D,-4)-graphs (that is, bipartite graphs of order M b(d,D)-4) was carried out. Here we first present some structural properties of bipartite (d,3,-4)-graphs, and later prove that there are no bipartite (7,3,-4)-graphs. This result implies that the known bipartite (7,3,-6)-graph is optimal, and therefore Nb(7,3)=80. We dub this graph the Hafner-Loz graph after its first discoverers Paul Hafner and Eyal Loz. The approach here presented also provides a proof of the uniqueness of the known bipartite (5,3,-4)-graph, and the non-existence of bipartite (6,3,-4)-graphs. In addition, we discover at least one new largest known bipartite-and also vertex-transitive-graph of degree 11, diameter 3 and order 190, a result which improves by four vertices the previous lower bound for Nb(11,3). © 2012 Elsevier B.V. All rights reserved.
- Description: 2003011037
On graphs of defect at most 2
- Authors: Feria-Purón, Ramiro , Miller, Mirka , Pineda-Villavicencio, Guillermo
- Date: 2011
- Type: Text , Journal article
- Relation: Discrete Applied Mathematics Vol. 159, no. 13 (2011), p. 1331-1344
- Full Text:
- Reviewed:
- Description: In this paper we consider the degree/diameter problem, namely, given natural numbers Δ<2 and D<1, find the maximum number N(Δ,D) of vertices in a graph of maximum degree Δ and diameter D. In this context, the Moore bound M(Δ,D) represents an upper bound for N(Δ,D). Graphs of maximum degree Δ, diameter D and order M(Δ,D), called Moore graphs, have turned out to be very rare. Therefore, it is very interesting to investigate graphs of maximum degree Δ<2, diameter D<1 and order M(Δ,D)- with small >0, that is, (Δ,D,-)-graphs. The parameter is called the defect. Graphs of defect 1 exist only for Δ=2. When >1, (Δ,D,-)-graphs represent a wide unexplored area. This paper focuses on graphs of defect 2. Building on the approaches developed in Feria-Purón and Pineda-Villavicencio (2010) [11] we obtain several new important results on this family of graphs. First, we prove that the girth of a (Δ,D,-2)-graph with Δ<4 and D<4 is 2D. Second, and most important, we prove the non-existence of (Δ,D,-2)-graphs with even Δ<4 and D<4; this outcome, together with a proof on the non-existence of (4,3,-2)-graphs (also provided in the paper), allows us to complete the catalogue of (4,D,-)-graphs with D<2 and 0≤≤2. Such a catalogue is only the second census of (Δ,D,-2)-graphs known at present, the first being that of (3,D,-)-graphs with D<2 and 0≤≤2 Jørgensen (1992) [14]. Other results of this paper include necessary conditions for the existence of (Δ,D,-2)-graphs with odd Δ<5 and D<4, and the non-existence of (Δ,D,-2)-graphs with odd Δ<5 and D<5 such that Δ≡0,2(modD). Finally, we conjecture that there are no (Δ,D,-2)-graphs with Δ<4 and D<4, and comment on some implications of our results for the upper bounds of N(Δ,D). © 2011 Elsevier B.V. All rights reserved.
On bipartite graphs of defect at most 4
- Authors: Feria-Purón, Ramiro , Pineda-Villavicencio, Guillermo
- Date: 2011
- Type: Text , Journal article
- Relation: Discrete Applied Mathematics Vol.160, no.1-2 (2011), p.140-154
- Full Text:
- Reviewed:
- Description: We consider the bipartite version of the degree/diameter problem, namely, given natural numbers Δ ≥ 2 and D ≥ 2, find the maximum number Nb (Δ, D) of vertices in a bipartite graph of maximum degree Δ and diameter D. In this context, the Moore bipartite bound Mb (Δ, D) represents an upper bound for Nb (Δ, D). Bipartite graphs of maximum degree Δ, diameter D and order Mb (Δ, D)-called Moore bipartite graphs-have turned out to be very rare. Therefore, it is very interesting to investigate bipartite graphs of maximum degree Δ ≥ 2, diameter D ≥ 2 and order Mb (Δ, D) - ε{lunate} with small ε{lunate} > 0, that is, bipartite (Δ, D, - ε{lunate})-graphs. The parameter ε{lunate} is called the defect. This paper considers bipartite graphs of defect at most 4, and presents all the known such graphs. Bipartite graphs of defect 2 have been studied in the past; if Δ ≥ 3 and D ≥ 3, they may only exist for D = 3. However, when ε{lunate} > 2 bipartite (Δ, D, - ε{lunate})-graphs represent a wide unexplored area. The main results of the paper include several necessary conditions for the existence of bipartite (Δ, D, - 4)-graphs; the complete catalogue of bipartite (3, D, - ε{lunate})-graphs with D ≥ 2 and 0 ≤ ε{lunate} ≤ 4; the complete catalogue of bipartite (Δ, D, - ε{lunate})-graphs with Δ ≥ 2, 5 ≤ D ≤ 187 (D ≠6) and 0 ≤ ε{lunate} ≤ 4; a proof of the non-existence of all bipartite (Δ, D, - 4)-graphs with Δ ≥ 3 and odd D ≥ 5. Finally, we conjecture that there are no bipartite graphs of defect 4 for Δ ≥ 3 and D ≥ 5, and comment on some implications of our results for the upper bounds of Nb (Δ, D). © 2011 Elsevier B.V. All rights reserved.
Constructions of large graphs on surfaces
- Authors: Feria-Purón, Ramiro , Pineda-Villavicencio, Guillermo
- Date: 2014
- Type: Text , Journal article
- Relation: Graphs and Combinatorics Vol. 30, no. 4 (2014), p. 895-908
- Full Text: false
- Reviewed:
- Description: We consider the degree/diameter problem for graphs embedded in a surface, namely, given a surface
Measuring Surveillance in Online Advertising: A Big Data Approach
- Authors: Herps, Aaron , Watters, Paul , Pineda-Villavicencio, Guillermo
- Date: 2013
- Type: Text , Conference paper
- Relation: Proceedings - 4th Cybercrime and Trustworthy Computing Workshop, CTC 2013 p. 30-35
- Full Text: false
- Reviewed:
- Description: There is an increasing public and policy awareness that tracking cookies are being used to support behavioral advertising, but the extent to which tracking is occurring is not clear. The extent of tracking could have implications for the enforceability of legislative responses to the sharing of personal data, including the Privacy Act 1988 (Cth). In this paper, we develop a methodology for determining the prevalence of tracking cookies, and report the results for a sample of the 50 most visited sites by Australians. We find that the use of tracking cookies is endemic, but that distinct clusters of tracking can be identified across categories including search, pornography and social networking. The implications of the work in relation to privacy are discussed.
Linkedness of cartesian products of complete graphs
- Authors: Jorgensen, Leif , Pineda-Villavicencio, Guillermo , Ugon, Julien
- Date: 2022
- Type: Text , Journal article
- Relation: Ars Mathematica Contemporanea Vol. 22, no. 2 (2022), p.
- Relation: http://purl.org/au-research/grants/arc/DP180100602
- Full Text:
- Reviewed:
- Description: This paper is concerned with the linkedness of Cartesian products of complete graphs. A graph with at least 2k vertices is k-linked if, for every set of 2k distinct vertices organised in arbitrary k pairs of vertices, there are k vertex-disjoint paths joining the vertices in the pairs. We show that the Cartesian product Kd1+1 × Kd2+1 of complete graphs Kd1+1 and Kd2+1 is
New benchmarks for large-scale networks with given maximum degree and diameter
- Authors: Loz, Eyal , Pineda-Villavicencio, Guillermo
- Date: 2010
- Type: Text , Journal article
- Relation: Computer Journal Vol. 53, no. 7 (2010), p. 1092-1105
- Full Text: false
- Reviewed:
- Description: Large-scale networks have become ubiquitous elements of our society. Modern social networks, supported by communication and travel technology, have grown in size and complexity to unprecedented scales. Computer networks, such as the Internet, have a fundamental impact on commerce, politics and culture. The study of networks is also central in biology, chemistry and other natural sciences. Unifying aspects of these networks are a small maximum degree and a small diameter, which are also shared by many network models, such as small-world networks. Graph theoretical methodologies can be instrumental in the challenging task of predicting, constructing and studying the properties of large-scale networks. This task is now necessitated by the vulnerability of large networks to phenomena such as cross-continental spread of disease and botnets (networks of malware). In this article, we produce the new largest known networks of maximum degree 17 ≤ ∆ ≤ 20 and diameter 2 ≤ D ≤ 10, using a wide range of techniques and concepts, such as graph compounding, vertex duplication, Kronecker product, polarity graphs and voltage graphs. In this way, we provide new benchmarks for networks with given maximum degree and diameter, and a complete overview of state-of-the-art methodology that can be used to construct such networks.
On the nonexistence of graphs of diameter 2 and defect 2
- Authors: Miller, Mirka , Nguyen, Minh Hoang , Pineda-Villavicencio, Guillermo
- Date: 2009
- Type: Text , Journal article
- Relation: The Journal of Combinatorial Mathematics and Combinatorial Computing Vol. 71, no. (2009), p. 5-20
- Full Text: false
- Reviewed:
- Description: In 1960, Hoffman and Singleton investigated the existence of Moore graphs of diameter 2 (graphs of maximum degree d and d² + 1 vertices), and found that such graphs exist only for d = 2; 3; 7 and possibly 57. In 1980, Erdös et al., using eigenvalue analysis, showed that, with the exception of C4, there are no graphs of diameter 2, maximum degree d and d² vertices. In this paper, we show that graphs of diameter 2, maximum degree d and d² - 1 vertices do not exist for most values of d with d ≥ 6, and conjecture that they do not exist for any d ≥ 6.
- Description: 2003007893
Complete catalogue of graphs of maximum degree 3 and defect at most 4
- Authors: Miller, Mirka , Pineda-Villavicencio, Guillermo
- Date: 2009
- Type: Text , Journal article
- Relation: Discrete Applied Mathematics Vol. 157, no. 13 (2009), p. 2983-2996
- Full Text:
- Reviewed:
- Description: We consider graphs of maximum degree 3, diameter D≥2 and at most 4 vertices less than the Moore bound M3,D, that is, (3,D,−)-graphs for ≤4. We prove the non-existence of (3,D,−4)-graphs for D≥5, completing in this way the catalogue of (3,D,−)-graphs with D≥2 and ≤4. Our results also give an improvement to the upper bound on the largest possible number N3,D of vertices in a graph of maximum degree 3 and diameter D, so that N3,D≤M3,D−6 for D≥5. Copyright Elsevier.