Search

• We consider a variant of the online buffer management problem. • This variant is called the 2-bounded delay buffer management problem with lookahead. • We design an optimal online algorithm for this variant. The bounded delay buffer management problem, which was proposed by Kesselman et al. (STOC 2001 and SIAM Journal on Computing 33(3), 2004), is an online problem focusing on buffer management of a switch supporting Quality of Service (QoS). The problem definition is as follows: Packets arrive to a buffer over time and each packet is specified by the release time , deadline and value. An algorithm can transmit at most one packet from the buffer at each integer time and can gain its value as the profit if transmitting the packet by its deadline after its release time. The objective of this problem is to maximize the gained profit. We say that an instance of the problem is s -bounded if for any packet, an algorithm has at most s chances to transmit it. For any s ≥ 2 , Hajek (CISS 2001) showed that the competitive ratio of any deterministic algorithm is at least (1 + 5) / 2 ≥ 1.618. Recently, Veselý et al. (SODA 2019) designed an online algorithm matching the lower bound. Böhm et al. (ISAAC 2016 and Theoretical Computer Science, 2019) introduced the lookahead ability to an online algorithm. At a time t , the algorithm obtains information about packets arriving at time t + 1 , and showed that for s = 2 , there is an algorithm which achieves the competitive ratio of (− 1 + 13) / 2 ≤ 1.303. Also, they showed that the competitive ratio of any deterministic algorithm is at least (1 + 17) / 4 ≥ 1.280. In this paper, for the 2-bounded model with lookahead, we design an algorithm with a matching competitive ratio of (1 + 17) / 4. [ABSTRACT FROM AUTHOR]

• We consider a new variant of the online interval scheduling problem. • This variant formulates best-effort requests and responses as an online problem. • We show some upper and lower bounds on the competitive ratios of this variant. The interval scheduling problem is one variant of the scheduling problem. In this paper, we propose a novel variant of the interval scheduling problem, whose definition is as follows: given jobs are specified by their release times , deadlines and profits. An algorithm must start a job at its release time on one of m identical machines, and continue processing until its deadline on the machine to complete the job. All the jobs must be completed and the algorithm can obtain the profit of a completed job as a user's satisfaction. It is possible to process more than one job at a time on one machine. The profit of a job is distributed uniformly between its release time and deadline, that is its interval, and the profit gained from a subinterval of a job decreases in reverse proportion to the number of jobs whose intervals intersect with the subinterval on the same machine. The objective of our variant is to maximize the total profit of completed jobs. This formulation is naturally motivated by best-effort requests and responses to them, which appear in many situations. In best-effort requests and responses, the total amount of available resources for users is always invariant and the resources are equally shared with every user. We study online algorithms for this problem. Specifically, we show that for the case where the profits of jobs are arbitrary, there does not exist an algorithm whose competitive ratio is bounded. Then, we consider the case in which the profit of each job is equal to its length, that is, the time interval between its release time and deadline. For this case, we prove that for m = 2 and m ≥ 3 , the competitive ratios of a greedy algorithm are at most 4/3 and at most 3, respectively. Also, for each m ≥ 2 , we show a lower bound on the competitive ratio of any deterministic algorithm. [ABSTRACT FROM AUTHOR]

Online scheduling is one of the most basic online problems. We are given a sequence of jobs in an online fashion, and they must be assigned to one of m ( ≥ 1 ) equivalent processors. Each job j with the processing time p ( j ) is given at the release time r ( j ) . An algorithm decides which processor is used to process j and must schedule it for time p ( j ) after time r ( j ) on the chosen processor. Many criteria have been proposed to evaluate the performance of scheduling algorithms, and Muthukrishnan et al. (FOCS 1999 and SIAM Journal on Computing 34 (2), 2005) used the stretch of a job j in an objective function, which is defined as the ratio of the amount of time which j spends in the system to its processing time p ( j ) . The cost of an algorithm is the total stretch to schedule all the given jobs, and our goal is to minimize it. Muthukrishnan et al. considered the case in which preemption is allowed, that is, any job can be stopped during the process and after a while the process can resume. In this paper, we show how to construct instances to obtain various lower bounds on the competitive ratio for each m . In the instances, m jobs are given regularly for a sufficiently large time span after a maliciously chosen time. The processing times of the given jobs are taken depending on the remaining processing times of uncompleted jobs at the start time of the “burst” of jobs. We prove that for the instances, the stretch of a job completed before the burst hardly affects the evaluation of a competitive ratio. Further, we provide a job sequence given before the burst for each m . Then, we can improve the previous lower bounds for any deterministic online algorithm for each m using the instances. For example, we obtain lower bounds of 1.228, 1.257 and 21 / 17 ≈ 1.235 for m = 1 , 2 and ∞, respectively. Moreover, we obtain the first non-trivial lower bounds for any randomized online algorithm for all m . [ABSTRACT FROM AUTHOR]

In this paper, we consider the online buffer management problem, which formulates the problem of managing network switches supporting Quality of Service guarantee. We improve competitive ratios of the 2-value multi-queue switch model, where the value of a packet is restricted to 1 or α ( ≥ 1 ) . We use a similar approach as Azar and Richter (STOC 2003 and Algorithmica 43(1-2), 2005) did for the multi-value multi-queue switch model. Namely, we show that the competitive ratio of “the relaxed model” of the 2-value multi-queue switch model is at most x = min ⁡ { c + 2 − c α ( 2 − c ) + c − 1 , c α } , if the competitive ratio of an online algorithm for the unit-value multi-queue switch model is at most c . Azar and Richter's technique implies that if the competitive ratio of the 2-value single-queue switch model is x ′ , then the competitive ratio of the 2-value multi-queue switch model is at most x x ′ . We obtain several results using known c and x ′ . [ABSTRACT FROM AUTHOR]

We consider a variant of the online buffer management problem in network switches, called the k -frame throughput maximization problem ( k -FTM). This problem models the situation where a large frame is fragmented into k packets and transmitted through the Internet, and the receiver can reconstruct the frame only if he/she accepts all the k packets. Kesselman et al. introduced this problem and showed that its competitive ratio is unbounded even when k = 2 . They also introduced an “order-respecting” variant of k -FTM, called k -OFTM, where inputs are restricted in some natural way. They proposed an online algorithm and showed that its competitive ratio is at most 2 k B ⌊ B / k ⌋ + k for any B ≥ k , where B is the size of the buffer. They also gave a lower bound of B ⌊ 2 B / k ⌋ for deterministic online algorithms when 2 B ≥ k and k is a power of 2. In this paper, we improve upper and lower bounds on the competitive ratio of k -OFTM. Our main result is to improve an upper bound of O ( k 2 ) by Kesselman et al. to 5 B + ⌊ B / k ⌋ − 4 ⌊ B / 2 k ⌋ = O ( k ) for B ≥ 2 k . Note that this upper bound is tight up to a multiplicative constant factor since the lower bound given by Kesselman et al. is Ω ( k ) . We also give two lower bounds. First we give a lower bound of 2 B ⌊ B / ( k − 1 ) ⌋ + 1 on the competitive ratio of deterministic online algorithms for any k ≥ 2 and any B ≥ k − 1 , which improves the previous lower bound of B ⌊ 2 B / k ⌋ by a factor of almost four. Next, we present the first nontrivial lower bound on the competitive ratio of randomized algorithms. Specifically, we give a lower bound of k − 1 against an oblivious adversary for any k ≥ 3 and any B . Since a deterministic algorithm, as mentioned above, achieves an upper bound of about 10 k , this indicates that randomization does not help too much. [ABSTRACT FROM AUTHOR]

We consider the one-dimensional version of the online unit clustering problem, proposed by Chan and Zarrabi-Zadeh (WAOA2007 and Theory of Computing Systems 45(3), 2009), which is defined as follows: “Points” are given online on the line one by one. An algorithm creates a “cluster,” which is a line segment. The initial length of a cluster is 0, and an algorithm can extend a cluster until it reaches unit length. The task of an algorithm is to cover a new given point either by creating a new cluster and assigning the point to the cluster or by extending an existing cluster created in past times. The goal is to minimize the total number of created clusters. In this paper, we show a lower bound of 13 / 8 = 1.625 on the competitive ratio of any deterministic online algorithm for the one-dimensional unit clustering, improving the previous lower bound 8 / 5 ( = 1.6 ) presented by Epstein and van Stee (WAOA2007 and ACM Transactions on Algorithms 7(1), 2010). Note that Ehmsen and Larsen (SWAT2010 and Theoretical Computer Science, 500, 2013) showed the current best upper bound of 5/3. [ABSTRACT FROM AUTHOR]