Source author record

Irene Parada

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

6works
3topics
4close collaborators

Published work

6 publications

preprint2022arXiv

Efficient Segment Folding is Hard

We introduce a computational origami problem which we call the segment folding problem: given a set of nn line-segments in the plane the aim is to make creases along all segments in the minimum number of folding steps. Note that a folding might alter the relative position between the segments, and a segment could split into two. We show that it is NP-hard to determine whether nn line segments can be folded in nn simple folding operations.

preprint2022arXiv

Inserting one edge into a simple drawing is hard

A {\em simple drawing} D(G)D(G) of a graph GG is one where each pair of edges share at most one point: either a common endpoint or a proper crossing. An edge ee in the complement of GG can be {\em inserted} into D(G)D(G) if there exists a simple drawing of G+eG+e extending D(G)D(G). As a result of Levi's Enlargement Lemma, if a drawing is rectilinear (pseudolinear), that is, the edges can be extended into an arrangement of lines (pseudolines), then any edge in the complement of GG can be inserted. In contrast, we show that it is NP -complete to decide whether one edge can be inserted into a simple drawing. This remains true even if we assume that the drawing is pseudocircular, that is, the edges can be extended to an arrangement of pseudocircles. On the positive side, we show that, given an arrangement of pseudocircles A\mathcal{A} and a pseudosegment σσ, it can be decided in polynomial time whether there exists a pseudocircle ΦσΦ_σ extending σσ for which A∪{Φσ}\mathcal{A}\cup\{Φ_σ\} is again an arrangement of pseudocircles.

preprint2022arXiv

On Compatible Matchings

A matching is compatible to two or more labeled point sets of size nn with labels {1,…,n}\{1,\dots,n\} if its straight-line drawing on each of these point sets is crossing-free. We study the maximum number of edges in a matching compatible to two or more labeled point sets in general position in the plane. We show that for any two labeled convex sets of nn points there exists a compatible matching with ⌊2n⌋\lfloor \sqrt {2n}\rfloor edges. More generally, for any ℓ\ell labeled point sets we construct compatible matchings of size Ω(n1/ℓ)Ω(n^{1/\ell}). As a corresponding upper bound, we use probabilistic arguments to show that for any ℓ\ell given sets of nn points there exists a labeling of each set such that the largest compatible matching has O(n2/(ℓ+1)){\mathcal{O}}(n^{2/({\ell}+1)}) edges. Finally, we show that Θ(log⁡n)Θ(\log n) copies of any set of nn points are necessary and sufficient for the existence of a labeling such that any compatible matching consists only of a single edge.

preprint2022arXiv

Shooting Stars in Simple Drawings of Km,nK_{m,n}

Simple drawings are drawings of graphs in which two edges have at most one common point (either a common endpoint, or a proper crossing). It has been an open question whether every simple drawing of a complete bipartite graph Km,nK_{m,n} contains a plane spanning tree as a subdrawing. We answer this question to the positive by showing that for every simple drawing of Km,nK_{m,n} and for every vertex vv in that drawing, the drawing contains a shooting star rooted at vv, that is, a plane spanning tree containing all edges incident to vv.

preprint2020arXiv

A superlinear lower bound on the number of 5-holes

Let PP be a finite set of points in the plane in general position, that is, no three points of PP are on a common line. We say that a set HH of five points from PP is a 55-hole in PP if HH is the vertex set of a convex 55-gon containing no other points of PP. For a positive integer nn, let h5(n)h_5(n) be the minimum number of 5-holes among all sets of nn points in the plane in general position. Despite many efforts in the last 30 years, the best known asymptotic lower and upper bounds for h5(n)h_5(n) have been of order Ω(n)Ω(n) and O(n2)O(n^2), respectively. We show that h5(n)=Ω(nlog⁡4/5n)h_5(n) = Ω(n\log^{4/5}{n}), obtaining the first superlinear lower bound on h5(n)h_5(n). The following structural result, which might be of independent interest, is a crucial step in the proof of this lower bound. If a finite set PP of points in the plane in general position is partitioned by a line ℓ\ell into two subsets, each of size at least 5 and not in convex position, then ℓ\ell intersects the convex hull of some 5-hole in PP. The proof of this result is computer-assisted.

preprint2020arXiv

On the Maximum Number of Crossings in Star-Simple Drawings of KnK_n with No Empty Lens

A star-simple drawing of a graph is a drawing in which adjacent edges do not cross. In contrast, there is no restriction on the number of crossings between two independent edges. When allowing empty lenses (a face in the arrangement induced by two edges that is bounded by a 2-cycle), two independent edges may cross arbitrarily many times in a star-simple drawing. We consider star-simple drawings of KnK_n with no empty lens. In this setting we prove an upper bound of 3((n−4)!)3((n-4)!) on the maximum number of crossings between any pair of edges. It follows that the total number of crossings is finite and upper bounded by n!n!.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.