Every ternary permutation constraint satisfaction problem parameterized above average has a kernel with a quadratic number of variables

Gregory Gutin, Leo van Iersel, Matthias Mnich, Anders Yeo

Research output: Contribution to journalArticleScientificpeer-review

22 Citations (Scopus)

Abstract

A ternary Permutation-CSP is specified by a subset Π of the symmetric group . An instance of such a problem consists of a set of variables V and a multiset of constraints, which are ordered triples of distinct variables of V. The objective is to find a linear ordering α of V that maximizes the number of triples whose rearrangement (under α) follows a permutation in Π. We prove that every ternary Permutation-CSP parameterized above average has a kernel with a quadratic number of variables.
Original languageEnglish
Pages (from-to)151-163
Number of pages13
JournalJournal of Computer and System Sciences
Volume78
Issue number1
DOIs
Publication statusPublished - 2012
Externally publishedYes

Fingerprint

Dive into the research topics of 'Every ternary permutation constraint satisfaction problem parameterized above average has a kernel with a quadratic number of variables'. Together they form a unique fingerprint.

Cite this