Pseudo-polynomial Algorithm for the K- ( N1, 1,……, 1 ) - Chains Problem with Lower Bound Delays

Zhi-wen YIN,Liang SHEN

DOI: https://doi.org/10.3969/j.issn.0427-7104.2005.02.005

2005-01-01

Abstract:Study the pseudo-polynomial algorithm for the k-(n_1,1,...,1)- chains problem with lower bound delays which was discussed by Wikum.The problem of n_1=2 has been solved.With the analysis of the problem of n_1=3,a more efficient algorithm will be given.

What problem does this paper attempt to address?

Exact Parameterized Multilinear Monomial Counting via k-Layer Subset Convolution and k-Disjoint Sum.

Dongxiao Yu,Yuexuan Wang,Qiang-Sheng Hua,Francis C. M. Lau

DOI: https://doi.org/10.1007/978-3-642-22685-4_7

2011-01-01

Abstract:We present new algorithms for exact multilinear k-monomial counting which is to compute the sum of coefficients of all degree- k multilinear monomials in a given polynomial P over a ring R described by an arithmetic circuit C . If the polynomial can be represented as a product of two polynomials with degree at most d < k , our algorithm can solve this problem in O *(( n ↓ d )) time, where ( n ↓ d ) = Σ i =0 d ( n i ). O * omits a polynomial factor in n . For the general case, the proposed algorithm takes time O *(( n ↓ k ) ). In both cases, our results are superior to previous approaches presented in [Koutis, I. and Williams, R.: Limits and applications of group algebras for parameterized problems. ICALP, pages 653-664 (2009)]. We also present a polynomial space algorithm with time bound O *(2 k ( n k )). By reducing the # k -path problem and the # m -set k -packing problem to the exact multilinear k -monomial counting problem, we give algorithms for these two problems that match the fastest known results presented in [2].
Exponential Lower Bounds for the PPSZ K-Sat Algorithm

Shiteng Chen,Dominik Scheder,Navid Talebanfard,Bangsheng Tang

DOI: https://doi.org/10.1137/1.9781611973105.91

2013-01-01

Abstract:In 1998, Paturi, Pudlák, Saks, and Zane presented PPSZ, an elegant randomized algorithm for k-SAT. Fourteen years on, this algorithm is still the fastest known worst-case algorithm. They proved that its expected running time on k-CNF formulas with n variables is at most 2(1−εk)n, where εk ε Ω(1/k). So far, no exponential lower bounds at all have been known.In this paper, we construct hard instances for PPSZ. That is, we construct satisfiable k-CNF formulas over n variables on which the expected running time is at least 2(1--εk)n, for εk ε O(log2k/k).
Some New Methods to Generate Short Addition Chains

Yuanchao Ding,Hua Guo,Yewei Guan,Hutao Song,Xiyong Zhang

2023-12-07

Abstract:Modular exponentiation and scalar multiplication are important operations of most public key cryptosystems, and their fast calculation is essential to improve the system efficiency. The shortest addition chain is one of the most important mathematical concepts to realize the optimization. However, finding a shortest addition chain of length k is an NP-hard problem, whose time complexity is comparable to O($k!$). This paper proposes some novel methods to generate short addition chains. We firstly present a Simplified Power-tree method by deeply deleting the power-tree, whose time complexity is reduced to O($k^2$) sacrificing some increasing of the addition chain length. Moreover, a Cross Window method and its variant are introduced by improving the Window method. More precisely, the Cross Window method uses the cross correlation to deal with the windows and its pre-computation is optimized by the Addition Sequence algorithm. The theoretical analysis is conducted to show the correctness and effectiveness. Meanwhile, the experiment shows that the new methods can obtain shorter addition chains compared to the existing methods. The Cross Window method with the Addition Sequence algorithm can attain 9.5% reduction of the addition chain length, in the best case, compared to the Window method.

Cryptography and Security
Solving k-Set Chain Range-Join With Forest

Yin-long XU,Xiao-dong GU,Ying-yu WAN,Guo-liang CHEN

DOI: https://doi.org/10.3969/j.issn.0253-2778.2000.02.002

2000-01-01

Abstract:The chain range-join of k sets S1,S2,….,Sk, is the set containing all tuples (s1,s2,….,sk) that satisfy ei(1)|si-si+1|≤ei(2),where sk∈Sk, si∈Si,0＜ei(1)＜ei(2) are fixed constants, 1≤i≤k-1. In this paper k-set chain range-join is represented with a forest, by means of which the tight lower bound of time complexity for computing k-set chain range-join in the worst case when all elements in St match every element in St+1 for 1≤t≤k-1 becomes Ω(k∏ki=1ni), whereas it is Ω(k∏ki=1ni)with the k-tuple representation, where ni=|Si|,1≤i≤k. A sequenti alalgorithm is also presented for computing k-set chain range-join with the forest representation which reaches the lower bound of time complexity in the worst case.
Maximum k-Plex Computation: Theory and Practice

Lijun Chang,Kai Yao

DOI: https://doi.org/10.1145/3639318

2024-03-12

Abstract:The k-plex model relaxes the clique model by allowing each vertex to miss up to k neighbors, including the vertex itself. A 1-plex is a clique. Many exact algorithms have been recently designed for finding the k-plex with the largest number of vertices, known as the maximum k-plex computation problem. However, all the existing algorithms, except BS, has the trivial worst-case time complexity of O*(2n) when ignoring polynomial factors. On the other hand, although BS improves the time complexity to O*(βkn) where βk < 2 is a constant depending only on k, its practical performance is not satisfactory. In this paper, we study the maximum k-plex computation problem from both theory and practice. We first propose two new reduction rules and a new branching rule and prove that the base of the exponential time complexity is reduced to γk when the new reduction and branching rules are incorporated into a standard backtracking algorithm; here γk < βk. We then design a two-stage approach kPlexT to improve the exponent of the time complexity by separating the search of large k-plexes from the search of small ones. We prove that kPlexT runs in O*((α Δ)k+1 γ_kα) time when the maximum k-plex size Ωk(G) is at least 2k-1, and in O*((α Δ)k+1 γ_kα + min(γkn, n2k-2)) time otherwise; here, α is the degeneracy and Δ is the maximum degree of the input graph. We also prove that with slight modification, kPlexT runs in O*((αΔ)k+1 (k+1)α+k-Ωk(G)) time when ømega_k(G) ≥ 2k-1. Finally, we propose another reduction rule and a better initialization method to improve the practical performance of kPlexT. Extensive empirical studies demonstrate that kPlexT achieves state-of-the-art practical performance. We also show that our improved time complexity carries over to other related problems such as enumerating all maximal k-plexes, quasi-cliques, and k-biplexes.
Extremal polyphenyl chains concerning k-matchings and k-independent sets.

Shuhua Li,Hong Bian,Fuji Zhang,Guoping Wang

2010-01-01

Ars combinatoria

Abstract:Denote by A(n) the set of the polyphenyl chains with n hexagons. For any A(n) is an element of A(n), let m(k)(A(n)) and m(k)(A(n)) and i(k)(A(n)) be the numbers of k-matchings and k-independent sets of A(n), respectively. In the paper, we show that for any A(n) is an element of A(n) and for any k >= 0, m(k)(M-n) <= m(k)(A(n)) <= m(k)(O-n) and i(k)(M-n) >= i(k)(A(n)) >= i(k)(O-n), with the equalities hold if A(n) = M-n or A(n) = O-n, where M-n and O-n are the meta-chain and the ortho-chain, respectively. These generalize some related results in [1].
On Exponential Time Lower Bound of Knapsack under Backtracking

Xin Li,Tian Liu

DOI: https://doi.org/10.48550/arXiv.0712.3348

2007-12-25

Abstract:<a class="link-external link-http" href="http://M.Aleknovich" rel="external noopener nofollow">this http URL</a> et al. have recently proposed a model of algorithms, called BT model, which generalizes both the priority model of Borodin, Nielson and Rackoff, as well as a simple dynamic programming model by Woeginger. BT model can be further divided into three kinds of fixed, adaptive and fully adaptive ones. They have proved exponential time lower bounds of exact and approximation algorithms under adaptive BT model for Knapsack problem. Their exact lower bound is $\Omega(2^{0.5n}/\sqrt{n})$, in this paper, we slightly improve the exact lower bound to about $\Omega(2^{0.69n}/\sqrt{n})$, by the same technique, with related parameters optimized.

Computational Complexity
Efficient Maximum k-Defective Clique Computation with Improved Time Complexity

Lijun Chang

DOI: https://doi.org/10.1145/3617313

2023-09-06

Abstract:k-defective cliques relax cliques by allowing up-to k missing edges from being a complete graph. This relaxation enables us to find larger near-cliques and has applications in link prediction, cluster detection, social network analysis and transportation science. The problem of finding the largest k-defective clique has been recently studied with several algorithms being proposed in the literature. However, the currently fastest algorithm KDBB does not improve its time complexity from being the trivial O(2n), and also, KDBB's practical performance is still not satisfactory. In this paper, we advance the state of the art for exact maximum k-defective clique computation, in terms of both time complexity and practical performance. Moreover, we separate the techniques required for achieving the time complexity from others purely used for practical performance consideration; this design choice may facilitate the research community to further improve the practical efficiency while not sacrificing the worst case time complexity. In specific, we first develop a general framework kDC that beats the trivial time complexity of O(2n) and achieves a better time complexity than all existing algorithms. The time complexity of kDC is solely achieved by our newly designed non-fully-adjacent-first branching rule, excess-removal reduction rule and high-degree reduction rule. Then, to make kDC practically efficient, we further propose a new upper bound, two new reduction rules, and an algorithm for efficiently computing a large initial solution. Extensive empirical studies on three benchmark graph collections with 290 graphs in total demonstrate that kDC outperforms the currently fastest algorithm KDBB by several orders of magnitude.

Computer Science,Mathematics
An Exact Algorithm with New Upper Bounds for the Maximum k-Defective Clique Problem in Massive Sparse Graphs

Jian Gao,Zhenghang Xu,Ruizhi Li,Minghao Yin

DOI: https://doi.org/10.1609/aaai.v36i9.21257

2022-06-28

Proceedings of the AAAI Conference on Artificial Intelligence

Abstract:The Maximum k-Defective Clique Problem (MDCP), as a clique relaxation model, has been used to solve various problems. Because it is a hard computational task, previous works can hardly solve the MDCP for massive sparse graphs derived from real-world applications. In this work, we propose a novel branch-and-bound algorithm to solve the MDCP based on several new techniques. First, we propose two new upper bounds of the MDCP as well as corresponding reduction rules to remove redundant vertices and edges. The proposed reduction rules are particularly useful for massive graphs. Second, we present another new upper bound by counting missing edges between fixed vertices and an unfixed vertex for cutting branches. We perform extensive computational experiments to evaluate our algorithm. Experimental results show that our reduction rules are very effective for removing redundant vertices and edges so that graphs are reduced greatly. Also, our algorithm can solve benchmark instances efficiently, and it has significantly better performance than state-of-the-art algorithms.
A Faster Branching Algorithm for the Maximum $k$-Defective Clique Problem

Chunyu Luo,Yi Zhou,Zhengren Wang,Mingyu Xiao

2024-07-24

Abstract:A $k$-defective clique of an undirected graph $G$ is a subset of its vertices that induces a nearly complete graph with a maximum of $k$ missing edges. The maximum $k$-defective clique problem, which asks for the largest $k$-defective clique from the given graph, is important in many applications, such as social and biological network analysis. In the paper, we propose a new branching algorithm that takes advantage of the structural properties of the $k$-defective clique and uses the efficient maximum clique algorithm as a subroutine. As a result, the algorithm has a better asymptotic running time than the existing ones. We also investigate upper-bounding techniques and propose a new upper bound utilizing the \textit{conflict relationship} between vertex pairs. Because conflict relationship is common in many graph problems, we believe that this technique can be potentially generalized. Finally, experiments show that our algorithm outperforms state-of-the-art solvers on a wide range of open benchmarks.

Data Structures and Algorithms,Artificial Intelligence
Minimum Chain Cover in Almost Linear Time

Manuel Caceres

2023-05-03

Abstract:A minimum chain cover (MCC) of a $k$-width directed acyclic graph (DAG) $G = (V, E)$ is a set of $k$ chains (paths in the transitive closure) of $G$ such that every vertex appears in at least one chain in the cover. The state-of-the-art solutions for MCC run in time $\tilde{O}(k(|V|+|E|))$ [Mäkinen et at., TALG], $O(T_{MF}(|E|) + k|V|)$, $O(k^2|V| + |E|)$ [Cáceres et al., SODA 2022], $\tilde{O}(|V|^{3/2} + |E|)$ [Kogan and Parter, ICALP 2022] and $\tilde{O}(T_{MCF}(|E|) + \sqrt{k}|V|)$ [Kogan and Parter, SODA 2023], where $T_{MF}(|E|)$ and $T_{MCF}(|E|)$ are the running times for solving maximum flow (MF) and minimum-cost flow (MCF), respectively. In this work we present an algorithm running in time $O(T_{MF}(|E|) + (|V|+|E|)\log{k})$. By considering the recent result for solving MF [Chen et al., FOCS 2022] our algorithm is the first running in almost linear time. Moreover, our techniques are deterministic and derive a deterministic near-linear time algorithm for MCC if the same is provided for MF. At the core of our solution we use a modified version of the mergeable dictionaries [Farach and Thorup, Algorithmica], [Iacono and Özkan, ICALP 2010] data structure boosted with the SIZE-SPLIT operation and answering queries in amortized logarithmic time, which can be of independent interest.

Data Structures and Algorithms
The k-th Roman domination problem is polynomial on interval graphs

Peng Li

DOI: https://doi.org/10.1007/s10878-024-01206-x

2024-10-06

Journal of Combinatorial Optimization

Abstract:Let G be some simple graph and k be any positive integer. Take and , let denote the set of vertices with . Let . The function h is a [ k ]-Roman dominating function of G if holds for any . The minimum weight of such a function is called the k -th Roman Domination number of G , which is denoted by . In 2020, Banerjee et al. presented linear time algorithms to compute the double Roman domination number on proper interval graphs and block graphs. They posed the open question that whether there is some polynomial time algorithm to solve the double Roman domination problem on interval graphs. It is argued that the interval graph is a nontrivial graph class. In this article, we design a simple dynamic polynomial time algorithm to solve the k -th Roman domination problem on interval graphs for each fixed integer .

mathematics, applied,computer science, interdisciplinary applications
On the Threshold of Intractability

Pål Grønås Drange,Markus Sortland Dregi,Daniel Lokshtanov,Blair D. Sullivan

DOI: https://doi.org/10.48550/arXiv.1505.00612

2015-05-04

Abstract:We study the computational complexity of the graph modification problems Threshold Editing and Chain Editing, adding and deleting as few edges as possible to transform the input into a threshold (or chain) graph. In this article, we show that both problems are NP-complete, resolving a conjecture by Natanzon, Shamir, and Sharan (Discrete Applied Mathematics, 113(1):109--128, 2001). On the positive side, we show the problem admits a quadratic vertex kernel. Furthermore, we give a subexponential time parameterized algorithm solving Threshold Editing in $2^{O(\surd k \log k)} + \text{poly}(n)$ time, making it one of relatively few natural problems in this complexity class on general graphs. These results are of broader interest to the field of social network analysis, where recent work of Brandes (ISAAC, 2014) posits that the minimum edit distance to a threshold graph gives a good measure of consistency for node centralities. Finally, we show that all our positive results extend to the related problem of Chain Editing, as well as the completion and deletion variants of both problems.

Data Structures and Algorithms,Computational Complexity,Social and Information Networks
Improved Approximation Algorithms for the K-Path Partition Problem

Shiming Li,Wei Yu,Zhaohui Liu

DOI: https://doi.org/10.1007/s10898-024-01428-7

2024-01-01

Journal of Global Optimization

Abstract:The k-path partition problem (kPP), defined on a graph G=(V,E) , is a well-known NP-hard problem when k≥ 3 . The goal of the kPP is to find a minimum collection of vertex-disjoint paths to cover all the vertices in G such that the number of vertices on each path is no more than k. In this paper, we give two approximation algorithms for the kPP. The first one, called Algorithm 1, uses an algorithm for the (0,1)-weighted maximum traveling salesman problem as a subroutine. When G is undirected, the approximation ratio of Algorithm 1 is k+12/7 -6/7k , which improves on the previous best-known approximation algorithm for every k≥ 7 . When G is directed, Algorithm 1 is a ( k+6/4 -3/4k) -approximation algorithm, which improves the existing best available approximation algorithm for every k≥ 10 . Our second algorithm, i.e. Algorithm 2, is a local search algorithm tailored for the kPP in undirected graphs with small k. Algorithm 2 improves on the approximation ratios of the best available algorithm for every k=4,5,6 . Combined with Algorithms 1 and 2, we have improved the approximation ratio for the kPP in undirected graphs for each k≥ 4 as well as the approximation ratio for the kPP in directed graphs for each k≥ 10 . As for the negative side, we show that for any ϵ >0 it is NP-hard to approximate the kPP (with k being part of the input) within the ratio O(k^1-ϵ) , which implies that Algorithm 1 is asymptotically optimal.
Polynomial Integrality Gaps for Strong SDP Relaxations of Densest K-Subgraph

Aditya Bhaskara,Moses Charikar,Venkatesan Guruswami,Aravindan Vijayaraghavan,Yuan Zhou

DOI: https://doi.org/10.1137/1.9781611973099.34

2011-01-01

Abstract:The densest k-subgraph (DkS) problem (i.e. find a size k subgraph with maximum number of edges), is one of the notorious problems in approximation algorithms. There is a significant gap between known upper and lower bounds for DkS: the current best algorithm gives an O(n^1/4) approximation, while even showing a small constant factor hardness requires significantly stronger assumptions than P != NP. In addition to interest in designing better algorithms, a number of recent results have exploited the conjectured hardness of densest k-subgraph and its variants. Thus, understanding the approximability of DkS is an important challenge. In this work, we give evidence for the hardness of approximating DkS within polynomial factors. Specifically, we expose the limitations of strong semidefinite programs from SDP hierarchies in solving densest k-subgraph. Our results include: * A lower bound of Omega(n^1/4/log^3 n) on the integrality gap for Omega(log n/log log n) rounds of the Sherali-Adams relaxation for DkS. This also holds for the relaxation obtained from Sherali-Adams with an added SDP constraint. Our gap instances are in fact Erdos-Renyi random graphs. * For every epsilon > 0, a lower bound of n^2/53-eps on the integrality gap of n^Omega(eps) rounds of the Lasserre SDP relaxation for DkS, and an n^Omega_eps(1) gap for n^1-eps rounds. Our construction proceeds via a reduction from random instances of a certain Max-CSP over large domains. In the absence of inapproximability results for DkS, our results show that even the most powerful SDPs are unable to beat a factor of n^Omega(1), and in fact even improving the best known n^1/4 factor is a barrier for current techniques.
A Polynomial-Time Deterministic Algorithm for An NP-Complete Problem

Xinwen Jiang,Holden Wool

2023-07-28

Abstract:An NP-complete graph decision problem, the "Multi-stage graph Simple Path" (abbr. MSP) problem, is introduced. The main contribution of this paper is a poly-time algorithm named the ZH algorithm for the problem together with the proof of its correctness, which implies NP=P. (1) A crucial structural property is discovered, whereby all MSP instances are arranged into the sequence $G_{0}$,$G_{1}$,$G_{2}$,... ($G_{k}$ essentially stands for a group of graphs for all $k\geq 0$). For each $G_{j}(j>0)$ in the sequence, there is a graph $G_{i}(0\leq i<j)$ "mathematically homomorphic" to $G_{j}$ which keeps completely accordant with $G_{j}$ on the existence of global solutions. This naturally provides a chance of applying mathematical induction for the proof of an algorithm. In previous attempts, algorithms used for making global decisions were mostly guided by heuristics and intuition. Rather, the ZH algorithm is dedicatedly designed to comply with the proposed proving framework of mathematical induction. (2) Although the ZH algorithm deals with paths, it always regards paths as a collection of edge sets. This is the key to the avoidance of exponential complexity. (3) Any poly-time algorithm that seeks global information can barely avoid the error caused by localized computation. In the ZH algorithm, the proposed reachable-path edge-set $R(e)$ and the computed information for it carry all necessary contextual information, which can be utilized to summarize the "history" and to detect the "future" for searching global solutions. (4) The relation between local strategies and global strategies is discovered and established, wherein preceding decisions can pose constraints to subsequent decisions (and vice versa). This interplay resembles the paradigm of dynamic programming, while much more convoluted. Nevertheless, the computation is always strait forward and decreases monotonically.

Data Structures and Algorithms
Complexity and Algorithms of K-implementation.

Yuan Deng,Pingzhong Tang,Shuran Zheng

DOI: https://doi.org/10.5555/2936924.2936931

2016-01-01

Abstract:This paper settles the complexity of K-implementation , a ten-year open problem in AI. The problem is for a designer to modify an existing normal-form game, in a cost-optimal way, so as to ensure the solutions of the modified game fall into a given set of outcomes. We first prove that the problem is NP-COMPLETE for general games with respect to dominance by pure strategies, and then provide an alternative proof showing that the problem is NP-COMPLETE even for two-player games with respect to dominance by mixed strategies. We then consider a related but different objective, show its hardness and develop computationally efficient algorithms for a class of well-known games called supermodular games . For this objective, we are able to provide an optimal algorithm based on mixed-integer linear program. Interestingly, this algorithm also provides a lower-bound approximation guarantee for the original K-implementation problem and approximates the optimal solution well in experiments.
Detecting Disjoint Shortest Paths in Linear Time and More

Shyan Akmal,Virginia Vassilevska Williams,Nicole Wein

2024-05-10

Abstract:In the $k$-Disjoint Shortest Paths ($k$-DSP) problem, we are given a weighted graph $G$ on $n$ nodes and $m$ edges with specified source vertices $s_1, \dots, s_k$, and target vertices $t_1, \dots, t_k$, and are tasked with determining if $G$ contains vertex-disjoint $(s_i,t_i)$-shortest paths. For any constant $k$, it is known that $k$-DSP can be solved in polynomial time over undirected graphs and directed acyclic graphs (DAGs). However, the exact time complexity of $k$-DSP remains mysterious, with large gaps between the fastest known algorithms and best conditional lower bounds. In this paper, we obtain faster algorithms for important cases of $k$-DSP, and present better conditional lower bounds for $k$-DSP and its variants.

Data Structures and Algorithms,Discrete Mathematics
Note: On exponential time lower bound of Knapsack under backtracking

Xin Li,Tian Liu

DOI: https://doi.org/10.1016/j.tcs.2009.12.004

IF: 1.002

2010-01-01

Theoretical Computer Science

Abstract:We prove an @W(2^0^.^6^9^n/n) time lower bound of Knapsack problem under the adaptive priority branching trees (pBT) model. The pBT model is a formal model of algorithms covering backtracking and dynamic programming [M. Alekhnovich, A. Borodin, A. Magen, J. Buresh-Oppenheim, R. Impagliazzo, T. Pitassi, Toward a model for backtracking and dynamic programming, ECCC TR09-038, 2009. Earlier version in Proc 20th IEEE Computational Complexity, 2005, pp. 308-322]. Our result improves the @W(2^0^.^5^n/n) lower bound of M. Alekhovich et al. and the @W(2^0^.^6^6^n/n) lower bound of Li et al. [X. Li, T. Liu, H. Peng, L. Qian, H. Sun, J. Xu, K. Xu, J. Zhu, Improved exponential time lower bound of Knapsack problem under BT model, in: Proc 4th TAMC 2007, in: LNCS, vol. 4484, 2007, pp. 624-631] through optimized arguments.
0-1 Knapsack in Nearly Quadratic Time

Ce Jin

2024-04-01

Abstract:We study pseudo-polynomial time algorithms for the fundamental \emph{0-1 Knapsack} problem. Recent research interest has focused on its fine-grained complexity with respect to the number of items $n$ and the \emph{maximum item weight} $w_{\max}$. Under $(\min,+)$-convolution hypothesis, 0-1 Knapsack does not have $O((n+w_{\max})^{2-\delta})$ time algorithms (Cygan-Mucha-Węgrzycki-Włodarczyk 2017 and Künnemann-Paturi-Schneider 2017). On the upper bound side, currently the fastest algorithm runs in $\tilde O(n + w_{\max}^{12/5})$ time (Chen, Lian, Mao, and Zhang 2023), improving the earlier $O(n + w_{\max}^3)$-time algorithm by Polak, Rohwedder, and Węgrzycki (2021). In this paper, we close this gap between the upper bound and the conditional lower bound (up to subpolynomial factors): - The 0-1 Knapsack problem has a deterministic algorithm in $O(n + w_{\max}^{2}\log^4w_{\max})$ time. Our algorithm combines and extends several recent structural results and algorithmic techniques from the literature on knapsack-type problems: - We generalize the "fine-grained proximity" technique of Chen, Lian, Mao, and Zhang (2023) derived from the additive-combinatorial results of Bringmann and Wellnitz (2021) on dense subset sums. This allows us to bound the support size of the useful partial solutions in the dynamic program. - To exploit the small support size, our main technical component is a vast extension of the "witness propagation" method, originally designed by Deng, Mao, and Zhong (2023) for speeding up dynamic programming in the easier unbounded knapsack settings. To extend this approach to our 0-1 setting, we use a novel pruning method, as well as the two-level color-coding of Bringmann (2017) and the SMAWK algorithm on tall matrices.

Data Structures and Algorithms

Pseudo-polynomial Algorithm for the K- ( N1, 1,……, 1 ) - Chains Problem with Lower Bound Delays

Exact Parameterized Multilinear Monomial Counting via k-Layer Subset Convolution and k-Disjoint Sum.

Exponential Lower Bounds for the PPSZ K-Sat Algorithm

Some New Methods to Generate Short Addition Chains

Solving k-Set Chain Range-Join With Forest

Maximum k-Plex Computation: Theory and Practice

Extremal polyphenyl chains concerning k-matchings and k-independent sets.

On Exponential Time Lower Bound of Knapsack under Backtracking

Efficient Maximum k-Defective Clique Computation with Improved Time Complexity

An Exact Algorithm with New Upper Bounds for the Maximum k-Defective Clique Problem in Massive Sparse Graphs

A Faster Branching Algorithm for the Maximum $k$-Defective Clique Problem

Minimum Chain Cover in Almost Linear Time

The k-th Roman domination problem is polynomial on interval graphs

On the Threshold of Intractability

Improved Approximation Algorithms for the K-Path Partition Problem

Polynomial Integrality Gaps for Strong SDP Relaxations of Densest K-Subgraph

A Polynomial-Time Deterministic Algorithm for An NP-Complete Problem

Complexity and Algorithms of K-implementation.

Detecting Disjoint Shortest Paths in Linear Time and More

Note: On exponential time lower bound of Knapsack under backtracking

0-1 Knapsack in Nearly Quadratic Time