首页 > 最新文献

Proceedings of the twenty-fifth annual ACM symposium on Theory of Computing最新文献

英文 中文
Time optimal self-stabilizing synchronization 时间最优自稳定同步
Pub Date : 1993-06-01 DOI: 10.1145/167088.167256
B. Awerbuch, S. Kutten, Y. Mansour, B. Patt-Shamir, G. Varghese
In the network synchronization model, each node maintains a local pulse counter such that the advance of the pulse numbers simulates the advance of a clock in a synchronous network. In this paper we present a tame optimai sel&stabilizing scheme for network synchronization. Our construction has two parts. First, we give a simple rule by which each node can compute its pulse number as a function of its neighbors’ pulse numbers. This rule stabilizes in time bounded by t?te diameter of the network, it does not revoke global operations, and does not require any additional memory space. However, this rule works correctly only if the pulse numbers may grow unfoundedly. The second part of the construction (whzch is of independent interest in its own right) takes care of this problem. Specifically, we present the jirst self-stabilizing reset procedure that stabilizes in tzme proportional to the diameter of the network. This procedure can be combined with unbounded-register protocols to yield bounded-register algorithms. “Lab. for Computer Science, MIT. Supported by Air Force Contract TNDGAFOSR-86-0078, ARO contract DAAL03-86K-01 71, NSF contract CCR861 1442, DARPA contract NOOO1489-J-1988, and a special grant from IBM. t IBM T.J. Watson Research Center. $Tel-Aviv University and IBM T.J. Watson Research Center. $Lab. for Computer Science, MIT. Research partly done while visiting IBM T.J. Watson Research Center. Supported in part by DARPA contracts NOOO1 4-92J-4o33 and NOOO1492-J-1799, ONR contract NOOO14-91-J-1O46, and NSF contract 8915206-CCR. !IDEG, 55o King Street, Llttleton, MA 01460. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the ACM copyright notice and the title of the publication and its date appear, and notice ia given that copying is by permission of the Association for Computing Machinery. To copy otherwise, or to republish, requires a fee and/or specific permission. 25th ACM STOC ‘93-51931CA,USA @ J993 AG~ Q-89~9J-59 J-7/93 /QQQ51Q652,.. $J.~Q
在网络同步模型中,每个节点维护一个本地脉冲计数器,以便脉冲数的前进模拟同步网络中时钟的前进。本文提出了一种网络同步的最优自稳定方案。我们的构造有两部分。首先,我们给出了一个简单的规则,每个节点可以根据它的邻居的脉冲数来计算它的脉冲数。这个规则在以t为界的时间内稳定。对于网络的直径,它不会撤销全局操作,也不需要任何额外的内存空间。然而,这个规则只有在脉冲数可能毫无根据地增长时才能正确工作。构造的第二部分(它本身具有独立的兴趣)处理了这个问题。具体来说,我们提出了第一个自稳定复位过程,该过程的稳定性与网络直径成正比。这个程序可以与无边界寄存器协议相结合,产生有边界寄存器算法。“实验室。麻省理工学院计算机科学专业。由空军合同TNDGAFOSR-86-0078、ARO合同DAAL03-86K-01 71、NSF合同CCR861 1442、DARPA合同NOOO1489-J-1988和IBM特别授予支持。t IBM T.J.沃森研究中心。特拉维夫大学和IBM T.J.沃森研究中心。美元的实验室。麻省理工学院计算机科学专业。部分研究是在访问IBM T.J.沃森研究中心期间完成的。部分由DARPA合同nooo14 - 92j - 4033和NOOO1492-J-1799、ONR合同nooo14 -91- j - 1046和NSF合同8915206-CCR提供支持。马萨诸塞州利特尔顿国王街55号IDEG邮编01460允许免费复制本材料的全部或部分内容,前提是这些副本不是为了直接的商业利益而制作或分发的,必须出现ACM版权声明、出版物的标题和日期,并注明复制是由计算机协会许可的。以其他方式复制或重新发布需要付费和/或特定许可。第25届ACM STOC ' 93-51931CA,USA @ J993 AG~ Q-89~9J-59 J-7/93 /QQQ51Q652,..$ j ~ Q
{"title":"Time optimal self-stabilizing synchronization","authors":"B. Awerbuch, S. Kutten, Y. Mansour, B. Patt-Shamir, G. Varghese","doi":"10.1145/167088.167256","DOIUrl":"https://doi.org/10.1145/167088.167256","url":null,"abstract":"In the network synchronization model, each node maintains a local pulse counter such that the advance of the pulse numbers simulates the advance of a clock in a synchronous network. In this paper we present a tame optimai sel&stabilizing scheme for network synchronization. Our construction has two parts. First, we give a simple rule by which each node can compute its pulse number as a function of its neighbors’ pulse numbers. This rule stabilizes in time bounded by t?te diameter of the network, it does not revoke global operations, and does not require any additional memory space. However, this rule works correctly only if the pulse numbers may grow unfoundedly. The second part of the construction (whzch is of independent interest in its own right) takes care of this problem. Specifically, we present the jirst self-stabilizing reset procedure that stabilizes in tzme proportional to the diameter of the network. This procedure can be combined with unbounded-register protocols to yield bounded-register algorithms. “Lab. for Computer Science, MIT. Supported by Air Force Contract TNDGAFOSR-86-0078, ARO contract DAAL03-86K-01 71, NSF contract CCR861 1442, DARPA contract NOOO1489-J-1988, and a special grant from IBM. t IBM T.J. Watson Research Center. $Tel-Aviv University and IBM T.J. Watson Research Center. $Lab. for Computer Science, MIT. Research partly done while visiting IBM T.J. Watson Research Center. Supported in part by DARPA contracts NOOO1 4-92J-4o33 and NOOO1492-J-1799, ONR contract NOOO14-91-J-1O46, and NSF contract 8915206-CCR. !IDEG, 55o King Street, Llttleton, MA 01460. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the ACM copyright notice and the title of the publication and its date appear, and notice ia given that copying is by permission of the Association for Computing Machinery. To copy otherwise, or to republish, requires a fee and/or specific permission. 25th ACM STOC ‘93-51931CA,USA @ J993 AG~ Q-89~9J-59 J-7/93 /QQQ51Q652,.. $J.~Q","PeriodicalId":280602,"journal":{"name":"Proceedings of the twenty-fifth annual ACM symposium on Theory of Computing","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129459332","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 150
On the generation of multivariate polynomials which are hard to factor 难以因式分解的多元多项式的生成
Pub Date : 1993-06-01 DOI: 10.1145/167088.167291
A. Shamir
. In this paper we consider the di(cid:14)culty of factoring multivariate polynomials F(x; y;z;:::) modulo n. We consider in particular the case in which F is a product of two randomly chosen polynomials P and Q with algebraically speci(cid:12)ed coe(cid:14)cients, and n is the product of two randomly chosen primes p and q. The general problem of factoring F is known to be at least as hard as the factorization of n, but in many restricted cases (when P or Q are known to have a particular form) the problem can be much easier. The main result of this paper is that (with one trivial exception), the problem of factoring F is at least as hard as the factorization of n whenever P and Q are randomly chosen from the same sample space, regardless of what may be known about its form.
. 本文考虑多元多项式F(x;y、z:::)模n。我们认为在特定的情况下F是两个随机选择多项式的乘积与代数speci P和Q (cid: 12)埃德•科(cid: 14)字母系数和n是两个随机选择的质数的乘积P和Q。保理F的普遍问题是至少尽n的分解,但在许多受限制的情况下(当P或者Q已知特定形式)问题可以容易得多。本文的主要结果是(除了一个微不足道的例外),无论P和Q是从相同的样本空间中随机选择的,无论其形式如何,分解F的问题至少与分解n的问题一样困难。
{"title":"On the generation of multivariate polynomials which are hard to factor","authors":"A. Shamir","doi":"10.1145/167088.167291","DOIUrl":"https://doi.org/10.1145/167088.167291","url":null,"abstract":". In this paper we consider the di(cid:14)culty of factoring multivariate polynomials F(x; y;z;:::) modulo n. We consider in particular the case in which F is a product of two randomly chosen polynomials P and Q with algebraically speci(cid:12)ed coe(cid:14)cients, and n is the product of two randomly chosen primes p and q. The general problem of factoring F is known to be at least as hard as the factorization of n, but in many restricted cases (when P or Q are known to have a particular form) the problem can be much easier. The main result of this paper is that (with one trivial exception), the problem of factoring F is at least as hard as the factorization of n whenever P and Q are randomly chosen from the same sample space, regardless of what may be known about its form.","PeriodicalId":280602,"journal":{"name":"Proceedings of the twenty-fifth annual ACM symposium on Theory of Computing","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129634430","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 23
Multi-scale self-simulation: a technique for reconfiguring arrays with faults 多尺度自模拟:一种故障阵列重构技术
Pub Date : 1993-06-01 DOI: 10.1145/167088.167235
R. Cole, B. Maggs, R. Sitaraman
In this paper we study the ability of array-based networks to tolerate faults. We show that an N x N twodimensional array can sustain N1 -‘ worst-case faults, for any fixed c >0, and still emulate a fully functioning N x N array with only constant slowdown. We also observe that even if every node fails with some fixed probability, p, with high probability the array can still emulate a fully functioning array with constant slowdown. Previously, no connected bounded-degree network was known to be able to tolerate constantprobability node failures without suffering more than a constant-factor loss in performance. Finally, we observe that if faulty nodes are allowed to communicate, but not compute, then an N-node one-dimensional array can tolerate logO(lJ N worst-case faults and still emulate a fault-free array with constant slowdown, and this bound is tight.
本文研究了基于阵列的网络容错能力。我们表明,对于任何固定的c >0, N x N二维数组可以承受N1 - '最坏情况故障,并且仍然可以模拟一个完全功能的N x N数组,只有恒定的减速。我们还观察到,即使每个节点都以固定的概率p失败,在高概率下,数组仍然可以模拟一个具有恒定减速的完整功能的数组。以前,已知没有连接的有界度网络能够容忍恒定概率的节点故障而不遭受超过恒定因素的性能损失。最后,我们观察到,如果允许故障节点进行通信,但不允许进行计算,那么N节点一维数组可以容忍logO(lJ) N个最坏情况故障,并且仍然可以模拟具有恒定减速的无故障数组,并且这个界限很紧。
{"title":"Multi-scale self-simulation: a technique for reconfiguring arrays with faults","authors":"R. Cole, B. Maggs, R. Sitaraman","doi":"10.1145/167088.167235","DOIUrl":"https://doi.org/10.1145/167088.167235","url":null,"abstract":"In this paper we study the ability of array-based networks to tolerate faults. We show that an N x N twodimensional array can sustain N1 -‘ worst-case faults, for any fixed c >0, and still emulate a fully functioning N x N array with only constant slowdown. We also observe that even if every node fails with some fixed probability, p, with high probability the array can still emulate a fully functioning array with constant slowdown. Previously, no connected bounded-degree network was known to be able to tolerate constantprobability node failures without suffering more than a constant-factor loss in performance. Finally, we observe that if faulty nodes are allowed to communicate, but not compute, then an N-node one-dimensional array can tolerate logO(lJ N worst-case faults and still emulate a fault-free array with constant slowdown, and this bound is tight.","PeriodicalId":280602,"journal":{"name":"Proceedings of the twenty-fifth annual ACM symposium on Theory of Computing","volume":"189 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122182880","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 22
Proceedings of the twenty-fifth annual ACM symposium on Theory of Computing 第25届ACM计算理论年会论文集
Rao Kosaraju, M. Fellows, A. Wigderson, J. Ellis
{"title":"Proceedings of the twenty-fifth annual ACM symposium on Theory of Computing","authors":"Rao Kosaraju, M. Fellows, A. Wigderson, J. Ellis","doi":"10.1145/129712","DOIUrl":"https://doi.org/10.1145/129712","url":null,"abstract":"","PeriodicalId":280602,"journal":{"name":"Proceedings of the twenty-fifth annual ACM symposium on Theory of Computing","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131134706","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 84
期刊
Proceedings of the twenty-fifth annual ACM symposium on Theory of Computing
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1