Discrete Mathematics
New submissions
[ 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 NetworksAuthors: Robert M. Alaniz, Bin Fu, Timothy Gomez, Elise Grizzell, Andrew Rodriguez, Robert Schweller, Tim WylieComments: This research was supported in part by National Science Foundation Grant CCF1817602Subjects: 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 PetriNets, 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 Ackermanncomplete, this resolving a decadesold 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 (ksource) or consume a species (kconsuming), the volume, and whether the rules have an acyclic production order (feedforward). We show PSPACEcompleteness of reachability with only bimolecular reactions with twosource and twoconsuming rules. This proves hardness of reachability in Population Protocols, which was unknown. Further, this shows reachability in CRNs is PSPACEcomplete with size2 rules, which was previously only known with size5 rules. This is achieved using techniques within the motion planning framework.
We provide many important results for feedforward CRNs where rules are singlesource or singleconsuming. 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 NPcomplete. 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 pairsComments: 20 pages, 5 figuresSubjects: 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 SubgraphsAuthors: Matthew Johnson, Barnaby Martin, Jelle J. Oostveen, Sukanya Pandey, Daniël Paulusma, Siani Smith, Erik Jan van LeeuwenSubjects: 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}$subgraphfree if it does not contain any of $H_1,\ldots,H_p$ as a subgraph. We propose a metatheorem to classify if problems are "efficiently solvable" or "computationally hard" on $\mathcal{H}$subgraphfree 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 polynomialtime solvability and NPcompleteness. For other problems we obtain a dichotomy between almostlineartime solvability and having no subquadratictime 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 problemSubjects: 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 branchandcut (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 perspectrumSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
In 1983, Borowiecki and J\'o\'zwiak posed an open problem of characterizing graphs with purely imaginary perspectrum. 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 perspectrum. 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 perspectrum 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: BranchandBound with Barrier: Dominance and Suboptimality Detection for DDBased BranchandBoundComments: Submitted to INFORMS Journal on ComputingSubjects: Data Structures and Algorithms (cs.DS); Artificial Intelligence (cs.AI); Discrete Mathematics (cs.DM); Optimization and Control (math.OC)
The branchandbound 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 boundedwidth 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 nonnegative posets of Dynkin type $\mathbb{A}_n$Authors: Marcin GąsiorekComments: 17 pages; Example 2.4 corrected, typos corrected, references addedSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
[ 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)