TY - JOUR
AU - Sohler, Christian
AU - Czumaj, Artur
ID - 18853
JF - Proceedings of the 43th Symposium on Foundations of Computer Science (FOCS)
TI - Abstract Combinatorial Programs and Efficient Property Testers
ER -
TY - GEN
AU - Lukovszki, Tamás
AU - Benczúr, A.
ID - 18961
TI - A Degree O(log log n) Fault Tolerant Distributed Location Service for Geographic Ad-Hoc Routing
ER -
TY - THES
AB - Die Implementierung von Algorithmen zur Lösung geometrischer Probleme im Euklidischen Raum (z.B. Berechnung der konvexen Hülle oder des Durchschnitts zweier Polyeder) stellt sich oftmals als hochgradig nichttrivial heraus. Ob und unter welchen Voraussetzungen die verursachenden numerischen Instabilitäten überhaupt ini den Griff zu kriegen oder vielmehr dem Problem inhärent sind, untersucht diese Arbeit in einem auf Turing zurückgehenden Rechenmodell. Im Gegensatz zu algebraischen Ansätzen geht jenes nicht von der Verfügbarkeit exakter Tests auf z.B. Gleichheit reeller Zahlen aus, sondern berücksichtigt die auf Digitalcomputern tatsächlich realisierbare Approximation durch rationale Zahlen. In diesem Rahmen werden beweisbar stabile Algorithmen zum Lösen linearer Gleichungssysteme, zur Matrix-Diagonalisierung und zur linearen wie nichtlinearen Optimierung präsentiert. Als wichtiges technisches Hilfsmittel dient ein neuer Berechenbarkeitsbegriff für reguläre unendliche Mengen reller Zahlen, der sich aus dem systematischen Vergleich verschiedener der Literatur entnommener ad-hoc Ansätze ergibt.
AU - Ziegler, Martin
ID - 18169
SN - 3-935433-24-7
TI - Zur Berechenbarkeit reeller geometrischer Probleme
VL - 115
ER -
TY - JOUR
AU - Ziegler, Martin
ID - 18176
IS - S1
JF - Mathematical Logic Quarterly (MLQ)
SN - 0942-5616
TI - Computability on Regular Subsets of Euclidean Space
VL - 48
ER -
TY - CONF
AB - Consider the classical point location problem: for a fixed arrangement of m hyperplanes and its induced partition of d-space report, upon input of some point, which face it lies in. With sufficient memory, this is easy to solve in logarithmic time O(log m). But how fast can algorithms (formalized as Linear Decision Trees) of *minimum* size be? The present work gives lower and upper bounds for the time complexity of point location under this constraint. They show that, in addition to m, the maximum number w of walls of a cell turns out to be a crucial parameter. We also consider a relaxation of the strict minimum-size condition allowing for constant factor overhead.
AU - Ziegler, Martin
AU - Damerow, Valentina
AU - Finschi, Lukas
ID - 18177
T2 - Proceedings of the 14th Canadian Conference on Computational Geometry (CCCG'02)
TI - Point Location Algorithms of Minimum Size
ER -
TY - CONF
AB - Do the solutions of linear equations depend computably on their coefficients? Implicitly, this has been one of the central questions in linear algebra since the very beginning of the subject and the famous Gauß algorithm is one of its numerical answers. Today there exists a tremendous number of algorithms which solve this problem for different types of linear equations. However, actual implementations in floating point arithmetic keep exhibiting numerical instabilities for ill-conditioned inputs. This situation raises the question which of these instabilities are intrinsic, thus caused by the very nature of the problem, and which are just side effects of specific algorithms. To approach this principle question we revisit linear equations from the rigorous point of view of computability. Therefore we apply methods of computable analysis, which is the Turing machine based theory of computable real number functions. It turns out that, given the coefficients of a system of linear equations, we can compute the space of solutions, if and only if the dimension of the solution space is known in advance. Especially, this explains why there cannot exist any stable algorithms under weaker assumptions.
AU - Brattka, Vasco
AU - Ziegler, Martin
ID - 18179
T2 - Proceedings of the 2nd IFIP International Conference on Theoretical Computer Science
TI - Computability of Linear Equations
ER -
TY - CONF
AB - Visualising is a method used to help experiencing and understanding causal cohesions in simulation processes. For this purpose, tools for visualising are already implemented in prevalent simulation systems. The user creates his simulation model and generates a 3-dimensional (2,5-dimensional) visualising by means of the simulation system. This helps examining the process which makes it easier for the viewer to understand it. Simulation tools usually only provide the opportunity for a unidirectional visualising. In a 3-dimensional surrounding the viewer can not implement an interaction with the simulation while the system is running. Though an interaction during the simulation run enables the user to gain a better understanding of causal cohesions. Solutions via HLA are sophisticated and therefore rather suited for extensive projects.
We present a distributed system consisting of a commercial manufacturing simulation tool, a coupling module and a walkthrough system. The distributed system in conjunctions with the coupling module guarantees generality and a wide field of applications of the walkthrough system. Further it guarantees flexibility and selection of the specialized graphics hardware for the walkthrough system. A further contribution of this paper is the solution of the time synchronisation problem caused by simulation tool and walkthrough system.
AU - Mueck, Bengt
AU - Dangelmaier, Wilhelm
AU - Fischer, Matthias
AU - Klemisch, Wolfram
ID - 18369
T2 - Simulation und Visualisierung
TI - Bi-directional Coupling of Simulation Tools with a Walkthrough-System
ER -
TY - CONF
AB - We analyze a randomized pursuit-evasion game on graphs. This game is played by two players, a hunter and a rabbit. Let G be any connected, undirected graph with n nodes. The game is played in rounds and in each round both the hunter and the rabbit are located at a node of the graph. Between rounds both the hunter and the rabbit can stay at the current node or move to another node. The hunter is assumed to be restricted to the graph G: in every round, the hunter can move using at most one edge. For the rabbit we investigate two models: in one model the rabbit is restricted to the same graph as the hunter, and in the other model the rabbit is unrestricted, i.e., it can jump to an arbitrary node in every round.
We say that the rabbit is caught as soon as hunter and rabbit are located at the same node in a round. The goal of the hunter is to catch the rabbit in as few rounds as possible, whereas the rabbit aims to maximize the number of rounds until it is caught. Given a randomized hunter strategy for G, the escape length for that strategy is the worst case expected number of rounds it takes the hunter to catch the rabbit, where the worst case is with regards to all (possibly randomized) rabbit strategies. Our main result is a hunter strategy for general graphs with an escape length of only O
(n log (diam(G))) against restricted as well as unrestricted rabbits. This bound is close to optimal since Ω(n) is a trivial lower bound on the escape length in both models. Furthermore, we prove that our upper bound is optimal up to constant factors against unrestricted rabbits.
AU - Adler, Micah
AU - Räcke, Harald
AU - Sivadasan, Naveen
AU - Sohler, Christian
AU - Vöcking, Berthold
ID - 18566
SN - 0302-9743
T2 - Proceedings of the 29th International Colloquium on Automata, Languages and Programming
TI - Randomized Pursuit-Evasion in Graphs
ER -
TY - JOUR
AU - Krick, Christof
AU - Meyer auf der Heide, Friedhelm
AU - Räcke, Harald
AU - Vöcking, Bernhard
AU - Westermann, Matthias'
ID - 16489
JF - Theory of Computing Systems
SN - 1432-4350
TI - Data Management in Networks: Experimental Evaluation of a Provably Good Strategy
ER -
TY - CONF
AB - We present a new data structure for rendering highly complex virtual environments of arbitrary topology. The special feature of our approach is that it allows an interactive navigation in very large scenes (30 GB/400 million polygons in our benchmark scenes) that cannot be stored in main memory, but only on a local or remote hard disk. Furthermore, it allows interactive rendering of substantially more complex scenes by instantiating objects.
For the computation of an approximate image of the scene, a sampling technique is used. In the preprocessing, a so-called sample tree is built whose nodes contain randomly selected polygons from the scene. This tree only uses space that is linear in the number of polygons. In order to produce an image of the scene, the tree is traversed and polygons stored in the visited nodes are rendered. During the interactive walkthrough, parts of the sample tree are loaded from local or remote hard disk.
We implemented our algorithm in a prototypical walkthrough system. Analysis and experiments show that the quality of our images is comparable to images computed by the conventional z-buffer algorithm regardless of the scene topology.
AU - Klein, Jan
AU - Krokowski, Jens
AU - Fischer, Matthias
AU - Wand, Michael
AU - Wanka, Rolf
AU - Meyer auf der Heide, Friedhelm
ID - 16490
SN - 1581135300
T2 - Proceedings of the ACM symposium on Virtual reality software and technology - VRST '02
TI - The randomized sample tree: a data structure for interactive walkthroughs in externally stored virtual environments
ER -
TY - CONF
AU - Meyer auf der Heide, Friedhelm
AU - Schindelhauer, Christian
AU - Volbert, Klaus
AU - Grünewald, Matthias
ID - 16491
SN - 1581135297
T2 - Proceedings of the fourteenth annual ACM symposium on Parallel algorithms and architectures - SPAA '02
TI - Energy, congestion and dilation in radio networks
ER -
TY - CHAP
AU - Meyer auf der Heide, Friedhelm
AU - Kumar, Mohan
AU - Nikoletseas, Sotiris
AU - Spirakis, Paul
ID - 16723
SN - 0302-9743
T2 - Euro-Par 2002 Parallel Processing
TI - Mobile Computing, Mobile Networks
ER -
TY - THES
AU - Schröder, Klaus
ID - 19622
SN - 3-931466-88-4
TI - Balls into Bins: A Paradigm for Job Allocation, Data Distribution Processes, and Routing
VL - 89
ER -
TY - CONF
AU - Salzwedel, Kay
AU - Hartmann, Georg
AU - Wolff, Carsten
AU - Preis, Robert
ID - 19797
T2 - Proceedings of the PDPTA 2001
TI - Efficient Parallel Simulations of Pulse-Coded Neural Networks (PCNN)
VL - 1
ER -
TY - JOUR
AU - Meyer auf der Heide, Friedhelm
AU - Scheideler, Christian
ID - 2139
IS - 1
JF - Combinatorica
TI - Deterministic Routing With Bounded Buffers: Turning Offline Into Online Protocols
VL - 21
ER -
TY - CONF
AU - Berenbrink, Petra
AU - Brinkmann, André
AU - Scheideler, Christian
ID - 2141
T2 - PDP
TI - SIMLAB-A Simulation Environment for Storage Area Networks
ER -
TY - JOUR
AU - Czumaj, Artur
AU - Sohler, Christian
ID - 18749
JF - Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP)
SN - 0302-9743
TI - Testing Hypergraph Coloring
ER -
TY - CONF
AU - Sohler, Christian
AU - Czumaj, Artur
ID - 18750
T2 - Proceedings of the 12th ACM-SIAM Symposium on Discrete Algorithms
TI - Soft Kinetic Data Structures
ER -
TY - JOUR
AB - This paper investigates geometric problems in the context of property testing algorithms. Property testing is an emerging area in computer science in which one is aiming at verifying whether a given object has a predetermined property or is “far” from any object having the property. Although there has been some research previously done in testing geometric properties, prior works have been mostly dealing with the study of combinatorial notion of the distance defining whether an object is “far” or it is “close”; very little research has been done for geometric notion of distance measures, that is, distance measures that are based on the geometry underlying input objects.
The main objective of this work is to develop sound models to study geometric problems in the context of property testing. Comparing to the previous work in property testing, there are two novel aspects developed in this paper: geometric measures of being close to an object having the predetermined property, and the use of geometric data structures as basic primitives to design the testers. We believe that the second aspect is of special importance in the context of property testing and that the use of specialized data structures as basic primitives in the testers can be applied to other important problems in this area.
We shall discuss a number of models that in our opinion fit best geometric problems and apply them to study geometric properties for three very fundamental and representative problems in the area: testing convex position, testing map labeling, and testing clusterability.
AU - Sohler, Christian
AU - Czumaj, Artur
ID - 18857
JF - Proceedings of the 9th Annual European Symposium on Algorithms (ESA`01)
TI - Property Testing with Geometric Queries
ER -
TY - CONF
AU - Lukovszki, Tamás
AU - Maheshwari, Anil
AU - Zeh, Norbert
ID - 18964
SN - 0302-9743
T2 - Proceedings of the 21st Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), LNCS
TI - I/O-Efficient Batched Range Counting and Its Applications to Proximity Problems
ER -
TY - JOUR
AB -
On 22 May 2000, the factorization of a pseudorandom polynomial of degree 1 048 543 over the binary field Z
2
was completed on a 4-processor Linux PC, using roughly 100 CPU-hours. The basic approach is a combination of the factorization software BIPOLAR and a parallel version of Cantor's multiplication algorithm. The PUB-library (Paderborn University BSP library) is used for the implementation of the parallel communication.
AU - Bonorden, Olaf
AU - von zur Gathen, Joachim
AU - Gerhard, Jürgen
AU - Müller, Olaf
ID - 23731
JF - ACM SIGSAM Bulletin
SN - 0163-5824
TI - Factoring a binary polynomial of degree over one million
ER -
TY - CONF
AB - Computing the spectral decomposition of a normal matrix is among the most frequent tasks to numerical mathematics. A vast range of methods are employed to do so, but all of them suffer from instabilities when applied to degenerate matrices, i.e., those having multiple eigenvalues. We investigate the spectral representation's effectivity properties on the sound formal basis of computable analysis. It turns out that in general the eigenvectors cannot be computed from a given matrix. If however the size of the matrix' spectrum (=number of different eigenvalues) is known in advance, it can be diagonalized effectively. Thus, in principle the spectral decomposition can be computed under remarkably weak non-degeneracy conditions.
AU - Ziegler, Martin
AU - Brattka, Vasco
ID - 18152
SN - 0302-9743
T2 - Proceedings of the 4th Workshop on Computability and Complexity in Analysis (CCA'2000)
TI - A Computable Spectral Theorem
VL - 2064
ER -
TY - CONF
AB - What is the maximum number of edges of the d-dimensional hypercube, denoted by S(d,k), that can be sliced by k many hyperplanes? This question on combinatorial properties of Euclidean geometry arising from linear separability considerations in the theory of Perceptrons has become an issue on its own. We use computational and combinatorial methods to obtain new bounds on S(d,k), s<=8. These strengthen earlier results on hypercube cut numbers.
AU - Ziegler, Martin
AU - Emamy-Khansari, M. Reza
ID - 18166
T2 - Proceedings of the First International Conference on Discrete Models - Combinatorics, Computation and Geometry (DM-CCG'2001)
TI - New Bounds for Hypercube Slicing Numbers
VL - AA
ER -
TY - CONF
AB - We consider the classical LINEAR OPTIMIZATION Problem, but in the Turing rather than the RealRAM model. Asking for mere computability of a function's maximum over some closed domain, we show that the common presumptions 'full-dimensional' and `bounded' in fact cannot be omitted: The sound framework of Recursive Analysis enables us to rigorously prove this folkloristic observation! On the other hand, convexity of this domain may be weakened to connectedness, and even NON-linear functions turn out to be effectively optimizable.
AU - Brattka, Vasco
AU - Ziegler, Martin
ID - 18168
T2 - Proceedings of the 13th Canadian Conference on Computational Geometry (CCCG'01)
TI - Turing Computability of (Non-)Linear Optimization
ER -
TY - CONF
AB - We present a new approximate occlusion-culling algorithm that in contrast to other algorithms, manages the objects of the scene in a 3D-sectorgraph. For generating a frame, as far as possible only the visible objects are rendered that can be found quickly by an edge of the graph. The algorithm allows a real-time navigation with over 20 frames per second in complex scenes consisting of over 10 millions of polygons. Moreover, approximation errors are very low.
AU - Klein, Jan
AU - Fischer, Matthias
ID - 18370
T2 - Proc. of 3. GI-Informatiktage 2001
TI - Occlusion Culling for Virtual Environments based on the 3D-Sectorgraph
ER -
TY - CONF
AB - We present a new output-sensitive rendering algorithm, the randomized z-buffer algorithm. It renders an image of an arbitrary three-dimensional scene consisting of triangular primitives by reconstruction from a dynamically chosen set of random surface sample points. This approach is independent of mesh connectivity and topology. The resulting rendering time grows only logarithmically with the numbers of triangles in the scene. We were able to render walkthroughs of scenes of up to 10^14 triangles at interactive frame rates. Automatic identification of low detail scene components ensures that the rendering speed of the randomized z-buffer cannot drop below that of conventional z-buffer rendering. Experimental and analytical evidence is given that the image quality is comparable to that of common approaches like z-buffer rendering. The precomputed data structures employed by the randomized z-buffer allow for interactive dynamic updates of the scene. Their memory requirements grow only linearly with the number of triangles and allow for a scene graph based instantiation scheme to further reduce memory consumption.
AU - Wand, Michael
AU - Fischer, Matthias
AU - Peter, Ingmar
AU - Meyer auf der Heide, Friedhelm
AU - Straßer, Wolfgang
ID - 16492
SN - 158113374X
T2 - Proceedings of the 28th annual conference on Computer graphics and interactive techniques - SIGGRAPH '01
TI - The randomized z-buffer algorithm
ER -
TY - CHAP
AU - Meyer auf der Heide, Friedhelm
ID - 16493
SN - 0302-9743
T2 - Graph-Theoretic Concepts in Computer Science
TI - Data Management in Networks
VL - 2204
ER -
TY - CHAP
AU - Meyer auf der Heide, Friedhelm
AU - Wanka, Rolf
ID - 16494
SN - 0302-9743
T2 - Computational Science - ICCS 2001
TI - Parallel Bridging Models and Their Impact on Algorithm Design
ER -
TY - BOOK
ED - Meyer auf der Heide, Friedhelm
ID - 16722
SN - 0302-9743
TI - Algorithms — ESA 2001, 9th Annual European Symposium Århus, Denmark
ER -
TY - THES
AU - Rieping, Ingo
ID - 19620
SN - 3-931466-80-9
TI - Communication in Parallel Systems-Models, Algorithms and Implementations
VL - 81
ER -
TY - THES
AU - Westermann, Matthias
ID - 19621
SN - 3-931466-89-2
TI - Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints
VL - 90
ER -
TY - GEN
AU - Bonorden, Olaf
AU - Rieping, Ingo
AU - von Otte, Ingo
AU - Juurlink, Bernhardus
ID - 19733
TI - PUB-Library, Release 7.0, User Guide and Function Reference
ER -
TY - GEN
AU - Scheideler, Christian
ID - 19784
SN - 3-931466-77-9
TI - Probabilistic Methods for Coordination Problems
ER -
TY - CONF
AU - Bednara, M.
AU - Beyer, O.
AU - Teich, J.
AU - Wanka, Rolf
ID - 19849
SN - 0769507166
T2 - Proc. Int. Conf. on Application Specific Systems, Architectures, and Processors (ASAP)
TI - Tradeoff analysis and architecture design of a hybrid hardware/software sorter
ER -
TY - JOUR
AU - Adler, Micah
AU - Scheideler, Christian
ID - 2143
IS - 5/6
JF - Theory Comput. Syst.
TI - Efficient Communication Strategies for Ad Hoc Wireless Networks
VL - 33
ER -
TY - JOUR
AU - Scheideler, Christian
AU - Vöcking, Berthold
ID - 2145
IS - 4
JF - SIAM J. Comput.
TI - From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols
VL - 30
ER -
TY - CONF
AU - Berenbrink, Petra
AU - Brinkmann, André
AU - Scheideler, Christian
ID - 2146
T2 - PDPTA
TI - Distributed Path Selection for Storage Networks
ER -
TY - CONF
AU - Czumaj, Artur
AU - Scheideler, Christian
ID - 2147
T2 - SODA
TI - Coloring non-uniform hypergraphs: a new algorithmic approach to the general Lovász local lemma
ER -
TY - JOUR
AU - Czumaj, Artur
AU - Scheideler, Christian
ID - 2148
IS - 3-4
JF - Random Struct. Algorithms
TI - Coloring nonuniform hypergraphs: A new algorithmic approach to the general Lovász local lemma
VL - 17
ER -
TY - CONF
AU - Brinkmann, André
AU - Salzwedel, Kay
AU - Scheideler, Christian
ID - 2149
T2 - SPAA
TI - Efficient, distributed data placement strategies for storage area networks (extended abstract)
ER -
TY - CONF
AU - Czumaj, Artur
AU - Scheideler, Christian
ID - 2150
T2 - STOC
TI - A new algorithm approach to the general Lovász local lemma with applications to scheduling and satisfiability problems (extended abstract)
ER -
TY - GEN
AB - We present a new output-sensitive rendering algorithm, the randomized z-buffer algorithm. It renders an image of a three dimensional scene of triangular primitives by reconstruction from a random sample of surface points which are chosen with a probability proportional to the projected area of the objects. The approach is independent of mesh connectivity and topology. It leads to a rendering time that grows only logarithmically with the numbers of triangles in the scene and to linear memory consumption, thus allowing walkthroughs of scenes of extreme complexity. We consider different methods for image reconstruction which aim at correctness, rendering speed and image quality and we develop an efficient data structure for sample extraction in output-sensitive time which allows for efficient dynamic updates of the scene. Experiments confirm that scenes consisting of some hundred billion triangles can be rendered within seconds with an image quality comparable to a conventional z-buffer rendering; in special cases, realtime performance can be achieved.
AU - Wand, Michael
AU - Fischer, Matthias
AU - Meyer auf der Heide, Friedhelm
ID - 17865
TI - Randomized Point Sampling for Output-Sensitive Rendering of Complex Dynamic Scenes
ER -
TY - CONF
AU - Govindarajan, Sathish
AU - Lukovszki, Tamas
AU - Maheshwari, Anil
AU - Zeh, Norbert
ID - 18962
SN - 0178-4617
T2 - Proceedings of the 8th Annual European Symposium on Algorithms (ESA 2000), LNCS
TI - I/O-Efficient Well-Separated Pair Decomposition and Applications
ER -
TY - CONF
AB - We consider the notion of Property Testing as applied to computational geometry. We aim at developing efficient algorithms which determine whether a given (geometrical) object has a predetermined property Q or is 'far' from any object having the property. We show that many basic geometric properties have very efficient testing algorithms, whose running time is significantly smaller than the object description size.
AU - Czumaj, Artur
AU - Sohler, Christian
AU - Ziegler, Martin
ID - 17990
SN - 0302-9743
T2 - Proceedings of the 8th Annual European Symposium on Algorithms (ESA'00)
TI - Property Testing in Computational Geometry
VL - 4698
ER -
TY - CONF
AB - Since its very beginning, linear algebra is a highly algorithmic subject. Let us just mention the famous Gauss Algorithm which was invented before the theory of algorithms has been developed. The purpose of this paper is to link linear algebra explicitly to computable analysis, that is the theory of computable real number functions. Especially, we will investigate in which sense the dimension of a given linear subspace can be computed. The answer highly depends on how the linear subspace is given: if it is given by a finite number of vectors whose linear span represents the space, then the dimension does not depend continuously on these vectors and consequently it cannot be computed. If the linear subspace is represented via its distance function, which is a standard way to represent closed subspaces in computable analysis, then the dimension does computably depend on the distance function.
AU - Ziegler, Martin
AU - Brattka, Vasco
ID - 18146
SN - 0302-9743
T2 - SOFSEM 2000: Theory and Practice of Informatics
TI - Computing the Dimension of Linear Subspaces
VL - 1963
ER -
TY - CONF
AB - What is the minimum number of hyperplanes that slice all edges of the d-dimensional hypercube? The answers have been known for d<=4.
This work settles the problem for d=5 and d=6. More precisely, a computer search implies that 4 hyperplanes do not suffice for this purpose (but 5 do).
We also develop computational approaches for attacking this extremal problem from combinatorial geometry in higher dimensions. They allow us to determine for example all maximal sliceable subsets of hypercube edges up to dimension 7.
AU - Ziegler, Martin
AU - Sohler, Christian
ID - 18150
T2 - Proceedings of the 12th Canadian Conference on Computational Geometry (CCCG'00)
TI - Computing Cut Numbers
ER -
TY - JOUR
AB - We consider comparator networks M that are used repeatedly: while the output produced by M is not sorted, it is fed again into M. Sorting algorithms working in this way are called periodic. The number of parallel steps performed during a single run of M is called its period, the sorting time of M is the total number of parallel steps that are necessary to sort in the worst case. Periodic sorting networks have the advantage that they need little hardware (control logic, wiring, area) and that they are adaptive. We are interested in comparator networks of a constant period, due to their potential applications in hardware design.
Previously, very little was known on such networks. The fastest solutions required time O(nε) where the depth was roughly 1/ε. We introduce a general method called periodification scheme that converts automatically an arbitrary sorting network that sorts n items in time T(n) and that has layout area A(n) into a sorting network that has period 5, sorts ***(n • T(n) items in time O(T(1 describing the quality of approximation. PNGs have been throughly investigated with respect to small values of f. We present in this work results about small values of k. The aim of minimizing k rather than f arises from two observations:
* k determines the amount of space required for storing PNGs.
* Many algorithms employing a (previously constructed) spanner have running times depending on its outdegree.
Our results include, for fixed dimensions d as well as asymptotically, upper and lower bounds on this optimal value of k. The upper bounds are shown constructively and yield efficient algorithms for actually computing the corresponding PNGs even in degenerate cases.
AU - Fischer, Matthias
AU - Lukovszki, Tamas
AU - Ziegler, Martin
ID - 17864
T2 - Proceedings of the 11th Canadian Conference on Computational Geometry
TI - Partitioned neighborhood spanners of minimal outdegree
ER -
TY - CONF
AB - We present a new ( O(n) ) algorithm to compute good orders for the point set of a Delaunay triangulation of ( n ) points in the plane. Such a good order makes reconstruction in ( O(n) ) time with a simple algorithm possible. In contrast to the algorithm of Snoeyink and van Kreveld cite1, which is based on independent sets, our algorithm uses a breadth first search (BFS) to obtain these orders. Both approaches construct such orders by repeatedly removing a constant fraction of vertices from the current triangulation. The advantage of the BFS approach is that we can give significantly better bounds on the fraction of removed points in a phase of the algorithm. We can prove that a single phase of our algorithm removes at least ( frac13 ) of the points, even if we restrict the degree of the points (at the time they are removed) to 6. We implemented and compared both algorithms. Our algorithms is slightly faster and achieves about 15% better vertex data compression when using a simple variable length code to encode the differences between two consecutive vertices of the given order.
AU - Sohler, Christian
ID - 18747
T2 - Proceedings of the 11th Canadian Conference on Computational Geometry ( CCCG'99)
TI - Fast Reconstruction of Delaunay Triangulations
ER -
TY - THES
AU - Lukovszki, Tamás
ID - 18942
SN - 3-931466-62-0
TI - New Results on Geometric Spanners and Their Applications
VL - 63
ER -
TY - CONF
AB - We investigate the problem of constructing spanners for a given set of points that are tolerant for edge/vertex faults. Let S be a set of $n$ points in the d-dimensional space and let k be an integer number. A k-edge/vertex fault tolerant spanner for S has the property that after the deletion of k arbitrary edges/vertices each pair of points in the remaining graph is still connected by a short path.
Recently it was shown that for each set S of n points there exists a k-edge/vertex fault tolerant spanner with O(k^2 n) edges which can be constructed in O(n log n + k^2 n) time. Furthermore, it was shown that for each set S of n points there exists a k-edge/vertex fault tolerant spanner whose degree is bouned by O(c^k+1) for some constant c.
Our first contribution is a construction of a k-vertex fault tolerant spanner with O(kn) edges which is a tight bound. The computation takes O(n log^d-1 n + k n log log n) time. Then we show that the same k-vertex fault tolerant spanner is also k-edge fault tolerant. Thereafter, we construct a k-vertex fault tolerant spanner with O(k^2 n) edges whose degree is bounded by O(k^2). Finally, we give a more natural but stronger definition of k-edge fault tolerance which not necessarily can be satisfied if one allows only simple edges between the points of S. We investigate the question whether Steiner points help. We answer this question affirmatively and prove Theta(kn) bounds on the number of Steiner points and on the number of edges in such spanners.
AU - Lukovszki, Tamás
ID - 18959
SN - 0302-9743
T2 - Proceedings of the 6th Workshop on Algorithms an Data Structures (WADS'99), LNCS
TI - New Results on Fault Tolerant Geometric Spanners
ER -
TY - CONF
AU - Krick, Christof
AU - Meyer auf der Heide, Friedhelm
AU - Räcke, Harald
AU - Vöcking, Berthold
AU - Westermann, Matthias
ID - 18965
SN - 1581131240
T2 - Proceedings of the eleventh annual ACM symposium on Parallel algorithms and architectures - SPAA '99
TI - Data management in networks: experimental evaluation of a provably good strategy
ER -
TY - CONF
AB - In this paper we deal with two problems on star-shaped polygons. First, we present a Las-Vegas algorithm that uniformly at random creates a star-shaped polygon whose vertices are given by a point set ( S ) of ( n ) points in the plane that does not admit degenerate star-shaped polygons. The expected running time of the algorithm is ( O(n^2log n) ) and it uses ( O(n) ) memory. We call a star-shaped polygon degenerate if its kernel has 0 area.
Secondly, we show how to count all star-shaped polygons whose vertices are a subset of ( S ) in ( O(n^5log n) ) time and ( O(n) ) space. The algorithm can also be used for random uniform generation. We also present lower and upper bounds on the number of star-shaped polygons.
AU - Sohler, Christian
ID - 18576
T2 - Proceedings of the 11th Canadian Conference on Computational Geometry ('CCCG'99)
TI - Generating Random Star-Shaped Polygons
ER -
TY - CONF
AU - Berenbrink, Petra
AU - Riedel, Marco
AU - Scheideler, Christian
ID - 2210
T2 - International Workshop on Communication and Data Management in Large Networks (CDMLarge)
TI - Design of the PRESTO Multimedia Storage Network (Extended Abstract)
ER -
TY - CONF
AU - Scheideler, Christian
AU - Vöcking, Berthold
ID - 2166
T2 - STOC
TI - From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols
ER -
TY - JOUR
AU - Meyer auf der Heide, Friedhelm
AU - Vöcking, Berthold
ID - 16501
JF - Journal of Algorithms
SN - 0196-6774
TI - Shortest-Path Routing in Arbitrary Networks
ER -
TY - JOUR
AU - Berenbrink, P.
AU - Meyer auf der Heide, Friedhelm
AU - Schröder, K.
ID - 16502
JF - Theory of Computing Systems
SN - 1432-4350
TI - Allocating Weighted Jobs in Parallel
ER -
TY - CHAP
AU - Mayr, E. W.
AU - Meyer auf der Heide, Friedhelm
AU - Wanka, Rolf
ID - 17052
SN - 1431-472X
T2 - Informatik aktuell
TI - International Workshop on Communication and Data Management in Large Networks
ER -
TY - CHAP
AU - Meyer auf der Heide, Friedhelm
AU - Vöcking, Berthold
AU - Westermann, Matthias
ID - 17053
SN - 0302-9743
T2 - Algorithms - ESA’ 99
TI - Provably Good and Practical Strategies for Non-uniform Data Management in Networks
ER -
TY - THES
AU - Vöcking, Berthold
ID - 19639
SN - 3-931466-45-0
TI - Static and Dynamic Data Management in Networks
VL - 46
ER -
TY - GEN
AB - The Paderborn University BSP (PUB) library is a parallel C library based on the BSP model. The basic library supports buffered and unbuffered asynchronous communication between any pair of processors, and a mechanism for synchronizing the processors in a barrier style. In addition, it provides routines for collective communication on arbitrary subsets of processors, partition operations, and a zero-cost synchronization mechanism. Furthermore, some techniques used in the implementation of the PUB library deviate significantly from the techniques used in other BSP libraries.
AU - Bonorden, Olaf
AU - Rieping, Ingo
AU - von Otte, Ingo
AU - Juurlink, Bernhardus
ID - 19735
TI - The Paderborn University BSP (PUB) Library - Design, Implementation and Performance
ER -
TY - CHAP
AB - We study algorithmic aspects in the management of geometric scenes in interactive walkthrough animations. We consider arbitrarily large scenes consisting of unit size balls. For a smooth navigation in the scene we have to fulfill hard real time requirements. Therefore, we need algorithms whose running time is independent of the total number of objects in the scene and that use as small space as possible. In this work we focus on one of the basic operations in our walkthrough system: reporting the objects around the visitor within a certain distance. Previously a randomized data structure was presented that supports reporting the balls around the visitor in an output sensitive time and allows insertion and deletion of objects nearly as fast as searching. These results were achieved by exploiting the fact that the visitor moves ''slowly'' through the scene. A serious disadvantage of the aforementioned data structure is a big space overhead and the use of randomization. Our first result is a construction of weak spanners that leads to an improvement of the space requirement of the previously known data structures. Then we develop a deterministic data structure for the searching problem in which insertion of objects are allowed. Our incremental data structure supports O(1+k) reporting time, where k is a certain quantity close to the number of reported objects. The insertion time is similar to the reporting time and the space is linear to the total number of objects.
AU - Fischer, Matthias
AU - Lukovszki, Tamás
AU - Ziegler, Martin
ID - 17412
SN - 0302-9743
T2 - Algorithms — ESA’ 98
TI - Geometric Searching in Walkthrough Animations with Weak Spanners in Real Time
ER -
TY - CONF
AB - New dynamic search data structures developed recently guarantee constant execution time per search and update, i.e., they fulfil the real-time requirements necessary for interactive walkthrough in large geometric scenes. Yet, superiority or even applicability of these new methods in practice was still an open question.
Their prototypical implementation presented in this work uses common libraries on standard stations and thus represents a first strut to bridge this gap. Indeed our experimental results give an indication on the actual performance of these theoretical ideas on real machines and possible bottlenecks in future developments. By special algorithmic enhancements, we can even avoid the otherwise essential preprocessing step.
AU - Fischer, Matthias
AU - Lukovszki, Tamas
AU - Ziegler, Martin
ID - 17863
T2 - Algorithm Engineering, 2nd International Workshop, {WAE '98}
TI - A Network Based Approach for Realtime Walkthrough of Massive Models
ER -
TY - GEN
AB - Preis für den Beitrag "Multimediale Entdeckungsreisen unserer Welt mit dem Internet"
AU - Ziegler, Martin
AU - Fischer, Matthias
AU - Lukovszki, Tamás
ID - 18145
TI - Multimediale Entdeckungsreisen unserer Welt mit dem Internet
ER -
TY - THES
AU - Oesterdiekhoff, Brigitte
ID - 18445
TI - On Periodic Comparator Networks
ER -
TY - JOUR
AU - Scheideler, Christian
AU - Vöcking, Berthold
ID - 2168
IS - 4
JF - Theory Comput. Syst.
TI - Universal Continuous Routing Strategies
VL - 31
ER -
TY - CONF
AU - Adler, Micah
AU - Scheideler, Christian
ID - 2169
T2 - SPAA
TI - Efficient Communication Strategies for Ad-Hoc Wireless Networks (Extended Abstract)
ER -
TY - CONF
AU - Feige, Uriel
AU - Scheideler, Christian
ID - 2170
T2 - STOC
TI - Improved Bounds for Acyclic Job Shop Scheduling (Extended Abstract)
ER -
TY - BOOK
AU - Scheideler, Christian
ID - 2185
SN - 978-3-540-69792-3
TI - Universal Routing Strategies for Interconnection Networks
VL - 1390
ER -
TY - JOUR
AU - Meyer auf der Heide, Friedhelm
AU - Schröder, Klaus
AU - Schwarze, Frank
ID - 16503
JF - Theoretical Computer Science
SN - 0304-3975
TI - Routing on networks of optical crossbars
VL - 196
ER -
TY - JOUR
AU - Bäumker, Armin
AU - Dittrich, Wolfgang
AU - Meyer auf der Heide, Friedhelm
ID - 16504
JF - Theoretical Computer Science
SN - 0304-3975
TI - Truly efficient parallel algorithms: 1-optimal multisearch for an extension of the BSP model
ER -
TY - CHAP
AU - Meyer auf der Heide, Friedhelm
AU - Martinez, Gabriel Terán
ID - 16562
SN - 0302-9743
T2 - LATIN'98: Theoretical Informatics
TI - Communication-efficient parallel multiway and approximate minimum cut computation
ER -
TY - CONF
AU - Cole, Richard
AU - Maggs, Bruce M.
AU - Meyer auf der Heide, Friedhelm
AU - Mitzenmacher, Michael
AU - Richa, Andréa W.
AU - Schröder, Klaus
AU - Sitaraman, Ramesh K.
AU - Vöcking, Berthold
ID - 16563
SN - 0897919629
T2 - Proceedings of the thirtieth annual ACM symposium on Theory of computing - STOC '98
TI - Randomized protocols for low-congestion circuit routing in multistage interconnection networks
ER -
TY - THES
AU - Bäumker, Armin
ID - 19631
SN - 3-931466-27-2
TI - Communication Efficient Parallel Searching
VL - 28
ER -
TY - THES
AU - Dittrich, Wolfgang
ID - 19636
SN - 3-931466-26-4
TI - Communication and I/O Efficient Parallel Data Structures
VL - 27
ER -
TY - THES
AU - Strothmann, Willy-Bernhard
ID - 19637
SN - 3-931466-34-5
TI - Bounded Degree Spanning Trees
VL - 35
ER -
TY - CONF
AB - Given a connected graph $G$, let a $dT$-spanning tree of $G$ be a spanning tree of $G$ of maximum degree bounded by $dT$. It is well known that for each $dT ge 2$ the problem of deciding whether a connected graph has a $dT$-spanning tree is NP-complete. In this paper we investigate this problem when additionally connectivity and maximum degree of the graph are given. A complete characterization of this problem for 2- and 3-connected graphs, for planar graphs, and for $dT=2$ is provided. Our first result is that given a biconnected graph of maximum degree $2dT-2$, we can find its $dT$-spanning tree in time $O(m+n^3/2)$. For graphs of higher connectivity we design a polynomial-time algorithm that finds a $dT$-spanning tree in any $k$-connected graph of maximum degree $k(dT-2)+2$. On the other hand, we prove that deciding whether a $k$-connected graph of maximum degree $k(dT-2)+3$ has a $dT$-spanning tree is NP-complete, provided $k le 3$. For arbitrary $k ge 3$ we show that verifying whether a $k$-connected graph of maximum degree $k(dT-1)$ has a $dT$-spanning tree is NP-complete. In particular, we prove that the Hamiltonian path (cycle) problem is NP-complete for $k$-connected $k$-regular graphs, if $k>2$. This extends the well known result for $k=3$ and fully characterizes the case $dT=2$. For planar graphs it is NP-complete to decide whether a $k$-connected planar graph of maximum degree $dG$ has a $dT$-spanning tree for $k=1$ and $dG > dT ge 2$, for $k=2$ and $dG > 2(dT-1) ge 2$, and for $k=3$ and $dG > dT = 2$. On the other hand, we show how to find in polynomial (linear or almost linear) time a $dT$-spanning tree for all other parameters of $k$, $dG$, and $dT$.
AU - Czumaj, Artur
AU - Strothmann, Willy-Bernhard
ID - 19869
SN - 0302-9743
T2 - Proceedings of the Fifth Annual European Symposium on Algorithms (ESA'97)
TI - Bounded degree spanning trees
ER -
TY - GEN
AB - In this paper we present a (randomized) algorithm for maintaining the biconnected components of a dynamic planar graph of $n$ vertices under deletions of edges. The biconnected components can be maintained under any sequence of edge deletions in a total of $O(n log n)$ time, with high probability. This gives $O(log n)$ amortized time per edge deletion, which improves previous (deterministic) results due to Giammarresi and Italiano, where $O(n log^2 n)$ amortized time is needed. Our work describes a simplification of the data structures from [GiIt96] and uses dynamic perfect hashing to reduce the running time. As in the paper by Giammarresi and Italiano, we only need $O(n)$ space. Finally we describe some simply additional operations on the decremental data structure. By aid of them this the data structure is applicable for finding efficiently a $Delta$-spanning tree in a biconnected planar graph with a maximum degree $2Delta-2$ do to Czumaj and Strothmann.
AU - Strothmann, Willy-Bernhard
AU - Lukovszki, Tamás
ID - 18955
TI - Decremental Biconnectivity on Planar Graphs
ER -
TY - CONF
AU - Sohler, Christian
AU - Denny, Markus
ID - 18575
T2 - Proceedings of the 9th Canadian Conference on Computational Geometry
TI - Encoding a Triangulation as a Permutation of its Point Set
ER -
TY - CONF
AU - Bock, Stefan
AU - Meyer auf der Heide, Friedhelm
AU - Scheideler, Christian
ID - 2175
T2 - IPPS
TI - Optimal Wormhole Routing in the (n, d)-Torus
ER -
TY - CONF
AU - Flammini, Michele
AU - Scheideler, Christian
ID - 2179
T2 - SPAA
TI - Simple, Efficient Routing Schemes for All-Optical Networks
ER -
TY - JOUR
AU - Grigoriev, Dima
AU - Karpinski, Marek
AU - Meyer auf der Heide, Friedhelm
AU - Smolensky, Roman
ID - 16564
JF - computational complexity
SN - 1016-3328
TI - A lower bound for randomized algebraic decision trees
ER -
TY - JOUR
AU - Czumaj, Artur
AU - Meyer auf der Heide, Friedhelm
AU - Stemann, Volker
ID - 16565
JF - Information and Computation
SN - 0890-5401
TI - Simulating Shared Memory in Real Time: On the Computation Power of Reconfigurable Architectures
ER -
TY - JOUR
AU - Meyer auf der Heide, Friedhelm
AU - Storch, M.
AU - Wanka, Rolf
ID - 16567
JF - Theory of Computing Systems
SN - 1432-4350
TI - Optimal Tradeoffs Between Size and Slowdown for Universal Parallel Networks
ER -
TY - CONF
AB - We present a data structure problem which describes the requirements of a simple variant of fully dynamic walk-through animation: We assume the scene to consist of unit size balls in R2 or higher dimensions. The scene may be arbitrarily large and has to be stored in secondary memory (discs) with relatively slow access. We allow a visitor to walk in the scene, and a modeler to update the scene by insertions and deletions of balls. We focus on the realtime requirement of animation systems: For some t (specified by the computation power of (the rendering hardware of) the graphic workstation) the data structure has to guarantee that the balls within distance t of the current visitor's position are presented to the rendering hardware, 20 times per second. Insertions and deletions should also be available to the visitor with small delay, independent of the size of the scene. We present a data structure that fulfills the above task in realtime. Its runtime is output-sensitive, i.e. linear in a quantity close to the output size of the query. We further present (preliminary) experimental results indicating that our structure is efficient in practice.
AU - Fischer, Matthias
AU - Meyer auf der Heide, Friedhelm
AU - Strothmann, Willy-Bernhard
ID - 16568
SN - 0302-9743
T2 - 5th Annual European Symposium on Algorithms (ESA '97)
TI - Dynamic data structures for realtime management of large geometric scenes
VL - 1284
ER -
TY - CHAP
AU - Meyer auf der Heide, Friedhelm
AU - Vöcking, Berthold
ID - 16569
SN - 0302-9743
T2 - Euro-Par'97 Parallel Processing
TI - Static and dynamic data management in networks
ER -
TY - CONF
AU - Berenbrink, Petra
AU - Meyer auf der Heide, Friedhelm
AU - Schröder, Klaus
ID - 16604
SN - 0897918908
T2 - Proceedings of the ninth annual ACM symposium on Parallel algorithms and architectures - SPAA '97
TI - Allocating weighted jobs in parallel
ER -
TY - CHAP
AU - Bäumker, Armin
AU - Meyer auf der Heide, Friedhelm
ID - 16605
SN - 0302-9743
T2 - Solving Irregularly Structured Problems in Parallel
TI - Communication efficient parallel searching
ER -
TY - CHAP
AU - Karaivazoglou, Efstratios
AU - Meyer auf der Heide, Friedhelm
ID - 16687
SN - 0302-9743
T2 - Euro-Par'97 Parallel Processing
TI - Routing on asyncronous processor networks
ER -
TY - CONF
AU - Maggs, B.M.
AU - Meyer auf der Heide, Friedhelm
AU - Vöcking, Berthold
AU - Westermann, Matthias
ID - 16689
SN - 0818681977
T2 - Proceedings 38th Annual Symposium on Foundations of Computer Science
TI - Exploiting locality for data management in systems of limited bandwidth
ER -