Keyboard shortcuts

Press ← or → to navigate between chapters

Press ? to show this help

Press Esc to hide this help

Continuation Sets with Slack

Abstract

Continuations encode the slack above a level sequence prefix.

Definition 1.1 (Continuation set).

Lean statement: D5/S3/Combinatorics/LevelSequence/LevelSequenceSlack.continuations

Formalization. D5/S3/Combinatorics/LevelSequence/LevelSequenceSlack.continuations (✓ std3).

Source. Repository-derived.

Acknowledgement. Toufik Mansour (2026). Wilf Classes for Level Sequences Avoiding Patterns of Length Three. DOI: 10.3390/math14111983. URL: https://www.mdpi.com/2227-7390/14/11/1983.

Commentary.

For slack s and size n, the continuation set consists of words of length n whose entries are bounded by their positions after a prefix of s zero entries and whose patterns avoid 101 and 102.

References