To analyze the worst-case running time of branching algorithms, the majority of work in exponential time algorithms focuses on designing complicated branching rules over developing better analysis methods for simple algorithms. In the mid-2000s, Fomin et al. introduced measure & conquer, an advanced general analysis method, sparking widespread adoption for obtaining tighter worst-case running time upper bound s for many fundamental NP-complete problems. Yet, much potential in this direction remains untapped, as most subsequent work applied it without further advancement. Motivated by this, we present piecewise analysis, a new general method that analyzes the running time of branching algorithms. Our approach is to define a similarity ratio that divides instances into groups and then analyze the running time within each group separately. The similarity ratio is a scale between two parameters of an instance. Instead of relying on a single measure and a single analysis for the whole instance space, our method allows us to take advantage of different intrinsic properties of instances with different similarity ratio s. To showcase its potential, we reanalyze two 17-year-old algorithms by Fomin et al. from 2007, solving \(4\) -Coloring and # \(3\) -Coloring, respectively. The original analysis in their paper gave running times of \(\mathcal {O}(1.7272^n)\) and \(\mathcal {O}(1.6262^n)\) , respectively, for these algorithms. Our analysis improves these running times to \(\mathcal {O}(1.7207^n)\) and \(\mathcal {O}(1.6225^n)\) .

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

A Piecewise Approach for the Analysis of Exact Algorithms

  • Katie Clinch,
  • Serge Gaspers,
  • Zixu He,
  • Abdallah Saffidine,
  • Tiankuang Zhang

摘要

To analyze the worst-case running time of branching algorithms, the majority of work in exponential time algorithms focuses on designing complicated branching rules over developing better analysis methods for simple algorithms. In the mid-2000s, Fomin et al. introduced measure & conquer, an advanced general analysis method, sparking widespread adoption for obtaining tighter worst-case running time upper bound s for many fundamental NP-complete problems. Yet, much potential in this direction remains untapped, as most subsequent work applied it without further advancement. Motivated by this, we present piecewise analysis, a new general method that analyzes the running time of branching algorithms. Our approach is to define a similarity ratio that divides instances into groups and then analyze the running time within each group separately. The similarity ratio is a scale between two parameters of an instance. Instead of relying on a single measure and a single analysis for the whole instance space, our method allows us to take advantage of different intrinsic properties of instances with different similarity ratio s. To showcase its potential, we reanalyze two 17-year-old algorithms by Fomin et al. from 2007, solving \(4\) -Coloring and # \(3\) -Coloring, respectively. The original analysis in their paper gave running times of \(\mathcal {O}(1.7272^n)\) and \(\mathcal {O}(1.6262^n)\) , respectively, for these algorithms. Our analysis improves these running times to \(\mathcal {O}(1.7207^n)\) and \(\mathcal {O}(1.6225^n)\) .