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  (901,864)
  • Mathematics  (901,864)
Collection
Years
  • 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 2 (2000), S. 151-184 
    ISSN: 1422-6952
    Keywords: Keywords. The stationary Navier—Stokes system, homogeneous harmonic polynomials, power series expansion and isolated singularity.
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Physics
    Notes: Abstract. In this paper the classical method to prove a removable singularity theorem for harmonic functions near an isolated singular point is extended to solutions to the stationary Stokes and Navier—Stokes system. Finding series expansion of solutions in terms of homogeneous harmonic polynomials, we establish some known results and new theorems concerning the behavior of solutions near an isolated singular point. In particular, we prove that if (u, p) is a solution to the Navier—Stokes system in $ B_R \setminus \{0\} $ , $ n \geq 3 $ and $ |u(x)| = o\,(|x|^{-(n - 1)/2}) $ as $ |x| \to 0 $ or $ u \in L^{2n/(n - 1)}(B_R) $ , then (u, p) is a distribution solution and if in addition, $ u \in L^{\beta}(B_R) $ for some $ \beta 〉 n $ then ( u, p) is smooth in B R .
    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 2 (2000), S. 99-106 
    ISSN: 1422-6952
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Physics
    Notes: Abstract. It is well known that a weak solution (v, p) to the Navier-Stokes equations is regular if v satisfies some suitable extra conditions (see (1.2), (1.3)). However, with the exception of the recent papers [BV4], [BV5] (see also [K], [Be]) not so much attention has been payed to “alternative natural assumptions” that p may fulfill, in order that (v, p) be regular. By “alternative natural assumptions”, we mean assumptions that formally follow from the Poisson equation relating pressure and velocity (see (1.4)). The objective of this paper is to prove that (v, p) is regular if $ |p|/(1 + |v|) $ obeys some conditions that are in formal agreement with this relation.
    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 2 (2000), S. 315-323 
    ISSN: 1422-6952
    Keywords: Keywords. Navier—Stokes equations, regularity, projection.
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Physics
    Notes: Abstract. We improve regularity criteria for weak solutions to the Navier-Stokes equations stated in references [1], [3] and [12], by using in the proof given in [3], a new idea introduced by H. O. Bae and H. J. Choe in [1]. This idea allows us, in one of the main hypothesis (see eq. (1.7)), to replace the velocity u by its projection $ \bar u $ into an arbitrary hyperplane of $ {\Bbb R}^n $ ; see Theorem A. For simplicity, we state our results for space dimension $ n \le 4 $ , since if $ n \ge 5 $ the proofs become more technical and additional hypotheses are needed. However, for the interested reader, we will present the formal calculations for arbitrary dimension n.
    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 2 (2000), S. 365-380 
    ISSN: 1422-6952
    Keywords: Keywords. Euler equation, inviscid flow, instability, method of averaging.
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Physics
    Notes: Abstract. An example is presented of a class of periodic, two-dimensional, inviscid fluid flows where the stability spectrum contains both discrete unstable eigenvalues and an unstable essential spectrum. The method of averaging is used to demonstrate the existence of unstable eigenvalues. For such flows spectral instability implies nonlinear instability.
    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. 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 ...
  • 10
    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 ...
  • 11
    Electronic Resource
    Electronic Resource
    Springer
    Journal of mathematical fluid mechanics 2 (2000), S. 107-125 
    ISSN: 1422-6952
    Keywords: Keywords. Inviscid compressible flows, singular limits, incompressible Euler equations, boundary value problems.
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Physics
    Notes: Abstract. We consider the Euler equations of barotropic inviscid compressible fluids in a bounded domain. It is well known that, as the Mach number goes to zero, the compressible flows approximate the solution of the equations of motion of inviscid, incompressible fluids. In this paper we discuss, for the boundary case, the different kinds of convergence under various assumptions on the data, in particular the weak convergence in the case of uniformly bounded initial data and the strong convergence in the norm of the data space.
    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 2 (2000), S. 219-266 
    ISSN: 1422-6952
    Keywords: Keywords. Navier—Stokes equations, rigid body motions.
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Physics
    Notes: Abstract. We study the motion of a rigid body of arbitrary shape immersed in a viscous incompressible fluid in a bounded, three-dimensional domain. The motion of the rigid body is caused by the action of given forces exerted on the fluid and on the rigid body. For this problem, we prove the global existence of weak solutions.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 13
    Electronic Resource
    Electronic Resource
    Springer
    Journal of mathematical fluid mechanics 2 (2000), S. 185-218 
    ISSN: 1422-6952
    Keywords: Keywords. Viscoelastic fluids, weighted function spaces, outlets to infinity, asymptotic behaviour, secondary flows.
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Physics
    Notes: Abstract. The equations governing the motion of incompressible viscoelastic fluids of Rivlin—Ericksen and Oldroyd type are investigated in domains with cylindrical and paraboloidal outlets to infinity. For sufficiently small fluxes, prescribed in each outlet, existence and uniqueness of solutions are proven in weighted Hölder spaces. In domains with paraboloidal outlets the solution is obtained as a perturbation of the corresponding Navier—Stokes solution and in domains with cylindrical outlets as a perturbation of a flux carrier, constructed by joining together the exact solutions found in each outlet. These exact solutions are shown to be either rectilinear flows of Poiseuille type or flows composed of a rectilinear and of a transverse secondary component.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 14
    ISSN: 1422-6952
    Keywords: Keywords. Navier—Stokes system, 3D exterior domains, physically reasonable solutions, asymptotic behavior.
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Physics
    Notes: Abstract. We consider physically reasonable solutions of the stationary Navier—Stokes system in a three-dimensional exterior domains with zero velocity at infinity. We show that when these solutions are asymptotically expanded near infinity, the leading term cannot be the product of a non-zero vector with the Stokes fundamental solution. This result should be contrasted with the case when the velocity at infinity is not zero. Then, as is well known, such an expansion is possible, with the leading term being the product of a suitable constant vector with the fundamental Oseen solution.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 15
    Electronic Resource
    Electronic Resource
    Springer
    Journal of mathematical fluid mechanics 2 (2000), S. 16-98 
    ISSN: 1422-6952
    Keywords: Keywords. Weak, very weak, and strong solutions; existence and uniqueness theorems with rough initial data.
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Physics
    Notes: Abstract. In this paper we study the strong solvability of the Navier—Stokes equations for rough initial data. We prove that there exists essentially only one maximal strong solution and that various concepts of generalized solutions coincide. We also apply our results to Leray—Hopf weak solutions to get improvements over some known uniqueness and smoothness theorems. We deal with rather general domains including, in particular, those having compact boundaries.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 16
    Electronic Resource
    Electronic Resource
    Springer
    Journal of mathematical fluid mechanics 2 (2000), S. 126-150 
    ISSN: 1422-6952
    Keywords: Keywords. Navier—Stokes equations, domain decomposition methods, finite elements, spectral element methods, far-field boundary treatment.
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Physics
    Notes: Abstract. The Navier—Stokes equations for incompressible fluids are coupled to models of reduced complexity, such as Oseen and Stokes, and the corresponding transmission conditions are investigated. A mathematical analysis of the corresponding problems is carried out. Numerical results obtained by finite elements and spectral elements are shown on several flow fields of physical interest.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 17
    Electronic Resource
    Electronic Resource
    Springer
    Journal of mathematical fluid mechanics 2 (2000), S. 267-293 
    ISSN: 1422-6952
    Keywords: Keywords. Non-Newtonian fluids, energy transfer, variational inequality, weak solutions.
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Physics
    Notes: Abstract. In the present paper, we shall consider a nonlinear thermoconvection problem consisting of a coupled system of nonlinear partial differential equations due to temperature dependent coefficients. We prove that weak solutions exist in appropriate Sobolev spaces under mild hypothesis on the regularity of the data. This result is established through a fixed point theorem for multivalued functions, which requires a detailed analysis of the continuous dependence of auxiliary problems, including the associated Lagrange multipliers of the generalized Navier—Stokes system.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 18
    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 ...
  • 19
    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 ...
  • 20
    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 ...
  • 21
    Electronic Resource
    Electronic Resource
    Springer
    Journal of mathematical fluid mechanics 2 (2000), S. 324-352 
    ISSN: 1422-6952
    Keywords: Keywords. Navier—Stokes equations, Jeffery—Hamel flow, unbounded domains.
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Physics
    Notes: Abstract. We consider a stationary problem for the Navier—Stokes equations in a domain $ \Omega\subset R^2 $ with a finite number of "outlets" to infinity in the form of infinite sectors. In addition to the standard adherence boundary conditions, we prescribe total fluxes of velocity vector field in each "outlet", subject to the necessary condition that the sum of all fluxes equals zero. Under certain restrictions on the aperture angles of the "outlets", which seem close to being necessary, we prove that for small fluxes this problem has a solution which behaves at infinity like the Jeffery—Hamel flow with the same flux, and we prove that this solution is unique in the class of solutions satisfying the energy inequality (4.4). We also study the problem with another type of additional condition at infinity, that which involves limiting values of the pressure at infinity in the outlets. Finally, we present a simplified construction of a small Jeffery—Hamel solution with a given flux based on the contraction mapping principle.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 22
    Electronic Resource
    Electronic Resource
    Springer
    Journal of mathematical fluid mechanics 2 (2000), S. 381-399 
    ISSN: 1422-6952
    Keywords: Keywords. Axially symmetric flows, Navier—Stokes equations, regularity of systems of PDE's.
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Physics
    Notes: Abstract. We show that if v is an axially symmetric suitable weak solution to the Navier—Stokes equations (in the sense of L. Caffarelli, R. Kohn & L. Nirenberg — see [2]) such that either $ v_{\rho} $ (the radial component of v) or $ v_{\theta} $ (the tangential component of v) has a higher regularity than is the regularity following from the definition of a weak solution in a sub-domain D of the time-space cylinder Q T then all components of v are regular in D.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 23
    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 ...
  • 24
    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 ...
  • 25
    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 ...
  • 26
    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 ...
  • 27
    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 ...
  • 28
    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 ...
  • 29
    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 ...
  • 30
    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 ...
  • 31
    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 ...
  • 32
    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 ...
  • 33
    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 ...
  • 34
    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 ...
  • 35
    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 ...
  • 36
    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 ...
  • 37
    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 ...
  • 38
    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 ...
  • 39
    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 ...
  • 40
    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 ...
  • 41
    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 ...
  • 42
    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 ...
  • 43
    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 ...
  • 44
    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 ...
  • 45
    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 ...
  • 46
    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 ...
  • 47
    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 ...
  • 48
    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 ...
  • 49
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 1 (1986), S. 73-81 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract It is proved that for any centrally symmetric convex polygonal domainP and for any natural numberr, there exists a constantk=k(P, r) such that anyk-fold covering of the plane with translates ofP can be split intor simple coverings.
    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 1 (1986), S. 1-7 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract We show that if the unit square is covered byn rectangles, then at least one must have perimeter at least 4(2m+1)/(n+m(m+1)), wherem is the largest integer whose square is at mostn. This result is exact forn of the formm(m+1) (orm 2).
    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 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 ...
  • 52
    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 ...
  • 53
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 1 (1986), S. 9-23 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract Two convex polytopes, called theorder polytope ϑ(P) andchain polytope ℒ(P), are associated with a finite posetP. There is a close interplay between the combinatorial structure ofP and the geometric structure of ϑ(P). For instance, the order polynomial Ω(P, m) ofP and Ehrhart polynomiali(ϑ(P),m) of ϑ(P) are related by Ω(P, m+1)=i(ϑ(P),m). A “transfer map” then allows us to transfer properties of ϑ(P) to ℒ(P). In particular, we transfer known inequalities involving linear extensions ofP to some new inequalities.
    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 1 (1986), S. 45-58 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract A subsetX of thed-dimensional Euclidean space ℝ d can cover its shadows inR d , if every orthogonal projection ofX onto a (d−1)-dimensional linear subspace of ℝ d is contained in some congruent copy ofX. Whereas every two-dimensional convex discC ⊂R d has this property, no (d−1)-polytope does, provided thatd〉-4.
    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 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 ...
  • 56
    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 ...
  • 57
    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 ...
  • 58
    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 ...
  • 59
    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 ...
  • 60
    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 ...
  • 61
    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 ...
  • 62
    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 ...
  • 63
    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 ...
  • 64
    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 ...
  • 65
    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 ...
  • 66
    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 ...
  • 67
    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 ...
  • 68
    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 ...
  • 69
    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 ...
  • 70
    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 ...
  • 71
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 1 (1986), S. 321-341 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract We studyvisibility representations of graphs, which are constructed by mapping vertices to horizontal segments, and edges to vertical segments that intersect only adjacent vertex-segments. Every graph that admits this representation must be planar. We consider three types of visibility representations, and we give complete characterizations of the classes of graphs that admit them. Furthermore, we present linear time algorithms for testing the existence of and constructing visibility representations of planar graphs. Many applications of our results can be found in VLSI layout.
    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 1 (1986), S. 355-369 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract A weakly neighborly polyhedral map (w.n.p. map) is a two-dimensional cell-complex which decomposes a closed 2-manifold without boundary, such that for every two vertices there is a 2-cell containing them. We prove that there are just four w.n.p. maps with Euler characteristic −1 and we describe them.
    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 1 (1986), S. 379-390 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract Extremal problems and the existence of designs is investigated in a new type of combinatorial structures, called squashed geometries.
    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. 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 ...
  • 75
    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 ...
  • 76
    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 ...
  • 77
    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 ...
  • 78
    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 ...
  • 79
    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 ...
  • 80
    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 ...
  • 81
    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 ...
  • 82
    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 ...
  • 83
    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 ...
  • 84
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 29 (NaN), S. 305-319 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. A discrete analogue of the holomorphic maps z γ and log(z) is studied. These maps are given by Schramm's circle pattern with the combinatorics of the square grid. It is shown that the corresponding circle patterns are imbedded and described by special separatrix solutions of discrete Painlevé equations. Global properties of these solutions, as well as of the discrete z γ and log(z) , are established.
    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 29 (NaN), S. 223-227 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Let C n denote the set of points in R n whose coordinates are all 0 or 1 , i.e., the vertex set of the unit n -cube. Graham and Rothschild [2] proved that there exists an integer N such that for n ≥ N , any 2-coloring of the edges of the complete graph on C n contains a monochromatic plane K 4 . Let N * be the minimum such N . They noted that N * must be at least 6 . Their upper bound on N * has come to be known as Graham's number , often cited as the largest number that has ever been put to any practical use. In this note we show that N * must be at least 11 and provide some experimental evidence suggesting that N * is larger still.
    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 29 (NaN), S. 239-255 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Let P be a simple polygon. Let the vertices of P be mapped, according to a counterclockwise traversal of the boundary, into a strictly increasing sequence of real numbers in [0, 2π) . Let a ray be drawn from each vertex so that the angle formed by the ray and a horizontal line pointing to the right equals, in measure, the number mapped to the vertex. Whenever the rays from two consecutive vertices intersect, let them induce the triangular region with extreme points comprising the vertices and the intersection point. It is shown that there is a fixed α such that if all of the assigned angles are increased by α , the triangular regions induced by the redirected rays cover the interior of P . This covering implies the standard isoperimetric inequalities in two dimensions, as well as several new inequalities, and resolves a question posed by Yaglom and Boltanskii.
    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 29 (NaN), S. 161-173 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We prove that a set of n disjoint unit balls in R d admits at most four distinct geometric permutations, or line transversals, thus settling a long-standing conjecture in combinatorial geometry. The constant bound significantly improves upon the Θ (n d-1 ) bound for disjoint balls of unrestricted radii.
    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 29 (NaN), S. 175-209 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Substitution Delone set families are families of Delone sets X =(X 1 , . . ., X n ) which satisfy the inflation functional equation X_i = \bigvee_{j=1}^m ( \mbox{\phvr A} (X_j) + {\cal D}_$ij$ ) , \qquad 1 \le i \le m, in which A is an expanding matrix, i.e., all of the eigenvalues of A fall outside the unit circle. Here the D ij are finite sets of vectors in R d and V denotes union that counts multiplicity. This paper characterizes families X =(X 1 , . . ., X n ) that satisfy an inflation functional equation, in which each X i is a multiset (set with multiplicity) whose underlying set is discrete. It then studies the subclass of Delone set solutions, and gives necessary conditions on the coefficients of the inflation functional equation for such solutions X to exist. It relates Delone set solutions to a narrower subclass of solutions, called self-replicating multi-tiling sets, which arise as tiling sets for self-replicating multi-tilings.
    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 29 (NaN), S. 257-277 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. The Li—Li algorithm produced in [11] for the mixed volume computation of fully mixed polynomial systems is reconstructed in this article for general semi-mixed polynomial systems. Taking the special structure of the semi-mixed supports of the systems into account, the resulting algorithm, illustrated by numerical results, can dramatically speed up the mixed volume computation, especially when the systems are unmixed. Even when applied to fully mixed systems, the new algorithm improves the speed of the Li—Li algorithm by a considerable amount.
    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 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 ...
  • 91
    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 ...
  • 92
    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 ...
  • 93
    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 ...
  • 94
    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 ...
  • 95
    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 ...
  • 96
    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 ...
  • 97
    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 ...
  • 98
    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 ...
  • 99
    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 ...
  • 100
    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 ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...