中文
相关论文

相关论文: Reconstruction of weakly simple polygons from thei…

200 篇论文

The weakly relational domain of Octagons offers a decent compromise between precision and efficiency for numerical properties. Here, we are concerned with the construction of non-numerical relational domains. We provide a general…

计算机科学中的逻辑 · 计算机科学 2024-01-11 Helmut Seidl , Julian Erhard , Sarah Tilscher , Michael Schwarz

Given a set $P$ of points and a set $U$ of axis-parallel unit squares in the Euclidean plane, a minimum ply cover of $P$ with $U$ is a subset of $U$ that covers $P$ and minimizes the number of squares that share a common intersection,…

计算几何 · 计算机科学 2022-08-15 Stephane Durocher , J. Mark Keil , Debajyoti Mondal

A geometric $t$-spanner for a set $S$ of $n$ point sites is an edge-weighted graph for which the (weighted) distance between any two sites $p,q \in S$ is at most $t$ times the original distance between $p$ and~$q$. We study geometric…

计算几何 · 计算机科学 2024-04-12 Sarita de Berg , Marc van Kreveld , Frank Staals

A (multi)set of segments in the plane may form a TSP tour, a matching, a tree, or any multigraph. If two segments cross, then we can reduce the total length with the following flip operation. We remove a pair of crossing segments, and…

计算几何 · 计算机科学 2023-07-26 Guilherme D. da Fonseca , Yan Gerard , Bastien Rivier

Let $S$ be a set of $n$ points in the plane, $\wp(S)$ be the set of all simple polygons crossing $S$, $\gamma_P$ be the maximum angle of polygon $P \in \wp(S)$ and $\theta =min_{P\in\wp(S)} \gamma_P$. In this paper, we prove that…

计算几何 · 计算机科学 2021-06-15 Saeed Asaeedi , Farzad Didehvar , Ali Mohades

We study the problem of decomposing (i.e. partitioning and covering) polygons into components that are $\alpha$-fat, which means that the aspect ratio of each subpolygon is at most $\alpha$. We consider decompositions without Steiner…

计算几何 · 计算机科学 2021-03-17 Maike Buchin , Leonie Selbach

We investigate the Minimum Eccentricity Shortest Path problem in some structured graph classes. It asks for a given graph to find a shortest path with minimum eccentricity. Although it is NP-hard in general graphs, we demonstrate that a…

离散数学 · 计算机科学 2015-11-17 Feodor F. Dragan , Arne Leitert

We study the problem of computing the minimum area triangle that circumscribes a given $n$-sided convex polygon touching edge-to-edge. In other words, we compute the minimum area triangle that is the intersection of 3 half-planes out of $n$…

计算几何 · 计算机科学 2022-08-15 Kai Jin , Zhiyi Huang

In this paper, we demonstrate the existence of positive solutions for certain weakly coupled elliptic systems of sublinear growth under homogeneous Dirichlet boundary conditions. Our findings generalize existing results related to sublinear…

偏微分方程分析 · 数学 2025-08-01 Jean C. Cortissoz

We construct positive weak solutions of a class of semilinear elliptic equation which vanish in suitable trace sense on the boundary of a given smooth bounded N-dimensional domain, but which are singular at prescribed isolated points of the…

偏微分方程分析 · 数学 2007-05-23 Manuel del Pino , Monica Musso , Frank Pacard

Point location problems for $n$ points in $d$-dimensional Euclidean space (and $\ell_p$ spaces more generally) have typically had two kinds of running-time solutions: * (Nearly-Linear) less than $d^{poly(d)} \cdot n \log^{O(d)} n$ time, or…

计算几何 · 计算机科学 2018-02-01 Ryan Williams

This paper studies approximate solutions of a linear fractional vector optimization problem without requiring boundedness of the constraint set. We establish necessary and sufficient conditions for approximating weakly efficient points of…

最优化与控制 · 数学 2024-12-12 Nguyen Thi Thu Huong

Let $E$ be an arbitrary subset of the unit circle $T$ and let $f$ be a function defined on $E$. When there exist polynomials $P_n$ which are uniformly bounded by a number $M > 0$ on $T$ and converge (pointwise) to $f$ at each point of $E$?…

复变函数 · 数学 2015-01-05 Arthur A. Danielyan

We consider a version of geometric programming problem consisting in minimizing a function given by the maximum of finitely many log-Laplace transforms of discrete nonnegative measures on a Euclidean space. Under a coerciveness assumption,…

最优化与控制 · 数学 2025-06-04 Shmuel Friedland , Stéphane Gaubert

The \emph{segment number} of a planar graph is the smallest number of line segments whose union represents a crossing-free straight-line drawing of the given graph in the plane. The segment number is a measure for the visual complexity of a…

计算几何 · 计算机科学 2019-09-10 Yoshio Okamoto , Alexander Ravsky , Alexander Wolff

Deciding whether a graph can be embedded in a grid using only unit-length edges is NP-complete, even when restricted to binary trees. However, it is not difficult to devise a number of graph classes for which the problem is polynomial, even…

数据结构与算法 · 计算机科学 2012-04-13 Vinícius G. P. de Sá , Guilherme D. da Fonseca , Raphael Machado , Celina M. H. de Figueiredo

Determining if a point is in a polygon or not is used by a lot of applications in computer graphics, computer games and geoinformatics. Implementing this check is error-prone since there are many special cases to be considered. This holds…

计算几何 · 计算机科学 2017-07-25 Michael Galetzka , Patrick O. Glauner

We investigate a practical variant of the well-known polygonal visibility path (watchman) problem. For a polygon $P$, a minimum link visibility path is a polygonal visibility path in $P$ that has the minimum number of links. The problem of…

计算几何 · 计算机科学 2021-03-02 Mohammad Reza Zarrabi , Nasrollah Moghaddam Charkari

Given a set of $n$ points in the plane, and a parameter $k$, we consider the problem of computing the minimum (perimeter or area) axis-aligned rectangle enclosing $k$ points. We present the first near quadratic time algorithm for this…

计算几何 · 计算机科学 2019-03-19 Timothy M. Chan , Sariel Har-Peled

An obstacle representation of a graph $G$ consists of a set of pairwise disjoint simply-connected closed regions and a one-to-one mapping of the vertices of $G$ to points such that two vertices are adjacent in $G$ if and only if the line…