scholarly journals Lower and Upper Bounds for the Discrete Bi-Directional Preemptive Conversion Problem with a Constant Price Interval

Algorithms ◽  
2020 ◽  
Vol 13 (2) ◽  
pp. 42
Author(s):  
Michael Schwarz

In the conversion problem, wealth has to be distributed between two assets with the objective to maximize the wealth at the end of the investment horizon. The bi-directional preemptive conversion problem with a constant price interval is the only problem, of the four main variants of the conversion problem, that has not yet been optimally solved by competitive analysis. Assuming a given number of monotonous price trends called runs, lower and upper bounds for the competitive ratio are given. In this work, the assumption of a given number of runs is rejected and lower and upper bounds for the bi-directional preemptive conversion problem with a constant price interval are given. Furthermore, an algorithm based on error balancing is given which at minimum achieves the given upper bound. It can also be shown that this algorithm is optimal for the single-period model.

2015 ◽  
Vol 2015 ◽  
pp. 1-10 ◽  
Author(s):  
Li Wang ◽  
Zhonghe He ◽  
Chi Zhang

The execution of emptying policy ensures the convergence of any solution to the system to a unique periodic orbit, which does not impose constraints on service-time and capacity of buffers. Motivated by these problems, in this paper, the service-time-limited policy is first proposed based on the information resulted from the periodic orbit under emptying policy, which imposes lower and upper bounds on emptying time for the queue in each buffer, by introducing lower-limit and upper-limit service-time factors. Furthermore, the execution of service-time-limited policy in the case of finite buffer capacity is considered. Moreover, the notion of feasibility of states under service-time-limited policy is introduced and then the checking condition for feasibility of states is given; that is, the solution does not exceed the buffer capacity within the first cycle of the server. At last, a sufficient condition for determining upper-limit service-time factors ensuring that the given state is feasible is given.


2012 ◽  
Vol 21 (4) ◽  
pp. 611-622 ◽  
Author(s):  
A. KOSTOCHKA ◽  
M. KUMBHAT ◽  
T. ŁUCZAK

A colouring of the vertices of a hypergraph is called conflict-free if each edge e of contains a vertex whose colour does not repeat in e. The smallest number of colours required for such a colouring is called the conflict-free chromatic number of , and is denoted by χCF(). Pach and Tardos proved that for an (2r − 1)-uniform hypergraph with m edges, χCF() is at most of the order of rm1/r log m, for fixed r and large m. They also raised the question whether a similar upper bound holds for r-uniform hypergraphs. In this paper we show that this is not necessarily the case. Furthermore, we provide lower and upper bounds on the minimum number of edges of an r-uniform simple hypergraph that is not conflict-free k-colourable.


2010 ◽  
Vol 2010 ◽  
pp. 1-11
Author(s):  
Qin Guo ◽  
Mingxing Luo ◽  
Lixiang Li ◽  
Yixian Yang

From the perspectives of graph theory and combinatorics theory we obtain some new upper bounds on the number of encoding nodes, which can characterize the coding complexity of the network coding, both in feasible acyclic and cyclic multicast networks. In contrast to previous work, during our analysis we first investigate the simple multicast network with source rateh=2, and thenh≥2. We find that for feasible acyclic multicast networks our upper bound is exactly the lower bound given by M. Langberg et al. in 2006. So the gap between their lower and upper bounds for feasible acyclic multicast networks does not exist. Based on the new upper bound, we improve the computational complexity given by M. Langberg et al. in 2009. Moreover, these results further support the feasibility of signatures for network coding.


Author(s):  
Mahir Hassan ◽  
Amir Khajepour

In this work, the application of the Dykstra’s alternating projection method to find the minimum-2-norm solution for actuator forces is discussed in the case when lower and upper bounds are imposed on the actuator forces. The lower bound is due to specified pretension desired in the cables and the upper bound is due to the maximum allowable forces in the cables. This algorithm presents a systematic numerical method to determine whether or not a solution exists to the cable forces within these bounds and, if it does exist, calculate the minimum-2-norm solution for the cable forces for a given task force. This method is applied to an example 2-DOF translational cable-driven manipulator and a geometrical demonstration is presented.


2008 ◽  
Vol 18 (1) ◽  
pp. 13-22 ◽  
Author(s):  
Adrian Deaconu

The general inverse maximum flow problem (denoted GIMF) is considered, where lower and upper bounds for the flow are changed so that a given feasible flow becomes a maximum flow and the distance (considering l1 norm) between the initial vector of bounds and the modified vector is minimum. Strongly and weakly polynomial algorithms for solving this problem are proposed. In the paper it is also proved that the inverse maximum flow problem where only the upper bound for the flow is changed (IMF) is a particular case of the GIMF problem.


2013 ◽  
Vol 21 (3) ◽  
pp. 241-256 ◽  
Author(s):  
Manuel González Sarabia ◽  
Joel Nava Lara ◽  
Carlos Rentería Marquez ◽  
Eliseo Sarmíento Rosales

AbstractIn this paper we will compute the main parameters of the parameterized codes arising from cycles. In the case of odd cycles the corresponding codes are the evaluation codes associated to the projective torus and the results are well known. In the case of even cycles we will compute the length and the dimension of the corresponding codes and also we will find lower and upper bounds for the minimum distance of this kind of codes. In many cases our upper bound is sharper than the Singleton bound.


2000 ◽  
Vol 32 (01) ◽  
pp. 244-255 ◽  
Author(s):  
V. Dumas ◽  
A. Simonian

We consider a fluid queue fed by a superposition of a finite number of On/Off sources, the distribution of the On period being subexponential for some of them and exponential for the others. We provide general lower and upper bounds for the tail of the stationary buffer content distribution in terms of the so-called minimal subsets of sources. We then show that this tail decays at exponential or subexponential speed according as a certain parameter is smaller or larger than the ouput rate. If we replace the subexponential tails by regularly varying tails, the upper bound and the lower bound are sharp in that they differ only by a multiplicative factor.


2000 ◽  
Vol 10 (5) ◽  
pp. 575-594 ◽  
Author(s):  
M. MOCZURAD ◽  
J. TYSZKIEWICZ ◽  
M. ZAIONC

We consider types and typed lambda calculus over a finite number of ground types. We are going to investigate the size of the fraction of inhabited types of the given length n against the number of all types of length n. The plan of this paper is to find the limit of that fraction when n → ∞. The answer to this question is equivalent to finding the ‘density’ of inhabited types in the set of all types, or the so-called asymptotic probability of finding an inhabited type in the set of all types. Under the Curry–Howard isomorphism this means finding the density or asymptotic probability of provable intuitionistic propositional formulas in the set of all formulas. For types with one ground type (formulas with one propositional variable), we prove that the limit exists and is equal to 1/2 + √5/10, which is approximately 72.36%. This means that a long random type (formula) has this probability of being inhabited (tautology). We also prove that for every finite number k of ground-type variables, the density of inhabited types is always positive and lies between (4k + 1)/(2k + 1)2 and (3k + 1)/(k + 1)2. Therefore we can easily see that the density is decreasing to 0 with k going to infinity. From the lower and upper bounds presented we can deduce that at least 1/3 of classical tautologies are intuitionistic.


2016 ◽  
Vol 9 (1) ◽  
Author(s):  
Leila Notash

In this paper, the wrench accuracy for parallel manipulators is examined under variations in parameters and data. The solution sets of actuator forces/torques are investigated utilizing interval arithmetic (IA). Implementation issues of interval arithmetic to analyze the performance of manipulators are addressed, including the consideration of dependencies in parameters and the design of input vectors to generate the required wrench. Specifically, the effect of the dependency within and among the entries of the Jacobian matrix is studied, and methodologies for reducing and/or eliminating the overestimation of solution set are presented. In addition, the subset of solution set that produces platform wrenches within the required lower and upper bounds is modeled. Furthermore, the formulation of solutions that provide any platform wrench within the defined interval is examined. Intersection of these two sets, if any, results in the given interval platform wrench. Implementation of the methods to identify the solution for actuator forces/torques is presented on example parallel manipulators.


Sign in / Sign up

Export Citation Format

Share Document