Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2310.18337

Testing tensor product Bézier surfaces for coincidence: A comprehensive solution

Krassimira Vlachkova
View original source ↗Read source document ↗Export metadata ↓

Abstract

It is known that Bézier curves and surfaces may have multiple representations by different control polygons. The polygons may have different number of control points and may even be disjoint. Up to our knowledge, Pekerman et al. (2005) were the first to address the problem of testing two parametric polynomial curves for coincidence. Their approach is based on reduction of the input curves into canonical irreducible form. They claimed that their approach can be extended for testing tensor product surfaces but gave no further detail. In this paper we develop a new technique and provide a comprehensive solution to the problem of testing tensor product Bézier surfaces for coincidence. In (Vlachkova, 2017) an algorithm for testing Bézier curves was proposed based on subdivision. There a partial solution to the problem of testing tensor product Bézier surfaces was presented. Namely, the case where the irreducible surfaces are of same degree $(n,m)$, $n,m \in \mathbb{N}$, was resolved under certain additional condition. The other cases where one of the surfaces is of degree $(n,m)$ and the other is of degree either $(n,n+m)$, or $(n+m,m)$, or $(n+m,n+m)$ remained open. We have implemented our algorithm for testing tensor product Bézier surfaces for coincidence using Mathematica package. Experimental results and their analysis are presented.

Explore related subjects

cs.CGcs.NAmath.NA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Krassimira Vlachkova. 2023-10-21. Testing tensor product Bézier surfaces for coincidence: A comprehensive solution. https://arxiv.org/abs/2310.18337

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Optimal Trajectories in Discrete Space with Acceleration Constraints

In a recreational column of the Scientific American, Martin Gardner presented in 1973 a game called \textsc{Racetrack}, consisting of computing an optimal trajectory for a vehicle on a race circuit, subject to acceleration constraints in discrete space~$\mathbb{Z}^2$. In this model, each step consists of changing the position of the vehicle by a vector in $\mathbb{Z}^2$, with the constraints that two consecutive vectors differ by at most one unit in each dimension. We investigate two problems related to this model in arbitrary dimension in open space (no obstacles), where a \emph{configuration} of the vehicle consists of its current position and the last-used vector (concretely, a value in $\mathbb{Z}^d \times \mathbb{Z}^d$). The two problems are the following. In BRANCHING COST, two configurations are given and the goal is to compute the minimum number of moves (length of a trajectory) between the two configurations. BRANCHING TRAJECTORY has the same input and asks for a description of the trajectory. We obtain various results. First, we revisit known approaches solving BRANCHING COST in 2D, clarifying the analysis and showing that this problem can be solved in constant time in any fixed number of dimensions $d$ (more generally, in $O(d \log d)$ time). We also show that BRANCHING TRAJECTORY can also be solved in constant time for any fixed $d$, despite the fact that the length of the trajectory is not constant. The main ingredient is to show that there always exists \emph{at least one} optimal trajectory that can be compactly represented using only $O(1)$ intermediate configurations, with monotonic evolution between them. Among other uses, the latter implies that computing an optimal trajectory that visits a sequence of $n$ points at prescribed velocities in 2D or 3D can be done in linear time in the number of points.

cs.CG↗
arXiv2026

Prismatoid Band-Unfolding Revisited

It remains unknown if every prismatoid has a nonoverlapping edge-unfolding, a special case of the long-unsolved "Dürer's problem." Recently nested prismatoids have been settled [Rad24] by mixing (in some sense) the two natural unfoldings, petal-unfolding and band-unfolding. Band-unfolding fails due to a specific counterexample [O'R13b]. The main contribution of this paper is a characterization when a band-unfolding of a nested prismatoid does in fact result in a nonoverlapping unfolding. In particular, we show that the mentioned counterexample is in a sense the only possible counterexample. Although this result does not expand the class of shapes known to have an edge-unfolding, its proof expands our understanding in several ways, developing tools that may help resolve the non-nested case.

cs.CG↗
arXiv2026

On (Directed) Width-Parameters of Geometric Spanners

To speed up algorithms on geometric graphs, it is common to approximate the complete Euclidean graph while maintaining certain geometric properties. A (directed) $t$-spanner $G$ for a point set $P$ in the Euclidean space is a (directed) graph such that for every pair of points, the shortest path in $G$ is at most a factor $t$ longer than the Euclidean distance between those points. In this paper, we investigate $t$-spanners that are bounded by certain graph parameters. Let $κ$ be a graph parameter. We show that for path-width, branch-width and cut-width there is an $\mathcal{O}(n/k^{d/(d-1)})$-spanner $G$ on $P$ with $κ(G)=k$ and that this is asymptotically worst-case optimal. In $\mathbb{R}^2$ we show the same bounds for planar graphs of clique-width or rank-width $k$. In contrast, for tree-depth, we show that there are sets of points for which the dilation cannot be bounded. Therefore, we investigate computing a spanner with tree-depth $k$ and minimum dilation. We show that already for tree-depth $3$ this problem is NP-hard to approximate within any factor strictly less than $\sqrt{2}$, and present an XP-algorithm to compute for a given tree-depth $k$ a graph with dilation at most $2t^*$, where $t^*$ is the minimum dilation. We further extend these results to obtain directed $\mathcal{O}(n/k^{d/(d-1)})$-spanners $G$ with $κ(G)=k$ for $κ$ being directed tree-width, directed path-width or DAG-width and show that also in the directed case, this is asymptotically worst-case optimal.

cs.CG↗