Functionals Using Bounded Information and the Dynamics of Algorithms

We consider computable functionals mapping the Baire space into the set of integers. By continuity, the value of the functional on a given function depends only on a "critical" finite part of this function. Care: there is in general no way to compute this critical finite part without query...

Full description

Saved in:
Bibliographic Details
Published in:2012 27th Annual IEEE Symposium on Logic in Computer Science pp. 345 - 354
Main Authors: Grigorieff, S., Valarcher, P.
Format: Conference Proceeding
Language:English
Published: IEEE 01.06.2012
Subjects:
Abstract state machines
Abstracts
Algorithm design and analysis
Computational modeling
Computer science
Heuristic algorithms
Operational semantics
Semantics
Theory of Algorithms
Topology
Type 2 computability
ISBN:1467322636, 9781467322638
ISSN:1043-6871
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract We consider computable functionals mapping the Baire space into the set of integers. By continuity, the value of the functional on a given function depends only on a "critical" finite part of this function. Care: there is in general no way to compute this critical finite part without querying the function on an arbitrarily larger finite part! Nevertheless, things are different in case there is a uniform bound on the size of the domain of this critical finite part. We prove that, modulo a quadratic blow-up of the bound, one can compute the value of the functional by an algorithm which queries the input function on a uniformly bounded finite part. Up to a constant factor, this quadratic blow-up is optimal. We also characterize such functionals in topological terms using uniformities. As an application of these results, we get a topological characterization of the dynamics of algorithms as modeled by Gurevich's Abstract State Machines.
AbstractList We consider computable functionals mapping the Baire space into the set of integers. By continuity, the value of the functional on a given function depends only on a "critical" finite part of this function. Care: there is in general no way to compute this critical finite part without querying the function on an arbitrarily larger finite part! Nevertheless, things are different in case there is a uniform bound on the size of the domain of this critical finite part. We prove that, modulo a quadratic blow-up of the bound, one can compute the value of the functional by an algorithm which queries the input function on a uniformly bounded finite part. Up to a constant factor, this quadratic blow-up is optimal. We also characterize such functionals in topological terms using uniformities. As an application of these results, we get a topological characterization of the dynamics of algorithms as modeled by Gurevich's Abstract State Machines.
Author Grigorieff, S.
Valarcher, P.
Author_xml – sequence: 1
  givenname: S.
  surname: Grigorieff
  fullname: Grigorieff, S.
  email: seg@liafa.jussieu.fr
  organization: LIAFA, Univ. Paris 7 - Denis Diderot, Paris, France
– sequence: 2
  givenname: P.
  surname: Valarcher
  fullname: Valarcher, P.
  email: pierre.valarcher@u-pec.fr
  organization: LACL, Univ. de Paris-Est, Marne-la-Vallee, France
BookMark eNotjzFPwzAUhI0oEk1hY2PxH0h4tp-deCwphUiRGKBz5cR2G9Q4KE6H_nuCYLkbTt-dLiGLMARHyAODjDHQT3VVfmQcGM9QXpEEcqUlzqKvScJQ5YJzJdSCLBmgSFWRs1uSxPgFAFwhLMlmew7t1A3BnCLdxS4c6PNwDtZZWgU_jL35DakJlk5HRzeXYPqujXTwdH06DGM3Hft4R278zLv7f1-R3fbls3xL6_fXqlzXqeHIpnmeO-S6QbCtcm3RFpqhaJ0HaxkCWgGqkV6DRyn9_KLJPePaSt1wZRotVuTxr7dzzu2_x64342WveAEohfgBlnlM4g
CODEN IEEPAD
ContentType Conference Proceeding
DBID 6IE
6IH
CBEJK
RIE
RIO
DOI 10.1109/LICS.2012.45
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Proceedings Order Plan (POP) 1998-present by volume
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP) 1998-present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 0769547699
9780769547695
EndPage 354
ExternalDocumentID 6280453
Genre orig-research
GroupedDBID --Z
23M
29P
6IE
6IF
6IH
6IK
6IL
6IM
6IN
AAJGR
AAWTH
ADZIZ
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
CHZPO
IEGSK
IJVOP
IPLJI
M43
OCL
RIE
RIL
RIO
RNS
ID FETCH-LOGICAL-a241t-682e429b40dc6ec8c89143cef0dd1404d306b5f90f455f769b7f129d59b26ab93
IEDL.DBID RIE
ISBN 1467322636
9781467322638
ISICitedReferencesCount 0
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000309059900040&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 1043-6871
IngestDate Wed Aug 27 04:59:11 EDT 2025
IsPeerReviewed false
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-a241t-682e429b40dc6ec8c89143cef0dd1404d306b5f90f455f769b7f129d59b26ab93
PageCount 10
ParticipantIDs ieee_primary_6280453
PublicationCentury 2000
PublicationDate 2012-June
PublicationDateYYYYMMDD 2012-06-01
PublicationDate_xml – month: 06
  year: 2012
  text: 2012-June
PublicationDecade 2010
PublicationTitle 2012 27th Annual IEEE Symposium on Logic in Computer Science
PublicationTitleAbbrev lics
PublicationYear 2012
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssj0002640
ssib035550373
ssj0000781193
Score 1.8014299
Snippet We consider computable functionals mapping the Baire space into the set of integers. By continuity, the value of the functional on a given function depends...
SourceID ieee
SourceType Publisher
StartPage 345
SubjectTerms Abstract state machines
Abstracts
Algorithm design and analysis
Computational modeling
Computer science
Heuristic algorithms
Operational semantics
Semantics
Theory of Algorithms
Topology
Type 2 computability
Title Functionals Using Bounded Information and the Dynamics of Algorithms
URI https://ieeexplore.ieee.org/document/6280453
WOSCitedRecordID wos000309059900040&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV07T8MwED61FQNTgRbxlgdG0oY87HiEQgUSqioBUrfKT6gECWpSfj9nJy0dWNjyWKKz4-_Ovu_7AC5xIK1IIoNliQ2DxIYproNaBAk1QlKJBQKtzSbYZJLNZnzagqsNF8YY45vPzMBd-rN8XaiV2yob0ijDDCRuQ5sxVnO11nMHYTMN4waK_SrsKJRbHEkE_kaZIA4oVgme5EUZzmca07X2U3OfbTrk-fDpcfTsOsCigWM8bTmweAAad__36XvQ_2XykekGo_ahZfID6K6tHEjzZ_fgboz4Vm8LlsS3EZBbZ7hkNGkIS-4lEbkmmDGSu9rHviSFJTcfb8VyUb1_ln14Hd-_jB6CxmAhEAjcFcYhMohHMgm1okZlKuOYPiljQ62d7I7GekKmloc2SVPLKJfMYn6gUy4jKiSPD6GTF7k5AuIcsJjKUqFVmBiGWch1ppXTD4vdySs9hp4Lyvyr1tCYN_E4-fvxKey6kNctWWfQqZYrcw476rtalMsLP_A_bzekQg
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NT8JAEJ0gmugJFYzf7sGjhdLubtujggQiEhIx4Uba_VASbU1b_P3OtgU5ePHWbS_N7Oy-md158wBucSJ1SB2FaYm2LapthvugDC3KVRjxCBMEXopNeJOJP58H0xrcbbgwSqmi-Ey1zWNxly8TsTJHZR3u-BiBuDuwyyh1uiVba-09CJzMdiswLvZhQ6LcYkki9Fe9CVyLY55Q0Ly4hx7NXb7u_lSN_U2NfNAZj3ovpgbMaRvO05YGSwFBg8b_fv4QWr9cPjLdoNQR1FR8DI21mAOp1nYT-gNEuPJgMCNFIQF5MJJLSpKKsmQ-kjCWBGNG0i-V7DOSaHL_8Zaky_z9M2vB6-Bx1htalcSCFSJ052gHRyEiRdSWgivhCz_AAEoobUtpGu9IzCgipgNbU8a0x4PI0xghSBZEDg-jwD2BepzE6hSI0cDyhM9CKWyqPIxDur4UpoOYa-5e-Rk0jVEWX2UXjUVlj_O_X9_A_nD2PF6MR5OnCzgw5i8LtC6hnqcrdQV74jtfZul14QQ_NBOniQ
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+27th+Annual+IEEE+Symposium+on+Logic+in+Computer+Science&rft.atitle=Functionals+Using+Bounded+Information+and+the+Dynamics+of+Algorithms&rft.au=Grigorieff%2C+S.&rft.au=Valarcher%2C+P.&rft.date=2012-06-01&rft.pub=IEEE&rft.isbn=9781467322638&rft.issn=1043-6871&rft.spage=345&rft.epage=354&rft_id=info:doi/10.1109%2FLICS.2012.45&rft.externalDocID=6280453
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1043-6871&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1043-6871&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1043-6871&client=summon