20,361 research outputs found
Point-Separable Classes of Simple Computable Planar Curves
In mathematics curves are typically defined as the images of continuous real
functions (parametrizations) defined on a closed interval. They can also be
defined as connected one-dimensional compact subsets of points. For simple
curves of finite lengths, parametrizations can be further required to be
injective or even length-normalized. All of these four approaches to curves are
classically equivalent. In this paper we investigate four different versions of
computable curves based on these four approaches. It turns out that they are
all different, and hence, we get four different classes of computable curves.
More interestingly, these four classes are even point-separable in the sense
that the sets of points covered by computable curves of different versions are
also different. However, if we consider only computable curves of computable
lengths, then all four versions of computable curves become equivalent. This
shows that the definition of computable curves is robust, at least for those of
computable lengths. In addition, we show that the class of computable curves of
computable lengths is point-separable from the other four classes of computable
curves
Computing the Similarity Between Moving Curves
In this paper we study similarity measures for moving curves which can, for
example, model changing coastlines or retreating glacier termini. Points on a
moving curve have two parameters, namely the position along the curve as well
as time. We therefore focus on similarity measures for surfaces, specifically
the Fr\'echet distance between surfaces. While the Fr\'echet distance between
surfaces is not even known to be computable, we show for variants arising in
the context of moving curves that they are polynomial-time solvable or
NP-complete depending on the restrictions imposed on how the moving curves are
matched. We achieve the polynomial-time solutions by a novel approach for
computing a surface in the so-called free-space diagram based on max-flow
min-cut duality
B\'ezier curves that are close to elastica
We study the problem of identifying those cubic B\'ezier curves that are
close in the L2 norm to planar elastic curves. The problem arises in design
situations where the manufacturing process produces elastic curves; these are
difficult to work with in a digital environment. We seek a sub-class of special
B\'ezier curves as a proxy. We identify an easily computable quantity, which we
call the lambda-residual, that accurately predicts a small L2 distance. We then
identify geometric criteria on the control polygon that guarantee that a
B\'ezier curve has lambda-residual below 0.4, which effectively implies that
the curve is within 1 percent of its arc-length to an elastic curve in the L2
norm. Finally we give two projection algorithms that take an input B\'ezier
curve and adjust its length and shape, whilst keeping the end-points and
end-tangent angles fixed, until it is close to an elastic curve.Comment: 13 pages, 15 figure
Pairing computation on elliptic curves with efficiently computable endomorphism and small embedding degree
Scott uses an efficiently computable isomorphism in order to optimize pairing computation on a particular class of curves with embedding degree 2. He points out that pairing implementation becomes thus faster on these curves than on their supersingular equivalent, originally recommended by Boneh and Franklin for Identity Based Encryption. We extend Scott\u27s method to other classes of curves with small embedding degree and efficiently computable endomorphism
- …