ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Articles  (136,713)
  • 1995-1999  (85,144)
  • 1980-1984  (46,518)
  • 1925-1929
  • Mathematics  (136,713)
Collection
  • Books  (196)
  • Articles  (136,713)
Years
Year
Journal
  • 1
    Electronic Resource
    Electronic Resource
    Springer
    Journal of mathematical fluid mechanics 1 (1999), S. 24-61 
    ISSN: 1422-6952
    Keywords: Keywords. Water waves, bifurcations, spectral theory, dynamical systems.
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Physics
    Notes: Abstract. The mathematical study of 2D travelling waves in the potential flow of two superposed layers of perfect fluid, with free surface and interfaces (with or without surface tensions) and with the bottom layer of infinite depth, is set as an ill-posed reversible evolution problem, where the horizontal space variable plays the role of a “time”. We give the structure of the spectrum of the linearized operator near equilibrium. This spectrum contains a set of isolated eigenvalues of finite multiplicities, a small number of which lie near or on the imaginary axis, and the entire real axis constitutes the essential spectrum, where there is no eigenvalue, except 0 in some cases. We give a general constructive proof of bifurcating periodic waves, adapting the Lyapunov-Schmidt method to the present (reversible) case where 0 (which is “resonant”) belongs to the continuous spectrum. In particular we give the results for the generic case and for the 1 : 1 resonance case.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    Electronic Resource
    Electronic Resource
    Springer
    Journal of mathematical fluid mechanics 1 (1999), S. 168-186 
    ISSN: 1422-6952
    Keywords: Keywords. Navier-Stokes equations, heat-conducting fluids, steady states, asymptotic behaviour.
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Physics
    Notes: Abstract. We prove that any solution to the full Navier-Stokes system of equations of heat-conducting compressible fluid stabilizes to an equilibrium when time tends to infinity.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    Electronic Resource
    Electronic Resource
    Springer
    Journal of mathematical fluid mechanics 1 (1999), S. 282-308 
    ISSN: 1422-6952
    Keywords: Keywords. Viscous, compressible, heat conducting fluid, liquid—solid phase transition, free boundary, classical solution.
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Physics
    Notes: Abstract. A new model for liquid—solid phase transitions within the frame of complete Navier—Stokes equations in a liquid phase is proposed. It takes into account such properties of liquid as compressibility, viscosity, and heat conductivity. The local existence and uniqueness of a smooth solution to the related initial-boundary value problem is proved.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    Electronic Resource
    Electronic Resource
    Springer
    Journal of mathematical fluid mechanics 1 (1999), S. 356-387 
    ISSN: 1422-6952
    Keywords: Keywords. Navier—Stokes equations, initial-boundary value problems, partial regularity, Hausdorff's dimension.
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Physics
    Notes: Abstract. We prove a criterion of local Hölder continuity for suitable weak solutions to the Navier—Stokes equations. One of the main part of the proof, based on a blow-up procedure, has quite general nature and can be applied to other problems in spaces of solenoidal vector fields.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    Electronic Resource
    Electronic Resource
    Springer
    Journal of mathematical fluid mechanics 1 (1999), S. 235-281 
    ISSN: 1422-6952
    Keywords: Keywords. The modified Navier—Stokes equations, initial-boundary value problems, interior regularity, Hausdorff's dimension.
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Physics
    Notes: Abstract. We discuss interior regularity of solutions to the three-dimensional modified Navier—Stokes equations. In particular, we formulate sufficient conditions that guarantee the local Hölder continuity of the velocity gradient.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 6
    Electronic Resource
    Electronic Resource
    Springer
    Journal of mathematical fluid mechanics 1 (1999), S. 388-408 
    ISSN: 1422-6952
    Keywords: Keywords. Lagrange functional, stationary points, C2 solutions of the Euler equation.
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Physics
    Notes: Abstract. We show in detail in which sense the following two properties of a time dependent, C 2-smooth, divergence-free vector field v are equivalent:¶a) v satisfies the Euler equation of hydrodynamics (with some pressure function p)¶b) v is a stationary point of a suitable Lagrange functional.¶Important steps are the study of surjectivity properties of the derivative of the action functional, and the identification of vector fields orthogonal to the divergence-free fields as gradients, in the sense of classical differentiability. Thus, a foundation of the Euler equation from a variational principle is provided in a form which, to the author's knowledge, was not available so far.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    Electronic Resource
    Electronic Resource
    Springer
    Journal of mathematical fluid mechanics 1 (1999), S. 78-116 
    ISSN: 1422-6952
    Keywords: Keywords. Stokes and Navier-Stokes equations, weak solutions, layer-like domains.
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Physics
    Notes: Abstract. Weak solutions to the Stokes and Navier-Stokes problems are proved to exist in domains which, outside a ball, coincide with the three-dimensional layer $\Bbb R^2\times (0,1)$ . Apart from solutions with the finite Dirichlet integral, solutions to the linear problem are constructed with a prescribed behavior at infinity such that the plane-parallel Poiseuille and Couette flows, the rotational flow. A solution to the nonlinear problem is found that drives a nonzero flux to infinity and becomes unique under the data smallness assumption. Estimates for weighted norms of the pressure are derived as well.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    Electronic Resource
    Electronic Resource
    Springer
    Journal of mathematical fluid mechanics 1 (1999), S. 225-234 
    ISSN: 1422-6952
    Keywords: Keywords. Navier—Stokes, pressure, strong solutions, variational solutions.
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Physics
    Notes: Abstract. We prove that in general it is not possible to associate a pressure field to the velocity field of a weak solution of the Navier—Stokes equations, if the body force has values in the space V'.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 9
    Electronic Resource
    Electronic Resource
    Springer
    Journal of mathematical fluid mechanics 1 (1999), S. 309-325 
    ISSN: 1422-6952
    Keywords: Keywords. Navier—Stokes equations, weak solutions, regularity.
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Physics
    Notes: Abstract. We show that if v is a weak solution to the Navier—Stokes equations in the class $ L^{\infty}(0,T;\, L^3(\Omega)^3) $ then the set of all possible singular points of v in $ \Omega $ , at every time $ t_0\in(0,T) $ , is at most finite and we also give the estimate of the number of the singular points.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    Electronic Resource
    Electronic Resource
    Springer
    Journal of mathematical fluid mechanics 1 (1999), S. 117-130 
    ISSN: 1422-6952
    Keywords: Keywords. KdV equation, soliton interactions, plasma equations.
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Physics
    Notes: Abstract. Numerical experiments involving the interaction of two solitary waves of the ion acoustic plasma equations are described. An exact 2-soliton solution of the relevant KdV equation was fitted to the initial data, and good agreement was maintained throughout the entire interaction. The data demonstrates that the soliton interactions are virtually elastic.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 11
    Electronic Resource
    Electronic Resource
    Springer
    Journal of mathematical fluid mechanics 1 (1999), S. 131-167 
    ISSN: 1422-6952
    Keywords: Keywords. Stokes equations, asymptotics at infinity, layer-like domains, dimension reduction procedure.
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Physics
    Notes: Abstract. Asymptotic formulae are derived for solutions to the Stokes problem in domains which, outside a ball, coincide with the three-dimensional layer $ {\Bbb R}^2 \times (0,1) $ . The properties of detached asymptotic terms differ in the transversal and longitudinal directions. In order to justify the asymptotic expansions the procedure of dimension reduction is employed together with estimates for miscellaneous weighted norms of the solutions.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 12
    Electronic Resource
    Electronic Resource
    Springer
    Journal of mathematical fluid mechanics 1 (1999), S. 187-223 
    ISSN: 1422-6952
    Keywords: Keywords. Magnetic Bénard, linearized instability.
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Physics
    Notes: Abstract. In the magnetic Bénard problem, a conducting fluid moves in an infinite horizontal layer $ \Omega = R^{2} \,\times (- {1 \over 2}, {1 \over 2}) $ , subject to a temperature gradient $ T_0 - T_1 $ and to a magnetic field B perpendicular to the layer. The relevant equations admit a trivial equilibrium state $ w_0 $ . We investigate the loss of stability of $ w_0 $ under perturbations in $ L^2(\Omega)^7 $ , when $ T_0 - T_1 $ varies in the range $ (0,+\infty) $ , and with B kept constant. Since linearized instability entails Ljapounov instability (Theorem 1 and comments), we study the nonselfadjoint linearization around $ w_0 $ on $ L^2(\Omega)^7 $ , and the dependence of its spectrum on $ T_0 - T_1 $ . This leads via Orr-Sommerfeld to a holomorphic function whose parameter-dependent zeros completely describe the spectrum (Theorems 4, 4' and lemmas). The existence of points of loss of stability then follow (Theorem 5) together with numerical information about their location.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 13
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 17 (1997), S. 319-337 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. The exchange of radiant energy (e.g., visible light, infrared radiation) in simple macroscopic physical models is sometimes approximated by the solution of a system of linear equations (energy transport equations). A variable in such a system represents the total energy emitted by a discrete surface element. The coefficients of these equations depend on the form factors between pairs of surface elements. A form factor is the fraction of energy leaving a surface element which directly reaches another surface element. Form factors depend only on the geometry of the physical model. Determining good approximations of form factors is the most time-consuming step in these methods, when the geometry of the model is complex due to occlusions. In this paper, we introduce a new characterization of form factors based on concepts from integral geometry. Using this characterization, we develop a new and asymptotically efficient Monte Carlo method for the simultaneous approximation of all form factors in an occluded polyhedral environment. The approximation error is bounded without recourse to special hypothesis. This algorithm is, for typical scenes, one order of magnitude faster than methods based on the hemisphere paradigm or on Monte Carlo ray-shooting. Let A be any set of convex nonintersecting polygons in R 3 with a total of n edges and vertices. Let ε be the error parameter and let δ be the confidence parameter. We compute an approximation of each nonzero form factor such that with probability at least 1-δ the absolute approximation error is less than ε. The expected running time of the algorithm is $O((\epsilon^{-2} \log \delta^{-1})(n\log^2 n + K\log n))$ , where K is the expected number of regular intersections for a random projection of A. The number of regular intersections can range from 0 to quadratic in n, but for typical applications it is much smaller than quadratic. The expectation is with respect to the random choices of the algorithm and the result holds for any input.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 14
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 17 (1997), S. 365-375 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We study the following generalization of the inradius: For a convex body K in the d-dimensional Euclidean space and a linear k-plane L we define the inradius of K with respect to L by $r_L(K)=\max\{r(K; x+L): x\in E^d\}$ , where r(K;x+L) denotes the ordinary inradius of $K\cap(x+L)$ with respect to the affine plane x+L. We show how to determine $r_L(P)$ for polytopes and use the result to estimate $\min\{ r_L(T_r^d): L \ \mbox{ is a } k\mbox{-plane}\}$ for the regular d-simplex T_r d . These estimates are optimal for all k in infinitely many dimensions and for certain k in the remaining dimensions.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 15
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 111-120 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. The problem of maximizing the radius of n equal circles that can be packed into a given square is a well-known geometrical problem. An equivalent problem is to find the largest distance d, such that n points can be placed into the square with all mutual distances at least d. Recently, all optimal packings of at most 20 circles in a square were exactly determined. In this paper, computational methods to find good packings of more than 20 circles are discussed. The best packings found with up to 50 circles are displayed. A new packing of 49 circles settles the proof that when n is a square number, the best packing is the square lattice exactly when n≤ 36.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 16
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 125-134 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We present an $O(n\log^{9}n)$ -time algorithm for computing the 2-center of a set S of n points in the plane (that is, a pair of congruent disks of smallest radius whose union covers S), improving the previous $O(n^2\log n)$ -time algorithm of [10].
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 17
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 135-149 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. An earlier paper describes a program to prove the Kepler conjecture on sphere packings. This paper carries out the second step of that program. A sphere packing leads to a decomposition of R 3 into polyhedra. The polyhedra are divided into two classes. The first class of polyhedra, called quasi-regular tetrahedra, have density at most that of a regular tetrahedron. The polyhedra in the remaining class have density at most that of a regular octahedron (about 0.7209).
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 18
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 151-177 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. This paper studies a geometric probing problem. Suppose that an unknown convex set in R 2 can be probed by an oracle which, when given a unit vector, will return the position of the supporting hyperplane of the convex set that has the given vector as an outward normal. We present an on-line algorithm for choosing probing directions so that, after n probes, an inner and an outer estimate of the convex set are obtained that are within $O(n^{-2})$ of each other in Hausdorff distance. This is optimal since there exist convex sets that, even if visible, cannot be approximated better than $O(n^{-2})$ with n-sided polygons, for example, a circle.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 19
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 195-203 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We present a method which reduces a family of problems in combinatorial geometry (concerning multiple intervals) to purely combinatorial questions about hypergraphs. The main tool is the Borsuk—Ulam theorem together with one of its extensions. For a positive integer d, a homogeneous d-interval is a union of at most d closed intervals on a fixed line ℓ. Let ${\cal H}$ be a system of homogeneous d-intervals such that no k + 1 of its members are pairwise disjoint. It has been known that its transversal number $\tau ({\cal H})$ can then be bounded in terms of k and d. Tardos [9] proved that for d = 2, one has $\tau ({\cal H}) \leq 8k$ . In particular, the bound is linear in k. We show that the latter holds for any d, and prove the tight bound $\tau ({\cal H}) \leq 3k$ for d = 2. We obtain similar results in the case of nonhomogeneous d-intervals whose definition appears below.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 20
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 179-194 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. For each k ≥ 1 and corresponding hexagonal number h(k) = 3k(k+1)+1, we introduce $m(k) = \max \{{(k-1)!}/{2}, 1\}$ packings of h(k) equal disks inside a circle which we call the curved hexagonal packings. The curved hexagonal packing of 7 disks (k = 1, m(1)=1) is well known and one of the 19 disks (k = 2, m(2)=1) has been previously conjectured to be optimal. New curved hexagonal packings of 37, 61, and 91 disks (k = 3, 4, and 5, m(3)=1, m(4)=3, and m(5)=12) were the densest we obtained on a computer using a so-called ``billiards'' simulation algorithm. A curved hexagonal packing pattern is invariant under a $60^{\circ}$ rotation. For $k \rightarrow \infty$ , the density (covering fraction) of curved hexagonal packings tends to ${\pi^2}/{12}$ . The limit is smaller than the density of the known optimum disk packing in the infinite plane. We found disk configurations that are denser than curved hexagonal packings for 127, 169, and 217 disks (k = 6, 7, and 8). In addition to new packings for h(k) disks, we present the new packings we found for h(k)+1 and h(k)-1 disks for k up to 5, i.e., for 36, 38, 60, 62, 90, and 92 disks. The additional packings show the ``tightness'' of the curved hexagonal pattern for k ≤ 5: deleting a disk does not change the optimum packing and its quality significantly, but adding a disk causes a substantial rearrangement in the optimum packing and substantially decreases the quality.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 21
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 205-237 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We construct a probabilistic polynomial time algorithm that computes the mixed discriminant of given n positive definite $n \times n$ matrices within a 2 O(n) factor. As a corollary, we show that the permanent of an $n \times n$ nonnegative matrix and the mixed volume of n ellipsoids in R n can be computed within a 2 O(n) factor by probabilistic polynomial time algorithms. Since every convex body can be approximated by an ellipsoid, the last algorithm can be used for approximating in polynomial time the mixed volume of n convex bodies in R n within a factor n O(n) .
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 22
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 247-255 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. For any 2-coloring of the ${n \choose 2}$ segments determined by n points in general position in the plane, at least one of the color classes contains a non-self-intersecting spanning tree. Under the same assumptions, we also prove that there exist $\lfloor (n+1)/3 \rfloor$ pairwise disjoint segments of the same color, and this bound is tight. The above theorems were conjectured by Bialostocki and Dierker. Furthermore, improving an earlier result of Larman et al., we construct a family of m segments in the plane, which has no more than $m^{\log 4/\log 27}$ members that are either pairwise disjoint or pairwise crossing. Finally, we discuss some related problems and generalizations.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 23
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 257-267 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Given a simple arrangement of n pseudolines in the Euclidean plane, associate with line i the list σ i of the lines crossing i in the order of the crossings on line i. $\sigma_i=(\sigma^i_1,\sigma^i_2,\ldots,\sigma^i_{n-1})$ is a permutation of $\{1,\ldots,n\} - \{i\}$ . The vector (σ 1 ,σ 2 , ...,σ_n) is an encoding for the arrangement. Define $\tau^i_j = 1$ if $\sigma^i_j 〉 i$ and $\tau^i_j = 0$ , otherwise. Let $\tau_i=(\tau^i_1,\tau^i_2,\ldots,\tau^i_{n-1})$ , we show that the vector (τ 1 , τ 2 , ... , τ_n) is already an encoding. We use this encoding to improve the upper bound on the number of arrangements of n pseudolines to $2^{0.6974\cdot n^2}$ . Moreover, we have enumerated arrangements with 10 pseudolines. As a byproduct we determine their exact number and we can show that the maximal number of halving lines of 10 point in the plane is 13.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 24
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 269-288 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Let Σ be a collection of n algebraic surface patches in ${\Bbb R}^3$ of constant maximum degree b, such that the boundary of each surface consists of a constant number of algebraic arcs, each of degree at most b as well. We show that the combinatorial complexity of the vertical decomposition of a single cell in the arrangement ${\cal A}(\Sigma)$ is O(n^{2+ɛ}), for any ɛ 〉 0, where the constant of proportionality depends on ɛ and on the maximum degree of the surfaces and of their boundaries. As an application, we obtain a near-quadratic motion-planning algorithm for general systems with three degrees of freedom.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 25
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 289-304 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We present an O(n 4 )-time and O(n 2 )-space algorithm that computes a subgraph of the minimum weight triangulation (MWT) of a general point set. The algorithm works by finding a collection of edges guaranteed to be in any locally minimal triangulation. We call this subgraph the LMT-skeleton. We also give a variant called the modified LMT-skeleton that is both a more complete subgraph of the MWT and is faster to compute requiring only O(n 2 ) time and O(n) space in the expected case for uniform distributions. Several experimental implementations of both approaches have shown that for moderate-sized point sets (up to 350 points^1) the skeletons are connected, enabling an efficient completion of the exact MWT. We are thus able to compute the MWT of substantially larger random point sets than have previously been computed. ^1Though in this paper we summarize some empirical findings for input sets of up to 350 points, a variant of the algorithm has been implemented and tested on up to 40,000 points producing connected subgraphs [2].
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 26
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 377-383 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We give an algorithm to compute a (Euclidean) shortest path in a polygon with h holes and a total of n vertices. The algorithm uses O(n) space and requires $O(n+h^2\log n)$ time.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 27
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 369-376 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. A thrackle is a graph drawn in the plane so that its edges are represented by Jordan arcs and any two distinct arcs either meet at exactly one common vertex or cross at exactly one point interior to both arcs. About 40 years ago, J. H. Conway conjectured that the number of edges of a thrackle cannot exceed the number of its vertices. We show that a thrackle has at most twice as many edges as vertices. Some related problems and generalizations are also considered.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 28
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 305-363 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Exact computer arithmetic has a variety of uses, including the robust implementation of geometric algorithms. This article has three purposes. The first is to offer fast software-level algorithms for exact addition and multiplication of arbitrary precision floating-point values. The second is to propose a technique for adaptive precision arithmetic that can often speed these algorithms when they are used to perform multiprecision calculations that do not always require exact arithmetic, but must satisfy some error bound. The third is to use these techniques to develop implementations of several common geometric calculations whose required degree of accuracy depends on their inputs. These robust geometric predicates are adaptive; their running time depends on the degree of uncertainty of the result, and is usually small. These algorithms work on computers whose floating-point arithmetic uses radix two and exact rounding, including machines complying with the IEEE 754 standard. The inputs to the predicates may be arbitrary single or double precision floating-point numbers. C code is publicly available for the two-dimensional and three-dimensional orientation and incircle tests, and robust Delaunay triangulation using these tests. Timings of the implementations demonstrate their effectiveness.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 29
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 385-395 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. When C is a ball in ${\Bbb R}^d$ and S is the sphere $\partial C$ , we say that S supports a convex body B if S intersects B and either $B\subseteq C$ (then S is a far support) or the interior of C is disjoint from B (then S is a near support). The focus here is on common supports for a system $\cal B$ of d+1 bodies in ${\Bbb R}^d$ such that for each way of selecting a point from each member of ${\cal B}$ , the selected points are affinely independent and hence form the vertex-set of a d-simplex. The main result asserts that if $({\cal B}',{\cal B}'')$ is an arbitrary partition of ${\cal B}$ , then there exists a unique Euclidean sphere that is simultaneously a near support for each member of ${\cal B}'$ and a far support for each member of ${\cal B}''$ .
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 30
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 421-431 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. In this paper we describe the convex hulls of the sets of f- and β-vectors of different classes of simplicial complexes on n vertices. These include flag complexes, order complexes of posets, matroid complexes, and general abstract simplicial complexes. As a result of this investigation, standard linear programming problems on these sets can be solved, including maximization of the Euler characteristics or of the sum of the Betti numbers.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 31
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 397-420 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We give fast and efficient methods for constructing ε-nets and ε-approximations for range spaces with bounded VC-exponent. These combinatorial structures have wide applicability to geometric partitioning problems, which are often used in divide-and-conquer constructions in computational geometry algorithms. In addition, we introduce a new deterministic set approximation for range spaces with bounded VC-exponent, which we call the δ-relative ε-approximation, and we show how such approximations can be efficiently constructed in parallel. To demonstrate the utility of these constructions we show how they can be used to solve the linear programming problem in ${\Bbb R}^d$ deterministically in $O((\log\log n)^d)$ time using linear work in the PRAM model of computation, for any fixed constant d. Our method is developed for the CRCW variant of the PRAM parallel computation model, and can be easily implemented to run in $O(\log n(\log\log n)^{d-1})$ time using linear work on an EREW PRAM.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 32
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 455-462 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We show that every simplicial d-polytope with d+4 vertices is a quotient of a neighborly (2d+4)-polytope with 2d+8 vertices, using the technique of affine Gale diagrams. The result is extended to matroid polytopes.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 33
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. In this paper, we give an algorithm for output-sensitive construction of an f-face convex hull of a set of n points in general position in E 4 . Our algorithm runs in $O((n+f)\log^2 f)$ time and uses O(n+f) space. This is the first algorithm within a polylogarithmic factor of optimal $O(n \log f + f)$ time over the whole range of f. By a standard lifting map, we obtain output-sensitive algorithms for the Voronoi diagram or Delaunay triangulation in E 3 and for the portion of a Voronoi diagram that is clipped to a convex polytope. Our approach simplifies the ``ultimate convex hull algorithm'' of Kirkpatrick and Seidel in E 2 and also leads to improved output-sensitive results on constructing convex hulls in E d for any even constant d 〉 4.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 34
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 463-472 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Let X be a finite set of cardinality m in general position in R ^n. For n=3 we show that if X is in convex position, the number of k-sets in X is given by Γ k =2k(m-k)-m+2. In general odd dimension we obtain $\sum(-1)^k\Gamma_k=0$ ; here convexity is not required.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 35
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 19 (1998), S. 131-145 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. It is shown that the complete linkage clustering of n points can be computed in O(n log 2 n) time. Furthermore, it is shown that the complete linkage clustering can be approximated within an arbitrarily small constant factor in O(n log n) time.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 36
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 405-420 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We give a linear-time algorithm for computing the medial axis of a simple polygon P . This answers a long-standing open question—previously, the best deterministic algorithm ran in O(n log n) time. We decompose P into pseudonormal histograms, then influence histograms, then xy monotone histograms. We can compute the medial axes for xy monotone histograms and merge to obtain the medial axis for P .
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 37
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 449-462 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. It is proved that the maximum possible volume of a parallelotope contained in a d -dimensional simplex S is equal to (d! / d d ) vol(S) . A description of all the parallelotopes of maximum volume contained in S is given.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 38
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 19 (1998), S. 343-353 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We consider two general principles which allow us to reduce certain additive problems for residue classes modulo a prime to the corresponding problems for integers. 〈lsiheader〉 〈onlinepub〉26 June, 1998 〈editor〉Editors-in-Chief: &lsilt;a href=../edboard.html#chiefs&lsigt;Jacob E. Goodman, Richard Pollack&lsilt;/a&lsigt; 〈pdfname〉19n3p343.pdf 〈pdfexist〉yes 〈htmlexist〉no 〈htmlfexist〉no 〈texexist〉yes 〈sectionname〉 〈/lsiheader〉
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 39
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 19 (1998), S. 355-366 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We study the problem of the maximum number of unit distances among n points in the plane, under the additional restriction that we count only those unit distances that occur in a fixed set of k directions, taking the maximum over all sets of n points and all sets of k directions. We prove that, for fixed k and sufficiently large n 〉 n 0 (k) , the extremal sets are essentially sections of lattices, bounded by edges parallel to the k directions and of equal length. 〈lsiheader〉 〈onlinepub〉26 June, 1998 〈editor〉Editors-in-Chief: &lsilt;a href=../edboard.html#chiefs&lsigt;Jacob E. Goodman, Richard Pollack&lsilt;/a&lsigt; 〈pdfname〉19n3p355.pdf 〈pdfexist〉yes 〈htmlexist〉no 〈htmlfexist〉no 〈texexist〉yes 〈sectionname〉 〈/lsiheader〉
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 40
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 519-526 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We use shellings to give an elementary proof of the lower bound theorem for simplicial polytopes including the case of equality.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 41
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 481-517 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. This paper introduces a general notion of stress on cell-complexes and reports on connections between stresses and liftings (generalization of C 1 0 -splines) of d -dimensional cell-complexes in R d . New sufficient conditions for the existence of a sharp lifting for a ``flat" piecewise-linear realization of a manifold are given. Our approach also gives some new results on the equivalence between spherical complexes and convex and star polytopes. As an application, two algorithms are given that determine whether a piecewise-linear realization of a d -manifold in R d admits a lifting to R d+1 which satisfies given constraints. We also demonstrate connections between stresses and Voronoi—Dirichlet diagrams and show that any weighted Voronoi—Dirichlet diagram without non-compact cells can be represented as a weighted Delaunay decomposition and vice versa.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 42
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 551-556 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. In [2], Billera proved that the R -algebra of continuous piecewise polynomial functions (C 0 splines) on a d -dimensional simplicial complex Δ embedded in R d is a quotient of the Stanley—Reisner ring A Δ of Δ. We derive a criterion to determine which elements of the Stanley—Reisner ring correspond to splines of higher-order smoothness. In [5], Lau and Stiller point out that the dimension of C r k (Δ) is upper semicontinuous in the Zariski topology. Using the criterion, we give an algorithm for obtaining the defining equations of the set of vertex locations where the dimension jumps.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 43
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 527-549 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Let S be a set of noncrossing triangular obstacles in R 3 with convex hull H . A triangulation T of H is compatible with S if every triangle of S is the union of a subset of the faces of T. The weight of T is the sum of the areas of the triangles of T. We give a polynomial-time algorithm that computes a triangulation compatible with S whose weight is at most a constant times the weight of any compatible triangulation. One motivation for studying minimum-weight triangulations is a connection with ray shooting. A particularly simple way to answer a ray-shooting query (``Report the first obstacle hit by a query ray'') is to walk through a triangulation along the ray, stopping at the first obstacle. Under a reasonably natural distribution of query rays, the average cost of a ray-shooting query is proportional to triangulation weight. A similar connection exists for line-stabbing queries (``Report all obstacles hit by a query line'').
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 44
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 557-568 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. This paper presents a new lower bound of $2.414^d/\sqrt d$ on the maximal number of Nash equilibria in d×d bimatrix games, a central concept in game theory. The proof uses an equivalent formulation of the problem in terms of pairs of polytopes with 2d facets in d -space. It refutes a recent conjecture that 2 d -1 is an upper bound, which was proved for d≤4. The first counterexample is a 6×6 game with 75 equilibria. The case d=5 remains open. The result carries the lower bound closer to the previously known upper bound of $2.6^d/\sqrt d$ .
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 45
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 569-579 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. By means of the Cayley Trick the problem of enumerating all regular fine mixed subdivisions is reduced to enumerating all regular triangulations. The set of all regular triangulations is well understood thanks to the bijection with the vertices of the secondary polytope. However, since we are only interested in the configurations of mixed cells in a mixed subdivision, we want to avoid dealing with other cells. We propose an operator derived from the bistellar flip for regular triangulations to modify a mixed-cell configuration.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 46
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 581-601 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We give a characterization of the Gram matrices of spherical and finite-volume hyperbolic polytopes of a given combinatorial type. This is done in terms of the signs of certain minors of the Gram matrix.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 47
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 603-613 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We prove the following theorem: Let T 1 and T 2 be two disjoint rooted trees with roots v 1 and v 2 , respectively, and let P be a set of |T1 $\cup$ T2| points in the plane in general position containing two specified points p 1 and p 2 . Then the union T 1 $\cup$ T 2 can be straight-line embedded onto P such that v 1 and v 2 correspond to p 1 and p 2 , respectively. Moreover, we give a O(n 2 log n) time algorithm for finding such an embedding, where n is the number of vertices contained in T 1 $\cup$ T 2 .
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 48
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 19 (1998), S. 411-425 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Let A be a polygon, and let s (A) denote the number of distinct nonsimilar triangles Δ such that A can be dissected into finitely many triangles similar to Δ . If A can be decomposed into finitely many similar symmetric trapezoids, then s(A)=∞ . This implies that if A is a regular polygon, then s(A)=∞ . In the other direction, we show that if s(A)=∞ , then A can be decomposed into finitely many symmetric trapezoids with the same angles. We introduce the following classification of tilings: a tiling is regular if Δ has two angles, α and β , such that at each vertex of the tiling the number of angles α is the same as that of β . Otherwise the tiling is irregular. We prove that for every polygon A the number of triangles that tile A irregularly is at most c ⋅ n 6 , where n is the number of vertices of A. If A has a regular tiling, then A can be decomposed into finitely many symmetric trapezoids with the same angles. 〈lsiheader〉 〈onlinepub〉26 June, 1998 〈editor〉Editors-in-Chief: &lsilt;a href=../edboard.html#chiefs&lsigt;Jacob E. Goodman, Richard Pollack&lsilt;/a&lsigt; 〈pdfname〉19n3p411.pdf 〈pdfexist〉yes 〈htmlexist〉no 〈htmlfexist〉no 〈texexist〉yes 〈sectionname〉 〈/lsiheader〉
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 49
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 19 (1998), S. 437-445 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Let F denote a family of pairwise disjoint convex sets in the plane. F is said to be in convex position if none of its members is contained in the convex hull of the union of the others. For any fixed k≥ 3 , we estimate P k (n) , the maximum size of a family F with the property that any k members of F are in convex position, but no n are. In particular, for k=3 , we improve the triply exponential upper bound of T. Bisztriczky and G. Fejes Tóth by showing that P 3 (n) 〈 16 n . 〈lsiheader〉 〈onlinepub〉26 June, 1998 〈editor〉Editors-in-Chief: &lsilt;a href=../edboard.html#chiefs&lsigt;Jacob E. Goodman, Richard Pollack&lsilt;/a&lsigt; 〈pdfname〉19n3p437.pdf 〈pdfexist〉yes 〈htmlexist〉no 〈htmlfexist〉no 〈texexist〉yes 〈sectionname〉 〈/lsiheader〉
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 50
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 19 (1998), S. 447-455 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. The translative kissing number H(K) of a d -dimensional convex body K is the maximum number of mutually nonoverlapping translates of K which touch K . In this paper we show that there exists an absolute constant c 〉 0 such that H(K)≥ 2 cd for every positive integer d and every d -dimensional convex body K . We also prove a generalization of this result for pairs of centrally symmetric convex bodies. 〈lsiheader〉 〈onlinepub〉26 June, 1998 〈editor〉Editors-in-Chief: &lsilt;a href=../edboard.html#chiefs&lsigt;Jacob E. Goodman, Richard Pollack&lsilt;/a&lsigt; 〈pdfname〉19n3p447.pdf 〈pdfexist〉yes 〈htmlexist〉no 〈htmlfexist〉no 〈texexist〉yes 〈sectionname〉 〈/lsiheader〉
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 51
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 19 (1998), S. 457-459 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Let g(n) denote the least integer such that among any g(n) points in general position in the plane there are always n in convex position. In 1935, P. Erdős and G. Szekeres showed that g(n) exists and $2^{n-2}+1\le g(n)\le {2n-4\choose n-2}+1$ . Recently, the upper bound has been slightly improved by Chung and Graham and by Kleitman and Pachter. In this paper we further improve the upper bound to $$g(n)\le {2n-5\choose n-2}+2.$$ 〈lsiheader〉 〈onlinepub〉26 June, 1998 〈editor〉Editors-in-Chief: &lsilt;a href=../edboard.html#chiefs&lsigt;Jacob E. Goodman, Richard Pollack&lsilt;/a&lsigt; 〈pdfname〉19n3p457.pdf 〈pdfexist〉yes 〈htmlexist〉no 〈htmlfexist〉no 〈texexist〉yes 〈sectionname〉 〈/lsiheader〉
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 52
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 19 (1998), S. 461-469 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. A geometric graph is a graph G=(V,E) drawn in the plane so that the vertex set V consists of points in general position and the edge set E consists of straight-line segments between points of V . Two edges of a geometric graph are said to be parallel if they are opposite sides of a convex quadrilateral. In this paper we show that, for any fixed k ≥ 3 , any geometric graph on n vertices with no k pairwise parallel edges contains at most O(n) edges, and any geometric graph on n vertices with no k pairwise crossing edges contains at most O(n log n) edges. We also prove a conjecture by Kupitz that any geometric graph on n vertices with no pair of parallel edges contains at most 2n-2 edges. 〈lsiheader〉 〈onlinepub〉26 June, 1998 〈editor〉Editors-in-Chief: &lsilt;a href=../edboard.html#chiefs&lsigt;Jacob E. Goodman, Richard Pollack&lsilt;/a&lsigt; 〈pdfname〉19n3p461.pdf 〈pdfexist〉yes 〈htmlexist〉no 〈htmlfexist〉no 〈texexist〉yes 〈sectionname〉 〈/lsiheader〉
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 53
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 19 (1998), S. 485-519 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. The paper bounds the combinatorial complexity of the Voronoi diagram of a set of points under certain polyhedral distance functions. Specifically, if S is a set of n points in general position in R d , the maximum complexity of its Voronoi diagram under the L ∞ metric, and also under a simplicial distance function, are both shown to be $\Theta(n^{\lceil d/2 \rceil})$ . The upper bound for the case of the L ∞ metric follows from a new upper bound, also proved in this paper, on the maximum complexity of the union of n axis-parallel hypercubes in R d . This complexity is $\Theta(n^{\left\lceil d/2 \right\rceil})$ , for d ≥ 1 , and it improves to $\Theta(n^{\left\lfloor d/2 \right\rfloor})$ , for d ≥ 2 , if all the hypercubes have the same size. Under the L 1 metric, the maximum complexity of the Voronoi diagram of a set of n points in general position in R 3 is shown to be $\Theta(n^2)$ . We also show that the general position assumption is essential, and give examples where the complexity of the diagram increases significantly when the points are in degenerate configurations. (This increase does not occur with an appropriate modification of the diagram definition.) Finally, on-line algorithms are proposed for computing the Voronoi diagram of n points in R d under a simplicial or L ∞ distance function. Their expected randomized complexities are $O(n \log n + n ^{\left\lceil d/2 \right\rceil})$ for simplicial diagrams and $O(n ^{\left\lceil d/2 \right\rceil} \log ^{d-1} n)$ for L ∞ -diagrams.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 54
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 167-176 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. A collection of n hyperplanes in ${\Bbb R}$ d forms a hyperplane arrangement. The depth of a point $\theta \in {\Bbb R}^d$ is the smallest number of hyperplanes crossed by any ray emanating from θ . For d=2 we prove that there always exists a point θ with depth at least $\lceil n/3\rceil$ . For higher dimensions we conjecture that the maximal depth is at least $\lceil n/(d+1)\rceil$ . For arrangements in general position, an upper bound on the maximal depth is also established. Finally, we discuss algorithms to compute points with maximal depth.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 55
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 177-192 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Aleksandrov [1] proved that a simple convex d -dimensional polytope, d ≥ 3 , is infinitesimally rigid if the volumes of its facets satisfy a certain assumption of stationarity. We extend this result by proving that this assumption can be replaced by a stationarity assumption on the k -dimensional volumes of the polytope's k -dimensional faces, where k ∈{1,. . .,d-1} .
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 56
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 193-200 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. It is proved that two convex bodies $K_1,K_2 \subset E^d$ are homothetic simplices if and only if the d -dimensional intersections $K_1 \cap (z + K_2)$ , z ∈ E d , belong to at most countably many homothety equivalence classes of convex bodies in E d .
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 57
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 223-230 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Constructibility of simplicial complexes is a notion weaker than shellability. It is known that shellable pseudomanifolds are homeomorphic to balls or spheres but simplicial complexes homeomorphic to balls or spheres need not be shellable in general. Constructible pseudomanifolds are also homeomorphic to balls or spheres, but the existence of nonconstructible balls was not known. In this paper we study the constructibility of some nonshellable balls and show that some of them are not constructible, either. Moreover, we give a necessary and sufficient condition for the constructibility of three-dimensional simplicial balls, whose vertices are all on the boundary.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 58
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 17 (1997), S. 283-286 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Let $\| \cdot \|$ be the euclidean norm on R n and let γ n be the (standard) Gaussian measure on R n with density $(2 \pi )^{-n/2} e^{- \| x\|^2/2}$ . Let $\vartheta$ ($ \simeq 1.3489795$) be defined by $\gamma_1 ([ - \vartheta /2, \vartheta /2]) = \frac{1}{2}$ and let L be a lattice in R n generated by vectors of norm ≤ϑ. Then, for any closed convex set V in R n with $\gamma_n (V) \geq \frac{1}{2}$ , we have $L + V = R^n$ (equivalently, for any $a \in {\bf R}^n$, $(a + L)\, \cap\, V \neq \emptyset$) . The above statement can also be viewed as a ``nonsymmetric'' version of the Minkowski theorem.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 59
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 17 (1997), S. 243-255 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. A halving hyperplane of a set S of n points in R d contains d affinely independent points of S so that equally many of the points off the hyperplane lie in each of the two half-spaces. We prove bounds on the number of halving hyperplanes under the condition that the ratio of largest over smallest distance between any two points is at most $\delta n^{1/d}$ , δ some constant. Such a set S is called dense. In d = 2 dimensions the number of halving lines for a dense set can be as much as $\Omega (n \log n)$ , and it cannot exceed $O(n^{5/4}/\log^* n)$ . The upper bound improves over the current best bound of $O(n^{3/2}/\log^* n)$ which holds more generally without any density assumption. In d = 3 dimensions we show that $O(n^{7/3})$ is an upper bound on the number of halving planes for a dense set. The proof is based on a metric argument that can be extended to d≥ 4 dimensions, where it leads to $O(n^{d-{2}/{d}})$ as an upper bound for the number of halving hyperplanes.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 60
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 259-268 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We prove tight lower bounds for the coefficients of the generalized h -vector of a rational polytope with a symmetry of prime order that is fixed-point free on the boundary. These bounds generalize results of Stanley and Adin for the h -vector of a simplicial rational polytope with a central symmetry or a symmetry of prime order, respectively.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 61
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 287-295 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. The traversal of a self-crossing closed plane curve, with points of multiplicity at most two, defines a double occurrence sequence, the Gauss code of the curve. Using the D-switch operation, we give a new simple characterization of these sequences and deduce a simple self-contained proof of Rosenstiehl's characterization.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 62
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 269-285 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We consider the family of lines that are area bisectors of a polygon (possibly with holes) in the plane. We say that two bisectors of a polygon P are combinatorially distinct if they induce different partitionings of the vertices of P . We derive an algebraic characterization of area bisectors. We then show that there are simple polygons with n vertices that have Ω(n 2 ) combinatorially distinct area bisectors (matching the obvious upper bound), and present an output-sensitive algorithm for computing an explicit representation of all the bisectors of a given polygon.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 63
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 297-315 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We present an easy to survey constructive method using only basic mathematics which allows us to define a homeomorphism between any compact real algebraic variety and some components of the configuration space of a mechanical linkage. The aim is to imitate addition and multiplication in the framework of weighted graphs in the euclidean plane that permit a ``mechanical description'' of polynomial functions, and thus of varieties.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 64
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 411-424 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We apply a generalization of Crapo's β invariant to finite subsets of R n. For a finite subset C of the plane, we prove β(C)=|int (C)|, where |int (C)| is the number of interior points of C, i.e., the number of points of C which are not on the boundary of the convex hull of C . This gives the following formula: ΣK free (-1) |K|-1 |K|=|int(C)|.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 65
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 425-427 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We present a new construction of the root system H 4 .
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 66
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 439-457 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. The densest packings of n equal circles in a square have been determined earlier for n ≤ 20 and for n = 25, 36 . Several of these packings have been proved with the aid of a computer. The computer-aided approach is further developed here and the range is extended to n ≤ 27 . The optimal packings are depicted.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 67
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 459-475 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We show how to color the tiles in a heirarchical tiling system so that the resulting system is not only repetitive (i.e., has the local isomorphism property) but has prescribed color symmetries as well.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 68
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 429-438 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. The number of triangles in arrangements of lines and pseudolines has been the object of some research. Most results, however, concern arrangements in the projective plane. In this article we add results for the number of triangles in Euclidean arrangements of pseudolines. Though the change in the embedding space from projective to Euclidean may seem small there are interesting changes both in the results and in the techniques required for the proofs. In 1926 Levi proved that a nontrivial arrangement—simple or not—of n pseudolines in the projective plane contains at least n triangles. To show the corresponding result for the Euclidean plane, namely, that a simple arrangement of n pseudolines contains at least n-2 triangles, we had to find a completely different proof. On the other hand a nonsimple arrangement of n pseudolines in the Euclidean plane can have as few as 2n/3 triangles and this bound is best possible. We also discuss the maximal possible number of triangles and some extensions.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 69
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 479-480 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. No abstract.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 70
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 481-504 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We give a simple combinatorial algorithm that computes a piecewise-linear approximation of a smooth surface from a finite set of sample points. The algorithm uses Voronoi vertices to remove triangles from the Delaunay triangulation. We prove the algorithm correct by showing that for densely sampled surfaces, where density depends on a local feature size function, the output is topologically valid and convergent (both pointwise and in surface normals) to the original surface. We briefly describe an implementation of the algorithm and show example outputs.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 71
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 527-545 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Randomized algorithms have, since the pioneering work of Clarkson and Shor, occupied the front stage of computational geometry. Yet despite their simplicity, they often cannot handle or be extended to cope with degenerate cases. The main goal of this paper is to show how, for the special case of convex hulls, a simple modification of the formulation of an on-line algorithm by Boissonnat et al., based on that of Clarkson and Shor, can handle the case of degenerate sets of points for computing convex hulls on-line in R d , for a fixed $d\geq 2$ . At the same time, a standard randomized analysis allows us to prove the expected time complexity to be within $O(n\log n+n^{{\lfloor{k/2}\rfloor}})$ , where k is the dimension of the convex hull. The latter bound is always $O(n\log n+n^{{\lfloor{d/2}\rfloor}})$ . The analysis uses connections between regions, pivots, flags, and barycentric triangulations.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 72
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 547-567 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We propose a simple, general, randomized technique to reduce certain geometric optimization problems to their corresponding decision problems. These reductions increase the expected time complexity by only a constant factor and eliminate extra logarithmic factors in previous, often more complicated, deterministic approaches (such as parametric searching). Faster algorithms are thus obtained for a variety of problems in computational geometry: finding minimal k -point subsets, matching point sets under translation, computing rectilinear p -centers and discrete 1-centers, and solving linear programs with k violations.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 73
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 505-525 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We study the motion-planning problem for pairs and triples of robots operating in a shared workspace containing n obstacles. A standard way to solve such problems is to view the collection of robots as one composite robot, whose number of degrees of freedom is d , the sum of the numbers of degrees of freedom of the individual robots. We show that it is sufficient to consider a constant number of robot systems whose number of degrees of freedom is at most d-1 for pairs of robots, and d-2 for triples. (The result for a pair assumes that the sum of the number of degrees of freedom of the robots constituting the pair reduces by at least one if the robots are required to stay in contact; for triples a similar assumption is made. Moreover, for triples we need to assume that a solution with positive clearance exists.) We use this to obtain an O(n d ) time algorithm to solve the motion-planning problem for a pair of robots; this is one order of magnitude faster than what the standard method would give. For a triple of robots the running time becomes O(n d-1 ) , which is two orders of magnitude faster than the standard method. We also apply our method to the case of a collection of bounded-reach robots moving in a low-density environment. Here the running time of our algorithm becomes O(n log n) both for pairs and triples.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 74
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 569-592 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. The straight skeleton of a polygon is a variant of the medial axis introduced by Aichholzer et al., defined by a shrinking process in which each edge of the polygon moves inward at a fixed rate. We construct the straight skeleton of an n -gon with r reflex vertices in time O(n 1+ε + n 8/11+ε r 9/11+ε ) , for any fixed ε 〉0 , improving the previous best upper bound of O(nr log n) . Our algorithm simulates the sequence of collisions between edges and vertices during the shrinking process, using a technique of Eppstein for maintaining extrema of binary functions to reduce the problem of finding successive interactions to two dynamic range query problems: (1) maintain a changing set of triangles in R 3 and answer queries asking which triangle is first hit by a query ray, and (2) maintain a changing set of rays in R 3 and answer queries asking for the lowest intersection of any ray with a query triangle. We also exploit a novel characterization of the straight skeleton as a lower envelope of triangles in R 3 . The same time bounds apply to constructing non-self-intersecting offset curves with mitered or beveled corners, and similar methods extend to other problems of simulating collisions and other pairwise interactions among sets of moving objects.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 75
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 593-618 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Let P be a polyhedral subdivision in R 3 with a total of n faces. We show that there is an embedding σ of the vertices, edges, and facets of P into a subdivision Q , where every vertex coordinate of Q is an integral multiple of $2^{- \lceil \log_2 n + 2 \rceil}$ . For each face f of P , the Hausdorff distance in the L ∈fty metric between f and σ(f) is at most 3/2 . The embedding σ preserves or collapses vertical order on faces of P . The subdivision Q has O(n 4 ) vertices in the worst case, and can be computed in the same time.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 76
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 619-631 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We prove that a unique simple polygon is determined, up to similarity, by the interior angles at its vertices and the cross-ratios of diagonals of any given triangulation. (The cross-ratio of a diagonal is the product of the ratio of edge lengths for the two adjacent triangles.) This establishes a conjecture of Driscoll and Vavasis, and shows the correctness of a key step of their algorithm for computing Schwarz—Christoffel transformations mapping a disk to a polygon.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 77
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 633-642 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. A geometric graph is a graph drawn in the plane so that the vertices are represented by points in general position, the edges are represented by straight line segments connecting the corresponding points. Improving a result of Pach and Törőcsik, we show that a geometric graph on n vertices with no k+1 pairwise disjoint edges has at most k 3 (n+1) edges. On the other hand, we construct geometric graphs with n vertices and approximately (3/2)(k-1)n edges, containing no k+1 pairwise disjoint edges. We also improve both the lower and upper bounds of Goddard, Katchalski, and Kleitman on the maximum number of edges in a geometric graph with no four pairwise disjoint edges.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 78
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 131-142 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. The theory of secondary and fiber polytopes implies that regular (also called convex or coherent) triangulations of configurations with n points in R d have at least n-d-1 geometric bistellar neighbors. Here we prove that, in fact, all triangulations of n points in R 2 have at least n-3 geometric bistellar neighbors. In a similar way, we show that for three-dimensional point configurations, in convex position and with no three points collinear, all triangulations have at least n-4 geometric bistellar flips. In contrast, we exhibit three-dimensional point configurations, with a single interior point, having deficiency on the number of geometric bistellar flips. A lifting technique allows us to obtain a triangulation of a simplicial convex 4-polytope with less than n-5 neighbors. We also construct a family of point configurations in R 3 with arbitrarily large flip deficiency.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 79
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 37-43 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. A family of sets is Π n , or n -pierceable, if there exists a set of n points such that each member of the family contains at least one of them. It is Π k n if every subfamily of size k or less is Π n . Helly's theorem is one of the fundamental results in Combinatorial Geometry. It asserts, in the special case of finite families of convex sets in the plane, that Π 3 1 implies Π 1 . However, there is no k such that Π k 2 implies 2 -pierceability for all finite families of convex sets in the plane. It is therefore natural to propose the following: Conjecture. There exists a k 0 such that, for all planar finite families of convex sets , Π k0 2 implies Π 3 . Proofs of this conjecture for restricted families of convex sets are discussed.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 80
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 45-56 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We study the problem of approximating a rotation of the plane, α :R 2 $ \rightarrow $ R 2 , α (x,y)=(x cos θ + y sin θ , y cos θ - x sin θ ), by a bijection β :Z 2 $\rightarrow$ Z 2 . We show by an explicit construction that β may be chosen so that $ {\rm sup}_{z \in Z^2} |\alpha (z)-\beta (z)| \leq ({1}/{\sqrt{2}}) (({1+r})/{\sqrt{1+r^2}}) $ , where r= tan ( θ /2). The scheme is based on those invented and patented by the second author in 1994.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 81
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 143-156 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. A spherical τ -design on S n-1 is a finite set such that, for all polynomials f of degree at most τ , the average of f over the set is equal to the average of f over the sphere S n-1 . In this paper we obtain some necessary conditions for the existence of designs of odd strengths and cardinalities. This gives nonexistence results in many cases. Asymptotically, we derive a bound which is better than the corresponding estimation ensured by the Delsarte—Goethals—Seidel bound. We consider in detail the strengths τ =3 and τ =5 and obtain further nonexistence results in these cases. When the nonexistence argument does not work, we obtain bounds on the minimum distance of such designs.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 82
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 19 (1998), S. 521-551 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. By means of sign-patterns any finite family of polynomials induces a decomposition of R n into basic semialgebraic sets. In case of integer coefficients the latter decomposition roughly appears to be a partition into realization spaces of 4 -polytopes. The latter is stated by the Universal Partition Theorem for 4 -polytopes by Richter-Gebert. The present paper presents a different proof. As its main tool, the von Staudt polytope is introduced. The von Staudt polytope constitutes the polytopal equivalent of the well-known von Staudt constructions for point configurations. With the aid of the von Staudt polytope the original ideas of universality theory can be directly applied to the polytopal case. Moreover, a new method for representing real values (on a computation line) by polytopal means is presented. This method implies a bundling strategy in order to duplicate the encoded information. Based on this approach, the following complexity result is obtained. The incidence code of a polytope, exhibiting a realization space equivalent to a given semialgebraic set, can be computed in the same time that it requires to generate the defining polynomial system.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 83
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 20 (1998), S. 35-59 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We give a positive answer for the special case of the Generalized Baues Problem which asks whether the complex of triangulations of a point set A in general position in the plane has the homotopy type of a sphere. In the process, we are led to define the visibility complex for a simplicial complex P whose vertices lie in A , and prove that this visibility complex has the same homotopy type as P . The main technique is a variant of deletion-contraction from matroid theory, along with a new method for proving homotopy equivalence of posets which we call the nerve-flag paradigm.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 84
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 20 (1998), S. 61-78 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We show that the region lit by a point light source inside a simple n -gon after at most k reflections off the boundary has combinatorial complexity O(n 2k ) , for any k≥ 1 . A lower bound of Ω ((n/k-Θ(1)) 2k ) is also established which matches the upper bound for any fixed k . A simple near-optimal algorithm for computing the illuminated region is presented, which runs in O(n 2k log n) time and O(n 2k ) space for k〉1 , and in O(n 2 log 2 n) time and O(n 2 ) space for k=1 .
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 85
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 17 (1997), S. 393-410 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. This paper studies algorithmic Helly-type problems in the framework of the algorithmic theory of convex bodies developed by Grötschel, Lovász, and Schrijver. Various oracle-polynomial-time algorithms are presented that are complemented by ${\Bbb N \Bbb P}$ -hardness results for polytopes. In addition, some new Helly-type theorems are derived.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 86
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 17 (1997), S. 377-392 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We study dual pairs of combinatorial face-to-face cell decompositions $({\cal D}_{P^2},{\cal D}^*_{P^2})$ of the real projective plane P 2 such that their canonically induced cell decompositions $({\cal D}_{S^2},{\cal D}^*_{S^2})$ on the 2-sphere S 2 form dual pairs of combinatorical types of convex polyhedra, and such that these dual pairs share two natural properties with those induced by dual pairs of Platonic solids: (1) Every Petrie polygon is a finite simple closed polygon of length 2(n-1) for some fixed n. (2) Every pair of Petrie polygons has precisely two common edges. Such pairs of face-to-face cell decompositions of the projective plane are in one-to-one correspondence with n-element pseudoline arrangements. We study in particular those dual pairs of cell decompositions $({\cal D}_{P^2},{\cal D}^*_{P^2})$ in which ${\cal D}_{P^2}$ or ${\cal D}^*_{P^2}$ has only 3-valent vertices, i.e., via the above one-to-one correspondence: p 3-maximal pseudoline arrangements. A p 3 -maximal pseudoline arrangement with n elements in turn determines a neighborly 2-manifold with Euler characteristic χ = n(7-n)/6, and vice versa, this neighborly 2-manifold uniquely determines its generating p 3 -maximal pseudoline arrangement. We provide new inductive constructions for finding infinite example classes of p 3-maximal pseudoline arrangements from small existing ones, we describe an algorithm for generating them, we provide a complete list of existence up to n = 40, and we discuss their properties.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 87
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 57-68 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. A polytope is the bounded intersection of a finite set of half-spaces of $ \Bbb R$ $^d$ . Every polytope can also be represented as the convex hull conv $ \cal V $ of its vertices (or extreme points) $ \cal V $ . The convex hull problem is to convert from the vertex representation to the half-space representation or (equivalently by geometric duality) vice versa. Given an ordering v 1 . . . v n of the input vertices, after some initialization an incremental convex hull algorithm constructs half-space descriptions $ \cal H $ n-k . . . $\cal H$ n where $\cal H$ i is the half-space description of conv {v 1 . . . v i } . Let m i denote | $ \cal H$ i |, and let m denote m n . Let φ (d) denote $ d/\lceil \sqrt{d} \rceil-1 $ ; in this paper we give families of polytopes for which m n-1 ∈ Ω m φ(d) ) for any ordering of the input. We also give a family of 0/1 -polytopes with a similar blowup in intermediate size. Since m n-1 is not bounded by any polynomial in m , n , and d , incremental convex hull algorithms cannot in any reasonable sense be considered output sensitive. It turns out that the same families of polytopes are also hard for the other main types of convex hull algorithms known.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 88
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 161-191 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. This paper studies three classes of discrete sets X in $\Bbb R$ n which have a weak translational order imposed by increasingly strong restrictions on their sets of interpoint vectors X-X . A finitely generated Delone set is one such that the abelian group [X-X] generated by X-X is finitely generated, so that [X-X] is a lattice or a quasilattice. For such sets the abelian group [X] is finitely generated, and by choosing a basis of [X] one obtains a homomorphism $\varphi : [X] \rightarrow {\Bbb Z}^s$ . A Delone set of finite type is a Delone set X such that X-X is a discrete closed set. A Meyer set is a Delone set X such that X-X is a Delone set. Delone sets of finite type form a natural class for modeling quasicrystalline structures, because the property of being a Delone set of finite type is determined by ``local rules.'' That is, a Delone set X is of finite type if and only if it has a finite number of neighborhoods of radius 2R , up to translation, where R is the relative denseness constant of X . Delone sets of finite type are also characterized as those finitely generated Delone sets such that the map ϕ satisfies the Lipschitz-type condition ||ϕ (x) - ϕ (x')|| 〈 C ||x - x'|| for x, x' ∈X , where the norms || . . . || are Euclidean norms on $\Bbb R$ s and $\Bbb R$ n , respectively. Meyer sets are characterized as the subclass of Delone sets of finite type for which there is a linear map $\tilde{L} : {\Bbb R}^n \rightarrow {\Bbb R}^s$ and a constant C such that ||ϕ (x) - $\tilde{L}$ (x)|| $\leq C$ for all x∈X . Suppose that X is a Delone set with an inflation symmetry, which is a real number η 〉 1 such that $\eta X \subseteq X$ . If X is a finitely generated Delone set, then η must be an algebraic integer; if X is a Delone set of finite type, then in addition all algebraic conjugates | η ' | $\leq$ η; and if X is a Meyer set, then all algebraic conjugates | η ' | $\leq$ 1.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 89
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 193-200 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. For any k we construct a simply connected compact set (art gallery) in R 3 whose every point sees a positive fraction (in fact, more than 5/9) of the gallery, but the whole gallery cannot be guarded by k guards. This disproves a conjecture of Kavraki et al.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 90
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 201-204 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. A normal (0,1) -polytope none of whose regular triangulations is unimodular is constructed.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 91
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 205-216 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We present a hierarchy of covering properties of rational convex cones with respect to the unimodular subcones spanned by the Hilbert basis. For two of the concepts from the hierarchy we derive characterizations: a description of partitions that leads to a natural integer programming formulation for the HILBERT PARTITION problem, and a characterization of ``binary covers'' that admits a linear algebra test over GF(2) for the existence of BINARY HILBERT COVERS. Implementation of our test leads to interesting new examples, among them: cones that have a HILBERT PARTITION but no REGULAR one; a four-dimensional cone with unimodular facets that has no HILBERT PARTITION; and two five-dimensional cones that do not have any BINARY HILBERT COVER.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 92
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 233-242 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. In this note the kissing numbers of octahedra, rhombic dodecahedra and elongated octahedra are determined. In high dimensions, an exponential lower bound for the kissing numbers of superballs is achieved.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 93
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 243-255 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. The paper proposes a new method for the boundary representation of three-dimensional (not necessarily convex) polyhedra, called a resolvable representation , in which small numerical errors do not violate the symbolic part of the representation. In this representation, numerical data are represented partly by the coordinates of vertices and partly by the coefficients of face equations in such a way that the polyhedron can be reconstructed from the representation in a step-by-step manner. It is proved that any polyhedron homeomorphic to a sphere has a resolvable representation, and an algorithm for finding such a representation is constructed.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 94
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 217-231 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Given a convex polytope P with n edges in $\Bbb R$ 3 , we present a relatively simple algorithm that preprocesses P in O(n) time, such that, given any two points $s,t \in \partial P$ , and a parameter 0 〈 $\varepsilon \le$ 1, it computes, in O(log n) /ɛ 1.5 + 1/ ɛ 3 ) time, a distance Δ P (s,t) , such that d P (s,t) $\leq$ Δ P (s,t) $\leq$ (1+ɛ )d P (s,t) , where d P (s,t) is the length of the shortest path between s and t on $\partial{P}$ . The algorithm also produces a polygonal path with O (1/ɛ 1.5 ) segments that avoids the interior of P and has length Δ P (s,t) . Our second related result is: Given a convex polytope P with n edges in $\Bbb R$ 3 , and a parameter 0 〈 $\varepsilon \leq$ 1, we present an O (n + 1/ ɛ 5 )-time algorithm that computes two points ${\frak{s}}, {\frak{t}} \in {\partial}{P}$ such that $d_P({\frak{s}}, {\frak{t}}) \geq (1-{\varepsilon}){\cal D}_P$ , where ${\cal D}_P = \max_{s, t \in {\partial}{P}} d_P(s, t)$ is the geodesic diameter of P .
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 95
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 257-274 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We show that, using the L ∞ metric, the minimum Hausdorff distance under translation between two point sets of cardinality n in d -dimensional space can be computed in time O(n (4d-2)/3 log 2 n) for 3 〈 d $\leq$ 8, and in time O(n 5d/4 log 2 n) for any d 〉 8 . Thus we improve the previous time bound of O(n 2d-2 log 2 n) due to Chew and Kedem. For d=3 we obtain a better result of O(n 3 log 2 n) time by exploiting the fact that the union of n axis-parallel unit cubes can be decomposed into O(n) disjoint axis-parallel boxes. We prove that the number of different translations that achieve the minimum Hausdorff distance in d -space is $\Theta(n^{\floor{3d/2}})$ . Furthermore, we present an algorithm which computes the minimum Hausdorff distance under the L 2 metric in d -space in time $O(n^{\ceil{3d/2}+1 +\delta})$ , for any δ 〉 0.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 96
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 289-298 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. In this paper it is shown that any (abstract) polytope $\cal P$ is a quotient of a regular polytope $\cal M$ by some subgroup N of the automorphism group W of $\cal M$ , and also that isomorphic polytopes are quotients of $\cal M$ by conjugate subgroups of W . This extends work published in 1980 by Kato, who proved these results for a restricted class of polytopes which he called ``regular''. The methods used here are more elementary, and treat the problem in a purely nongeometric manner.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 97
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 275-287 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We study a multicomponent generalization of Helly's theorem. An (n,d)-body K is an ordered n -tuple of d -dimensional sets, K= 〈 K 1 , . . . ,K n 〉 . A family $\cal F$ of (n,d)-bodiesis weakly intersecting if there exists an n -point p = 〈 p 1 , . . . , p n 〉 such that for every $K \in {\cal F}$ there exists an index 1 $\leq i \leq n$ for which p i ∈ K i . A family $\cal F$ of (n,d)-bodies is strongly intersecting if there exists an index i such that $\bigcap_{K\in{\cal F}} K_i \neq \emptyset$ . The main question addressed in this paper is: What is the smallest number H(n,d), such that for every finite family of convex (n,d)-bodies, if every H(n,d) of them are strongly intersecting, then the entire family is weakly intersecting? We establish some basic facts about H(n,d) , and also prove an upper bound $H(n,d)\leq (\lfloor \log_2 (n+1) \rfloor + 1)^d$ . In addition, we introduce and discuss two interesting related questions of a combinatorial-topological nature.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 98
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 19 (1998), S. 175-195 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Given a set S of n points in {k} -dimensional space, and an L t metric, the dynamic closest-pair problem is defined as follows: find a closest pair of S after each update of S (the insertion or the deletion of a point). For fixed dimension {k} and fixed metric L t , we give a data structure of size O(n) that maintains a closest pair of S in O(log n) time per insertion and deletion. The running time of the algorithm is optimal up to a constant factor because Ω (log n) is a lower bound, in an algebraic decision-tree model of computation, on the time complexity of any algorithm that maintains the closest pair (for k=1 ). The algorithm is based on the fair-split tree. The constant factor in the update time is exponential in the dimension. We modify the fair-split tree to reduce it.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 99
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 19 (1998), S. 229-235 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. The following containment theorem is presented: If K and L are convex bodies such that every simplex that contains L also contains some translate of K , then in fact the body L must contain a translate of the body K . One immediate consequence of this theorem is a strengthened version of Weil's mixed-volume characterization of containment.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 100
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 19 (1998), S. 237-247 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Let $({\cal K}_1, {\cal K}_2)$ be two families of closed curves on a surface ${\cal S}$ , such that $|{\cal K}_1| = m$, $|{\cal K}_2| = n$, $m_0 \leq m \leq n$ , each curve in ${\cal K}_1$ intersects each curve in ${\cal K}_2$ , and no point of ${\cal S}$ is covered three times. When ${\cal S}$ is the plane, the projective plane, or the Klein bottle, we prove that the total number of intersections in ${\cal K}_1 \cup {\cal K}_2$ is at least 10mn/9 , 12mn/11 , and mn+10 -13 m 2 , respectively. Moreover, when m is close to n , the constants are improved. For instance, the constant for the plane, 10/9 , is improved to 8/5 , for n ≤ 5(m-1)/4 . Consequently, we prove lower bounds on the crossing number of the Cartesian product of two cycles, in the plane, projective plane, and the Klein bottle. All lower bounds are within small multiplicative factors from easily derived upper bounds. No general lower bound has been previously known, even on the plane.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...