Complexity Landscape for Additional Forcing Variants

Characterize how throttling and Skew Forcing fit into the parameterized-complexity landscape established for initialization, propagation-round limits, and forcing thresholds.

Background

The paper emphasizes that initialization, propagation-round limits, and forcing thresholds do not exhaust the dimensions affecting the complexity of forcing problems. It identifies throttling, which jointly minimizes solution size and propagation time, and Skew Forcing, in which unmarked vertices may also force under an appropriate condition, as additional variants whose complexity relationships remain unresolved.