Maximum Matching and Linear Programming in Fixed-Point Logic with Counting

We establish the expressibility in fixed-point logic with counting (FPC) of a number of natural polynomial-time problems. In particular, we show that the size of a maximum matching in a graph is definable in FPC. This settles an open problem first posed by Blass, Gurevich and Shelah [1], who asked w...

Full description

Bibliographic Details

Published in:	2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science pp. 173 - 182
Main Authors:	Anderson, Matthew, Dawar, Anuj, Holm, Bjarki
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.06.2013
Subjects:	Ellipsoids Encoding fixed-point logic with counting Linear programming maximum flow maximum matching minimum cut minimum odd cut Optimization Polynomials Vectors Vocabulary
ISBN:	1479904139, 9781479904136
ISSN:	1043-6871
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!