Deciding first order properties of matroids

Abstrakt

We introduce a notion of locally bounded branch-width and we show that testing first order properties for matroids representable over finite fields that have locally bounded branch-width is fixed parameter tractable.

Klíčová slova

• matroid algorithm
• first order logic
• branch-width