Probabilistic Recursion Theory and Implicit Computational Complexity

We show that probabilistic computable functions, i.e., those functions outputting distributions and computed by probabilistic Turing machines, can be characterized by a natural generalization of Church and Kleene's partial recursive functions. The obtained algebra, following Leivant, can be res...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Scientific annals of computer science Ročník 24; číslo 2; s. 177
Hlavní autoři: Lago, Ugo Dal, Zuppiroli, Sara, Gabbrielli, Maurizio
Médium: Journal Article
Jazyk:angličtina
Vydáno: Iasi Alexandru Ioan Cuza University of Iasi 01.01.2014
Témata:
Complexity
Computation
Cryptography
Mathematical analysis
Mathematical models
Probabilistic methods
Probability theory
Recursion
ISSN:1843-8121, 2248-2695
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Abstract We show that probabilistic computable functions, i.e., those functions outputting distributions and computed by probabilistic Turing machines, can be characterized by a natural generalization of Church and Kleene's partial recursive functions. The obtained algebra, following Leivant, can be restricted so as to capture the notion of a polytime sampleable distribution, a key concept in average-case complexity and cryptography.
AbstractList We show that probabilistic computable functions, i.e., those func- tions outputting distributions and computed by probabilistic Turing machines, can be characterized by a natural generalization of Church and Kleene’s partial recursive functions. The obtained algebra, following Leivant, can be restricted so as to capture the notion of a polytime sampleable distribution, a key concept in average-case complexity and cryptography.
We show that probabilistic computable functions, i.e., those functions outputting distributions and computed by probabilistic Turing machines, can be characterized by a natural generalization of Church and Kleene's partial recursive functions. The obtained algebra, following Leivant, can be restricted so as to capture the notion of a polytime sampleable distribution, a key concept in average-case complexity and cryptography.
Author Lago, Ugo Dal
Zuppiroli, Sara
Gabbrielli, Maurizio
Author_xml – sequence: 1
  givenname: Ugo
  surname: Lago
  middlename: Dal
  fullname: Lago, Ugo Dal
– sequence: 2
  givenname: Sara
  surname: Zuppiroli
  fullname: Zuppiroli, Sara
– sequence: 3
  givenname: Maurizio
  surname: Gabbrielli
  fullname: Gabbrielli, Maurizio
BookMark eNpdkMtLw0AQxhepYK09ew148ZKYfc8eS3wVCoqt57DZbHRLko2bBOx_b2o9OZfhm_n4zeMSzVrfWoSucZpILvDddpVtE5JilpAES3mG5oQwiIlQfIbmGBiNARN8gZZ9v0-noIqBonN0_xp8oQtXu35wJnqzZgy98220-7Q-HCLdltG66Wpn3BBlvunGQQ9TX9e_qrbfbjhcofNK171d_uUFen982GXP8eblaZ2tNrGhgg6x5QWvFJ1EwbjBJTDQynItBUBhsUgVr0oDUJWpJQW1hCtplCo0sZxO29MFWp-4pdf7vAuu0eGQe-3y34IPH7kO0xm1zctUKw2y5JWpGMNWSalAas5AABYgJ9btidUF_zXafsgb1xtb17q1fuxzLIQCkIIfx978s-79GKYXHF2MY8ZSIugP7bp15w
ContentType Journal Article
Copyright Copyright Alexandru Ioan Cuza University of Iasi 2014
Copyright_xml – notice: Copyright Alexandru Ioan Cuza University of Iasi 2014
DBID 3V.
7SC
7XB
8AL
8FD
8FE
8FG
8FK
ABUWG
AFKRA
ARAPS
AZQEC
BENPR
BGLVJ
BYOGL
CCPQU
DWQXO
GNUQQ
HCIFZ
JQ2
K7-
L7M
L~C
L~D
M0N
P5Z
P62
PHGZM
PHGZT
PKEHL
PQEST
PQGLB
PQQKQ
PQUKI
PRINS
Q9U
DOA
DOI 10.7561/SACS.2014.2.177
DatabaseName ProQuest Central (Corporate)
Computer and Information Systems Abstracts
ProQuest Central (purchase pre-March 2016)
Computing Database (Alumni Edition)
Technology Research Database
ProQuest SciTech Collection
ProQuest Technology Collection
ProQuest Central (Alumni) (purchase pre-March 2016)
ProQuest Central (Alumni)
ProQuest Central UK/Ireland
Advanced Technologies & Computer Science Collection
ProQuest Central Essentials
ProQuest Central
Technology Collection
East Europe, Central Europe Database
ProQuest One Community College
ProQuest Central
ProQuest Central Student
SciTech Premium Collection
ProQuest Computer Science Collection
Computer Science Database
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts – Academic
Computer and Information Systems Abstracts Professional
Computing Database
ProQuest advanced technologies & aerospace journals
ProQuest Advanced Technologies & Aerospace Collection
ProQuest Central Premium
ProQuest One Academic (New)
ProQuest One Academic Middle East (New)
ProQuest One Academic Eastern Edition (DO NOT USE)
ProQuest One Applied & Life Sciences
ProQuest One Academic (retired)
ProQuest One Academic UKI Edition
ProQuest Central China
ProQuest Central Basic
DOAJ Directory of Open Access Journals
DatabaseTitle Computer Science Database
ProQuest Central Student
Technology Collection
Technology Research Database
Computer and Information Systems Abstracts – Academic
ProQuest One Academic Middle East (New)
ProQuest Advanced Technologies & Aerospace Collection
ProQuest Central Essentials
ProQuest Computer Science Collection
Computer and Information Systems Abstracts
ProQuest Central (Alumni Edition)
SciTech Premium Collection
ProQuest One Community College
ProQuest Central China
ProQuest Central
ProQuest One Applied & Life Sciences
ProQuest Central Korea
ProQuest Central (New)
Advanced Technologies Database with Aerospace
Advanced Technologies & Aerospace Collection
ProQuest Computing
ProQuest Central Basic
ProQuest Computing (Alumni Edition)
ProQuest One Academic Eastern Edition
East Europe, Central Europe Database
ProQuest Technology Collection
ProQuest SciTech Collection
Computer and Information Systems Abstracts Professional
Advanced Technologies & Aerospace Database
ProQuest One Academic UKI Edition
ProQuest One Academic
ProQuest Central (Alumni)
ProQuest One Academic (New)
DatabaseTitleList
Computer and Information Systems Abstracts
Computer Science Database
Database_xml – sequence: 1
  dbid: DOA
  name: Directory of Open Access Journals (DOAJ)
  url: https://www.doaj.org/
  sourceTypes: Open Website
– sequence: 2
  dbid: BYOGL
  name: East Europe, Central Europe Database
  url: https://search.proquest.com/eastcentraleurope
  sourceTypes: Aggregation Database
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISSN 2248-2695
EndPage 177
ExternalDocumentID oai_doaj_org_article_d0a9a87d5fcf441e977987a548681687
3556779911
Genre Feature
GroupedDBID .4S
.DC
2WC
3V.
5VS
7SC
7XB
8AL
8FD
8FE
8FG
8FK
8R4
8R5
AAFWJ
AAKPC
ABUWG
ADBBV
AFKRA
AFPKN
ALMA_UNASSIGNED_HOLDINGS
AMVHM
ARAPS
ARCSS
AZQEC
BCNDV
BENPR
BGLVJ
BPHCQ
BYOGL
CCPQU
DWQXO
E3Z
EDO
EOJEC
FRP
GNUQQ
GROUPED_DOAJ
HCIFZ
JQ2
K6V
K7-
KQ8
L7M
L~C
L~D
M0N
MK~
ML~
OBODZ
OK1
P62
PHGZM
PHGZT
PKEHL
PQEST
PQGLB
PQQKQ
PQUKI
PRINS
PROAC
Q2X
Q9U
RNS
TUS
PUEGO
ID FETCH-LOGICAL-c363t-e5b5f93c36b45c1d848a9e5a7688be16095fdc88fd0e2b3e2597c99ba2e531213
IEDL.DBID DOA
ISICitedReferencesCount 6
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000217147400002&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 1843-8121
IngestDate Fri Oct 03 12:44:48 EDT 2025
Thu Sep 04 18:29:01 EDT 2025
Fri Jul 25 04:34:00 EDT 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Issue 2
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c363t-e5b5f93c36b45c1d848a9e5a7688be16095fdc88fd0e2b3e2597c99ba2e531213
Notes SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
ObjectType-Article-1
ObjectType-Feature-2
content type line 23
OpenAccessLink https://doaj.org/article/d0a9a87d5fcf441e977987a548681687
PQID 1645144026
PQPubID 75952
PageCount 1
ParticipantIDs doaj_primary_oai_doaj_org_article_d0a9a87d5fcf441e977987a548681687
proquest_miscellaneous_1669887651
proquest_journals_1645144026
PublicationCentury 2000
PublicationDate 2014-01-01
PublicationDateYYYYMMDD 2014-01-01
PublicationDate_xml – month: 01
  year: 2014
  text: 2014-01-01
  day: 01
PublicationDecade 2010
PublicationPlace Iasi
PublicationPlace_xml – name: Iasi
PublicationTitle Scientific annals of computer science
PublicationYear 2014
Publisher Alexandru Ioan Cuza University of Iasi
Publisher_xml – name: Alexandru Ioan Cuza University of Iasi
SSID ssj0000394893
Score 1.9586885
Snippet We show that probabilistic computable functions, i.e., those functions outputting distributions and computed by probabilistic Turing machines, can be...
We show that probabilistic computable functions, i.e., those func- tions outputting distributions and computed by probabilistic Turing machines, can be...
SourceID doaj
proquest
SourceType Open Website
Aggregation Database
StartPage 177
SubjectTerms Complexity
Computation
Cryptography
Mathematical analysis
Mathematical models
Probabilistic methods
Probability theory
Recursion
SummonAdditionalLinks – databaseName: Computer Science Database
  dbid: K7-
  link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3JTsMwELWgcOBCWUXZFCSuLknseDmhslRwqSoWqbfIWxCXpLQpEn-PJ3HLAYkLx6yKrJnnmTeTNwhdggZYYViBlZIxph7xsHTEYKbAYqyyRhfNsAk-GonJRI4D4TYPbZVLTGyA2lYGOPIrH9ZnUIhM2fX0A8PUKKiuhhEa62gjST0IQ1GW4xXHEhMJ2iqQcwlKsN_Lklbdh_uo4ep5cPsMvV20n_YTzoNo_y9MbjaaYfe_n7iDtkOIGQ1am9hFa67cQ93l-IYoePM-uhvPvDNDcyxoNUdPwLwDdxa1_-tHqrTRY9Nw_l5H7eOBOWyOQEmz_jpAr8P7l9sHHIYqYEMYqbHLdFZI4g80zUxiBRVKukz5tENol4D-XGGNEIWNXaqJ8-kRN1JqlTrvrmlCDlGnrEp3hCIdM6lh_CRxjHpoEJokVFFKCDGZEKSHbmBF82mrm5GDknVzopq95cExchsrqQS3WWEKH5o5H49KwZVPpBiMBOE9dLpc7Dy41zz_Wekeulhd9o4B1Q5VumoB9zDpEZRlyfHfrzhBW2AFLa9yijr1bOHO0Kb5rN_ns_PGor4BTLvSpA
  priority: 102
  providerName: ProQuest
Title Probabilistic Recursion Theory and Implicit Computational Complexity
URI https://www.proquest.com/docview/1645144026
https://www.proquest.com/docview/1669887651
https://doaj.org/article/d0a9a87d5fcf441e977987a548681687
Volume 24
WOSCitedRecordID wos000217147400002&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
journalDatabaseRights – providerCode: PRVAON
  databaseName: Directory of Open Access Journals (DOAJ)
  customDbUrl:
  eissn: 2248-2695
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0000394893
  issn: 1843-8121
  databaseCode: DOA
  dateStart: 20070101
  isFulltext: true
  titleUrlDefault: https://www.doaj.org/
  providerName: Directory of Open Access Journals
– providerCode: PRVPQU
  databaseName: Computer Science Database
  customDbUrl:
  eissn: 2248-2695
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0000394893
  issn: 1843-8121
  databaseCode: K7-
  dateStart: 20070101
  isFulltext: true
  titleUrlDefault: http://search.proquest.com/compscijour
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: East Europe, Central Europe Database
  customDbUrl:
  eissn: 2248-2695
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0000394893
  issn: 1843-8121
  databaseCode: BYOGL
  dateStart: 20070101
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/eastcentraleurope
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: ProQuest advanced technologies & aerospace journals
  customDbUrl:
  eissn: 2248-2695
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0000394893
  issn: 1843-8121
  databaseCode: P5Z
  dateStart: 20070101
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/hightechjournals
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: ProQuest Central
  customDbUrl:
  eissn: 2248-2695
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0000394893
  issn: 1843-8121
  databaseCode: BENPR
  dateStart: 20070101
  isFulltext: true
  titleUrlDefault: https://www.proquest.com/central
  providerName: ProQuest
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwrV1LS8NAEF5EPXjxLVZrieB1bZJ9ZPdYa4silNIqiJewr4CXVNpU8N87k0QRPHjxsrB5wDKvnZmd_YaQK8QAK5wsqDE6phwsHtWBOSoNSow33tmibjaRTSbq-VlPf7T6wpqwBh64IVzfx0YblXlRuAK27gD-CoTJBhxtiS0j6nvkcaZ_BFO1DWYaUVUw2lKcUdjFkgbXJwN_oT8fDOdY1cWv0-sky1q4_l_WuN5ixvtkt_UNo0GzpgOyEcpDsvfVdyFq1fCI3E6XoIVY1Yogy9EMU-aY9Iqai_aRKX10X1eKv1ZR83ub8qtnCIFZfRyTp_HocXhH224I1DHJKhqEFYVmMLFcuMQrrowOwkC8oGxIEDiu8E6pwschtSxAXJM5ra1JA-hZmrATslkuynBKIhtLbbFvJAuSg04ryxJuOGeMOaEU65AbJEj-1gBe5AhBXT8AxuQtY_K_GNMh3S9y5q1erHIIzgQeJ6eyQy6_X4NE4zGFKcNijd9IDaZPiuTsP9ZxTnaQ1U3apEs2q-U6XJBt9169rpY9snUzmkxnvVp8YHzIKIxT8fIJbuXHrA
linkProvider Directory of Open Access Journals
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V3JbtRAEC2FCRJcEraICQGMBMdObPfi7gNCWZVRwmiUBCk305tRLp4w44DyU3wjVV7CAYlbDhy9tWRXde1-D-A9YYBVXlXMWpMygRaPmcg9U5Y0JtjgXdWSTRTTqb68NLMV-DX8C0NjlYNNbA11mHuqke9gWC-pEZmrT9ffGbFGUXd1oNDo1OIk3v7ElG35cXKA8v2Q50eHF_vHrGcVYJ4r3rAonawMxwMnpM-CFtqaKC3G3drFjADYquC1rkIac8cj5geFN8bZPKK-5hnHdR_AquBCyRGs7h1OZ2d3VZ2UG0JzoSxPC87Qe2YdnlCBccrO-e7-OU2Tie18OyuKnibgLy_Quraj9f_tozyBtT6ITnY7rX8KK7F-BusDQUXS26vncDBboLmi8V9Co07OqLdA1cGkQyRIbB2SSTtSf9Uk3eN9bbQ9IqzQ5vYFfLmXd9mAUT2v40tIXKqMI4JNHpVA46cdz4QVgnPupdZ8DHskwfK6QwYpCau7PTFffCv7rV-G1BqriyArX2HwGTHiNrqwmCoqIj0pxrA1CLfsDciy_CPZMby7u4xbn_o5to7zG7pHGfQRSmab_17iLTw6vvh8Wp5Opiev4DFpYFdF2oJRs7iJr-Gh_9FcLRdven1O4Ot9a8tvJ7MxOQ
linkToPdf http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1Lb9QwEB6VLUJcKK-KhQJGgqO7SezE9gGhttsVq6LVqgWpt-DYDuolW3ZTUP8av46ZxCkHJG49cHQelpKZfPPMNwBviQOsdkXNrTUJl4h43ATheGFJY7z1rqq7YRNqsdDn52a5Bb-Gf2GorXLAxA6o_cpRjnyCbn1OhcismNSxLWI5nX24_M5pghRVWodxGr2KnITrnxi-bd7Ppyjrd1k2O_589JHHCQPciUK0PORVXhuBi0rmLvVaamtCbtEH11VIiYyt9k7r2ichq0TAWEE5YyqbBdTdLBW47x3YVgKDnhFsHx4vlqc3GZ5EGGJ2oYhPS8HRkqY9t5BCn2VydnB0Rp1lcj_bT5WKIwP-sgidmZvt_M8v6CE8iM41O-i_hkewFZrHsDMMrmARx57AdLlGGKO2YGKpZqdUc6CsIeuZCphtPJt3rfYXLetvjznTbkUcou31U_hyK8-yC6Nm1YRnwKqkMBUN3hShkAiKuhKptFIKIVyutRjDIUmzvOwZQ0ri8O4OrNbfyggJpU-ssVr5vHY1OqUBPXGjlcUQsqBhKGoMe4Ogywgsm_KPlMfw5uY0QgLVeWwTVld0TWHQdhR5-vzfW7yGe6gi5af54uQF3Cdl7JNLezBq11fhJdx1P9qLzfpVVG0GX29bWX4D6Z45_A
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=Probabilistic+Recursion+Theory+and+Implicit+Computational+Complexity&rft.jtitle=Scientific+annals+of+computer+science&rft.au=U.+Dal+Lago&rft.au=S.+Zuppiroli&rft.au=M.+Gabbrielli&rft.date=2014-01-01&rft.pub=Alexandru+Ioan+Cuza+University+of+Iasi&rft.issn=1843-8121&rft.eissn=2248-2695&rft.volume=XXIV&rft.issue=2&rft.spage=177&rft.epage=216&rft_id=info:doi/10.7561%2FSACS.2014.2.177&rft.externalDBID=DOA&rft.externalDocID=oai_doaj_org_article_d0a9a87d5fcf441e977987a548681687
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1843-8121&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1843-8121&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1843-8121&client=summon