During recent years the field of fine-grained complexity has bloomed to produce a plethora of results, with both applied and theoretical impact on the computer science community. The cornerstone of the framework is the notion of fine-grained reductions, which correlate the exact complexities of problems such that improvements in their running times or hardness results are carried over. We provide a parameterized viewpoint of these reductions (PFGR) in order to further analyze the structure of improvable problems and set the foundations of a unified methodology for extending algorithmic results. In this context, we define a class of problems (FPI) that admit fixed-parameter improvements on their running time. As an application of this framework we present a truly subquadratic fixed-parameter algorithm for the orthogonal vectors problem. Finally, we provide a circuit characterization for FPI to further solidify the notion of improvement.
We present a new FPTAS for the Subset Sum Ratio problem, which, given a set of integers, asks for two disjoint subsets such that the ratio of their sums is as close to 1 as possible. Our scheme makes use of exact and approximate algorithms for the closely related Subset Sum problem, hence any progress over those-such as the recent improvement due to Bringmann and Nakos [SODA 2021]-carries over to our FPTAS. Depending on the relationship between the size of the input set n and the error margin ε, we improve upon the best currently known algorithm of Melissinos and Pagourtzis [COCOON 2018] of complexity O(n 4 /ε). In particular, the exponent of n in our proposed scheme may decrease down to 2, depending on the Subset Sum algorithm used. Furthermore, while the aforementioned state of the art complexity, expressed in the form O((n + 1/ε) c ), has constant c = 5, our results establish that c < 5.
We present new, faster pseudopolynomial time algorithms for the k-Subset Sum problem, defined as follows: given a set Z of n positive integers and k targets $$t_1, \ldots , t_k$$ t 1 , … , t k , determine whether there exist k disjoint subsets $$Z_1,\dots ,Z_k \subseteq Z$$ Z 1 , ⋯ , Z k ⊆ Z , such that $$\Sigma (Z_i) = t_i$$ Σ ( Z i ) = t i , for $$i = 1, \ldots , k$$ i = 1 , … , k . Assuming $$t = \max \{ t_1, \ldots , t_k \}$$ t = max { t 1 , … , t k } is the maximum among the given targets, a standard dynamic programming approach based on Bellman’s algorithm can solve the problem in $$O(n t^k)$$ O ( n t k ) time. We build upon recent advances on Subset Sum due to Koiliaris and Xu, as well as Bringmann, in order to provide faster algorithms for k-Subset Sum. We devise two algorithms: a deterministic one of time complexity $${\tilde{O}}(n^{k / (k+1)} t^k)$$ O ~ ( n k / ( k + 1 ) t k ) and a randomised one of $${\tilde{O}}(n + t^k)$$ O ~ ( n + t k ) complexity. Additionally, we show how these algorithms can be modified in order to incorporate cardinality constraints enforced on the solution subsets. We further demonstrate how these algorithms can be used in order to cope with variations of k-Subset Sum, namely Subset Sum Ratio, k-Subset Sum Ratio and Multiple Subset Sum.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
customersupport@researchsolutions.com
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.