Weak bases for relational clones and their uses
Year: 2025
Type: article
Abstract: A weak base of a relational clone π on a finite set is a finite generating system π β π of π = [π]ββ§= that generates the smallest weak system π_π = [π]β§= among all weak systems π with equality having the property Pol π = Pol π, that is, among those relational systems π = [π]β§= sharing the same polymorphisms with π. Many computational problems in theoretical computer science are parametrised by finite sets of relations, for example, constraint satisfaction problems, or they can be rephrased in that form. The relative difficulty of such computational problems is compared using an appropriate notion of reduction for the type of problem (e.g., decision, counting, optimisation, approximation problem etc.). If π
, π
' are finite parameter sets of relations, then expressibility relationships of the form π
β [π
'] typically lead to reductions π―(π
) β€ π―(π
') among the parametrised problems. Here [ ] denotes a closure operator on finitary relations that is appropriate for the type of problem π― and the sort of reduction β€ under consideration. The most basic closure that works for many problems and reductions is expressibility by conjunctive formulΓ¦ [ ]β§=; a familiar expressibility notion that works for constraint satisfaction decision problems (but not in every other case) is primitive positive closure [ ]ββ§=. Weak bases can help to reduce the effort of obtaining sufficiently many reductions in complexity classifications by lowering the strength of the closure operator [ ] for which one needs to show that π
β [π
'] implies π―(π
) β€ π―(π
'): namely, the operator [ ] = [ ]β§= suffices for arbitrary weak bases, and the even weaker closure [ ] = [ ]β§ suffices for weak bases consisting of irredundant proper relations. In the context of complexity classifications, weak bases with irredundant proper relations can thus be used to identify weakest hard problems. In the talk we shall review some details of how this works, look at concrete families of weak bases, consider problems where this approach has been successfully applied in the past, and discuss some recent results about weak bases, as well as some prospects for future investigation.
Source: reposiTUm (TU Wien)
DOI: 10.34726/8859
Author: Behrisch, Mike
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W6946270071
FWCI:
Cites:
Cited by:
Related to: