-
Pairwise Rearrangement is Fixed-Parameter Tractable in the Single Cut-and-Join Model
Authors:
Lora Bailey,
Heather Smith Blake,
Garner Cochran,
Nathan Fox,
Michael Levet,
Reem Mahmoud,
Inne Singgih,
Grace Stadnyk,
Alexander Wiedemann
Abstract:
Genome rearrangement is a common model for molecular evolution. In this paper, we consider the Pairwise Rearrangement problem, which takes as input two genomes and asks for the number of minimum-length sequences of permissible operations transforming the first genome into the second. In the Single Cut-and-Join model (Bergeron, Medvedev, & Stoye, J. Comput. Biol. 2010), Pairwise Rearrangement is…
▽ More
Genome rearrangement is a common model for molecular evolution. In this paper, we consider the Pairwise Rearrangement problem, which takes as input two genomes and asks for the number of minimum-length sequences of permissible operations transforming the first genome into the second. In the Single Cut-and-Join model (Bergeron, Medvedev, & Stoye, J. Comput. Biol. 2010), Pairwise Rearrangement is $\#\textsf{P}$-complete (Bailey, et. al., COCOON 2023), which implies that exact sampling is intractable. In order to cope with this intractability, we investigate the parameterized complexity of this problem. We exhibit a fixed-parameter tractable algorithm with respect to the number of components in the adjacency graph that are not cycles of length $2$ or paths of length $1$. As a consequence, we obtain that Pairwise Rearrangement in the Single Cut-and-Join model is fixed-parameter tractable by distance. Our results suggest that the number of nontrivial components in the adjacency graph serves as the key obstacle for efficient sampling.
△ Less
Submitted 28 May, 2025; v1 submitted 2 February, 2024;
originally announced February 2024.
-
Complexity and Enumeration in Models of Genome Rearrangement
Authors:
Lora Bailey,
Heather Smith Blake,
Garner Cochran,
Nathan Fox,
Michael Levet,
Reem Mahmoud,
Elizabeth Matson,
Inne Singgih,
Grace Stadnyk,
Xinyi Wang,
Alexander Wiedemann
Abstract:
In this paper, we examine the computational complexity of enumeration in certain genome rearrangement models. We first show that the Pairwise Rearrangement problem in the Single Cut-and-Join model (Bergeron, Medvedev, & Stoye, J. Comput. Biol. 2010) is $\#\textsf{P}$-complete under polynomial-time Turing reductions. Next, we show that in the Single Cut or Join model (Feijao & Meidanis, IEEE ACM Tr…
▽ More
In this paper, we examine the computational complexity of enumeration in certain genome rearrangement models. We first show that the Pairwise Rearrangement problem in the Single Cut-and-Join model (Bergeron, Medvedev, & Stoye, J. Comput. Biol. 2010) is $\#\textsf{P}$-complete under polynomial-time Turing reductions. Next, we show that in the Single Cut or Join model (Feijao & Meidanis, IEEE ACM Trans. Comp. Biol. Bioinf. 2011), the problem of enumerating all medians ($\#$Median) is logspace-computable ($\textsf{FL}$), improving upon the previous polynomial-time ($\textsf{FP}$) bound of Miklós & Smith (RECOMB 2015).
△ Less
Submitted 8 September, 2024; v1 submitted 2 May, 2023;
originally announced May 2023.
-
On the maximum diameter of $k$-colorable graphs
Authors:
Éva Czabarka,
Inne Singgih,
László A. Székely
Abstract:
Erdős, Pach, Pollack and Tuza [J. Combin. Theory, B 47, (1989), 279-285] conjectured that the diameter of a $K_{2r}$-free connected graph of order $n$ and minimum degree $δ\geq 2$ is at most $\frac{2(r-1)(3r+2)}{(2r^2-1)}\cdot \frac{n}δ + O(1)$ for every $r\ge 2$, if $δ$ is a multiple of $(r-1)(3r+2)$. For every $r>1$ and $δ\ge 2(r-1)$, we create $K_{2r}$-free graphs with minimum degree $δ$ and di…
▽ More
Erdős, Pach, Pollack and Tuza [J. Combin. Theory, B 47, (1989), 279-285] conjectured that the diameter of a $K_{2r}$-free connected graph of order $n$ and minimum degree $δ\geq 2$ is at most $\frac{2(r-1)(3r+2)}{(2r^2-1)}\cdot \frac{n}δ + O(1)$ for every $r\ge 2$, if $δ$ is a multiple of $(r-1)(3r+2)$. For every $r>1$ and $δ\ge 2(r-1)$, we create $K_{2r}$-free graphs with minimum degree $δ$ and diameter $\frac{(6r-5)n}{(2r-1)δ+2r-3}+O(1)$, which are counterexamples to the conjecture for every $r>1$ and $δ>2(r-1)(3r+2)(2r-3)$. The rest of the paper proves positive results under a stronger hypothesis, $k$-colorability, instead of being $K_{k+1}$-free. We show that the diameter of connected $k$-colorable graphs with minimum degree $\geq δ$ and order $n$ is at most $\left(3-\frac{1}{k-1}\right)\frac{n}δ+O(1)$, while for $k=3$, it is at most $\frac{57n}{23δ}+O\left(1\right)$.
△ Less
Submitted 5 September, 2020;
originally announced September 2020.
-
Antimagic orientations of graphs with large maximum degree
Authors:
Donglei Yang,
Joshua Carlson,
Andrew Owens,
K. E. Perry,
Inne Singgih,
Zi-Xia Song,
Fangfang Zhang,
Xiaohong Zhang
Abstract:
Given a digraph $D$ with $m $ arcs, a bijection $τ: A(D)\rightarrow \{1, 2, \ldots, m\}$ is an antimagic labeling of $D$ if no two vertices in $D$ have the same vertex-sum, where the vertex-sum of a vertex $u $ in $D$ under $τ$ is the sum of labels of all arcs entering $u$ minus the sum of labels of all arcs leaving $u$. We say $(D, τ)$ is an antimagic orientation of a graph $G$ if $D$ is an orien…
▽ More
Given a digraph $D$ with $m $ arcs, a bijection $τ: A(D)\rightarrow \{1, 2, \ldots, m\}$ is an antimagic labeling of $D$ if no two vertices in $D$ have the same vertex-sum, where the vertex-sum of a vertex $u $ in $D$ under $τ$ is the sum of labels of all arcs entering $u$ minus the sum of labels of all arcs leaving $u$. We say $(D, τ)$ is an antimagic orientation of a graph $G$ if $D$ is an orientation of $G$ and $τ$ is an antimagic labeling of $D$. Motivated by the conjecture of Hartsfield and Ringel from 1990 on antimagic labelings of graphs, Hefetz, Mütze, and Schwartz in 2010 initiated the study of antimagic orientations of graphs, and conjectured that every connected graph admits an antimagic orientation. This conjecture seems hard, and few related results are known. However, it has been verified to be true for regular graphs and biregular bipartite graphs. In this paper, we prove that every connected graph $G$ on $n\ge9$ vertices with maximum degree at least $n-5$ admits an antimagic orientation.
△ Less
Submitted 16 August, 2019;
originally announced August 2019.
-
Some remarks on the midrange crossing constant
Authors:
É. Czabarka,
I. Singgih,
L. A. Székely,
Zhiyu Wang
Abstract:
We verify an upper bound of Pach and Tóth [Combinatorica 17(1997), 427-439, Discrete and Computational Geometry 36(2006), 527-552] on the midrange crossing constant. Details of their $\frac{8}{9π^2}$ upper bound have not been available. Our verification is different from their method and hinges on a result of Moon [J. Soc. Indust. Appl. Math. 13(1965), 506-510]. As Moon's result is optimal, we rai…
▽ More
We verify an upper bound of Pach and Tóth [Combinatorica 17(1997), 427-439, Discrete and Computational Geometry 36(2006), 527-552] on the midrange crossing constant. Details of their $\frac{8}{9π^2}$ upper bound have not been available. Our verification is different from their method and hinges on a result of Moon [J. Soc. Indust. Appl. Math. 13(1965), 506-510]. As Moon's result is optimal, we raise the question whether the midrange crossing constant is $\frac{8}{9π^2}$.
△ Less
Submitted 30 June, 2019;
originally announced July 2019.
-
DNA graph characterization for the line digraph of dicycle with $\left\lfloor{\frac{n}{3}}\right \rfloor$ chords, $\infty$-digraph $C_n \cdot C_p$, and 3-blade-propeller $C_n \cdot C_p \cdot C_q$
Authors:
Inne Singgih
Abstract:
DNA graph has important contribution in completing the computational step of DNA sequencing process. Using $(α,k)$-labeling, several families of digraphs have characterized as DNA graphs. Dicycles and dipaths are DNA graphs, rooted trees and self adjoint digraphs are DNA graphs if and only if their maximum degree is not greater than four, while the $m^{\text{th}}$ line digraph of dicycle with one…
▽ More
DNA graph has important contribution in completing the computational step of DNA sequencing process. Using $(α,k)$-labeling, several families of digraphs have characterized as DNA graphs. Dicycles and dipaths are DNA graphs, rooted trees and self adjoint digraphs are DNA graphs if and only if their maximum degree is not greater than four, while the $m^{\text{th}}$ line digraph of dicycle with one chord is a DNA graph for all $m\in\mathbb{Z}^+$. In this paper we construct $(α,k)$-labeling to show that for all $m\in\mathbb{Z}^+$, the $m^{\text{th}}$ line digraph of dicycle $C_n$ with $\left\lfloor{\frac{n}{3}}\right \rfloor$ chords are DNA graphs for $n\geq 6$, and the $m^{\text{th}}$ line digraph of $\infty$-digraph $C_n\cdot C_p$ and 3-blade-propeller $C_n\cdot C_p \cdot C_q$ are DNA graphs for $n\geq 3$ and certain values of $p$ and $q$.
△ Less
Submitted 6 December, 2018;
originally announced December 2018.
-
Subtractive Magic and Antimagic Total Labeling for Basic Families of Graphs
Authors:
Inne Singgih
Abstract:
A \textit{subtractive arc-magic labeling} (SAML) of a directed graph $G=(V,A)$ is a bijection $λ:V\cup A \to \{1,2,\ldots,|V|+|A|\}$ with the property that for every $xy\in A$ we have $λ(xy)+λ(y)-λ(x)$ equals to an integer constant. If $λ(xy)+λ(y)-λ(x)$ are distinct for every $xy\in A$, then $λ$ is a \textit{subtractive arc-antimagic labeling} (SAAL). A \textit{subtractive vertex-magic labeling} (…
▽ More
A \textit{subtractive arc-magic labeling} (SAML) of a directed graph $G=(V,A)$ is a bijection $λ:V\cup A \to \{1,2,\ldots,|V|+|A|\}$ with the property that for every $xy\in A$ we have $λ(xy)+λ(y)-λ(x)$ equals to an integer constant. If $λ(xy)+λ(y)-λ(x)$ are distinct for every $xy\in A$, then $λ$ is a \textit{subtractive arc-antimagic labeling} (SAAL). A \textit{subtractive vertex-magic labeling} (SVML) of $G$ is such bijection with the property that for every $x\in V$ we have $λ(x)+\sum_{y\in V, yx \in A} λ(yx)-\sum_{y\in V, xy\in A} λ(xy)$ equals to an integer constant. If $λ(x)+\sum_{y\in V, yx \in A} λ(yx)-\sum_{y\in V, xy\in A} λ(xy)$ are distinct for every $x\in V$, then $λ$ is a \textit{subtractive vertex-antimagic labeling} (SVAL). In this paper we prove some existence or non-existence of SAML, SVML, SAAL, and SVAL for several basic families of directed graphs, such as paths, cycles, stars, wheels, tadpoles, friendship graphs, and general butterfly graphs. The constructions are given when such labeling(s) exists.
△ Less
Submitted 7 November, 2018;
originally announced November 2018.
