ﻻ يوجد ملخص باللغة العربية
We prove that for all positive integers $n$ and $k$, there exists an integer $N = N(n,k)$ satisfying the following. If $U$ is a set of $k$ direction vectors in the plane and $mathcal{J}_U$ is the set of all line segments in direction $u$ for some $uin U$, then for every $N$ families $mathcal{F}_1, ldots, mathcal{F}_N$, each consisting of $n$ mutually disjoint segments in $mathcal{J}_U$, there is a set ${A_1, ldots, A_n}$ of $n$ disjoint segments in $bigcup_{1leq ileq N}mathcal{F}_i$ and distinct integers $p_1, ldots, p_nin {1, ldots, N}$ satisfying that $A_jin mathcal{F}_{p_j}$ for all $jin {1, ldots, n}$. We generalize this property for underlying lines on fixed $k$ directions to $k$ families of simple curves with certain conditions.
Given a planar straight-line graph $G=(V,E)$ in $mathbb{R}^2$, a emph{circumscribing polygon} of $G$ is a simple polygon $P$ whose vertex set is $V$, and every edge in $E$ is either an edge or an internal diagonal of $P$. A circumscribing polygon is
Convex geometry is a closure space $(G,phi)$ with the anti-exchange property. A classical result of Edelman and Jamison (1985) claims that every finite convex geometry is a join of several linear sub-geometries, and the smallest number of such sub-ge
We construct a family of 17 disjoint axis-parallel line segments in the plane that do not admit a circumscribing polygon.
Deciding whether a family of disjoint line segments in the plane can be linked into a simple polygon (or a simple polygonal chain) by adding segments between their endpoints is NP-hard.
Given integers $k$ and $m$, we construct a $G$-arc-transitive graph of valency $k$ and an $L$-arc-transitive oriented digraph of out-valency $k$ such that $G$ and $L$ both admit blocks of imprimitivity of size $m$.