Succinct circuit representations and leaf languages are basically the same concept
This paper connects two topics of Complexity Theory: The topic of succinct circuit representations initiated by Galperin and Wigderson, and the topic of leaf languages. A Boolean circuit c describes in a natural way the word given by the result column in the truth table representation. This way, eac...
| Autores: | , |
|---|---|
| Tipo de recurso: | informe técnico |
| Fecha de publicación: | 1996 |
| País: | España |
| Institución: | Universitat Politècnica de Catalunya (UPC) |
| Repositorio: | UPCommons. Portal del coneixement obert de la UPC |
| Idioma: | inglés |
| OAI Identifier: | oai:upcommons.upc.edu:2117/97245 |
| Acceso en línea: | https://hdl.handle.net/2117/97245 |
| Access Level: | acceso abierto |
| Palabra clave: | Complexity Theory Succinct circuit representations Leaf languages Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
| Sumario: | This paper connects two topics of Complexity Theory: The topic of succinct circuit representations initiated by Galperin and Wigderson, and the topic of leaf languages. A Boolean circuit c describes in a natural way the word given by the result column in the truth table representation. This way, each language A determines its succinct version S(A). It is shown for any language A that its succinct version S(A) is polynomial-time many-one complete for the leaf language defined by A. Also it is shown that if one uses for the succinct version branching programs instead of circuits then one will get complete problems for logspace classes. |
|---|