On Miniaturized Problems in Parameterized Complexity Theory

Abstract. We introduce a general notion of miniaturization of a problem that comprises the different miniaturizations of concrete problems considered so far. We develop parts of the basic theory of miniaturizations in this general framework. Using the appropriate logical formalism, we show that the miniaturization of a definable problem in W[t] lies in W[t], too. In particular, the miniaturization of the dominating set problem is in W[2].

• Type: Conference
• Year: 2004
• Where: IWPEC
• Authors: Yijia Chen, Jörg Flum
• Keywords: Appropriate Logical Formalism, Dominating Set Problem, IWPEC 2004, Miniaturization