scholarly journals A New Lower Bound on the Density of Vertex Identifying Codes for the Infinite Hexagonal Grid

10.37236/202 ◽  
2009 ◽  
Vol 16 (1) ◽  
Author(s):  
Daniel W. Cranston ◽  
Gexin Yu
Keyword(s):  
Lower Bound ◽  
Lower Bounds ◽  
Upper And Lower Bounds ◽  
Hexagonal Grid ◽  
Identifying Codes ◽  
Identifying Code ◽  
Vertex Set

Given a graph $G$, an identifying code ${\cal D}\subseteq V(G)$ is a vertex set such that for any two distinct vertices $v_1,v_2\in V(G)$, the sets $N[v_1]\cap{\cal D}$ and $N[v_2]\cap{\cal D}$ are distinct and nonempty (here $N[v]$ denotes a vertex $v$ and its neighbors). We study the case when $G$ is the infinite hexagonal grid $H$. Cohen et.al. constructed two identifying codes for $H$ with density $3/7$ and proved that any identifying code for $H$ must have density at least $16/39\approx0.410256$. Both their upper and lower bounds were best known until now. Here we prove a lower bound of $12/29\approx0.413793$.

scholarly journals Optimal Lower Bound for 2-Identifying Codes in the Hexagonal Grid

10.37236/2414 ◽  
2012 ◽  
Vol 19 (2) ◽  
Author(s):  
Ville Junnila ◽  
Tero Laihonen
Keyword(s):  
Lower Bound ◽  
Hexagonal Grid ◽  
Identifying Codes ◽  
Identifying Code ◽  
Optimal Lower Bound

An $r$-identifying code in a graph $G = (V,E)$ is a subset $C \subseteq V$ such that for each $u \in V$ the intersection of $C$ and the ball of radius $r$ centered at $u$ is non-empty and unique. Previously, $r$-identifying codes have been studied in various grids. In particular, it has been shown that there exists a $2$-identifying code in the hexagonal grid with density $4/19$ and that there are no $2$-identifying codes with density smaller than $2/11$. Recently, the lower bound has been improved to $1/5$ by Martin and Stanton (2010). In this paper, we prove that the $2$-identifying code with density $4/19$ is optimal, i.e. that there does not exist a $2$-identifying code in the hexagonal grid with smaller density.

scholarly journals A Lower Bound for the Query Phase of Contraction Hierarchies and Hub Labels and a Provably Optimal Instance-Based Schema

Algorithms ◽  
2021 ◽  
Vol 14 (6) ◽  
pp. 164
Author(s):  
Tobias Rupp ◽  
Stefan Funke
Keyword(s):  
Lower Bound ◽  
Lower Bounds ◽  
Real World ◽  
Road Network ◽  
Upper And Lower Bounds ◽  
Bounded Degree ◽  
Shortest Path Routing ◽  
Graph Classes ◽  
Speed Up ◽  
To Come

We prove a Ω(n) lower bound on the query time for contraction hierarchies (CH) as well as hub labels, two popular speed-up techniques for shortest path routing. Our construction is based on a graph family not too far from subgraphs that occur in real-world road networks, in particular, it is planar and has a bounded degree. Additionally, we borrow ideas from our lower bound proof to come up with instance-based lower bounds for concrete road network instances of moderate size, reaching up to 96% of an upper bound given by a constructed CH. For a variant of our instance-based schema applied to some special graph classes, we can even show matching upper and lower bounds.

scholarly journals Wiener–Hosoya Matrix of Connected Graphs

Mathematics ◽  
2021 ◽  
Vol 9 (4) ◽  
pp. 359
Author(s):  
Hassan Ibrahim ◽  
Reza Sharafdini ◽  
Tamás Réti ◽  
Abolape Akwu
Keyword(s):  
Lower Bounds ◽  
Molecular Graph ◽  
Wiener Index ◽  
Vertex Degree ◽  
Upper And Lower Bounds ◽  
Connected Graphs ◽  
Matrix Description ◽  
Vertex Set

Let G be a connected (molecular) graph with the vertex set V(G)={v1,⋯,vn}, and let di and σi denote, respectively, the vertex degree and the transmission of vi, for 1≤i≤n. In this paper, we aim to provide a new matrix description of the celebrated Wiener index. In fact, we introduce the Wiener–Hosoya matrix of G, which is defined as the n×n matrix whose (i,j)-entry is equal to σi2di+σj2dj if vi and vj are adjacent and 0 otherwise. Some properties, including upper and lower bounds for the eigenvalues of the Wiener–Hosoya matrix are obtained and the extremal cases are described. Further, we introduce the energy of this matrix.

scholarly journals Lower Bounds for Identifying Codes in some Infinite Grids

10.37236/394 ◽  
2010 ◽  
Vol 17 (1) ◽  
Author(s):  
Ryan Martin ◽  
Brendon Stanton
Keyword(s):  
Lower Bounds ◽  
Finite Graph ◽  
Infinite Graphs ◽  
Locally Finite ◽  
Identifying Codes ◽  
Identifying Code ◽  
Hexagonal Grids ◽  
Closed Neighborhood ◽  
Definition Of ◽  
Infinite Grids

An $r$-identifying code on a graph $G$ is a set $C\subset V(G)$ such that for every vertex in $V(G)$, the intersection of the radius-$r$ closed neighborhood with $C$ is nonempty and unique. On a finite graph, the density of a code is $|C|/|V(G)|$, which naturally extends to a definition of density in certain infinite graphs which are locally finite. We present new lower bounds for densities of codes for some small values of $r$ in both the square and hexagonal grids.

scholarly journals On the Rank of $p$-Schemes

10.37236/3097 ◽  
2013 ◽  
Vol 20 (2) ◽  
Author(s):  
Fateme Raei Barandagh ◽  
Amir Rahnamai Barghi
Keyword(s):  
Lower Bound ◽  
Prime Number ◽  
Lower Bounds ◽  
Upper Bound ◽  
Upper And Lower Bounds ◽  
Minimum Rank

Let $n>1$ be an integer and $p$ be a prime number. Denote by $\mathfrak{C}_{p^n}$ the class of non-thin association $p$-schemes of degree $p^n$. A sharp upper and lower bounds on the rank of schemes in $\mathfrak{C}_{p^n}$ with a certain order of thin radical are obtained. Moreover, all schemes in this class whose rank are equal to the lower bound are characterized and some schemes in this class whose rank are equal to the upper bound are constructed. Finally, it is shown that the scheme with minimum rank in $\mathfrak{C}_{p^n}$ is unique up to isomorphism, and it is a fusion of any association $p$-schemes with degree $p^n$.

scholarly journals When is non-trivial estimation possible for graphons and stochastic block models?‡

2017 ◽  
Vol 7 (2) ◽  
pp. 169-181
Author(s):  
Audra McMillan ◽  
Adam Smith
Keyword(s):  
Lower Bound ◽  
Lower Bounds ◽  
Upper Bound ◽  
Upper And Lower Bounds ◽  
Random Networks ◽  
Block Models

Abstract Block graphons (also called stochastic block models) are an important and widely studied class of models for random networks. We provide a lower bound on the accuracy of estimators for block graphons with a large number of blocks. We show that, given only the number $k$ of blocks and an upper bound $\rho$ on the values (connection probabilities) of the graphon, every estimator incurs error ${\it{\Omega}}\left(\min\left(\rho, \sqrt{\frac{\rho k^2}{n^2}}\right)\right)$ in the $\delta_2$ metric with constant probability for at least some graphons. In particular, our bound rules out any non-trivial estimation (that is, with $\delta_2$ error substantially less than $\rho$) when $k\geq n\sqrt{\rho}$. Combined with previous upper and lower bounds, our results characterize, up to logarithmic terms, the accuracy of graphon estimation in the $\delta_2$ metric. A similar lower bound to ours was obtained independently by Klopp et al.

SIMULATIONS OF UNARY ONE-WAY MULTI-HEAD FINITE AUTOMATA

2014 ◽  
Vol 25 (07) ◽  
pp. 877-896 ◽  
Author(s):  
MARTIN KUTRIB ◽  
ANDREAS MALCHER ◽  
MATTHIAS WENDLANDT
Keyword(s):  
Lower Bound ◽  
Lower Bounds ◽  
Finite Automaton ◽  
Finite Automata ◽  
Upper And Lower Bounds ◽  
Unary Languages ◽  
Order Of Magnitude ◽  
Simulation Results ◽  
Special Case ◽  
Nondeterministic Finite Automaton

We investigate the descriptional complexity of deterministic one-way multi-head finite automata accepting unary languages. It is known that in this case the languages accepted are regular. Thus, we study the increase of the number of states when an n-state k-head finite automaton is simulated by a classical (one-head) deterministic or nondeterministic finite automaton. In the former case upper and lower bounds that are tight in the order of magnitude are shown. For the latter case we obtain an upper bound of O(n2k) and a lower bound of Ω(nk) states. We investigate also the costs for the conversion of one-head nondeterministic finite automata to deterministic k-head finite automata, that is, we trade nondeterminism for heads. In addition, we study how the conversion costs vary in the special case of finite and, in particular, of singleton unary lanuages. Finally, as an application of the simulation results, we show that decidability problems for unary deterministic k-head finite automata such as emptiness or equivalence are LOGSPACE-complete.

scholarly journals ON THE POSSIBLE RANKS AMONG MATRICES WITH A GIVEN PATTERN

2010 ◽  
Vol 02 (03) ◽  
pp. 363-377 ◽  
Author(s):  
CHARLES R. JOHNSON ◽  
YULIN ZHANG
Keyword(s):  
Lower Bound ◽  
Lower Bounds ◽  
Upper Bound ◽  
Null Space ◽  
Upper And Lower Bounds ◽  
Minimum Rank

Given are tight upper and lower bounds for the minimum rank among all matrices with a prescribed zero–nonzero pattern. The upper bound is based upon solving for a matrix with a given null space and, with optimal choices, produces the correct minimum rank. It leads to simple, but often accurate, bounds based upon overt statistics of the pattern. The lower bound is also conceptually simple. Often, the lower and an upper bound coincide, but examples are given in which they do not.

BOUNDS ON THE PRICE OF STABILITY OF UNDIRECTED NETWORK DESIGN GAMES WITH THREE PLAYERS

2011 ◽  
Vol 12 (01n02) ◽  
pp. 1-17 ◽  
Author(s):  
VITTORIO BILÒ ◽  
ROBERTA BOVE
Keyword(s):  
Lower Bound ◽  
Network Design ◽  
Lower Bounds ◽  
Upper Bound ◽  
Cost Allocation ◽  
Upper And Lower Bounds ◽  
Price Of Stability ◽  
Undirected Network ◽  
Basic Case

After almost seven years from its definition,2 the price of stability of undirected network design games with fair cost allocation remains to be elusive. Its exact characterization has been achieved only for the basic case of two players2,7 and, as soon as the number of players increases, the gap between the known upper and lower bounds becomes super-constant, even in the special variants of multicast and broadcast games. Motivated by the intrinsic difficulties that seem to characterize this problem, we analyze the already challenging case of three players and provide either new or improved bounds. For broadcast games, we prove an upper bound of 1.485 which exactly matches a lower bound given in Ref. 4; for multicast games, we show new upper and lower bounds which confine the price of stability in the interval [1.524; 1.532]; while, for the general case, we give an improved upper bound of 1.634. The techniques exploited in this paper are a refinement of those used in Ref. 7 and can be easily adapted to deal with all the cases involving a small number of players.

Sign in / Sign up

Export Citation Format

Share Document