Biclique coverings, rectifier networks and the cost of ε-removal

Szabolcs Iván
Judit Nagy-György
Balázs Szörényi
György Turán
Proceedings of the 16th International Workshop on Descriptional Complexity of Formal Systems(2014)

Abstract

We relate two complexity notions of bipartite graphs: the minimal weight biclique covering number Cov(G) and the minimal rectifier network size Rect(G) of a bipartite graph G. We show that there exist graphs with Cov(G)≥Rect(G)3/2−ϵ. As a corollary, we establish that there exist nondeterministic finite automata (NFAs) with ε-transitions, having n transitions total such that the smallest equivalent ε-free NFA has Ω(n3/2−ϵ) transitions. We also formulate a version of previous bounds for the weighted set cover problem and discuss its connections to giving upper bounds for the possible blow-up.

Research Areas