We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.FL

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Formal Languages and Automata Theory

Title: Biclique coverings, rectifier networks and the cost of $\varepsilon$-removal

Abstract: We relate two complexity notions of bipartite graphs: the minimal weight biclique covering number $\mathrm{Cov}(G)$ and the minimal rectifier network size $\mathrm{Rect}(G)$ of a bipartite graph $G$. We show that there exist graphs with $\mathrm{Cov}(G)\geq \mathrm{Rect}(G)^{3/2-\epsilon}$. As a corollary, we establish that there exist nondeterministic finite automata (NFAs) with $\varepsilon$-transitions, having $n$ transitions total such that the smallest equivalent $\varepsilon$-free NFA has $\Omega(n^{3/2-\epsilon})$ 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.
Comments: 12 pages, to appear in proceedings of DCFS 2014: 16th International Conference on Descriptional Complexity of Finite-State Systems
Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM)
MSC classes: 68R10
ACM classes: G.2.2; F.1.1
Cite as: arXiv:1406.0017 [cs.FL]
  (or arXiv:1406.0017v1 [cs.FL] for this version)

Submission history

From: Szabolcs Iván [view email]
[v1] Fri, 30 May 2014 21:17:39 GMT (20kb)

Link back to: arXiv, form interface, contact.