Showing 1–6 of 6 results for author: Guśpiel, G

Sparse Graphs of Twin-width 2 Have Bounded Tree-width

Authors: Benjamin Bergougnoux, Jakub Gajarský, Grzegorz Guśpiel, Petr Hliněný, Filip Pokrývka, Marek Sokołowski

Abstract: Twin-width is a structural width parameter introduced by Bonnet, Kim, Thomassé and Watrigant [FOCS 2020]. Very briefly, its essence is a gradual reduction (a contraction sequence) of the given graph down to a single vertex while maintaining limited difference of neighbourhoods of the vertices, and it can be seen as widely generalizing several other traditional structural parameters. Having such a… ▽ More Twin-width is a structural width parameter introduced by Bonnet, Kim, Thomassé and Watrigant [FOCS 2020]. Very briefly, its essence is a gradual reduction (a contraction sequence) of the given graph down to a single vertex while maintaining limited difference of neighbourhoods of the vertices, and it can be seen as widely generalizing several other traditional structural parameters. Having such a sequence at hand allows to solve many otherwise hard problems efficiently. Our paper focuses on a comparison of twin-width to the more traditional tree-width on sparse graphs. Namely, we prove that if a graph $G$ of twin-width at most $2$ contains no $K_{t,t}$ subgraph for some integer $t$, then the tree-width of $G$ is bounded by a polynomial function of $t$. As a consequence, for any sparse graph class $\mathcal{C}$ we obtain a polynomial time algorithm which for any input graph $G \in \mathcal{C}$ either outputs a contraction sequence of width at most $c$ (where $c$ depends only on $\mathcal{C}$), or correctly outputs that $G$ has twin-width more than $2$. On the other hand, we present an easy example of a graph class of twin-width $3$ with unbounded tree-width, showing that our result cannot be extended to higher values of twin-width. △ Less

Submitted 4 July, 2023; originally announced July 2023.

MSC Class: 05C75; 68R10

An in-place, subquadratic algorithm for permutation inversion

Authors: Grzegorz Guśpiel

Abstract: We assume the permutation $π$ is given by an $n$-element array in which the $i$-th element denotes the value $π(i)$. Constructing its inverse in-place (i.e. using $O(\log{n})$ bits of additional memory) can be achieved in linear time with a simple algorithm. Limiting the numbers that can be stored in our array to the range $[1...n]$ still allows a straightforward $O(n^2)$ time solution. The time c… ▽ More We assume the permutation $π$ is given by an $n$-element array in which the $i$-th element denotes the value $π(i)$. Constructing its inverse in-place (i.e. using $O(\log{n})$ bits of additional memory) can be achieved in linear time with a simple algorithm. Limiting the numbers that can be stored in our array to the range $[1...n]$ still allows a straightforward $O(n^2)$ time solution. The time complexity can be improved using randomization, but this only improves the expected, not the pessimistic running time. We present a deterministic algorithm that runs in $O(n^{3/2})$ time. △ Less

Submitted 21 April, 2020; v1 submitted 7 January, 2019; originally announced January 2019.

Complexity of Finding Perfect Bipartite Matchings Minimizing the Number of Intersecting Edges

Authors: Grzegorz Guśpiel

Abstract: Consider a problem where we are given a bipartite graph H with vertices arranged on two horizontal lines in the plane, such that the two sets of vertices placed on the two lines form a bipartition of H. We additionally require that H admits a perfect matching and assume that edges of H are embedded in the plane as segments. The goal is to compute the minimal number of intersecting edges in a perfe… ▽ More Consider a problem where we are given a bipartite graph H with vertices arranged on two horizontal lines in the plane, such that the two sets of vertices placed on the two lines form a bipartition of H. We additionally require that H admits a perfect matching and assume that edges of H are embedded in the plane as segments. The goal is to compute the minimal number of intersecting edges in a perfect matching in H. The problem stems from so-called token swap** problems, introduced by Yamanaka et al. [3] and generalized by Bonnet, Miltzow and Rzazewski [1]. We show that our problem, equivalent to one of the special cases of one of the token swap** problems, is NP-complete. △ Less

Submitted 22 December, 2017; v1 submitted 20 September, 2017; originally announced September 2017.

On an extremal problem for poset dimension

Authors: Grzegorz Guśpiel, Piotr Micek, Adam Polak

Abstract: Let $f(n)$ be the largest integer such that every poset on $n$ elements has a $2$-dimensional subposet on $f(n)$ elements. What is the asymptotics of $f(n)$? It is easy to see that $f(n)\geqslant n^{1/2}$. We improve the best known upper bound and show $f(n)=\mathcal{O}(n^{2/3})$. For higher dimensions, we show $f_d(n)=\mathcal{O}\left(n^\frac{d}{d+1}\right)$, where $f_d(n)$ is the largest integer… ▽ More Let $f(n)$ be the largest integer such that every poset on $n$ elements has a $2$-dimensional subposet on $f(n)$ elements. What is the asymptotics of $f(n)$? It is easy to see that $f(n)\geqslant n^{1/2}$. We improve the best known upper bound and show $f(n)=\mathcal{O}(n^{2/3})$. For higher dimensions, we show $f_d(n)=\mathcal{O}\left(n^\frac{d}{d+1}\right)$, where $f_d(n)$ is the largest integer such that every poset on $n$ elements has a $d$-dimensional subposet on $f_d(n)$ elements. △ Less

Submitted 3 November, 2017; v1 submitted 29 April, 2017; originally announced May 2017.

Comments: removed proof of Theorem 3 duplicating previous work; fixed typos and references

The Partial Visibility Representation Extension Problem

Authors: Steven Chaplick, Grzegorz Guśpiel, Grzegorz Gutowski, Tomasz Krawczyk, Giuseppe Liotta

Abstract: For a graph $G$, a function $ψ$ is called a \emph{bar visibility representation} of $G$ when for each vertex $v \in V(G)$, $ψ(v)$ is a horizontal line segment (\emph{bar}) and $uv \in E(G)$ iff there is an unobstructed, vertical, $\varepsilon$-wide line of sight between $ψ(u)$ and $ψ(v)$. Graphs admitting such representations are well understood (via simple characterizations) and recognizable in l… ▽ More For a graph $G$, a function $ψ$ is called a \emph{bar visibility representation} of $G$ when for each vertex $v \in V(G)$, $ψ(v)$ is a horizontal line segment (\emph{bar}) and $uv \in E(G)$ iff there is an unobstructed, vertical, $\varepsilon$-wide line of sight between $ψ(u)$ and $ψ(v)$. Graphs admitting such representations are well understood (via simple characterizations) and recognizable in linear time. For a directed graph $G$, a bar visibility representation $ψ$ of $G$, additionally, puts the bar $ψ(u)$ strictly below the bar $ψ(v)$ for each directed edge $(u,v)$ of $G$. We study a generalization of the recognition problem where a function $ψ'$ defined on a subset $V'$ of $V(G)$ is given and the question is whether there is a bar visibility representation $ψ$ of $G$ with $ψ(v) = ψ'(v)$ for every $v \in V'$. We show that for undirected graphs this problem together with closely related problems are \NP-complete, but for certain cases involving directed graphs it is solvable in polynomial time. △ Less

Submitted 30 August, 2016; v1 submitted 1 December, 2015; originally announced December 2015.

Comments: Appears in the Proceedings of the 24th International Symposium on Graph Drawing and Network Visualization (GD 2016)

MSC Class: 68U05 ACM Class: I.3.5

Universal targets for homomorphisms of edge-colored graphs

Authors: Grzegorz Guśpiel, Grzegorz Gutowski

Abstract: A $k$-edge-colored graph is a finite, simple graph with edges labeled by numbers $1,\ldots,k$. A function from the vertex set of one $k$-edge-colored graph to another is a homomorphism if the endpoints of any edge are mapped to two different vertices connected by an edge of the same color. Given a class $\mathcal{F}$ of graphs, a $k$-edge-colored graph $\mathbb{H}$ (not necessarily with the underl… ▽ More A $k$-edge-colored graph is a finite, simple graph with edges labeled by numbers $1,\ldots,k$. A function from the vertex set of one $k$-edge-colored graph to another is a homomorphism if the endpoints of any edge are mapped to two different vertices connected by an edge of the same color. Given a class $\mathcal{F}$ of graphs, a $k$-edge-colored graph $\mathbb{H}$ (not necessarily with the underlying graph in $\mathcal{F}$) is $k$-universal for $\mathcal{F}$ when any $k$-edge-colored graph with the underlying graph in $\mathcal{F}$ admits a homomorphism to $\mathbb{H}$. We characterize graph classes that admit $k$-universal graphs. For such classes, we establish asymptotically almost tight bounds on the size of the smallest universal graph. For a nonempty graph $G$, the density of $G$ is the maximum ratio of the number of edges to the number of vertices ranging over all nonempty subgraphs of $G$. For a nonempty class $\mathcal{F}$ of graphs, $D(\mathcal{F})$ denotes the density of $\mathcal{F}$, that is the supremum of densities of graphs in $\mathcal{F}$. The main results are the following. The class $\mathcal{F}$ admits $k$-universal graphs for $k\geq2$ if and only if there is an absolute constant that bounds the acyclic chromatic number of any graph in $\mathcal{F}$. For any such class, there exists a constant $c$, such that for any $k \geq 2$, the size of the smallest $k$-universal graph is between $k^{D(\mathcal{F})}$ and $ck^{\lceil D(\mathcal{F})\rceil}$. A connection between the acyclic coloring and the existence of universal graphs was first observed by Alon and Marshall (Journal of Algebraic Combinatorics, 8(1):5-13, 1998). One of their results is that for planar graphs, the size of the smallest $k$-universal graph is between $k^3+3$ and $5k^4$. Our results yield that there exists a constant $c$ such that for all $k$, this size is bounded from above by $ck^3$. △ Less

Submitted 21 November, 2016; v1 submitted 26 August, 2015; originally announced August 2015.

MSC Class: 05C15; 05C60 ACM Class: G.2.2