Conditional lower bounds for sparse parameterized 2-CSP: A streamlined proof
SIAM Symposium on Simplicity in Algorithms(2023)
摘要
Assuming the Exponential Time Hypothesis (ETH), a result of Marx (ToC'10)
implies that there is no f(k)· n^o(k/log k) time algorithm that can
solve 2-CSPs with k constraints (over a domain of arbitrary large size n)
for any computable function f. This lower bound is widely used to show that
certain parameterized problems cannot be solved in time f(k)· n^o(k/log
k) time (assuming the ETH). The purpose of this note is to give a streamlined
proof of this result.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要