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 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 Safe Multi-Agent Pathfinding with Time Uncertainty

2021 ◽  
Vol 70 ◽  
Author(s):  
Tomer Shahar ◽  
Shashank Shekhar ◽  
Dor Atzmon ◽  
Abdallah Saffidine ◽  
Brendan Juba ◽  
...  
Keyword(s):  
Lower Bounds ◽  
Mobile Agent ◽  
Real World ◽  
Upper And Lower Bounds ◽  
Optimal Algorithms ◽  
Current Time ◽  
Time Uncertainty ◽  
Current Location ◽  
Multi Agent ◽  
Operator Decomposition

In many real-world scenarios, the time it takes for a mobile agent, e.g., a robot, to move from one location to another may vary due to exogenous events and be difficult to predict accurately. Planning in such scenarios is challenging, especially in the context of Multi-Agent Pathfinding (MAPF), where the goal is to find paths to multiple agents and temporal coordination is necessary to avoid collisions. In this work, we consider a MAPF problem with this form of time uncertainty, where we are only given upper and lower bounds on the time it takes each agent to move. The objective is to find a safe solution, which is a solution that can be executed by all agents and is guaranteed to avoid collisions. We propose two complete and optimal algorithms for finding safe solutions based on well-known MAPF algorithms, namely, A* with Operator Decomposition (A* + OD) and Conflict-Based Search (CBS). Experimentally, we observe that on several standard MAPF grids the CBS-based algorithm performs better. We also explore the option of online replanning in this context, i.e., modifying the agents' plans during execution, to reduce the overall execution cost. We consider two online settings: (a) when an agent can sense the current time and its current location, and (b) when the agents can also communicate seamlessly during execution. For each setting, we propose a replanning algorithm and analyze its behavior theoretically and empirically. Our experimental evaluation confirms that indeed online replanning in both settings can significantly reduce solution cost.

Lower bounds for modal logics

2007 ◽  
Vol 72 (3) ◽  
pp. 941-958 ◽  
Author(s):  
Pavel Hrubeš
Keyword(s):  
Lower Bound ◽  
Modal Logic ◽  
Lower Bounds ◽  
Modal Logics ◽  
Proof System ◽  
Speed Up ◽  
Exponential Lower Bound

AbstractWe give an exponential lower bound on number of proof-lines in the proof system K of modal logic, i.e., we give an example of K-tautologies ψ1, ψ2, … s.t. every K-proof of ψi must have a number of proof-lines exponential in terms of the size of ψi. The result extends, for the same sequence of K-tautologies, to the systems K4, Gödel–Löb's logic, S andS4. We also determine some speed-up relations between different systems of modal logic on formulas of modal-depth one.

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.

A fundamental inequality for the assessment of forest land values

1987 ◽  
Vol 17 (10) ◽  
pp. 1309-1311 ◽  
Author(s):  
Karl Gustaf Löfgren
Keyword(s):  
Lower Bound ◽  
Lower Bounds ◽  
Value Function ◽  
Upper And Lower Bounds ◽  
Land Values ◽  
Land Value ◽  
Forest Land ◽  
Present Value

In this paper one well-known property and one less known property of the present value function are used to provide upper and lower bounds on the change in the value of forest land when land value is evaluated at any two different discounted price vectors. The lower bound is expressed in possibly known entities of the original harvesting program.

Lower bounds to eigenvalues

1969 ◽  
Vol 47 (17) ◽  
pp. 1877-1879 ◽  
Author(s):  
Maurice Cohen ◽  
Tova Feldmann
Keyword(s):  
Lower Bound ◽  
Lower Bounds ◽  
Upper Bound ◽  
Hamiltonian Operator ◽  
Upper And Lower Bounds ◽  
Quantum Mechanical ◽  
Classical Procedure ◽  
Ritz Procedure ◽  
Reasonable Choice ◽  
Lowest Eigenvalue

The classical procedure of Weinstein has been employed to obtain rigorous upper and lower bounds to the eigenvalues E of a quantum mechanical Hamiltonian operator H. The new bounds represent an improvement over Weinstein's bounds for any reasonable choice of variational trial function. In the case of the lowest eigenvalue E0, for which the Rayleigh–Ritz procedure gives the optimum upper bound, the new lower bound is an improvement over the lower bound formula of Stevenson and Crawford.

scholarly journals Online Graph Coloring Against a Randomized Adversary

2018 ◽  
Vol 29 (04) ◽  
pp. 551-569 ◽  
Author(s):  
Elisabet Burjons ◽  
Juraj Hromkovič ◽  
Rastislav Královič ◽  
Richard Královič ◽  
Xavier Muñoz ◽  
...  
Keyword(s):  
Lower Bound ◽  
Lower Bounds ◽  
Online Algorithms ◽  
Graph Coloring ◽  
Competitive Ratio ◽  
Upper And Lower Bounds ◽  
Coloring Problem ◽  
Single Instance ◽  
Graph Coloring Problem

We consider an online model where an adversary constructs a set of [Formula: see text] instances [Formula: see text] instead of one single instance. The algorithm knows [Formula: see text] and the adversary will choose one instance from [Formula: see text] at random to present to the algorithm. We further focus on adversaries that construct sets of [Formula: see text]-chromatic instances. In this setting, we provide upper and lower bounds on the competitive ratio for the online graph coloring problem as a function of the parameters in this model. Both bounds are linear in [Formula: see text] and matching upper and lower bound are given for a specific set of algorithms that we call “minimalistic online algorithms”.

Sign in / Sign up

Export Citation Format

Share Document