scholarly journals Covering Partial Cubes with Zones

10.37236/5076 ◽  
2015 ◽  
Vol 22 (3) ◽  
Author(s):  
Jean Cardinal ◽  
Stefan Felsner

A partial cube is a graph having an isometric embedding in a hypercube. Partial cubes are characterized by a natural equivalence relation on the edges, whose classes are called zones. The number of zones determines the minimal dimension of a hypercube in which the graph can be embedded. We consider the problem of covering the vertices of a partial cube with the minimum number of zones. The problem admits several special cases, among which are the following:cover the cells of a line arrangement with a minimum number of lines,select a smallest subset of edges in a graph such that for every acyclic orientation, there exists a selected edge that can be flipped without creating a cycle,find a smallest set of incomparable pairs of elements in a poset such that in every linear extension, at least one such pair is consecutive,find a minimum-size fibre in a bipartite poset.We give upper and lower bounds on the worst-case minimum size of a covering by zones in several of those cases. We also consider the computational complexity of those problems, and establish some hardness results.

2003 ◽  
Vol Vol. 6 no. 1 ◽  
Author(s):  
Selma Djelloul ◽  
Mekkia Kouider

International audience We study in graphs properties related to fault-tolerance in case a node fails. A graph G is k-self-repairing, where k is a non-negative integer, if after the removal of any vertex no distance in the surviving graph increases by more than k. In the design of interconnection networks such graphs guarantee good fault-tolerance properties. We give upper and lower bounds on the minimum number of edges of a k-self-repairing graph for prescribed k and n, where n is the order of the graph. We prove that the problem of finding, in a k-self-repairing graph, a spanning k-self-repairing subgraph of minimum size is NP-Hard.


2019 ◽  
Vol 29 (01) ◽  
pp. 49-72
Author(s):  
Mark de Berg ◽  
Tim Leijsen ◽  
Aleksandar Markovic ◽  
André van Renssen ◽  
Marcel Roeloffzen ◽  
...  

We introduce the fully-dynamic conflict-free coloring problem for a set [Formula: see text] of intervals in [Formula: see text] with respect to points, where the goal is to maintain a conflict-free coloring for [Formula: see text] under insertions and deletions. A coloring is conflict-free if for each point [Formula: see text] contained in some interval, [Formula: see text] is contained in an interval whose color is not shared with any other interval containing [Formula: see text]. We investigate trade-offs between the number of colors used and the number of intervals that are recolored upon insertion or deletion of an interval. Our results include: a lower bound on the number of recolorings as a function of the number of colors, which implies that with [Formula: see text] recolorings per update the worst-case number of colors is [Formula: see text], and that any strategy using [Formula: see text] colors needs [Formula: see text] recolorings; a coloring strategy that uses [Formula: see text] colors at the cost of [Formula: see text] recolorings, and another strategy that uses [Formula: see text] colors at the cost of [Formula: see text] recolorings; stronger upper and lower bounds for special cases. We also consider the kinetic setting where the intervals move continuously (but there are no insertions or deletions); here we show how to maintain a coloring with only four colors at the cost of three recolorings per event and show this is tight.


2005 ◽  
Vol 15 (04) ◽  
pp. 327-350 ◽  
Author(s):  
ILYA BARAN ◽  
ERIK D. DEMAINE

We consider a general model for representing and manipulating parametric curves, in which a curve is specified by a black box mapping a parameter value between 0 and 1 to a point in Euclidean d-space. In this model, we consider the nearest-point-on-curve and farthest-point-on-curve problems: given a curve C and a point p, find a point on C nearest to p or farthest from p. In the general black-box model, no algorithm can solve these problems. Assuming a known bound on the speed of the curve (a Lipschitz condition), the answer can be estimated up to an additive error of ε using O(1/ε) samples, and this bound is tight in the worst case. However, many instances can be solved with substantially fewer samples, and we give algorithms that adapt to the inherent difficulty of the particular instance, up to a logarithmic factor. More precisely, if OPT (C,p,ε) is the minimum number of samples of C that every correct algorithm must perform to achieve tolerance ε, then our algorithm performs O( OPT (C,p,ε) log (ε-1/ OPT (C,p,ε))) samples. Furthermore, any algorithm requires Ω(k log (ε-1/k)) samples for some instance C′ with OPT (C′,p,ε) = k; except that, for the nearest-point-on-curve problem when the distance between C and p is less than ε, OPT is 1 but the upper and lower bounds on the number of samples are both Θ(1/ε). When bounds on relative error are desired, we give algorithms that perform O( OPT · log (2+(1+ε-1) · m-1/ OPT )) samples (where m is the exact minimum or maximum distance from p to C) and prove that Ω( OPT · log (1/ε)) samples are necessary on some problem instances.


2018 ◽  
Vol 28 (02) ◽  
pp. 161-180
Author(s):  
Hugo A. Akitaya ◽  
Csaba D. Tóth

We address the problem of reconstructing a polygon from the multiset of its edges. Given [Formula: see text] line segments in the plane, find a polygon with [Formula: see text] vertices whose edges are these segments, or report that none exists. It is easy to solve the problem in [Formula: see text] time if we seek an arbitrary polygon or a simple polygon. We show that the problem is NP-complete for weakly simple polygons, that is, a polygon whose vertices can be perturbed by at most [Formula: see text], for any [Formula: see text], to obtain a simple polygon. We give [Formula: see text]-time algorithms for reconstructing weakly simple polygons: when all segments are collinear or the segment endpoints are in general position. These results extend to the variant in which the segments are directed. We study related problems for the case that the union of the [Formula: see text] input segments is connected. (i) If each segment can be subdivided into several segments, find the minimum number of subdivision points to form a weakly simple polygon. (ii) If new line segments can be added, find the minimum total length of new segments that creates a weakly simple polygon. We give worst-case upper and lower bounds for both problems.


2020 ◽  
Vol 34 (02) ◽  
pp. 1894-1901
Author(s):  
Xujin Chen ◽  
Minming Li ◽  
Chenhao Wang

We study single-candidate voting embedded in a metric space, where both voters and candidates are points in the space, and the distances between voters and candidates specify the voters' preferences over candidates. In the voting, each voter is asked to submit her favorite candidate. Given the collection of favorite candidates, a mechanism for eliminating the least popular candidate finds a committee containing all candidates but the one to be eliminated. Each committee is associated with a social value that is the sum of the costs (utilities) it imposes (provides) to the voters. We design mechanisms for finding a committee to optimize the social value. We measure the quality of a mechanism by its distortion, defined as the worst-case ratio between the social value of the committee found by the mechanism and the optimal one. We establish new upper and lower bounds on the distortion of mechanisms in this single-candidate voting, for both general metrics and well-motivated special cases.


2014 ◽  
Vol 2014 ◽  
pp. 1-11
Author(s):  
Wei Zhou ◽  
Zilong Tan ◽  
Shaowen Yao ◽  
Shipu Wang

Resource location in structured P2P system has a critical influence on the system performance. Existing analytical studies of Chord protocol have shown some potential improvements in performance. In this paper a splay tree-based new Chord structure called SChord is proposed to improve the efficiency of locating resources. We consider a novel implementation of the Chord finger table (routing table) based on the splay tree. This approach extends the Chord finger table with additional routing entries. Adaptive routing algorithm is proposed for implementation, and it can be shown that hop count is significantly minimized without introducing any other protocol overheads. We analyze the hop count of the adaptive routing algorithm, as compared to Chord variants, and demonstrate sharp upper and lower bounds for both worst-case and average case settings. In addition, we theoretically analyze the hop reducing in SChord and derive the fact that SChord can significantly reduce the routing hops as compared to Chord. Several simulations are presented to evaluate the performance of the algorithm and support our analytical findings. The simulation results show the efficiency of SChord.


Author(s):  
Q. J. Ge ◽  
B. Ravani

Abstract This paper follows a previous one on the computation of spatial displacements (Ravani and Ge, 1992). The first paper dealt with the problem of computing spatial displacements from a minimum number of simple features of points, lines, planes, and their combinations. The present paper deals with the same problem using a redundant set of the simple geometric features. The problem for redundant information is formulated as a least squares problem which includes all simple features. A Clifford algebra is used to unify the handling of various feature information. An algorithm for determining the best orientation is developed which involves finding the eigenvector associated with the least eigenvalue of a 4 × 4 symmetric matrix. The best translation is found to be a rational cubic function of the best orientation. Special cases are discussed which yield the best orientation in closed form. In addition, simple algorithms are provided for automatic generation of body-fixed coordinate frames from various feature information. The results have applications in robot and world model calibration for off-line programming and computer vision.


10.37236/6516 ◽  
2018 ◽  
Vol 25 (3) ◽  
Author(s):  
Megumi Asada ◽  
Ryan Chen ◽  
Florian Frick ◽  
Frederick Huang ◽  
Maxwell Polevy ◽  
...  

Reay's relaxed Tverberg conjecture and Conway's thrackle conjecture are open problems about the geometry of pairwise intersections. Reay asked for the minimum number of points in Euclidean $d$-space that guarantees any such point set admits a partition into $r$ parts, any $k$ of whose convex hulls intersect. Here we give new and improved lower bounds for this number, which Reay conjectured to be independent of $k$. We prove a colored version of Reay's conjecture for $k$ sufficiently large, but nevertheless $k$ independent of dimension $d$. Pairwise intersecting convex hulls have severely restricted combinatorics. This is a higher-dimensional analogue of Conway's thrackle conjecture or its linear special case. We thus study convex-geometric and higher-dimensional analogues of the thrackle conjecture alongside Reay's problem and conjecture (and prove in two special cases) that the number of convex sets in the plane is bounded by the total number of vertices they involve whenever there exists a transversal set for their pairwise intersections. We thus isolate a geometric property that leads to bounds as in the thrackle conjecture. We also establish tight bounds for the number of facets of higher-dimensional analogues of linear thrackles and conjecture their continuous generalizations.


1999 ◽  
Vol 42 (2) ◽  
pp. 349-374 ◽  
Author(s):  
Ravi P. Agarwal ◽  
Martin Bohner ◽  
Patricia J. Y. Wong

We consider the following boundary value problemwhere λ > 0 and 1 ≤ p ≤ n – 1 is fixed. The values of λ are characterized so that the boundary value problem has a positive solution. Further, for the case λ = 1 we offer criteria for the existence of two positive solutions of the boundary value problem. Upper and lower bounds for these positive solutions are also established for special cases. Several examples are included to dwell upon the importance of the results obtained.


Author(s):  
C. R. Subramanian

We introduce and study an inductively defined analogue [Formula: see text] of any increasing graph invariant [Formula: see text]. An invariant [Formula: see text] is increasing if [Formula: see text] whenever [Formula: see text] is an induced subgraph of [Formula: see text]. This inductive analogue simultaneously generalizes and unifies known notions like degeneracy, inductive independence number, etc., into a single generic notion. For any given increasing [Formula: see text], this gets us several new invariants and many of which are also increasing. It is also shown that [Formula: see text] is the minimum (over all orderings) of a value associated with each ordering. We also explore the possibility of computing [Formula: see text] (and a corresponding optimal vertex ordering) and identify some pairs [Formula: see text] for which [Formula: see text] can be computed efficiently for members of [Formula: see text]. In particular, it includes graphs of bounded [Formula: see text] values. Some specific examples (like the class of chordal graphs) have already been studied extensively. We further extend this new notion by (i) allowing vertex weighted graphs, (ii) allowing [Formula: see text] to take values from a totally ordered universe with a minimum and (iii) allowing the consideration of [Formula: see text]-neighborhoods for arbitrary but fixed [Formula: see text]. Such a generalization is employed in designing efficient approximations of some graph optimization problems. Precisely, we obtain efficient algorithms (by generalizing the known algorithm of Ye and Borodin [Y. Ye and A. Borodin, Elimination graphs, ACM Trans. Algorithms 8(2) (2012) 1–23] for special cases) for approximating optimal weighted induced [Formula: see text]-subgraphs and optimal [Formula: see text]-colorings (for hereditary [Formula: see text]’s) within multiplicative factors of (essentially) [Formula: see text] and [Formula: see text] respectively, where [Formula: see text] denotes the inductive analogue (as defined in this work) of optimal size of an unweighted induced [Formula: see text]-subgraph of the input and [Formula: see text] is the minimum size of a forbidden induced subgraph of [Formula: see text]. Our results generalize the previous result on efficiently approximating maximum independent sets and minimum colorings on graphs of bounded inductive independence number to optimal [Formula: see text]-subgraphs and [Formula: see text]-colorings for arbitrary hereditary classes [Formula: see text]. As a corollary, it is also shown that any maximal [Formula: see text]-subgraph approximates an optimal solution within a factor of [Formula: see text] for unweighted graphs, where [Formula: see text] is maximum size of any induced [Formula: see text]-subgraph in any local neighborhood [Formula: see text].


Sign in / Sign up

Export Citation Format

Share Document