Axiomatizing physical experiments as oracles to algorithms
We developed earlier a theory of combining algorithms with physical systems, on the basis of using physical experiments as oracles to algorithms. Although our concepts and methods are general, each physical oracle requires its own analysis, on the basis of some fragment of physical theory that speci...
Uloženo v:
| Vydáno v: | Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences Ročník 370; číslo 1971; s. 3359 |
|---|---|
| Hlavní autoři: | , , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
England
28.07.2012
|
| ISSN: | 1364-503X |
| On-line přístup: | Zjistit podrobnosti o přístupu |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | We developed earlier a theory of combining algorithms with physical systems, on the basis of using physical experiments as oracles to algorithms. Although our concepts and methods are general, each physical oracle requires its own analysis, on the basis of some fragment of physical theory that specifies the equipment and its behaviour. For specific examples of physical systems (mechanical, optical, electrical), the computational power has been characterized using non-uniform complexity classes. The powers of the known examples vary according to assumptions on precision and timing but seem to lead to the same complexity classes, namely P/log* and BPP//log*. In this study, we develop sets of axioms for the interface between physical equipment and algorithms that allow us to prove general characterizations, in terms of P/log* and BPP//log*, for large classes of physical oracles, in a uniform way. Sufficient conditions on physical equipment are given that ensure a physical system satisfies the axioms. |
|---|---|
| AbstractList | We developed earlier a theory of combining algorithms with physical systems, on the basis of using physical experiments as oracles to algorithms. Although our concepts and methods are general, each physical oracle requires its own analysis, on the basis of some fragment of physical theory that specifies the equipment and its behaviour. For specific examples of physical systems (mechanical, optical, electrical), the computational power has been characterized using non-uniform complexity classes. The powers of the known examples vary according to assumptions on precision and timing but seem to lead to the same complexity classes, namely P/log* and BPP//log*. In this study, we develop sets of axioms for the interface between physical equipment and algorithms that allow us to prove general characterizations, in terms of P/log* and BPP//log*, for large classes of physical oracles, in a uniform way. Sufficient conditions on physical equipment are given that ensure a physical system satisfies the axioms. We developed earlier a theory of combining algorithms with physical systems, on the basis of using physical experiments as oracles to algorithms. Although our concepts and methods are general, each physical oracle requires its own analysis, on the basis of some fragment of physical theory that specifies the equipment and its behaviour. For specific examples of physical systems (mechanical, optical, electrical), the computational power has been characterized using non-uniform complexity classes. The powers of the known examples vary according to assumptions on precision and timing but seem to lead to the same complexity classes, namely P/log* and BPP//log*. In this study, we develop sets of axioms for the interface between physical equipment and algorithms that allow us to prove general characterizations, in terms of P/log* and BPP//log*, for large classes of physical oracles, in a uniform way. Sufficient conditions on physical equipment are given that ensure a physical system satisfies the axioms.We developed earlier a theory of combining algorithms with physical systems, on the basis of using physical experiments as oracles to algorithms. Although our concepts and methods are general, each physical oracle requires its own analysis, on the basis of some fragment of physical theory that specifies the equipment and its behaviour. For specific examples of physical systems (mechanical, optical, electrical), the computational power has been characterized using non-uniform complexity classes. The powers of the known examples vary according to assumptions on precision and timing but seem to lead to the same complexity classes, namely P/log* and BPP//log*. In this study, we develop sets of axioms for the interface between physical equipment and algorithms that allow us to prove general characterizations, in terms of P/log* and BPP//log*, for large classes of physical oracles, in a uniform way. Sufficient conditions on physical equipment are given that ensure a physical system satisfies the axioms. |
| Author | Costa, José Félix Tucker, John V Beggs, Edwin J |
| Author_xml | – sequence: 1 givenname: Edwin J surname: Beggs fullname: Beggs, Edwin J organization: Department of Mathematics, College of Sciences, Swansea University, UK – sequence: 2 givenname: José Félix surname: Costa fullname: Costa, José Félix – sequence: 3 givenname: John V surname: Tucker fullname: Tucker, John V |
| BackLink | https://www.ncbi.nlm.nih.gov/pubmed/22711864$$D View this record in MEDLINE/PubMed |
| BookMark | eNo1jztPwzAURj0U0QesjCgjS4qv4yQ2W1XxkiqxgMQW3Tg3rVESh9iRWn49kSjTN3xHRzpLNutcR4zdAF8D1-p-8AHXggOsuRT5jC0gyWSc8uRzzpbef_HpylJxyeZC5AAqkwv2sDla12KwP7bbR_3h5K3BJqJjT4NtqQs-Qh-5AU1DPgouwmbvBhsOrb9iFzU2nq7Pu2IfT4_v25d49_b8ut3sYiO1DrFAWZrcZEmNNQLPtSkxQVIk6xqrLAHiqI2RXKlKKDJVJWRtNDcghYYyFyt29-ftB_c9kg9Fa72hpsGO3OgL4AJEqmSmJ_T2jI5lS1XRTw04nIr_XvELUqpY1Q |
| CitedBy_id | crossref_primary_10_1093_logcom_ext047 crossref_primary_10_1017_S0960129511000557 crossref_primary_10_1016_j_jlamp_2022_100774 crossref_primary_10_1016_j_tcs_2013_05_022 crossref_primary_10_1017_S1755020314000240 crossref_primary_10_1017_S0960129516000219 |
| ContentType | Journal Article |
| DBID | NPM 7X8 |
| DOI | 10.1098/rsta.2011.0427 |
| DatabaseName | PubMed MEDLINE - Academic |
| DatabaseTitle | PubMed MEDLINE - Academic |
| DatabaseTitleList | PubMed MEDLINE - Academic |
| Database_xml | – sequence: 1 dbid: NPM name: PubMed url: http://www.ncbi.nlm.nih.gov/entrez/query.fcgi?db=PubMed sourceTypes: Index Database – sequence: 2 dbid: 7X8 name: MEDLINE - Academic url: https://search.proquest.com/medline sourceTypes: Aggregation Database |
| DeliveryMethod | no_fulltext_linktorsrc |
| Discipline | Engineering Mathematics Sciences (General) Physics |
| ExternalDocumentID | 22711864 |
| Genre | Journal Article |
| GroupedDBID | --- -~X 0R~ 18M 2WC 4.4 5VS AACGO AANCE AAWIL ABBHK ABFAN ABPLY ABTLG ABXSQ ABYWD ACGFO ACHIC ACIWK ACMTB ACNCT ACQIA ACRPL ACTMH ADBBV ADNMO ADODI ADQXQ ADULT AEUPB AEXZC AFFNX AFVYC AGLNM AGPVY AIHAF AJZGM ALMA_UNASSIGNED_HOLDINGS ALMYZ ALRMG AQVQM BGBPD BTFSW DCCCD DIK DQDLB DSRWC EBS ECEWR EJD F5P H13 HH5 HQ6 HZ~ IPSME JAAYA JBMMH JENOY JHFFW JKQEH JLS JLXEF JMS JPM JSG JST K-O KQ8 MRS MV1 NPM NSAHA O9- OK1 P2P RRY SA0 TN5 TR2 V1E W8F XSW YNT ~02 7X8 AGQPQ |
| ID | FETCH-LOGICAL-c499t-2a4bc7c63fafa1079cba3ae8e4ffad631e0a9cc4088d28ecdd24fc90c14291b72 |
| IEDL.DBID | 7X8 |
| ISICitedReferencesCount | 17 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000306172800007&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1364-503X |
| IngestDate | Fri Jul 11 13:46:33 EDT 2025 Thu Apr 03 07:02:20 EDT 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 1971 |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c499t-2a4bc7c63fafa1079cba3ae8e4ffad631e0a9cc4088d28ecdd24fc90c14291b72 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 23 |
| PMID | 22711864 |
| PQID | 1021258469 |
| PQPubID | 23479 |
| ParticipantIDs | proquest_miscellaneous_1021258469 pubmed_primary_22711864 |
| PublicationCentury | 2000 |
| PublicationDate | 2012-Jul-28 20120728 |
| PublicationDateYYYYMMDD | 2012-07-28 |
| PublicationDate_xml | – month: 07 year: 2012 text: 2012-Jul-28 day: 28 |
| PublicationDecade | 2010 |
| PublicationPlace | England |
| PublicationPlace_xml | – name: England |
| PublicationTitle | Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences |
| PublicationTitleAlternate | Philos Trans A Math Phys Eng Sci |
| PublicationYear | 2012 |
| SSID | ssj0011652 |
| Score | 2.1413417 |
| Snippet | We developed earlier a theory of combining algorithms with physical systems, on the basis of using physical experiments as oracles to algorithms. Although our... |
| SourceID | proquest pubmed |
| SourceType | Aggregation Database Index Database |
| StartPage | 3359 |
| Title | Axiomatizing physical experiments as oracles to algorithms |
| URI | https://www.ncbi.nlm.nih.gov/pubmed/22711864 https://www.proquest.com/docview/1021258469 |
| Volume | 370 |
| WOSCitedRecordID | wos000306172800007&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3NS8MwFA_qFPSgbn7NLyJ40ENYm2Rp40WGOLxs7KDQW0mTVAe6TjtF_Ot96bLNiyB4KSkkEPK-817eD6FzoxSzbaqJ4SYgPOKGZMA5JNKMyyw2gchMBTYR9ftxksiBv3ArfVnlTCdWitoU2t2RtxwENXXWUl6PX4lDjXLZVQ-hsYxqDFwZJ5hRssgihKJC3AmZ4KQdsGTetDFuuWcjvoEnp9Hv7mVlZrpb_93gNtr0DibuTDmijpbsqIE2frQdhL_evFdr2UBrVRGoG9W9oJf4wnejvtxBV53PYeHmfsFaPPZkxQtkgBKrEgMjufI6PCmwen6EbU2eXspd9NC9vb-5Ix5wgWgIfCaEKp7pSAuWq1xBXCh1ppiyseV5roxgoQ2U1JqDZjI0ttoYynMtAx2CVQuziO6hlVExsgcIg58YSpgh2jLjDKK6TFEh3cNcRS3joonOZqeYAkO7LIUa2eK9TBfn2ET7U1Kk42nnjZTSCAIiwQ__sPoIrQN9q9JaGh-jWg7ibE_Qqv6YDMu304pT4Nsf9L4BbJzIug |
| linkProvider | ProQuest |
| 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=Axiomatizing+physical+experiments+as+oracles+to+algorithms&rft.jtitle=Philosophical+transactions+of+the+Royal+Society+of+London.+Series+A%3A+Mathematical%2C+physical%2C+and+engineering+sciences&rft.au=Beggs%2C+Edwin+J&rft.au=Costa%2C+Jos%C3%A9+F%C3%A9lix&rft.au=Tucker%2C+John+V&rft.date=2012-07-28&rft.issn=1364-503X&rft.volume=370&rft.issue=1971&rft.spage=3359&rft_id=info:doi/10.1098%2Frsta.2011.0427&rft_id=info%3Apmid%2F22711864&rft_id=info%3Apmid%2F22711864&rft.externalDocID=22711864 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1364-503X&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1364-503X&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1364-503X&client=summon |