Two function algebras defining functions in NC k boolean circuits
We describe the functions computed by boolean circuits in NCk by means of func- tions algebra for k ≥ 1 in the spirit of implicit computational complexity. The whole hierarchy defines NC. In other words, we give a recursion-theoretic charac- terization of the complexity classes NCk for k ≥ 1 without...
Gespeichert in:
| Veröffentlicht in: | Information and computation Jg. 248; S. 82 - 103 |
|---|---|
| Hauptverfasser: | , , , |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
Elsevier
01.06.2016
|
| Schlagworte: | |
| ISSN: | 0890-5401, 1090-2651 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | We describe the functions computed by boolean circuits in NCk by means of func- tions algebra for k ≥ 1 in the spirit of implicit computational complexity. The whole hierarchy defines NC. In other words, we give a recursion-theoretic charac- terization of the complexity classes NCk for k ≥ 1 without reference to a machine model, nor explicit bounds in the recursion schema. Actually, we give two equiv- alent description of the classes NCk, f ≥ 1. One is based on a tree structure a` la Leivant, the other is based on words. This latter puts into light the role of computation of pointers in circuit complexity. We show that transducers are a key concept for pointer evaluation. |
|---|---|
| AbstractList | We describe the functions computed by boolean circuits in NCk by means of func- tions algebra for k ≥ 1 in the spirit of implicit computational complexity. The whole hierarchy defines NC. In other words, we give a recursion-theoretic charac- terization of the complexity classes NCk for k ≥ 1 without reference to a machine model, nor explicit bounds in the recursion schema. Actually, we give two equiv- alent description of the classes NCk, f ≥ 1. One is based on a tree structure a` la Leivant, the other is based on words. This latter puts into light the role of computation of pointers in circuit complexity. We show that transducers are a key concept for pointer evaluation. |
| Author | Bonfante, Guillaume Marion, Jean-Yves Kahle, Reinhard Oitavem, Isabel |
| Author_xml | – sequence: 1 givenname: Guillaume surname: Bonfante fullname: Bonfante, Guillaume – sequence: 2 givenname: Reinhard surname: Kahle fullname: Kahle, Reinhard – sequence: 3 givenname: Jean-Yves surname: Marion fullname: Marion, Jean-Yves – sequence: 4 givenname: Isabel surname: Oitavem fullname: Oitavem, Isabel |
| BackLink | https://inria.hal.science/hal-01113342$$DView record in HAL |
| BookMark | eNo9kL1PwzAQxS1UJEphZ_TKkHDnjyQeqwooUgVLd-vsxsUlOChuQfz3pCrq9E7vvTvpftdskvrUMnaHUCJg9bAroy8FoC5RlADmgk0RDBSi0jhhU2jGWSvAK3ad8w4AUatqyubrn56HQ_L72CdO3bZ1A2W-aUNMMW3PUeYx8dcF_-Cu77uWEvdx8Ie4zzfsMlCX29t_nbH10-N6sSxWb88vi_mq8LXGwjgtyVUiOEONCtK0CkjIoA1WqChogqoJUCtthETaIDq3IaFrUuRN3cgZuz-dfafOfg3xk4Zf21O0y_nKHr3xI5RSiW8cu3Dq-qHPeWjDeQHBHmnZnY3eHmlZFHakJf8AAhdeEQ |
| Cites_doi | 10.1147/rd.91.0047 10.1007/BF01620765 10.1145/322234.322243 10.2168/LMCS-5(1:7)2009 10.1007/BF01202288 10.4153/CJM-1965-045-4 10.1007/BF01201998 10.1006/inco.1998.2700 10.1016/0022-0000(81)90038-6 |
| ContentType | Journal Article |
| Copyright | licence_http://creativecommons.org/publicdomain/zero |
| Copyright_xml | – notice: licence_http://creativecommons.org/publicdomain/zero |
| DBID | AAYXX CITATION 1XC VOOES |
| DOI | 10.1016/j.ic.2015.12.009 |
| DatabaseName | CrossRef Hyper Article en Ligne (HAL) Hyper Article en Ligne (HAL) (Open Access) |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering Computer Science |
| EISSN | 1090-2651 |
| EndPage | 103 |
| ExternalDocumentID | oai:HAL:hal-01113342v1 10_1016_j_ic_2015_12_009 |
| GroupedDBID | --K --M --Z -~X .~1 0R~ 1B1 1~. 1~5 29I 4.4 457 4G. 5GY 5VS 6TJ 7-5 71M 8P~ 9DU 9JN AAEDT AAEDW AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AATTM AAXKI AAXUO AAYFN AAYWO AAYXX ABAOU ABBOA ABDPE ABFNM ABJNI ABMAC ABWVN ABXDB ACDAQ ACGFS ACLOT ACNNM ACRPL ACVFH ACZNC ADBBV ADCNI ADEZE ADFGL ADMUD ADNMO ADVLN AEBSH AEIPS AEKER AENEX AEUPX AEXQZ AFJKZ AFPUW AFTJW AGHFR AGQPQ AGUBO AGYEJ AHZHX AIALX AIEXJ AIGII AIIUN AIKHN AITUG AKBMS AKRWK AKYEP ALMA_UNASSIGNED_HOLDINGS AMRAJ ANKPU AOUOD APXCP ARUGR ASPBG AVWKF AXJTR AZFZN BKOJK BLXMC CAG CITATION COF CS3 DM4 DU5 E3Z EBS EFBJH EFKBS EFLBG EJD EO8 EO9 EP2 EP3 FDB FEDTE FGOYB FIRID FNPLU FYGXN G-Q GBLVA GBOLZ HVGLF HZ~ H~9 IHE IXB J1W KOM LG5 LX9 M41 MHUIS MO0 MVM N9A O-L O9- OAUVE OK1 OZT P-8 P-9 P2P PC. Q38 R2- RNS ROL RPZ SDF SDG SDP SES SEW SPC SPCBC SSV SSZ T5K TN5 WH7 WUQ XPP ZMT ZU3 ZY4 ~G- ~HD 1XC ACRLP AHHHB SSW VOOES |
| ID | FETCH-LOGICAL-c751-9b53ab62fb9a84f39e40a23f591614af5a068f07459231ad11bbda257a4ac9783 |
| ISSN | 0890-5401 |
| IngestDate | Wed Nov 05 07:31:26 EST 2025 Sat Nov 29 01:56:33 EST 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Keywords | parallel computation class transducers Boolean circuits NCk |
| Language | English |
| License | licence_http://creativecommons.org/publicdomain/zero/: http://creativecommons.org/publicdomain/zero |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c751-9b53ab62fb9a84f39e40a23f591614af5a068f07459231ad11bbda257a4ac9783 |
| ORCID | 0009-0002-8262-3887 |
| OpenAccessLink | https://inria.hal.science/hal-01113342 |
| PageCount | 22 |
| ParticipantIDs | hal_primary_oai_HAL_hal_01113342v1 crossref_primary_10_1016_j_ic_2015_12_009 |
| PublicationCentury | 2000 |
| PublicationDate | 2016-06-00 |
| PublicationDateYYYYMMDD | 2016-06-01 |
| PublicationDate_xml | – month: 06 year: 2016 text: 2016-06-00 |
| PublicationDecade | 2010 |
| PublicationTitle | Information and computation |
| PublicationYear | 2016 |
| Publisher | Elsevier |
| Publisher_xml | – name: Elsevier |
| References | Elgot (10.1016/j.ic.2015.12.009_br0100) 1965; 9 Sakarovitch (10.1016/j.ic.2015.12.009_br0210) 2009 Leivant (10.1016/j.ic.2015.12.009_br0170) 2000; 236 Ruzzo (10.1016/j.ic.2015.12.009_br0200) 1981; 22 Girard (10.1016/j.ic.2015.12.009_br0110) 1998; 143 Marion (10.1016/j.ic.2015.12.009_br0180) 2009; 5 Cobham (10.1016/j.ic.2015.12.009_br0080) 1962 Bellantoni (10.1016/j.ic.2015.12.009_br0030) 1992; 2 Chandra (10.1016/j.ic.2015.12.009_br0060) 1981; 28 Bonfante (10.1016/j.ic.2015.12.009_br0050) 2008; vol. 5213 Bloch (10.1016/j.ic.2015.12.009_br0040) 1994; 4 Leivant (10.1016/j.ic.2015.12.009_br0160) 1998 Mogbil (10.1016/j.ic.2015.12.009_br0190) 2007; vol. 4514 Simmons (10.1016/j.ic.2015.12.009_br0220) 1988; 27 Goldreich (10.1016/j.ic.2015.12.009_br0120) 2008 Leivant (10.1016/j.ic.2015.12.009_br0150) 1993 Immerman (10.1016/j.ic.2015.12.009_br0130) 1998 Leivant (10.1016/j.ic.2015.12.009_br0140) 1991 Bellantoni (10.1016/j.ic.2015.12.009_br0020) 1995; vol. 960 Edmonds (10.1016/j.ic.2015.12.009_br0090) 1965; 17 Balcázar (10.1016/j.ic.2015.12.009_br0010) 1990; vol. 22 Clote (10.1016/j.ic.2015.12.009_br0070) 1990 |
| References_xml | – volume: vol. 960 start-page: 253 year: 1995 ident: 10.1016/j.ic.2015.12.009_br0020 article-title: Characterizing parallel time by type 2 recursions with polynomial output length – volume: 9 start-page: 47 issue: 1 year: 1965 ident: 10.1016/j.ic.2015.12.009_br0100 article-title: On relations defined by generalized finite automata publication-title: IBM J. Res. Dev. doi: 10.1147/rd.91.0047 – year: 1991 ident: 10.1016/j.ic.2015.12.009_br0140 article-title: A foundational delineation of computational feasibility – volume: 27 start-page: 177 year: 1988 ident: 10.1016/j.ic.2015.12.009_br0220 article-title: The realm of primitive recursion publication-title: Arch. Math. Log. doi: 10.1007/BF01620765 – volume: 28 start-page: 114 year: 1981 ident: 10.1016/j.ic.2015.12.009_br0060 article-title: Alternation publication-title: J. ACM doi: 10.1145/322234.322243 – start-page: 716 year: 1998 ident: 10.1016/j.ic.2015.12.009_br0160 article-title: A characterization of NC by tree recurrence – year: 2008 ident: 10.1016/j.ic.2015.12.009_br0120 – volume: 5 issue: 1 year: 2009 ident: 10.1016/j.ic.2015.12.009_br0180 article-title: On tiered small jump operators publication-title: Log. Methods Comput. Sci. doi: 10.2168/LMCS-5(1:7)2009 – volume: 4 start-page: 175 issue: 2 year: 1994 ident: 10.1016/j.ic.2015.12.009_br0040 article-title: Function-algebraic characterizations of log and polylog parallel time publication-title: Comput. Complex. doi: 10.1007/BF01202288 – volume: 17 start-page: 449 year: 1965 ident: 10.1016/j.ic.2015.12.009_br0090 article-title: Paths, trees, and flowers publication-title: Can. J. Math. doi: 10.4153/CJM-1965-045-4 – volume: 2 start-page: 97 year: 1992 ident: 10.1016/j.ic.2015.12.009_br0030 article-title: A new recursion-theoretic characterization of the poly-time functions publication-title: Comput. Complex. doi: 10.1007/BF01201998 – start-page: 24 year: 1962 ident: 10.1016/j.ic.2015.12.009_br0080 article-title: The intrinsic computational difficulty of functions – volume: vol. 22 year: 1990 ident: 10.1016/j.ic.2015.12.009_br0010 article-title: Structural Complexity II – volume: 143 start-page: 175 issue: 2 year: 1998 ident: 10.1016/j.ic.2015.12.009_br0110 article-title: Light linear logic publication-title: Inf. Comput. doi: 10.1006/inco.1998.2700 – volume: 236 start-page: 192 issue: 1–2 year: 2000 ident: 10.1016/j.ic.2015.12.009_br0170 article-title: A characterization of alternating log time by ramified recurrence publication-title: Theor. Comput. Sci. – start-page: 49 year: 1990 ident: 10.1016/j.ic.2015.12.009_br0070 article-title: Sequential, machine independent characterizations of the parallel complexity classes ALogTIME, ACk, NCk and NC – volume: vol. 5213 year: 2008 ident: 10.1016/j.ic.2015.12.009_br0050 article-title: Recursion schemata for NCk – year: 2009 ident: 10.1016/j.ic.2015.12.009_br0210 – year: 1993 ident: 10.1016/j.ic.2015.12.009_br0150 article-title: Stratified functional programs and computational complexity – year: 1998 ident: 10.1016/j.ic.2015.12.009_br0130 – volume: vol. 4514 start-page: 401 year: 2007 ident: 10.1016/j.ic.2015.12.009_br0190 article-title: Uniform circuits, & boolean proof nets – volume: 22 start-page: 365 year: 1981 ident: 10.1016/j.ic.2015.12.009_br0200 article-title: On uniform circuit complexity publication-title: J. Comput. Syst. Sci. doi: 10.1016/0022-0000(81)90038-6 |
| SSID | ssj0011546 |
| Score | 2.088418 |
| Snippet | We describe the functions computed by boolean circuits in NCk by means of func- tions algebra for k ≥ 1 in the spirit of implicit computational complexity. The... |
| SourceID | hal crossref |
| SourceType | Open Access Repository Index Database |
| StartPage | 82 |
| SubjectTerms | Computational Complexity Computer Science |
| Title | Two function algebras defining functions in NC k boolean circuits |
| URI | https://inria.hal.science/hal-01113342 |
| Volume | 248 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1090-2651 dateEnd: 20171231 omitProxy: false ssIdentifier: ssj0011546 issn: 0890-5401 databaseCode: AIEXJ dateStart: 19950101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3Lb9MwGLfKxgEOPAaI8ZKFuKAqKE7zsI-hbGq3KUyih3KKbMfZspV06iP0z-dzbKetuIwDF6uyrcby79Pn7_0h9AnUWAHPBvciXzBQUGTpMaWkF1MZKgBFUVm0zSaSLKPTKbvs9TYuF6aZJXVNNxt291-hhjkAW6fO_gPc3Z_CBPwG0GEE2GG8H_C_5339WpkW4LMr7Rle9gtVtq0guqU2DjYb9m_7IGfPtD1eVgu5rkxlJyev2myllQtalm0TiD3v_dd5XWp4Wgv7WjcxWv_qqOVcd1c2MFa1y-C35Qsq4_A_g297P5ttLOP3asUb1dLpeMmFjem3lgkSbyOojLnMvu27HI35OhLD7FGG4_owF8Sm6uxf_NyYFm6-VLraJIlay63Ptm-X89eP0h_55bfT_GKcne-v7sQbjtILGK_5DE5JQDcPgwb05sMgiRjww8N0fDI96zxQxCZ5uSNbF7eJDdw_zp5I8-DaWeRbCWXyDD2xqgVODUk8Rz1VH6Gnrm0Htlz8CD3eqUH5AqVAL9gRBXb0gh29dEtLXNU4G-JbbOkFO3p5iSanJ5PhyLN9NTyZRMRjIhpwEQelYJyG5YCp0OfBoIxAUyAhLyPux7QE0TLSwj8vCBGi4MDaecilthS-Qgf1vFavEY4EiUsQ-QQvZEgLSnkR0yQQQREq-Ag5Rp_dzeR3pnpK7sIKb_JK5voWcxLkcIvH6CNcXbdNlz0HwHI9t4XrzX02vUWPtuT4Dh2sFmv1Hj2UzapaLj5YoP8AeShw5g |
| linkProvider | Elsevier |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Two+function+algebras+defining+functions+in+NC+k+boolean+circuits&rft.jtitle=Information+and+computation&rft.au=Bonfante%2C+Guillaume&rft.au=Kahle%2C+Reinhard&rft.au=Marion%2C+Jean-Yves&rft.au=Oitavem%2C+Isabel&rft.date=2016-06-01&rft.pub=Elsevier&rft.issn=0890-5401&rft.eissn=1090-2651&rft_id=info:doi/10.1016%2Fj.ic.2015.12.009&rft.externalDBID=HAS_PDF_LINK&rft.externalDocID=oai%3AHAL%3Ahal-01113342v1 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0890-5401&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0890-5401&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0890-5401&client=summon |