The "Art of Trellis Decoding" Is Fixed-Parameter Tractable

Given n subspaces of a finite-dimensional vector space over a fixed finite field F, we wish to find a linear layout V 1 , V 2 ,..., V n of the subspaces such that dim((V 1 + V 2 + ··· + V i ) ∩ (V i+1 + ··· + V n )) ≤ k for all i; such a linear layout is said to have width at most k. When restricted...

Ausführliche Beschreibung