172 research outputs found
Tight Lower Bound for Comparison-Based Quantile Summaries
Quantiles, such as the median or percentiles, provide concise and useful
information about the distribution of a collection of items, drawn from a
totally ordered universe. We study data structures, called quantile summaries,
which keep track of all quantiles, up to an error of at most .
That is, an -approximate quantile summary first processes a stream
of items and then, given any quantile query , returns an item
from the stream, which is a -quantile for some . We focus on comparison-based quantile summaries that can only
compare two items and are otherwise completely oblivious of the universe.
The best such deterministic quantile summary to date, due to Greenwald and
Khanna (SIGMOD '01), stores at most items, where is the number of items in the stream. We prove
that this space bound is optimal by showing a matching lower bound. Our result
thus rules out the possibility of constructing a deterministic comparison-based
quantile summary in space , for any function
that does not depend on . As a corollary, we improve the lower bound for
biased quantiles, which provide a stronger, relative-error guarantee of , and for other related computational tasks.Comment: 20 pages, 2 figures, major revison of the construction (Sec. 3) and
some other parts of the pape
A -Competitive Algorithm for Scheduling Packets with Deadlines
In the online packet scheduling problem with deadlines (PacketScheduling, for
short), the goal is to schedule transmissions of packets that arrive over time
in a network switch and need to be sent across a link. Each packet has a
deadline, representing its urgency, and a non-negative weight, that represents
its priority. Only one packet can be transmitted in any time slot, so, if the
system is overloaded, some packets will inevitably miss their deadlines and be
dropped. In this scenario, the natural objective is to compute a transmission
schedule that maximizes the total weight of packets which are successfully
transmitted. The problem is inherently online, with the scheduling decisions
made without the knowledge of future packet arrivals. The central problem
concerning PacketScheduling, that has been a subject of intensive study since
2001, is to determine the optimal competitive ratio of online algorithms,
namely the worst-case ratio between the optimum total weight of a schedule
(computed by an offline algorithm) and the weight of a schedule computed by a
(deterministic) online algorithm.
We solve this open problem by presenting a -competitive online
algorithm for PacketScheduling (where is the golden ratio),
matching the previously established lower bound.Comment: Major revision of the analysis and some other parts of the paper.
Another revision will follo
Streaming algorithms for bin packing and vector scheduling
Problems involving the efficient arrangement of simple objects, as captured by bin packing and makespan scheduling, are fundamental tasks in combinatorial optimization. These are well understood in the traditional online and offline cases, but have been less well-studied when the volume of the input is truly massive, and cannot even be read into memory. This is captured by the streaming model of computation, where the aim is to approximate the cost of the solution in one pass over the data, using small space. As a result, streaming algorithms produce concise input summaries that approximately preserve the optimum value. We design the first efficient streaming algorithms for these fundamental problems in combinatorial optimization. For BIN PACKING, we provide a streaming asymptotic (1 + ε)-approximation wit
Streaming algorithms for bin packing and vector scheduling
Problems involving the efficient arrangement of simple objects, as captured by bin packing and makespan scheduling, are fundamental tasks in combinatorial optimization. These are well understood in the traditional online and offline cases, but have been less well-studied when the volume of the input is truly massive, and cannot even be read into memory. This is captured by the streaming model of computation, where the aim is to approximate the cost of the solution in one pass over the data, using small space. As a result, streaming algorithms produce concise input summaries that approximately preserve the optimum value. We design the first efficient streaming algorithms for these fundamental problems in combinatorial optimization. For BIN PACKING, we provide a streaming asymptotic (1 + ε)-approximation wit
Parameterized Approximation Schemes for Steiner Trees with Small Number of Steiner Vertices
We study the Steiner Tree problem, in which a set of terminal vertices needs
to be connected in the cheapest possible way in an edge-weighted graph. This
problem has been extensively studied from the viewpoint of approximation and
also parametrization. In particular, on one hand Steiner Tree is known to be
APX-hard, and W[2]-hard on the other, if parameterized by the number of
non-terminals (Steiner vertices) in the optimum solution. In contrast to this
we give an efficient parameterized approximation scheme (EPAS), which
circumvents both hardness results. Moreover, our methods imply the existence of
a polynomial size approximate kernelization scheme (PSAKS) for the considered
parameter.
We further study the parameterized approximability of other variants of
Steiner Tree, such as Directed Steiner Tree and Steiner Forest. For neither of
these an EPAS is likely to exist for the studied parameter: for Steiner Forest
an easy observation shows that the problem is APX-hard, even if the input graph
contains no Steiner vertices. For Directed Steiner Tree we prove that
approximating within any function of the studied parameter is W[1]-hard.
Nevertheless, we show that an EPAS exists for Unweighted Directed Steiner Tree,
but a PSAKS does not. We also prove that there is an EPAS and a PSAKS for
Steiner Forest if in addition to the number of Steiner vertices, the number of
connected components of an optimal solution is considered to be a parameter.Comment: 23 pages, 6 figures An extended abstract appeared in proceedings of
STACS 201
Online Bin Stretching with Three Bins
Online Bin Stretching is a semi-online variant of bin packing in which the
algorithm has to use the same number of bins as an optimal packing, but is
allowed to slightly overpack the bins. The goal is to minimize the amount of
overpacking, i.e., the maximum size packed into any bin.
We give an algorithm for Online Bin Stretching with a stretching factor of
for three bins. Additionally, we present a lower bound of for Online Bin Stretching on three bins and a lower bound of
for four and five bins that were discovered using a computer search.Comment: Preprint of a journal version. See version 2 for the conference
paper. Conference paper split into two journal submissions; see
arXiv:1601.0811
Streaming algorithms for bin packing and vector scheduling
Problems involving the efficient arrangement of simple objects, as captured by bin packing and makespan scheduling, are fundamental tasks in combinatorial optimization. These are well understood in the traditional online and offline cases, but have been less well-studied when the volume of the input is truly massive, and cannot even be read into memory. This is captured by the streaming model of computation, where the aim is to approximate the cost of the solution in one pass over the data, using small space. As a result, streaming algorithms produce concise input summaries that approximately preserve the optimum value. We design the first efficient streaming algorithms for these fundamental problems in combinatorial optimization. For BIN PACKING, we provide a streaming asymptotic (1 + ε)-approximation wit
Web-based Logic Circuits Simulator
Import 06/11/2014Diplomová práce ve své teoretické části pojednává o JavaScritpu a HTML5 jako prostředků pro vytvoření webové aplikace. V rámci obou jazyků je popsán jejich vývoj, principy a způsoby použití. Práce také popisuje číslicovou techniku a logické obvody jako podklad pro vytvoření simulátoru logických obvodů.
V praktické části jsou vysvětleny jednotlivé součásti aplikace, jako je paměť webové aplikace; vrstvy plátna; použité logické prvky a chod samotné aplikace.Diploma thesis in theoretical part deals with JavaScript and HTML5 as a means of creating web application. In connection with both languages is described their development, the principles and methods of use. Thesis also described digital techniques and logic circuits. This is the basis for creating logic circuits simulator.
Practical part explains the individual application components: web application memory, layers canvas; used logic elements and running the application itself.460 - Katedra informatikyvelmi dobř
- …