Title:
A Lower Bound for Boolean Permanent in Bijective Boolean Circuits and Its Consequences
A Lower Bound for Boolean Permanent in Bijective Boolean Circuits and Its Consequences
| dc.contributor.author | Sengupta, Rimli | en_US |
| dc.contributor.author | Venkateswaran, H. | |
| dc.date.accessioned | 2005-06-17T18:00:53Z | |
| dc.date.available | 2005-06-17T18:00:53Z | |
| dc.date.issued | 1994 | en_US |
| dc.description.abstract | We identify a new and non-trivial restriction called bijectivity on Boolean circuits and prove an exponential size lower bound for computing the Boolean permanent matching function in this model. As consequences of this lower bound, we show exponential size lower bounds for: (a) computing the Boolean permanent using monotone multilinear circuits; (b) computing the 0-1 permanent function using monotone arithmetic circuits; and (c) computing the lexicographically first bipartite perfect matching function using circuits over (min, concat). The lower bound arguments for the Boolean permanent function are adapted to prove an exponential lower bound for computing the Hamiltonian cycle function using bijective circuits. We identify a class of monotone functions such that if their counting version is #P-hard, then there are no polynomial size bijective circuits for such functions unless PH collapses. | en_US |
| dc.format.extent | 239631 bytes | |
| dc.format.mimetype | application/pdf | |
| dc.identifier.uri | http://hdl.handle.net/1853/6744 | |
| dc.language.iso | en_US | |
| dc.publisher | Georgia Institute of Technology | en_US |
| dc.relation.ispartofseries | CC Technical Report; GIT-CC-94-55 | en_US |
| dc.subject | Bijectivity | |
| dc.subject | Exponential size lower bounds | |
| dc.subject | Boolean circuits | |
| dc.subject | Lower bounds | |
| dc.subject | Boolean permanent functions | |
| dc.title | A Lower Bound for Boolean Permanent in Bijective Boolean Circuits and Its Consequences | en_US |
| dc.type | Text | |
| dc.type.genre | Technical Report | |
| dspace.entity.type | Publication | |
| local.contributor.corporatename | College of Computing | |
| local.relation.ispartofseries | College of Computing Technical Report Series | |
| relation.isOrgUnitOfPublication | c8892b3c-8db6-4b7b-a33a-1b67f7db2021 | |
| relation.isSeriesOfPublication | 35c9e8fc-dd67-4201-b1d5-016381ef65b8 |
Files
Original bundle
1 - 1 of 1