scholarly journals Induced acyclic subgraphs in random digraphs: Improved bounds

2010 ◽  
Vol DMTCS Proceedings vol. AM,... (Proceedings) ◽  
Author(s):  
Kunal Dutta ◽  
C. R. Subramanian
Keyword(s):  
Lower Bound ◽  
Upper Bound ◽  
Directed Acyclic Graph ◽  
Undirected Graph ◽  
Upper And Lower Bounds ◽  
Slight Improvement ◽  
Acyclic Orientations ◽  
Acyclic Graph ◽  
Random Digraphs ◽  
International Audience

International audience Given a simple directed graph $D = (V,A)$, let the size of the largest induced directed acyclic graph $\textit{(dag)}$ be denoted by $mas(D)$. Let $D \in \mathcal{D}(n,p)$ be a $\textit{random}$ instance, obtained by choosing each of the $\binom{n}{2}$ possible undirected edges independently with probability $2p$ and then orienting each chosen edge independently in one of two possible directions with probabibility $1/2$. We obtain improved bounds on the range of concentration, upper and lower bounds of $mas(D)$. Our main result is that $mas(D) \geq \lfloor 2\log_q np - X \rfloor$ where $q = (1-p)^{-1}, X=W$ if $p \geq n^{-1/3+\epsilon}$ ($\epsilon > 0$ is any constant), $X=W/(\ln q)$ if $p \geq n^{-1/2}(\ln n)^2$, and $W$ is a suitably large constant. where we have an $O(\ln \ln np/\ln q)$ term instead of $W$. This improves the previously known lower bound with an $O(\ln \ln np/\ln q)$ term instead of $W$. We also obtain a slight improvement on the upper bound, using an upper bound on the number of acyclic orientations of an undirected graph. We also analyze a polynomial-time heuristic to find a large induced dag and show that it produces a solution whose size is at least $\log _q np + \Theta (\sqrt{\log_q np})$.

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 Optimization Mode Research of Weighted Undirected Graph

2011 ◽  
Vol 2-3 ◽  
pp. 211-216
Author(s):  
Wei Fan ◽  
Hong Wang ◽  
Feng Liu ◽  
Qian Xing
Keyword(s):  
Information System ◽  
Data Storage ◽  
Optimization Model ◽  
Directed Acyclic Graph ◽  
Undirected Graph ◽  
Graph Structure ◽  
Acyclic Graph ◽  
Efficiency Theory ◽  
Query Efficiency

An algorithm is described for constructing a weighted undirected graph structure, based on the principle of directed acyclic graph, used the improved Floyd algorithm to improve the multi-node version of the evolution of information in order to release as an indicator of difference, to improve the reliability of multiple versions of data storage and multi-version storage and query efficiency. Theory and examples show that efficiency is improved using the optimization model in multi-node information system.

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.

scholarly journals BÜCHI COMPLEMENTATION MADE TIGHTER

2006 ◽  
Vol 17 (04) ◽  
pp. 851-867 ◽  
Author(s):  
EHUD FRIEDGUT ◽  
ORNA KUPFERMAN ◽  
MOSHE Y. VARDI
Keyword(s):  
Lower Bound ◽  
Upper Bound ◽  
Blow Up ◽  
Careful Analysis ◽  
Point Of View ◽  
Upper And Lower Bounds ◽  
Theoretical Point ◽  
Infinite Words ◽  
Büchi Automata ◽  
Buchi Automata

The complementation problem for nondeterministic word automata has numerous applications in formal verification. In particular, the language-containment problem, to which many verification problems is reduced, involves complementation. For automata on finite words, which correspond to safety properties, complementation involves determinization. The 2n blow-up that is caused by the subset construction is justified by a tight lower bound. For Büchi automata on infinite words, which are required for the modeling of liveness properties, optimal complementation constructions are quite complicated, as the subset construction is not sufficient. From a theoretical point of view, the problem is considered solved since 1988, when Safra came up with a determinization construction for Büchi automata, leading to a 2O(n log n) complementation construction, and Michel came up with a matching lower bound. A careful analysis, however, of the exact blow-up in Safra's and Michel's bounds reveals an exponential gap in the constants hiding in the O( ) notations: while the upper bound on the number of states in Safra's complementary automaton is n2n, Michel's lower bound involves only an n! blow up, which is roughly (n/e)n. The exponential gap exists also in more recent complementation constructions. In particular, the upper bound on the number of states in the complementation construction of Kupferman and Vardi, which avoids determinization, is (6n)n. This is in contrast with the case of automata on finite words, where the upper and lower bounds coincides. In this work we describe an improved complementation construction for nondeterministic Büchi automata and analyze its complexity. We show that the new construction results in an automaton with at most (0.96n)n states. While this leaves the problem about the exact blow up open, the gap is now exponentially smaller. From a practical point of view, our solution enjoys the simplicity of the construction of Kupferman and Vardi, and results in much smaller automata.

scholarly journals On Compact Encoding of Pagenumber $k$ Graphs

2008 ◽  
Vol Vol. 10 no. 3 ◽  
Author(s):  
Cyril Gavoille ◽  
Nicolas Hanusse
Keyword(s):  
Lower Bound ◽  
Upper Bound ◽  
Constant Time ◽  
Worst Case ◽  
Encoding Scheme ◽  
Information Theoretic ◽  
Auxiliary Table ◽  
Minimum Number ◽  
International Audience

International audience In this paper we show an information-theoretic lower bound of kn - o(kn) on the minimum number of bits to represent an unlabeled simple connected n-node graph of pagenumber k. This has to be compared with the efficient encoding scheme of Munro and Raman of 2kn + 2m + o(kn+m) bits (m the number of edges), that is 4kn + 2n + o(kn) bits in the worst-case. For m-edge graphs of pagenumber k (with multi-edges and loops), we propose a 2mlog2k + O(m) bits encoding improving the best previous upper bound of Munro and Raman whenever m ≤ 1 / 2kn/log2 k. Actually our scheme applies to k-page embedding containing multi-edge and loops. Moreover, with an auxiliary table of o(m log k) bits, our coding supports (1) the computation of the degree of a node in constant time, (2) adjacency queries with O(logk) queries of type rank, select and match, that is in O(logk *minlogk / loglogm, loglogk) time and (3) the access to δ neighbors in O(δ) runs of select, rank or match;.

Limit Analysis of Flow Through Inclined Converging Planes

1980 ◽  
Vol 102 (2) ◽  
pp. 109-117 ◽  
Author(s):  
M. Kiuchi ◽  
B. Avitzur
Keyword(s):  
Lower Bound ◽  
Plane Strain ◽  
Upper Bound ◽  
Limit Analysis ◽  
Velocity Fields ◽  
The Body ◽  
Design Flow ◽  
Upper And Lower Bounds ◽  
Lower Upper ◽  
Flow Through

A variety of mathematical models may be used to analyze plastic deformation during a metal-forming process. One of these methods—limit analysis—places the estimate of required power between an upper bound and a lower bound. The upper- and lower-bound analysis are designed so that the actual power or forming stress requirement is less than that predicted by the upper bound and greater than that predicted by the lower bound. Finding a lower upper-bound and a higher lower-bound reduces the uncertainty of the actual power requirement. Upper and lower bounds will permit the determination of such quantities as required forces, limitations on the process, optimal die design, flow patterns, and prediction and prevention of defects. Fundamental to the development of both upper-bound and lower-bound solutions is the division of the body into zones. For each of the zones there is written either a velocity field (upper bound) or a stress field (lower bound). A better choice of zones and fields brings the calculated values closer to actual values. In the present work, both upper- and lower-bound solutions are presented for plane-strain flow through inclined converging dies. For the upper bound, trapezoidal velocity fields, uni-triangular velocity fields, and multi-triangular velocity fields have been dealt with and the solutions compared to previously published work on cylindrical velocity fields. It was found that in different domains of the various combinations of the process parameters, different patterns of flow (cylindrical, triangular, etc.) provide lower upper-bound solutions. The lower-bound solution for plane-strain flow through inclined converging planes is newly developed.

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.

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 Almost simplicial polytopes: the lower and upper bound theorems

2020 ◽  
Vol DMTCS Proceedings, 28th... ◽  
Author(s):  
Eran Nevo ◽  
Guillermo Pineda-Villavicencio ◽  
Julien Ugon ◽  
David Yost
Keyword(s):  
Lower Bound ◽  
Upper Bound ◽  
Upper Bounds ◽  
Lower And Upper Bounds ◽  
Upper Bound Theorem ◽  
Simplicial Polytopes ◽  
Full Version ◽  
The Face ◽  
International Audience ◽  
Bound Theorem

International audience this is an extended abstract of the full version. We study n-vertex d-dimensional polytopes with at most one nonsimplex facet with, say, d + s vertices, called almost simplicial polytopes. We provide tight lower and upper bounds for the face numbers of these polytopes as functions of d, n and s, thus generalizing the classical Lower Bound Theorem by Barnette and Upper Bound Theorem by McMullen, which treat the case s = 0. We characterize the minimizers and provide examples of maximizers, for any d.

Sign in / Sign up

Export Citation Format

Share Document