128 research outputs found
On Near-Linear-Time Algorithms for Dense Subset Sum
In the Subset Sum problem we are given a set of positive integers and a target and are asked whether some subset of sums to . Natural parameters for this problem that have been studied in the literature are and as well as the maximum input number and the sum of all input numbers . In this paper we study the dense case of Subset Sum, where all these parameters are polynomial in . In this regime, standard pseudo-polynomial algorithms solve Subset Sum in polynomial time . Our main question is: When can dense Subset Sum be solved in near-linear time ? We provide an essentially complete dichotomy by designing improved algorithms and proving conditional lower bounds, thereby determining essentially all settings of the parameters for which dense Subset Sum is in time . For notational convenience we assume without loss of generality that (as larger numbers can be ignored) and (using symmetry). Then our dichotomy reads as follows: - By reviving and improving an additive-combinatorics-based approach by Galil and Margalit [SICOMP'91], we show that Subset Sum is in near-linear time if . - We prove a matching conditional lower bound: If Subset Sum is in near-linear time for any setting with , then the Strong Exponential Time Hypothesis and the Strong k-Sum Hypothesis fail. We also generalize our algorithm from sets to multi-sets, albeit with non-matching upper and lower bounds
Faster Approximate Pattern Matching: {A} Unified Approach
Approximate pattern matching is a natural and well-studied problem on strings: Given a text , a pattern , and a threshold , find (the starting positions of) all substrings of that are at distance at most from . We consider the two most fundamental string metrics: the Hamming distance and the edit distance. Under the Hamming distance, we search for substrings of that have at most mismatches with , while under the edit distance, we search for substrings of that can be transformed to with at most edits. Exact occurrences of in have a very simple structure: If we assume for simplicity that and trim so that occurs both as a prefix and as a suffix of , then both and are periodic with a common period. However, an analogous characterization for the structure of occurrences with up to mismatches was proved only recently by Bringmann et al. [SODA'19]: Either there are -mismatch occurrences of in , or both and are at Hamming distance from strings with a common period . We tighten this characterization by showing that there are -mismatch occurrences in the case when the pattern is not (approximately) periodic, and we lift it to the edit distance setting, where we tightly bound the number of -edit occurrences by in the non-periodic case. Our proofs are constructive and let us obtain a unified framework for approximate pattern matching for both considered distances. We showcase the generality of our framework with results for the fully-compressed setting (where and are given as a straight-line program) and for the dynamic setting (where we extend a data structure of Gawrychowski et al. [SODA'18])
Faster Pattern Matching under Edit Distance
We consider the approximate pattern matching problem under the edit distance.Given a text of length , a pattern of length , and a threshold, the task is to find the starting positions of all substrings of thatcan be transformed to with at most edits. More than 20 years ago, Coleand Hariharan [SODA'98, J. Comput.'02] gave an -time algorithm for this classic problem, and this runtime has not beenimproved since. Here, we present an algorithm that runs in time , thus breaking through this long-standingbarrier. In the case where n^{1/4+\varepsilon} \leq k \leqn^{2/5-\varepsilon} for some arbitrarily small positive constant, our algorithm improves over the state-of-the-art by polynomialfactors: it is polynomially faster than both the algorithm of Cole andHariharan and the classic -time algorithm of Landau andVishkin [STOC'86, J. Algorithms'89]. We observe that the bottleneck case of the alternative -time algorithm of Charalampopoulos, Kociumaka, and Wellnitz[FOCS'20] is when the text and the pattern are (almost) periodic. Our newalgorithm reduces this case to a new dynamic problem (Dynamic Puzzle Matching),which we solve by building on tools developed by Tiskin [SODA'10,Algorithmica'15] for the so-called seaweed monoid of permutation matrices. Ouralgorithm relies only on a small set of primitive operations on strings andthus also applies to the fully-compressed setting (where text and pattern aregiven as straight-line programs) and to the dynamic setting (where we maintaina collection of strings under creation, splitting, and concatenation),improving over the state of the art.<br
Detecting and counting small subgraphs, and evaluating a parameterized Tutte polynomial: lower bounds via toroidal grids and Cayley graph expanders
Given a graph property , we consider the problem , where the input is a pair of a graph and a positive integer , and the task is to decide whether contains a -edge subgraph that satisfies . Specifically, we study the parameterized complexity of and of its counting problem with respect to both approximate and exact counting. We obtain a complete picture for minor-closed properties : the decision problem always admits an FPT algorithm and the counting problem always admits an FPTRAS. For exact counting, we present an exhaustive and explicit criterion on the property which, if satisfied, yields fixed-parameter tractability and otherwise -hardness. Additionally, most of our hardness results come with an almost tight conditional lower bound under the so-called Exponential Time Hypothesis, ruling out algorithms for that run in time for any computable function . As a main technical result, we gain a complete understanding of the coefficients of toroidal grids and selected Cayley graph expanders in the homomorphism basis of . This allows us to establish hardness of exact counting using the Complexity Monotonicity framework due to Curticapean, Dell and Marx (STOC'17). Our methods can also be applied to a parameterized variant of the Tutte Polynomial of a graph , to which many known combinatorial interpretations of values of the (classical) Tutte Polynomial can be extended. As an example, corresponds to the number of -forests in the graph . Our techniques allow us to completely understand the parametrized complexity of computing the evaluation of at every pair of rational coordinates
Counting small induced subgraphs satisfying monotone properties
Given a graph property , the problem asks, on input a graph and a positive integer , to compute the number of induced subgraphs of size in that satisfy . The search for explicit criteria on ensuring that is hard was initiated by Jerrum and Meeks [J. Comput. Syst. Sci. 15] and is part of the major line of research on counting small patterns in graphs. However, apart from an implicit result due to Curticapean, Dell and Marx [STOC 17] proving that a full classification into "easy" and "hard" properties is possible and some partial results on edge-monotone properties due to Meeks [Discret. Appl. Math. 16] and D\"orfler et al. [MFCS 19], not much is known. In this work, we fully answer and explicitly classify the case of monotone, that is subgraph-closed, properties: We show that for any non-trivial monotone property , the problem cannot be solved in time for any function , unless the Exponential Time Hypothesis fails. By this, we establish that any significant improvement over the brute-force approach is unlikely; in the language of parameterized complexity, we also obtain a -completeness result
Counting Small Induced Subgraphs Satisfying Monotone Properties
Given a graph property , the problem asks, on input a graph and a positive integer , to compute the number of induced subgraphs of size in that satisfy . The search for explicit criteria on ensuring that is hard was initiated by Jerrum and Meeks [J. Comput. Syst. Sci. 15] and is part of the major line of research on counting small patterns in graphs. However, apart from an implicit result due to Curticapean, Dell and Marx [STOC 17] proving that a full classification into "easy" and "hard" properties is possible and some partial results on edge-monotone properties due to Meeks [Discret. Appl. Math. 16] and D\"orfler et al. [MFCS 19], not much is known. In this work, we fully answer and explicitly classify the case of monotone, that is subgraph-closed, properties: We show that for any non-trivial monotone property , the problem cannot be solved in time for any function , unless the Exponential Time Hypothesis fails. By this, we establish that any significant improvement over the brute-force approach is unlikely; in the language of parameterized complexity, we also obtain a -completeness result
Counting small induced subgraphs satisfying monotone properties
Given a graph property , the problem asks, on input a graph and a positive integer , to compute the number of induced subgraphs of size in that satisfy . The search for explicit criteria on ensuring that is hard was initiated by Jerrum and Meeks [J. Comput. Syst. Sci. 15] and is part of the major line of research on counting small patterns in graphs. However, apart from an implicit result due to Curticapean, Dell and Marx [STOC 17] proving that a full classification into "easy" and "hard" properties is possible and some partial results on edge-monotone properties due to Meeks [Discret. Appl. Math. 16] and D\"orfler et al. [MFCS 19], not much is known. In this work, we fully answer and explicitly classify the case of monotone, that is subgraph-closed, properties: We show that for any non-trivial monotone property , the problem cannot be solved in time for any function , unless the Exponential Time Hypothesis fails. By this, we establish that any significant improvement over the brute-force approach is unlikely; in the language of parameterized complexity, we also obtain a -completeness result
Faster pattern matching under edit distance : a reduction to dynamic puzzle matching and the Seaweed Monoid of permutation matrices
We consider the approximate pattern matching problem under the edit distance. Given a text T of length n, a pattern P of length m, and a threshold k, the task is to find the starting positions of all substrings of T that can be transformed to P with at most k edits. More than 20 years ago, Cole and Hariharan [SODA’98, J. Comput.’02] gave an O(n + k^4·n/m)-time algorithm for this classic problem, and this runtime has not been improved since.
Here, we present an algorithm that runs in time O(n + k^{3.5}√(
log m log k) · n/m), thus breaking through this longstanding barrier. In the case where n^{1/4+ε} ≤ k ≤ n^{2/5−ε} for some arbitrarily small positive constant ε, our algorithm improves over the state-of-the-art by polynomial factors: it is polynomially faster than both the algorithm of Cole and Hariharan and the classic O(kn)-time algorithm of Landau and Vishkin [STOC’86, J. Algorithms’89].
We observe that the bottleneck case of the alternative O(n + k^4· n/m)-time algorithm of Charalampopoulos, Kociumaka, and Wellnitz [FOCS’20] is when the text and the pattern are (almost) periodic. Our new algorithm reduces this case to a new Dynamic Puzzle Matching problem, which we solve by building on tools developed by Tiskin [SODA’10, Algorithmica’15] for the so called seaweed monoid of permutation matrices. Our algorithm relies only on a small set of primitive operations on strings and thus also applies to the fully-compressed setting (where text and pattern are given as straight-line programs) and to the dynamic setting (where we maintain a collection of strings under creation, splitting, and concatenation), improving over the state of the art
Acute phase reaction to LPS induced mastitis in early lactation dairy cows fed nitrogenic, glucogenic or lipogenic diets.
The availability of certain macronutrients is likely to influence the capacity of the immune system. Therefore, we investigated the acute phase response to intramammary (i.mam.) LPS in dairy cows fed either a nitrogenic diet (n = 10) high in crude protein, a glucogenic diet (n = 11) high in carbohydrates and glucogenic precursors, or a lipogenic diet (n = 11) high in lipids. Thirty-two dairy cows were fed one of the dietary concentrates directly after calving until the end of trial at 27 ± 3 DIM (mean ± SD). In wk 3 of lactation, 20 µg of LPS was i.mam. injected in one quarter, and sterile NaCl (0.9%) in the contralateral quarter. Milk samples of the LPS challenged and control quarter were taken hourly from before (0 h) until 9 h after LPS challenge, and analyzed for milk amyloid A (MAA), haptoglobin (Hp), and IL-8. In addition, blood samples were taken in the morning, and composite milk samples at morning and evening milkings from 1 d before until 3 d after LPS challenge, and again on d 9 to determine serum amyloid A (SAA) and Hp in blood, and MAA and Hp in milk. The mRNA abundance of various immunological and metabolic factors in blood leukocytes was quantified by RT-qPCR from samples taken at -18 h, -1 h, 6 h, 9 h and 23 h relative to LPS application. The dietary concentrates did not affect any of the parameters in blood, milk, and leukocytes. The IL-8 was increased from 2 h, Hp from 2 to 3 h, and MAA from 6 h relative to the LPS administration in the milk of the challenged quarter and remained elevated until 9 h. The MAA and Hp were also increased at 9 h after LPS challenge in whole udder composite milk, whereas Hp and SAA in blood were increased only after 23 h. All 4 parameters were decreased again on d 9. Similar for all groups, the mRNA abundance of Hp and the heat shock protein family A (HSP70) increased after the LPS challenge, while the mRNA expression of the tumor necrosis factor α (TNF) and the leukocyte integrin β 2 subunit (CD18) were decreased at 6 h after LPS challenge. The glucose transporter (GLUT)1 mRNA abundance decreased after LPS, whereas that of the GLUT3 increased, and that of the GLUT4 was not detectable. The mRNA abundance of GAPDH was increased at 9 h after LPS and remained elevated. The APP response was detected earlier in milk compared with blood indicating mammary production. However, immunological responses to LPS were not affected by the availability of specific macronutrients provided by the different diets
- …