scholarly journals Lower Bounds on the Complexity of Some Problems: Concerning L Systems

1977 ◽  
Vol 6 (70) ◽  
Author(s):  
Neil D. Jones ◽  
Sven Skyum
Keyword(s):  
Lower Bounds ◽  
Preceding Paper ◽  
Upper Bounds ◽  
Turing Machines ◽  
Lindenmayer Systems ◽  
L Systems

This is the second of two papers on the complexity of deciding membership, emptiness and finiteness of four basic types of Lindenmayer systems: the ED0L, E0L, EDT0L and ET0L systems. For each problem and type of system we establish lower bounds on the time or memory required for solution by Turing machines, using reducibility techniques. These bounds, combined with the upper bounds of the preceding paper, show many of these problems to be complete for NP or PSPACE.

scholarly journals Upper Bounds on the Complexity of Some Problems Concerning L Systems

1977 ◽  
Vol 6 (69) ◽  
Author(s):  
Neil D. Jones ◽  
Sven Skyum
Keyword(s):  
Computational Complexity ◽  
Lower Bounds ◽  
Companion Paper ◽  
Upper Bounds ◽  
Turing Machines ◽  
Lindenmayer Systems ◽  
L Systems

We determine the computational complexity of some decidable problems concerning several types of Lindenmayer systems. The problems are membership, emptiness and finiteness; the L systems are the ED0L, E0L, EDT0L and ET0L systems. For each problem and type of system we establish upper bounds on the time or memory required for solution by Turing machines. This paper contains algorithms achieving the upper bounds, and a companion paper (PB-70) contains proofs of lower bounds.

scholarly journals Complexity of Some Problems Concerning Lindenmayer Systems. (Revised version)

1979 ◽  
Vol 7 (85) ◽  
Author(s):  
Neil D. Jones ◽  
Sven Skyum
Keyword(s):  
Computational Complexity ◽  
Lower Bounds ◽  
Upper And Lower Bounds ◽  
Turing Machines ◽  
Lindenmayer Systems ◽  
L Systems

<p>We determine the computational complexity of membership, emptiness and infiniteness for several types of L systems. The L systems we consider are EDOL, EOL, EDTOL, and ETOL, with and without empty productions. For each problem and each type of system we establish both upper and lower bounds on the time or memory required for solution by Turing machines.</p><p>Revised version (first version 1978 under the title <em>Complexity of Some Problems Concerning: Lindenmayer Systems</em>)</p>

ON SERIALIZABLE LANGUAGES

1994 ◽  
Vol 05 (03n04) ◽  
pp. 303-318 ◽  
Author(s):  
MITSUNORI OGIHARA
Keyword(s):  
Lower Bounds ◽  
Upper Bounds ◽  
Turing Machines ◽  
Computational Power ◽  
Branching Programs ◽  
Polynomial Size

Cai and Furst introduced the notion of bottleneck Turing machines. Based on Barrington’s innovating technique, which is used to showed that polynomial-size branching programs have exactly the same power as NC1, Cai and Furst showed that the languages recognized by width-5 bottleneck Turing machines are exactly the same as those in PSPACE. In this paper, computational power of bottleneck Turing machines with widths fewer than 5 is investigated. It is shown that width-2 bottleneck Turing machines capture ⊕P// OptP , the class of sets recognized by ⊕P-machines with pre-computation in OptP. For languages recognized by bottleneck Turing machines with width-3 and width-4, some lower-bounds and upper-bounds are shown.

scholarly journals Complexity of some Problems Concerning L Systems. (Preliminary report)

1976 ◽  
Vol 5 (67) ◽  
Author(s):  
Neil D. Jones
Keyword(s):  
Computational Complexity ◽  
Lower Bounds ◽  
Preliminary Report ◽  
Upper And Lower Bounds ◽  
Turing Machines ◽  
L Systems

We study the computational complexity of some decidable systems. The problems are membership. emptiness and finiteness; the L systems are the ED0L, E0L, EDT0L and ET0L systems. For each problem and type of system we state both upper and lower bounds on the time or memory required for solution by Turing machines. Two following papers (PB-69 and PB70) will contain detailed constructions and proofs for the upper and lower bounds.

scholarly journals Multilevel Monte Carlo methods and lower–upper bounds in initial margin computations

2020 ◽  
Vol 26 (2) ◽  
pp. 131-161
Author(s):  
Florian Bourgey ◽  
Stefano De Marco ◽  
Emmanuel Gobet ◽  
Alexandre Zhou
Keyword(s):  
Monte Carlo ◽  
Lower Bounds ◽  
Asymptotic Optimality ◽  
Upper Bounds ◽  
Upper And Lower Bounds ◽  
Independent Random Variables ◽  
Outer Function ◽  
Control Problems ◽  
Multilevel Monte Carlo ◽  
Primal Dual

AbstractThe multilevel Monte Carlo (MLMC) method developed by M. B. Giles [Multilevel Monte Carlo path simulation, Oper. Res. 56 2008, 3, 607–617] has a natural application to the evaluation of nested expectations {\mathbb{E}[g(\mathbb{E}[f(X,Y)|X])]}, where {f,g} are functions and {(X,Y)} a couple of independent random variables. Apart from the pricing of American-type derivatives, such computations arise in a large variety of risk valuations (VaR or CVaR of a portfolio, CVA), and in the assessment of margin costs for centrally cleared portfolios. In this work, we focus on the computation of initial margin. We analyze the properties of corresponding MLMC estimators, for which we provide results of asymptotic optimality; at the technical level, we have to deal with limited regularity of the outer function g (which might fail to be everywhere differentiable). Parallel to this, we investigate upper and lower bounds for nested expectations as above, in the spirit of primal-dual algorithms for stochastic control problems.

scholarly journals Bounding the Size and Probability of Epidemics on Networks

2008 ◽  
Vol 45 (2) ◽  
pp. 498-512 ◽  
Author(s):  
Joel C. Miller
Keyword(s):  
Infectious Disease ◽  
Lower Bounds ◽  
Upper Bounds ◽  
Marginal Probability ◽  
Transmission Properties ◽  
Disease Spreading ◽  
Special Case

We consider an infectious disease spreading along the edges of a network which may have significant clustering. The individuals in the population have heterogeneous infectiousness and/or susceptibility. We define the out-transmissibility of a node to be the marginal probability that it would infect a randomly chosen neighbor given its infectiousness and the distribution of susceptibility. For a given distribution of out-transmissibility, we find the conditions which give the upper (or lower) bounds on the size and probability of an epidemic, under weak assumptions on the transmission properties, but very general assumptions on the network. We find similar bounds for a given distribution of in-transmissibility (the marginal probability of being infected by a neighbor). We also find conditions giving global upper bounds on the size and probability. The distributions leading to these bounds are network independent. In the special case of networks with high girth (locally tree-like), we are able to prove stronger results. In general, the probability and size of epidemics are maximal when the population is homogeneous and minimal when the variance of in- or out-transmissibility is maximal.

scholarly journals The Essential Dimension of Stacks of Parabolic Vector Bundles over Curves

2012 ◽  
Vol 10 (3) ◽  
pp. 455-488 ◽  
Author(s):  
Indranil Biswas ◽  
Ajneet Dhillon ◽  
Nicole Lemire
Keyword(s):  
Lower Bounds ◽  
Upper Bound ◽  
Vector Bundles ◽  
Upper Bounds ◽  
Essential Dimension ◽  
Parabolic Structure ◽  
Moduli Stack

AbstractWe find upper bounds on the essential dimension of the moduli stack of parabolic vector bundles over a curve. When there is no parabolic structure, we improve the known upper bound on the essential dimension of the usual moduli stack. Our calculations also give lower bounds on the essential dimension of the semistable locus inside the moduli stack of vector bundles of rank r and degree d without parabolic structure.

scholarly journals Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy

2021 ◽  
pp. 42-61
Author(s):  
A. R. Balasubramanian ◽  
Javier Esparza ◽  
Mikhail Raskin
Keyword(s):  
Lower Bounds ◽  
Petri Net ◽  
Special Class ◽  
Upper Bounds ◽  
Initial State ◽  
Reachability Problem ◽  
Final State ◽  
Final Configuration ◽  
Finite State ◽  
State Agents

AbstractIn rendez-vous protocols an arbitrarily large number of indistinguishable finite-state agents interact in pairs. The cut-off problem asks if there exists a number B such that all initial configurations of the protocol with at least B agents in a given initial state can reach a final configuration with all agents in a given final state. In a recent paper [17], Horn and Sangnier prove that the cut-off problem is equivalent to the Petri net reachability problem for protocols with a leader, and in "Image missing" for leaderless protocols. Further, for the special class of symmetric protocols they reduce these bounds to "Image missing" and "Image missing" , respectively. The problem of lowering these upper bounds or finding matching lower bounds is left open. We show that the cut-off problem is "Image missing" -complete for leaderless protocols, "Image missing" -complete for symmetric protocols with a leader, and in "Image missing" for leaderless symmetric protocols, thereby solving all the problems left open in [17].

Correlation lower bounds from correlation upper bounds

2016 ◽  
Vol 116 (8) ◽  
pp. 537-540
Author(s):  
Shiteng Chen ◽  
Periklis A. Papakonstantinou
Keyword(s):  
Lower Bounds ◽  
Upper Bounds

scholarly journals General numerical radius inequalities for matrices of operators

2016 ◽  
Vol 14 (1) ◽  
pp. 109-117 ◽  
Author(s):  
Mohammed Al-Dolat ◽  
Khaldoun Al-Zoubi ◽  
Mohammed Ali ◽  
Feras Bani-Ahmad
Keyword(s):  
Lower Bounds ◽  
Upper Bounds ◽  
Zeros Of Polynomials ◽  
Numerical Radius

AbstractLet Ai ∈ B(H), (i = 1, 2, ..., n), and $ T = \left[ {\matrix{ 0 & \cdots & 0 & {A_1 } \cr \vdots & {\mathinner{\mkern2mu\raise1pt\hbox{.}\mkern2mu \raise4pt\hbox{.}\mkern2mu\raise7pt\hbox{.}\mkern1mu}} & {A_2 } & 0 \cr 0 & {\mathinner{\mkern2mu\raise1pt\hbox{.}\mkern2mu \raise4pt\hbox{.}\mkern2mu\raise7pt\hbox{.}\mkern1mu}} & {\mathinner{\mkern2mu\raise1pt\hbox{.}\mkern2mu \raise4pt\hbox{.}\mkern2mu\raise7pt\hbox{.}\mkern1mu}} & \vdots \cr {A_n } & 0 & \cdots & 0 \cr } } \right] $ . In this paper, we present some upper bounds and lower bounds for w(T). At the end of this paper we drive a new bound for the zeros of polynomials.

Sign in / Sign up

Export Citation Format

Share Document