GAP vs. PAG
We propose a parametrized version of arity gap. The parametrized arity gap gap(f, ℓ) of a function f: A n → B measures the minimum decrease in the number of essential variables of f when ℓ consecutive identifications of pairs of essential variables are performed. We determine gap(f, ℓ) for an arbitr...
Saved in:
Published in | 2012 IEEE 42nd International Symposium on Multiple-Valued Logic pp. 268 - 273 |
---|---|
Main Authors | , , |
Format | Conference Proceeding |
Language | English |
Published |
IEEE
01.05.2012
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
Abstract | We propose a parametrized version of arity gap. The parametrized arity gap gap(f, ℓ) of a function f: A n → B measures the minimum decrease in the number of essential variables of f when ℓ consecutive identifications of pairs of essential variables are performed. We determine gap(f, ℓ) for an arbitrary function f and a positive integer ℓ. We also propose other variants of arity gap and discuss further problems pertaining to the effect of identification of variables on the number of essential variables of functions. |
---|---|
AbstractList | We propose a parametrized version of arity gap. The parametrized arity gap gap(f, ℓ) of a function f: A n → B measures the minimum decrease in the number of essential variables of f when ℓ consecutive identifications of pairs of essential variables are performed. We determine gap(f, ℓ) for an arbitrary function f and a positive integer ℓ. We also propose other variants of arity gap and discuss further problems pertaining to the effect of identification of variables on the number of essential variables of functions. |
Author | Lehtonen, E. Couceiro, M. Waldhauser, T. |
Author_xml | – sequence: 1 givenname: M. surname: Couceiro fullname: Couceiro, M. email: miguel.couceiro@uni.lu organization: Fac. of Sci., Technol. & Commun., Univ. of Luxembourg, Luxembourg, Luxembourg – sequence: 2 givenname: E. surname: Lehtonen fullname: Lehtonen, E. email: erkko.lehtonen@uni.lu organization: Fac. of Sci., Technol. & Commun., Univ. of Luxembourg, Luxembourg, Luxembourg – sequence: 3 givenname: T. surname: Waldhauser fullname: Waldhauser, T. email: tamas.waldhauser@uni.lu organization: Fac. of Sci., Technol. & Commun., Univ. of Luxembourg, Luxembourg, Luxembourg |
BookMark | eNotjF1Lw0AQRUetYBL76JMv_QNJZ2azs5nHUGwspFjwA99KNtlARKs0IvjvDSpcuNxz4cQwO7wfAsAVYUaEutzcb5_qjJF42icQoxO1uTiDpxCxcUXKzHIGc3UF_XLFAmcQIalNhc3zBcTj-ILIyA4jSKpyt_gas8WurC7hvG9exzD_7wQe1zcPq9u0vqs2q7JOB3L2M1Ubur6TrqXWip88UwRFpW0C-d7kvZPgcuunn3IfLCkZ7chrb9rWq0ng-s87hBD2H8fhrTl-74UpLxjND85sOYI |
ContentType | Conference Proceeding |
DBID | 6IE 6IH CBEJK RIE RIO |
DOI | 10.1109/ISMVL.2012.11 |
DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Proceedings Order Plan (POP) 1998-present by volume IEEE Xplore All Conference Proceedings IEEE/IET Electronic Library (IEL) IEEE Proceedings Order Plans (POP) 1998-present |
DatabaseTitleList | |
Database_xml | – sequence: 1 dbid: RIE name: IEEE/IET Electronic Library (IEL) url: https://proxy.k.utb.cz/login?url=https://ieeexplore.ieee.org/ sourceTypes: Publisher |
DeliveryMethod | fulltext_linktorsrc |
Discipline | Mathematics |
EISBN | 0769546730 9780769546735 |
EISSN | 2378-2226 |
EndPage | 273 |
ExternalDocumentID | 6214820 |
Genre | orig-research |
GroupedDBID | --Z -~X 23M 29O 6IE 6IF 6IH 6IK 6IL 6IM 6IN AAJGR ABLEC ADZIZ AFFNX ALMA_UNASSIGNED_HOLDINGS BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK CHZPO G8K IEGSK IJVOP IPLJI JC5 M43 OCL RIE RIG RIL RIO RNS |
ID | FETCH-LOGICAL-i175t-95edfd6dc1c56b20220260696cae1bf34f76e745b1c514be519139d1b9f3ccb93 |
IEDL.DBID | RIE |
ISBN | 9781467309080 1467309087 |
ISSN | 0195-623X |
IngestDate | Wed Jun 26 19:23:59 EDT 2024 |
IsPeerReviewed | false |
IsScholarly | true |
Language | English |
LinkModel | DirectLink |
MergedId | FETCHMERGED-LOGICAL-i175t-95edfd6dc1c56b20220260696cae1bf34f76e745b1c514be519139d1b9f3ccb93 |
PageCount | 6 |
ParticipantIDs | ieee_primary_6214820 |
PublicationCentury | 2000 |
PublicationDate | 2012-May |
PublicationDateYYYYMMDD | 2012-05-01 |
PublicationDate_xml | – month: 05 year: 2012 text: 2012-May |
PublicationDecade | 2010 |
PublicationTitle | 2012 IEEE 42nd International Symposium on Multiple-Valued Logic |
PublicationTitleAbbrev | ismvl |
PublicationYear | 2012 |
Publisher | IEEE |
Publisher_xml | – name: IEEE |
SSID | ssj0020270 ssib015832953 ssj0000703636 |
Score | 1.8636627 |
Snippet | We propose a parametrized version of arity gap. The parametrized arity gap gap(f, ℓ) of a function f: A n → B measures the minimum decrease in the number of... |
SourceID | ieee |
SourceType | Publisher |
StartPage | 268 |
SubjectTerms | Cognition Educational institutions Electronic mail Polynomials Upper bound |
Title | GAP vs. PAG |
URI | https://ieeexplore.ieee.org/document/6214820 |
hasFullText | 1 |
inHoldings | 1 |
isFullTextHit | |
isPrint | |
link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV07T8MwELZKJ7rwaBFvZWDEqeM4jj1WiLYggipBUbcqds4SQmoRTRn49dhOkyLEwJbHknPOvjv7-75D6EqJ3CSikFgSzTEzCWCVFoC1UKBUHAPxvLXskY-n7H6WzFrouuHCAIAHn0HoLv1ZfrHUa7dV1ufUqVbaAn1HEFpxtWrfiRLrmvWJkF-FvbIUb4ovW36RujehDfkzT_Li1r8lEWmt_bS5J1sxzv7dU_by4CBgNHRdhn60YPERaLiHsvrbK-DJW7guVai_fsk6_te4fdTbcv2CSRPFDlALFoeokzVqrqsu6owGk-BzFQaTwaiHpsPb55sx3jRRwK82MyixTKAwBS90pBOuqCPW2hKGS65ziJSJmUk5pCxR9n3EFNiMziaFRaSkibVWMj5C7cVyAccoABppSoAxLXOmCBd2bhtORQSa5sbIE9R1Zs3fK52M-cai078fn6FdN6oVePActcuPNVzYAF-qS_9nvwHesJmF |
link.rule.ids | 310,311,786,790,795,796,802,27956,55107 |
linkProvider | IEEE |
linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV07T8MwED5VZQAWHi3iTQZGkjqJ48RjhegDmqoSLepW1c5ZQkgtoikDvx7baVKEGNjiePHFl3x38X3fAdyKZK6iJOMuJ5K5VEXoijhDVyYChQhDJJa3lg5Zb0Ifp9G0BncVFwYRbfEZeubSnuVnS7k2v8paLDCqlTpB39E4T-KCrVV6jx9p5yzPhOx32GpLsSr90gkYKbsTatCfWpoX0x7OSRKX6k-bMdnKcbb6z-nLwBSBBZ7pM_SjCYvFoM4BpOXqi9KTN2-dC09-_RJ2_K95h9Dcsv2cUYVjR1DDxTHsp5We66oB-932yPlcec6o3W3CpPMwvu-5mzYK7quODXKXR5ipjGXSlxETgaHW6iSGcSbn6AsVUhUzjGkk9LxPBeqYToeFmS-4CqUUPDyB-mK5wFNwMPBlQJBSyedUEJbot1uxIPFRBnOl-Bk0jFmz90IpY7ax6Pzv2zew2xung9mgP3y6gD3zhItSwkuo5x9rvNJwn4tru8vfOXic2Q |
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%3Abook&rft.genre=proceeding&rft.title=2012+IEEE+42nd+International+Symposium+on+Multiple-Valued+Logic&rft.atitle=GAP+vs.+PAG&rft.au=Couceiro%2C+M.&rft.au=Lehtonen%2C+E.&rft.au=Waldhauser%2C+T.&rft.date=2012-05-01&rft.pub=IEEE&rft.isbn=9781467309080&rft.issn=0195-623X&rft.eissn=2378-2226&rft.spage=268&rft.epage=273&rft_id=info:doi/10.1109%2FISMVL.2012.11&rft.externalDocID=6214820 |
thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0195-623X&client=summon |
thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0195-623X&client=summon |
thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0195-623X&client=summon |