信息与控制最新文献

筛选
英文 中文
An ideal model for recursive polymorphic types 递归多态类型的理想模型
信息与控制 Pub Date : 1986-10-01 DOI: 10.1016/S0019-9958(86)80019-5
David MacQueen, Gordon Plotkin, Ravi Sethi
{"title":"An ideal model for recursive polymorphic types","authors":"David MacQueen, Gordon Plotkin, Ravi Sethi","doi":"10.1016/S0019-9958(86)80019-5","DOIUrl":"https://doi.org/10.1016/S0019-9958(86)80019-5","url":null,"abstract":"","PeriodicalId":38164,"journal":{"name":"信息与控制","volume":"71 1","pages":"Pages 95-130"},"PeriodicalIF":0.0,"publicationDate":"1986-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0019-9958(86)80019-5","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91978108","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
An exponential lower bound for real-time branching programs 实时分支程序的指数下界
信息与控制 Pub Date : 1986-10-01 DOI: 10.1016/S0019-9958(86)80018-3
Stanislav ák
{"title":"An exponential lower bound for real-time branching programs","authors":"Stanislav ák","doi":"10.1016/S0019-9958(86)80018-3","DOIUrl":"10.1016/S0019-9958(86)80018-3","url":null,"abstract":"<div><p>Branching programs are a general model of sequential computation. One of their computational features is their possibility to question (repeatedly) the information from each input bit. Real-time branching programs make at most <em>n</em> questions when computing on an input of length <em>n</em>. The restriction “real-time” allows to find a simple language which requires the lower bound 2<sup>√2<em>n</em>/8</sup> on memory (= the state space).</p></div>","PeriodicalId":38164,"journal":{"name":"信息与控制","volume":"71 1","pages":"Pages 87-94"},"PeriodicalIF":0.0,"publicationDate":"1986-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0019-9958(86)80018-3","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90083827","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Every sequence is reducible to a random one 每个序列都可约为一个随机序列
信息与控制 Pub Date : 1986-08-01 DOI: 10.1016/S0019-9958(86)80004-3
Péter Gács
{"title":"Every sequence is reducible to a random one","authors":"Péter Gács","doi":"10.1016/S0019-9958(86)80004-3","DOIUrl":"10.1016/S0019-9958(86)80004-3","url":null,"abstract":"<div><p>Every infinite sequence is Turing-reducible to an infinite sequence which is random in the sense of Martin-Löf.</p></div>","PeriodicalId":38164,"journal":{"name":"信息与控制","volume":"70 2","pages":"Pages 186-192"},"PeriodicalIF":0.0,"publicationDate":"1986-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0019-9958(86)80004-3","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74333698","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 118
Probabilistic propositional temporal logics 概率命题时间逻辑
信息与控制 Pub Date : 1986-08-01 DOI: 10.1016/S0019-9958(86)80001-8
Sergiu Hart, Micha Sharir
{"title":"Probabilistic propositional temporal logics","authors":"Sergiu Hart,&nbsp;Micha Sharir","doi":"10.1016/S0019-9958(86)80001-8","DOIUrl":"10.1016/S0019-9958(86)80001-8","url":null,"abstract":"<div><p>We present two (closely-related) propositional probabilistic temporal logics based on temporal logics of branching time as introduced by Ben-Ari, Pnueli, and Manna (<em>Acta Inform.</em> <strong>20</strong> (1983), 207–226), Emerson and Halpern (“Proceedings, 14th ACM Sympos. Theory of Comput.,” 1982, pp. 169–179, and Emerson and Clarke (<em>Sci. Comput. Program.</em> <strong>2</strong> (1982), 241–266). The first logic, <em>PTL<sub>f</sub></em>, is interpreted over finite models, while the second logic, <em>PTL<sub>b</sub></em>, which is an extension of the first one, is interpreted over infinite models with transition probabilities bounded away from 0. The logic <em>PTL<sub>f</sub></em> allows us to reason about finite-state sequential probabilistic programs, and the logic <em>PTL<sub>b</sub></em> allows us to reason about (finite-state) concurrent probabilistic programs, without any explicit reference to the actual values of their state-transition probabilities. A generalization of the tableau method yields deterministic single-exponential time decision procedures for our logics, and complete axiomatizations of them are given. Several meta-results, including the absence of a finite-model property for <em>PTL<sub>b</sub></em>, and the connection between satisfiable formulae of <em>PTL<sub>b</sub></em> and finite state concurrent probabilistic programs, are also discussed.</p></div>","PeriodicalId":38164,"journal":{"name":"信息与控制","volume":"70 2","pages":"Pages 97-155"},"PeriodicalIF":0.0,"publicationDate":"1986-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0019-9958(86)80001-8","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76375540","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 49
A note on some simultaneous relations among time, space, and reversal for single work tape nondeterministic turing machines 单工作带不确定性图灵机的时间、空间和反转的同时关系
信息与控制 Pub Date : 1986-08-01 DOI: 10.1016/S0019-9958(86)80003-1
Etsuro Moriya, Shigeki Iwata, Takumi Kasai
{"title":"A note on some simultaneous relations among time, space, and reversal for single work tape nondeterministic turing machines","authors":"Etsuro Moriya,&nbsp;Shigeki Iwata,&nbsp;Takumi Kasai","doi":"10.1016/S0019-9958(86)80003-1","DOIUrl":"10.1016/S0019-9958(86)80003-1","url":null,"abstract":"<div><p>Simultaneous resource bounded complexity classes for nondeterministic single worktape off-line Turing machines are considered such as time-space bounded classes, denoted by NTISP<sub>1</sub>(<em>T, S</em>), reversal-space bounded classes, denoted by NRESP<sub>1</sub>(<em>R, S</em>), and time-reversal bounded classes, denoted by NTIRE<sub>1</sub>(<em>T, R</em>). It is shown that NRESP<sub>1</sub>(<em>R</em>(<em>n</em>), <em>S</em>(<em>n</em>)) contains NTISP<sub>1</sub>(<em>S</em>(<em>n</em>), <em>R</em>(<em>n</em>)) and is contained in NTISP<sub>1</sub>(<em>R</em>(<em>n</em>) <em>S</em>(<em>n</em>)<em>n</em><sup>2</sup> log <em>n</em>, <em>R</em>(<em>n</em>) log <em>n</em>). The following corollaries follow: (1) the affirmative solution to the nondeterministic single worktape version of the <em>NC</em> = ? <em>SC</em> problem, NTIRE<sub>1</sub>(poly, polylog) = NTISP<sub>1</sub>(poly, polylog), and (2) a reversal-space trade-off, NRESP<sub>1</sub>(polylog, poly) = NRESP<sub>1</sub>(poly, polylog).</p></div>","PeriodicalId":38164,"journal":{"name":"信息与控制","volume":"70 2","pages":"Pages 179-185"},"PeriodicalIF":0.0,"publicationDate":"1986-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0019-9958(86)80003-1","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80116605","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Pre-analysis locking 系统论锁定
信息与控制 Pub Date : 1986-08-01 DOI: 10.1016/S0019-9958(86)80005-5
Georg Lausen, Eljas Soisalon-Soininen , Peter Widmayer
{"title":"Pre-analysis locking","authors":"Georg Lausen,&nbsp;Eljas Soisalon-Soininen ,&nbsp;Peter Widmayer","doi":"10.1016/S0019-9958(86)80005-5","DOIUrl":"10.1016/S0019-9958(86)80005-5","url":null,"abstract":"<div><p>A safe and deadlock free locking policy is introduced, called pre-analysis locking. A transaction system with no lock and unlock operations in the transactions is first being analyzed by the pre-analysis locking algorithm. Then, the result of this analysis is used to insert lock and unlock operations into the transactions with the goal of achieving a degree of concurrency as high as possible. However, pre-analysis locking is merely a heuristic operating in polynomial time; therefore, it is not guaranteed to perform optimally in all cases. In comparison with 2-phase locking, neither pre-analysis locking nor 2-phase locking dominates the other; there exist transaction systems in which pre-analysis locking allows for more concurrency than any 2-phase locking policy, but there are also cases in which a 2-phase locking policy allows for more concurrency than pre-analysis locking. However, preanalysis locking is free from deadlocks, in general.</p></div>","PeriodicalId":38164,"journal":{"name":"信息与控制","volume":"70 2","pages":"Pages 193-215"},"PeriodicalIF":0.0,"publicationDate":"1986-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0019-9958(86)80005-5","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72438243","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Definability by constant-depth polynomial-size circuits 定深多项式电路的可定义性
信息与控制 Pub Date : 1986-08-01 DOI: 10.1016/S0019-9958(86)80006-7
Larry Denenberg , Yuri Gurevich , Saharon Shelah
{"title":"Definability by constant-depth polynomial-size circuits","authors":"Larry Denenberg ,&nbsp;Yuri Gurevich ,&nbsp;Saharon Shelah","doi":"10.1016/S0019-9958(86)80006-7","DOIUrl":"10.1016/S0019-9958(86)80006-7","url":null,"abstract":"<div><p>A function of boolean arguments is <em>symmetric</em> if its value depends solely on the number of 1's among its arguments. In the first part of this paper we partially characterize those symmetric functions that can be computed by constant-depth polynomial-size sequences of boolean circuits, and discuss the complete characterization. (We treat both uniform and non-uniform sequences of circuits.) Our results imply that these circuits can compute functions that are not definable in first-order logic. In the second part of the paper we generalize from circuits computing symmetric functions to circuits recognizing first-order structures. By imposing fairly natural restrictions we develop a circuit model with precisely the power of first-order logic: a class of structures is first-order definable if and only if it can be recognized by a constant-depth polynomial-time sequence of such circuits.</p></div>","PeriodicalId":38164,"journal":{"name":"信息与控制","volume":"70 2","pages":"Pages 216-240"},"PeriodicalIF":0.0,"publicationDate":"1986-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0019-9958(86)80006-7","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77294006","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 65
Inductive inference of approximations 近似的归纳推理
信息与控制 Pub Date : 1986-08-01 DOI: 10.1016/S0019-9958(86)80002-X
James S. Royer
{"title":"Inductive inference of approximations","authors":"James S. Royer","doi":"10.1016/S0019-9958(86)80002-X","DOIUrl":"10.1016/S0019-9958(86)80002-X","url":null,"abstract":"<div><p>In this paper we investigate inductive inference identification criteria which permit infinitely many errors in explanations, but which require that the “density” of these errors be no more than a certain, prespectified amount. We introduce three hierarchies of such criteria, each of which has the same order type as the real unit interval. These three hierarchies are progressively more strict in the way they measure density of errors of explanations. The strictest of the three turns out to have all of its members, save one, incomparable to the identification criterion which permits finitely many errors in explanations.</p></div>","PeriodicalId":38164,"journal":{"name":"信息与控制","volume":"70 2","pages":"Pages 156-178"},"PeriodicalIF":0.0,"publicationDate":"1986-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0019-9958(86)80002-X","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83418796","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 31
Author index for volume 70 第70卷作者索引
信息与控制 Pub Date : 1986-08-01 DOI: 10.1016/S0019-9958(86)80007-9
{"title":"Author index for volume 70","authors":"","doi":"10.1016/S0019-9958(86)80007-9","DOIUrl":"https://doi.org/10.1016/S0019-9958(86)80007-9","url":null,"abstract":"","PeriodicalId":38164,"journal":{"name":"信息与控制","volume":"70 2","pages":"Page 241"},"PeriodicalIF":0.0,"publicationDate":"1986-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0019-9958(86)80007-9","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"137213591","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The density and complexity of polynomial cores for intractable sets 棘手集多项式核的密度和复杂度
信息与控制 Pub Date : 1986-07-01 DOI: 10.1016/S0019-9958(86)80024-9
Pekka Orponen, Uwe Schöning
{"title":"The density and complexity of polynomial cores for intractable sets","authors":"Pekka Orponen,&nbsp;Uwe Schöning","doi":"10.1016/S0019-9958(86)80024-9","DOIUrl":"10.1016/S0019-9958(86)80024-9","url":null,"abstract":"<div><p>Let <em>A</em> be a recursive problem not in <em>P</em>. Lynch has shown that <em>A</em> then has an infinite recursive <em>polynomial complexity core</em>. This is a collection <em>C</em> of instances of <em>A</em> such that every algorithm deciding <em>A</em> needs more than polynomial time almost everywhere on <em>C</em>. We investigate the complexity of recognizing the instances in such a core, and show that every recursive problem <em>A</em> not in <em>P</em> has an infinite core recognizable in subexponential time. We further study how dense the core sets for <em>A</em> can be, under various assumptions about the structure of <em>A</em>. Our main results in this direction are that if <em>P</em> ≠ <em>NP</em>, then <em>NP</em>-complete problems have polynomially nonsparse cores recognizable in subexponential time, and that EXPTIME-complete problems have cores of exponential density recognizable in exponential time.</p></div>","PeriodicalId":38164,"journal":{"name":"信息与控制","volume":"70 1","pages":"Pages 54-68"},"PeriodicalIF":0.0,"publicationDate":"1986-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0019-9958(86)80024-9","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77593501","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 46
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信