We gratefully acknowledge support from
the Simons Foundation and member institutions.

Discrete Mathematics

New submissions

[ total of 7 entries: 1-7 ]
[ showing up to 2000 entries per page: fewer | more ]

New submissions for Thu, 24 Nov 22

[1]  arXiv:2211.12603 [pdf, other]
Title: Reachability in Restricted Chemical Reaction Networks
Comments: This research was supported in part by National Science Foundation Grant CCF-1817602
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Discrete Mathematics (cs.DM); Emerging Technologies (cs.ET)

The popularity of molecular computation has given rise to several models of abstraction, one of the more recent ones being Chemical Reaction Networks (CRNs). These are equivalent to other popular computational models, such as Vector Addition Systems and Petri-Nets, and restricted versions are equivalent to Population Protocols. This paper continues the work on core reachability questions related to Chemical Reaction Networks; given two configurations, can one reach the other according to the system's rules? With no restrictions, reachability was recently shown to be Ackermann-complete, this resolving a decades-old problem.
Here, we fully characterize monotone reachability problems based on various restrictions such as the rule size, the number of rules that may create a species (k-source) or consume a species (k-consuming), the volume, and whether the rules have an acyclic production order (feed-forward). We show PSPACE-completeness of reachability with only bimolecular reactions with two-source and two-consuming rules. This proves hardness of reachability in Population Protocols, which was unknown. Further, this shows reachability in CRNs is PSPACE-complete with size-2 rules, which was previously only known with size-5 rules. This is achieved using techniques within the motion planning framework.
We provide many important results for feed-forward CRNs where rules are single-source or single-consuming. We show that reachability is solvable in polynomial time if the system does not contain special void or autogenesis rules. We then fully characterize all systems of this type and show that if you allow void/autogenesis rules, or have more than one source and one consuming, the problems become NP-complete. Finally, we show several interesting special cases of CRNs based on these restrictions or slight relaxations and note future significant open questions related to this taxonomy.

[2]  arXiv:2211.12750 [pdf, other]
Title: Weighted exchange distance of basis pairs
Comments: 20 pages, 5 figures
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)

Two pairs of disjoint bases $\mathbf{P}_1=(R_1,B_1)$ and $\mathbf{P}_2=(R_2,B_2)$ of a matroid $M$ are called equivalent if $\mathbf{P}_1$ can be transformed into $\mathbf{P}_2$ by a series of symmetric exchanges. In 1980, White conjectured that such a sequence always exists whenever $R_1\cup B_1=R_2\cup B_2$. A strengthening of the conjecture was proposed by Hamidoune, stating that minimum length of an exchange is at most the rank of the matroid.
We propose a weighted variant of Hamidoune's conjecture, where the weight of an exchange depends on the weights of the exchanged elements. We prove the conjecture for several matroid classes: strongly base orderable matroids, split matroids, graphic matroids of wheels, and spikes.

[3]  arXiv:2211.12887 [pdf, other]
Title: Complexity Framework For Forbidden Subgraphs
Subjects: Combinatorics (math.CO); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)

For any finite set $\mathcal{H} = \{H_1,\ldots,H_p\}$ of graphs, a graph is $\mathcal{H}$-subgraph-free if it does not contain any of $H_1,\ldots,H_p$ as a subgraph. We propose a meta-theorem to classify if problems are "efficiently solvable" or "computationally hard" on $\mathcal{H}$-subgraph-free graphs. The conditions are that the problem should be efficiently solvable on graphs of bounded treewidth, computationally hard on subcubic graphs, and computational hardness is preserved under edge subdivision. We show that all problems satisfying these conditions are efficiently solvable if $\mathcal{H}$ contains a disjoint union of one or more paths and subdivided claws, and are computationally hard otherwise. To illustrate the broad applicability of our framework, we study covering or packing problems, network design problems and width parameter problems. We apply the framework to obtain a dichotomy between polynomial-time solvability and NP-completeness. For other problems we obtain a dichotomy between almost-linear-time solvability and having no subquadratic-time algorithm (conditioned on some hardness hypotheses). In this way we strengthen results in the literature.

[4]  arXiv:2211.12908 [pdf, other]
Title: Exact solution approaches for the discrete $α$-neighbor $p$-center problem
Subjects: Optimization and Control (math.OC); Discrete Mathematics (cs.DM)

The discrete $\alpha$-neighbor $p$-center problem (d-$\alpha$-$p$CP) is an emerging variant of the classical $p$-center problem which recently got attention in literature. In this problem, we are given a discrete set of points and we need to locate $p$ facilities on these points in such a way that the maximum distance between each point where no facility is located and its $\alpha$-closest facility is minimized. The only existing algorithms in literature for solving the d-$\alpha$-$p$CP are approximation algorithms and two recently proposed heuristics.
In this work, we present two integer programming formulations for the d-$\alpha$-$p$CP, together with lifting of inequalities, valid inequalities, inequalities that do not change the optimal objective function value and variable fixing procedures. We provide theoretical results on the strength of the formulations and convergence results for the lower bounds obtained after applying the lifting procedures or the variable fixing procedures in an iterative fashion. Based on our formulations and theoretical results, we develop branch-and-cut (B&C) algorithms, which are further enhanced with a starting heuristic and a primal heuristic.
We evaluate the effectiveness of our B&C algorithms using instances from literature. Our algorithms are able to solve 116 out of 194 instances from literature to proven optimality, with a runtime of under a minute for most of them. By doing so, we also provide improved solution values for 116 instances.

[5]  arXiv:2211.13072 [pdf, other]
Title: A note on graphs with purely imaginary per-spectrum
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)

In 1983, Borowiecki and J\'o\'zwiak posed an open problem of characterizing graphs with purely imaginary per-spectrum. The most general result, although a partial solution, was given in 2004 by Yan and Zhang, who show that if a graph contains no subgraph which is an even subdivision of $K_{2,3}$, then it has purely imaginary per-spectrum. Zhang and Li in 2012 proved that such graphs are planar and admit a pfaffian orientation. In this article, we describe how to construct graphs with purely imaginary per-spectrum having a subgraph which is an even subdivision of $K_{2,3}$ (planar and nonplanar) using coalescence of rooted graphs.

[6]  arXiv:2211.13118 [pdf, other]
Title: Branch-and-Bound with Barrier: Dominance and Suboptimality Detection for DD-Based Branch-and-Bound
Comments: Submitted to INFORMS Journal on Computing
Subjects: Data Structures and Algorithms (cs.DS); Artificial Intelligence (cs.AI); Discrete Mathematics (cs.DM); Optimization and Control (math.OC)

The branch-and-bound algorithm based on decision diagrams introduced by Bergman et al. in 2016 is a framework for solving discrete optimization problems with a dynamic programming formulation. It works by compiling a series of bounded-width decision diagrams that can provide lower and upper bounds for any given subproblem. Eventually, every part of the search space will be either explored or pruned by the algorithm, thus proving optimality. This paper presents new ingredients to speed up the search by exploiting the structure of dynamic programming models. The key idea is to prevent the repeated exploration of nodes corresponding to the same dynamic programming states by storing and querying thresholds in a data structure called the Barrier. These thresholds are based on dominance relations between partial solutions previously found. They can be further strengthened by integrating the filtering techniques introduced by Gillard et al. in 2021. Computational experiments show that the pruning brought by the Barrier allows to significantly reduce the number of nodes expanded by the algorithm. This results in more benchmark instances of difficult optimization problems being solved in less time while using narrower decision diagrams.

Replacements for Thu, 24 Nov 22

[7]  arXiv:2205.15032 (replaced) [pdf, ps, other]
Title: Structure of non-negative posets of Dynkin type $\mathbb{A}_n$
Authors: Marcin Gąsiorek
Comments: 17 pages; Example 2.4 corrected, typos corrected, references added
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
[ total of 7 entries: 1-7 ]
[ showing up to 2000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, recent, 2211, contact, help  (Access key information)