On Symbolic Representations of Maximum Matchings and (Un)directed Graphs - Theoretical Computer Science Access content directly
Conference Papers Year : 2010

On Symbolic Representations of Maximum Matchings and (Un)directed Graphs

Beate Bollig
  • Function : Author

Abstract

The maximum matching problem is one of the most fundamental algorithmic graph problems and OBDDs are one of the most common dynamic data structures for Boolean functions. Since in some applications graphs become larger and larger, a research branch has emerged which is concerned with the theoretical design and analysis of so-called symbolic algorithms for classical graph problems on OBDD-represented graph instances. Typically problems get harder when their input is represented symbolically, nevertheless not many concrete non-trivial lower bounds are known. Here, it is shown that symbolic OBDD-based algorithms for the maximum matching problem need exponential space (with respect to the OBDD size of the input graph). Furthermore, it is shown that OBDD-representations for undirected graphs can be exponentially larger than OBDD-representations for their directed counterparts and vice versa.
Fichier principal
Vignette du fichier
03230286.pdf (179.12 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01054452 , version 1 (06-08-2014)

Licence

Attribution

Identifiers

Cite

Beate Bollig. On Symbolic Representations of Maximum Matchings and (Un)directed Graphs. 6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.286-300, ⟨10.1007/978-3-642-15240-5_21⟩. ⟨hal-01054452⟩
154 View
156 Download

Altmetric

Share

Gmail Facebook X LinkedIn More