首页 > 最新文献

23rd Annual Symposium on Foundations of Computer Science (sfcs 1982)最新文献

英文 中文
On equations including string variables 关于包含字符串变量的方程
Pub Date : 1982-11-03 DOI: 10.1109/SFCS.1982.77
K. Iwama
S-equations are of the form E1(x1,..., xk) ⊇ E2 (X1,...,xk) where E1 and E2 are shuffle expressions having two types of symbols; variables and constants. E1⊇E2 is said to be S-satisfiable if the language expressed by E1(α1,...,αk) includes the language expressed by E2(α1,...,αk) where α1,...,αk are some strings of constants. A wide range of problems in string manipulation, data bases, etc., can be described in terms of S-equations. Major results include the solvability and complexity of several classes of S-satisfiability problems.
s方程的形式为E1(x1,…,xk) E2 (X1,…,xk),其中E1和E2是有两种符号的洗牌表达式;变量和常量。如果由E1(α1,…,αk)表示的语言包含由E2(α1,…,αk)表示的语言,则E1 E2是s可满足的,其中α1,…,αk是常数串。在字符串操作、数据库等方面的广泛问题都可以用s方程来描述。主要结果包括若干类s -可满足问题的可解性和复杂性。
{"title":"On equations including string variables","authors":"K. Iwama","doi":"10.1109/SFCS.1982.77","DOIUrl":"https://doi.org/10.1109/SFCS.1982.77","url":null,"abstract":"S-equations are of the form E1(x1,..., xk) ⊇ E2 (X1,...,xk) where E1 and E2 are shuffle expressions having two types of symbols; variables and constants. E1⊇E2 is said to be S-satisfiable if the language expressed by E1(α1,...,αk) includes the language expressed by E2(α1,...,αk) where α1,...,αk are some strings of constants. A wide range of problems in string manipulation, data bases, etc., can be described in terms of S-equations. Major results include the solvability and complexity of several classes of S-satisfiability problems.","PeriodicalId":127919,"journal":{"name":"23rd Annual Symposium on Foundations of Computer Science (sfcs 1982)","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130012172","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}
引用次数: 3
A compact representation for permutation groups 置换群的紧表示
Pub Date : 1982-11-03 DOI: 10.1109/SFCS.1982.52
M. Jerrum
An O(n2) space representation for permutation groups of degree n is presented. The representation can be constructed in time O(n5), and supports fast membership testing. Applications of the representation to the generation of systems of coset representatives, and of complete block systems, are discussed.
给出了n次置换群的一个O(n2)空间表示。该表示可以在0 (n5)时间内构造,并支持快速的隶属度测试。讨论了该表示在协集表示系统和完全块系统生成中的应用。
{"title":"A compact representation for permutation groups","authors":"M. Jerrum","doi":"10.1109/SFCS.1982.52","DOIUrl":"https://doi.org/10.1109/SFCS.1982.52","url":null,"abstract":"An O(n2) space representation for permutation groups of degree n is presented. The representation can be constructed in time O(n5), and supports fast membership testing. Applications of the representation to the generation of systems of coset representatives, and of complete block systems, are discussed.","PeriodicalId":127919,"journal":{"name":"23rd Annual Symposium on Foundations of Computer Science (sfcs 1982)","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127873493","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}
引用次数: 107
Linear-time algorithms for linear programming in R3 and related problems R3中线性规划的线性时间算法及相关问题
N. Megiddo
Linear-time for Linear Programming in R2 and R3 are presented. The methods used are applicable for some other problems. For example, a linear-time algorithm is given for the classical problem of finding the smallest circle enclosing n given points in the plane. This disproves a conjecture by Shamos and Hoey that this problem requires Ω(n log n) time. An immediate consequence of the main result is that the problem of linear separability is solvable in linear-time. This corrects an error in Shamos and Hoey's paper, namely, that their O(n log n) algorithm for this problem in the plane was optimal. Also, a linear-time algorithm is given for the problem of finding the weighted center of a tree and algorithms for other common location-theoretic problems are indicated. The results apply also to the problem of convex quadratic programming in three-dimensions. The results have already been extended to higher dimensions and we know that linear programming can be solved in linear-time when the dimension is fixed. This will be reported elsewhere; a preliminary report is available from the author.
给出了R2和R3中线性规划的线性时间。所采用的方法也适用于其他一些问题。例如,给出了求解平面上n个给定点的最小圆的经典问题的线性时间算法。这反驳了Shamos和Hoey的一个猜想,即这个问题需要Ω(n log n)时间。主要结果的一个直接结果是,线性可分性问题在线性时间内是可解的。这纠正了Shamos和Hoey论文中的一个错误,即他们在平面上解决这个问题的O(n log n)算法是最优的。同时,给出了求解树的加权中心问题的线性时间算法,并给出了求解其他常见定位理论问题的算法。所得结果同样适用于三维凸二次规划问题。结果已经推广到高维,我们知道当维数固定时,线性规划可以在线性时间内求解。这将在别处报告;可从作者处获得一份初步报告。
{"title":"Linear-time algorithms for linear programming in R3 and related problems","authors":"N. Megiddo","doi":"10.1137/0212052","DOIUrl":"https://doi.org/10.1137/0212052","url":null,"abstract":"Linear-time for Linear Programming in R2 and R3 are presented. The methods used are applicable for some other problems. For example, a linear-time algorithm is given for the classical problem of finding the smallest circle enclosing n given points in the plane. This disproves a conjecture by Shamos and Hoey that this problem requires Ω(n log n) time. An immediate consequence of the main result is that the problem of linear separability is solvable in linear-time. This corrects an error in Shamos and Hoey's paper, namely, that their O(n log n) algorithm for this problem in the plane was optimal. Also, a linear-time algorithm is given for the problem of finding the weighted center of a tree and algorithms for other common location-theoretic problems are indicated. The results apply also to the problem of convex quadratic programming in three-dimensions. The results have already been extended to higher dimensions and we know that linear programming can be solved in linear-time when the dimension is fixed. This will be reported elsewhere; a preliminary report is available from the author.","PeriodicalId":127919,"journal":{"name":"23rd Annual Symposium on Foundations of Computer Science (sfcs 1982)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129232502","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}
引用次数: 890
Polynomial time algorithms for the MIN CUT problem on degree restricted trees 度受限树最小切割问题的多项式时间算法
M. Chung, F. Makedon, I. H. Sudborough, J. Turner
Polynomial algorithms are described that solve the MIN CUT LINEAR ARRANGEMENT problem on degree restricted trees. For example, the cutwidth or folding number of an arbitrary degree d tree can be found in O(n(logn)d-2) steps. This also yields an algorithm for determining the black/white pebble demand of degree three trees. A forbidden subgraph characterization is given for degree three trees having cutwidth k. This yields an interesting corollary: for degree three trees, cutwidth is identical to search number.
给出了一种求解度受限树上最小割线性排列问题的多项式算法。例如,任意阶d树的切面宽度或折叠数可以在O(n(logn)d-2)步中找到。这也产生了一种确定三度树的黑/白鹅卵石需求的算法。对于具有宽度为k的三阶树,给出了一个禁止子图特征。这产生了一个有趣的推论:对于三阶树,宽度与搜索数相同。
{"title":"Polynomial time algorithms for the MIN CUT problem on degree restricted trees","authors":"M. Chung, F. Makedon, I. H. Sudborough, J. Turner","doi":"10.1137/0214013","DOIUrl":"https://doi.org/10.1137/0214013","url":null,"abstract":"Polynomial algorithms are described that solve the MIN CUT LINEAR ARRANGEMENT problem on degree restricted trees. For example, the cutwidth or folding number of an arbitrary degree d tree can be found in O(n(logn)d-2) steps. This also yields an algorithm for determining the black/white pebble demand of degree three trees. A forbidden subgraph characterization is given for degree three trees having cutwidth k. This yields an interesting corollary: for degree three trees, cutwidth is identical to search number.","PeriodicalId":127919,"journal":{"name":"23rd Annual Symposium on Foundations of Computer Science (sfcs 1982)","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121309872","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}
引用次数: 59
On driving many long lines in a VLSI layout 在VLSI布局中驱动许多长线路
Pub Date : 1982-11-03 DOI: 10.1145/6490.6784
V. Ramachandran
We assume that long wires represent large capacitive loads, and investigate the effect on the area of a VLSI layout when drivers are introduced along many long wires in the layout. We present a layout for which the introduction of drivers along long wires squares the area of the layout; we show, however, that the increase in area is never greater than this, if the driver can be laid out in a square region. We also show an area-time trade-off for a single long wire by which we can reduce the area of its driver to Θ(lq), q ≪ 1, from Θ(l), if we can tolerate a delay of Θ(l1-q) rather than Θ(log l); and we obtain tight bounds on the worst-case area increase in general lay-outs having these drivers, using the Brouwer fixed-point theorem. We also derive results for the case when drivers are embedded in rectangles that are not square. Finally, we extend the use of our upper-bound technique to other layout, problems.
我们假设长导线代表大的容性负载,并研究当驱动器沿着许多长导线在布局中引入时对VLSI布局面积的影响。我们提出了一种布局,其中沿长导线引入驱动器使布局面积平方;然而,我们表明,如果驱动器可以放置在一个方形区域,则面积的增加不会大于此。我们还展示了单根长导线的面积-时间权衡,如果我们能容忍Θ(l1-q)而不是Θ(log l)的延迟,我们可以将其驱动器的面积从Θ(l)减小到Θ(lq), q≪1;利用布劳威尔不动点定理,我们得到了具有这些驱动的一般布局的最坏情况面积增长的紧边界。我们还推导了当驱动程序嵌入到非正方形矩形中时的结果。最后,我们将上界技术的应用扩展到其他布局问题。
{"title":"On driving many long lines in a VLSI layout","authors":"V. Ramachandran","doi":"10.1145/6490.6784","DOIUrl":"https://doi.org/10.1145/6490.6784","url":null,"abstract":"We assume that long wires represent large capacitive loads, and investigate the effect on the area of a VLSI layout when drivers are introduced along many long wires in the layout. We present a layout for which the introduction of drivers along long wires squares the area of the layout; we show, however, that the increase in area is never greater than this, if the driver can be laid out in a square region. We also show an area-time trade-off for a single long wire by which we can reduce the area of its driver to Θ(lq), q ≪ 1, from Θ(l), if we can tolerate a delay of Θ(l1-q) rather than Θ(log l); and we obtain tight bounds on the worst-case area increase in general lay-outs having these drivers, using the Brouwer fixed-point theorem. We also derive results for the case when drivers are embedded in rectangles that are not square. Finally, we extend the use of our upper-bound technique to other layout, problems.","PeriodicalId":127919,"journal":{"name":"23rd Annual Symposium on Foundations of Computer Science (sfcs 1982)","volume":"113 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114956946","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}
引用次数: 13
An application of number theory to the organization of raster-graphics memory 数论在栅格图形存储器组织中的应用
Pub Date : 1982-11-03 DOI: 10.1145/4904.4800
B. Chor, C. Leiserson, R. Rivest
A high-resolution raster-graphics display is usually combined with processing power and a memory organization that facilitates basic graphics operations. For many applications, including interactive text processing, the ability to quickly move or copy small rectangles of pixels is essential. This paper proposes a novel organization of raster-graphics memory that permits all small rectangles to be moved efficiently. The memory organization is based on a doubly periodic assignment of pixels to M memory chips according to a "Fibonacci" lattice. The memory organization guarantees that if a rectilinearly oriented rectangle contains fewer than M/√5 pixels, then all pixels will reside in different memory chips, and thus can be accessed simultaneously. We also define a continuous amdogue of the problem which can be posed as, "What is the maximum density of a set of points in the plane such that no two points are contained in the interior of a rectilinearly oriented rectangle of area N." We give a lower bound of 1/2N on the density of such a set, and show that 1/√5N can be achieved.
高分辨率光栅图形显示器通常与处理能力和便于基本图形操作的存储器组织相结合。对于许多应用程序,包括交互式文本处理,快速移动或复制小矩形像素的能力是必不可少的。本文提出了一种新的栅格图形存储器结构,它允许所有的小矩形被有效地移动。存储器的组织是基于基于“斐波那契”晶格对M个存储器芯片的像素的双重周期性分配。内存组织保证,如果一个直线定向的矩形包含少于M/√5个像素,那么所有像素将驻留在不同的内存芯片中,因此可以同时访问。我们还定义了这个问题的一个连续模糊,它可以被提出来,“平面上的一组点的最大密度是多少,使得没有两个点包含在面积为n的直线矩形的内部?”我们给出了这种集合密度的下界为1/ 2n,并证明了1/√5N是可以实现的。
{"title":"An application of number theory to the organization of raster-graphics memory","authors":"B. Chor, C. Leiserson, R. Rivest","doi":"10.1145/4904.4800","DOIUrl":"https://doi.org/10.1145/4904.4800","url":null,"abstract":"A high-resolution raster-graphics display is usually combined with processing power and a memory organization that facilitates basic graphics operations. For many applications, including interactive text processing, the ability to quickly move or copy small rectangles of pixels is essential. This paper proposes a novel organization of raster-graphics memory that permits all small rectangles to be moved efficiently. The memory organization is based on a doubly periodic assignment of pixels to M memory chips according to a \"Fibonacci\" lattice. The memory organization guarantees that if a rectilinearly oriented rectangle contains fewer than M/√5 pixels, then all pixels will reside in different memory chips, and thus can be accessed simultaneously. We also define a continuous amdogue of the problem which can be posed as, \"What is the maximum density of a set of points in the plane such that no two points are contained in the interior of a rectilinearly oriented rectangle of area N.\" We give a lower bound of 1/2N on the density of such a set, and show that 1/√5N can be achieved.","PeriodicalId":127919,"journal":{"name":"23rd Annual Symposium on Foundations of Computer Science (sfcs 1982)","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128593518","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}
引用次数: 51
Theory and application of trapdoor functions 活板门函数的理论与应用
Pub Date : 1982-11-03 DOI: 10.1109/SFCS.1982.95
A. Yao
The purpose of this paper is to introduce a new information theory and explore its appplications. Using modern computational complexity, we study the notion of information that can be accessed through a feasible computation. In Part 1 of this paper, we lay the foundation of the theory and set up a framework for cryptography and pseudorandom number generation. In Part 2, we study the concept of trapdoor functions and examine applications of such functions in cryptography, pseudorandom number generation, and abstract complexity theory.
本文的目的是介绍一种新的信息理论并探讨其应用。利用现代计算复杂性,我们研究了可通过可行计算访问的信息的概念。在本文的第一部分中,我们奠定了理论基础,并建立了密码学和伪随机数生成的框架。在第2部分中,我们研究了陷阱门函数的概念,并研究了这些函数在密码学、伪随机数生成和抽象复杂性理论中的应用。
{"title":"Theory and application of trapdoor functions","authors":"A. Yao","doi":"10.1109/SFCS.1982.95","DOIUrl":"https://doi.org/10.1109/SFCS.1982.95","url":null,"abstract":"The purpose of this paper is to introduce a new information theory and explore its appplications. Using modern computational complexity, we study the notion of information that can be accessed through a feasible computation. In Part 1 of this paper, we lay the foundation of the theory and set up a framework for cryptography and pseudorandom number generation. In Part 2, we study the concept of trapdoor functions and examine applications of such functions in cryptography, pseudorandom number generation, and abstract complexity theory.","PeriodicalId":127919,"journal":{"name":"23rd Annual Symposium on Foundations of Computer Science (sfcs 1982)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134462752","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}
引用次数: 1084
An efficient approximation scheme for the one-dimensional bin-packing problem 一维装箱问题的一种有效逼近格式
Pub Date : 1982-11-03 DOI: 10.1109/SFCS.1982.61
N. Karmarkar, R. Karp
We present several polynomial-time approximation algorithms for the one-dimensional bin-packing problem. using a subroutine to solve a certain linear programming relaxation of the problem. Our main results are as follows: There is a polynomial-time algorithm A such that A(I) ≤ OPT(I) + O(log2 OPT(I)). There is a polynomial-time algorithm A such that, if m(I) denotes the number of distinct sizes of pieces occurring in instance I, then A(I) ≤ OPT(I) + O(log2 m(I)). There is an approximation scheme which accepts as input an instance I and a positive real number ε, and produces as output a packing using as most (1 + ε) OPT(I) + O(ε-2) bins. Its execution time is O(ε-c n log n), where c is a constant. These are the best asymptotic performance bounds that have been achieved to date for polynomial-time bin-packing. Each of our algorithms makes at most O(log n) calls on the LP relaxation subroutine and takes at most O(n log n) time for other operations. The LP relaxation of bin packing was solved efficiently in practice by Gilmore and Gomory. We prove its membership in P, despite the fact that it has an astronomically large number of variables.
针对一维装箱问题,提出了几种多项式时间逼近算法。用子程序解决了某线性规划松弛的问题。我们的主要结果如下:存在一个多项式时间算法a,使得a (I)≤OPT(I) + O(log2 OPT(I))。存在一个多项式时间算法a,如果m(I)表示实例I中出现的不同大小的块的数量,则a (I)≤OPT(I) + O(log2 m(I))。有一个近似方案,它接受一个实例I和一个正实数ε作为输入,并产生一个使用最多(1 + ε) OPT(I) + O(ε-2)个箱子的打包作为输出。它的执行时间是O(ε-c n log n)这里c是常数。这些是迄今为止已经实现的多项式时间装箱的最佳渐近性能界。我们的每个算法对LP松弛子程序的调用最多为O(log n),对其他操作的调用最多为O(n log n)。Gilmore和Gomory在实践中有效地解决了装箱的LP松弛问题。我们证明了它属于P,尽管它有大量的变量。
{"title":"An efficient approximation scheme for the one-dimensional bin-packing problem","authors":"N. Karmarkar, R. Karp","doi":"10.1109/SFCS.1982.61","DOIUrl":"https://doi.org/10.1109/SFCS.1982.61","url":null,"abstract":"We present several polynomial-time approximation algorithms for the one-dimensional bin-packing problem. using a subroutine to solve a certain linear programming relaxation of the problem. Our main results are as follows: There is a polynomial-time algorithm A such that A(I) ≤ OPT(I) + O(log2 OPT(I)). There is a polynomial-time algorithm A such that, if m(I) denotes the number of distinct sizes of pieces occurring in instance I, then A(I) ≤ OPT(I) + O(log2 m(I)). There is an approximation scheme which accepts as input an instance I and a positive real number ε, and produces as output a packing using as most (1 + ε) OPT(I) + O(ε-2) bins. Its execution time is O(ε-c n log n), where c is a constant. These are the best asymptotic performance bounds that have been achieved to date for polynomial-time bin-packing. Each of our algorithms makes at most O(log n) calls on the LP relaxation subroutine and takes at most O(n log n) time for other operations. The LP relaxation of bin packing was solved efficiently in practice by Gilmore and Gomory. We prove its membership in P, despite the fact that it has an astronomically large number of variables.","PeriodicalId":127919,"journal":{"name":"23rd Annual Symposium on Foundations of Computer Science (sfcs 1982)","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115799488","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}
引用次数: 489
The computational complexity of simultaneous Diophantine approximation problems 同时丢番图近似问题的计算复杂度
J. Lagarias
Simultaneous Diophantine approximation in d dimensions deals with the approximation of a vector α = (α1, ..., αd) of d real numbers by vectors of rational numbers all having the same denominator. This paper considers the computational complexity of algorithms to find good simultaneous approximations to a given vector α of d rational numbers. We measure the goodness of an approximation using the sup norm. We show that a result of H. W. Lenstra, Jr. produces polynomial-time algorithms to find sup norm best approximations to a given vector α when the dimension d is fixed. We show that a recent algorithm of A. K. Lenstra, H. W. Lenstra, Jr., and L. Lovasz to find short vectors in an integral lattice can be used to find a good approximation to a given vector α in d dimensions with a denominator Q satisfying 1 ≤ Q ≤ 2d/2 N which is within a factor √5d 2d+1/2 of the best approximation with denominator Q* with 1 ≤ Q* ≤ N. This algorithm runs in time polynomial in the input size, independent of the dimension d. We prove results complementing these, showing certain natural simultaneous Diophantine approximation problems are NP-hard. We show that the problem of deciding whether a given vector α of rational numbers has a simultaneous approximation of specified accuracy with respect to the sup norm with denominator Q in a given interval 1 ≤ Q ≤ N is NP-complete. (Here the dimension d is allowed to vary.) We prove two other complexity results, which suggest that the problem of locating best (sup norm) simultaneous approximations is harder than this NP-complete problem.
d维的同时丢番图近似处理向量α = (α1,…(d)用有理数的向量表示d个实数,它们的分母相同。本文考虑了d有理数向量α的同时逼近算法的计算复杂度。我们用sup范数来衡量一个近似的优度。我们证明了H. W. Lenstra, Jr.的结果产生了多项式时间算法,以在维数d固定时找到给定向量α的sup范数最佳逼近。我们表明,最近的算法a . k . Lenstra h·w·Lenstra, Jr .)和l . Lovasz找到短向量积分格可以用来找到一个好的近似给定向量α与分母d维Q Q满足1≤≤2 d / 2 N等于√5 d 2 d + 1/2倍以内最好的近似与分母Q * 1≤Q *≤N这个算法的运行时间在多项式输入大小,独立的维d。我们证明结果补充这些,表明某些自然同时的丢番图近似问题是np困难的。我们证明了在给定区间1≤Q≤N内判定给定有序数向量α对分母为Q的sup范数是否具有指定精度的同时逼近的问题是np完全的。(这里的维度d是允许变化的。)我们证明了另外两个复杂性结果,这表明定位最佳(sup范数)同时逼近的问题比这个np完全问题更难。
{"title":"The computational complexity of simultaneous Diophantine approximation problems","authors":"J. Lagarias","doi":"10.1137/0214016","DOIUrl":"https://doi.org/10.1137/0214016","url":null,"abstract":"Simultaneous Diophantine approximation in d dimensions deals with the approximation of a vector α = (α1, ..., αd) of d real numbers by vectors of rational numbers all having the same denominator. This paper considers the computational complexity of algorithms to find good simultaneous approximations to a given vector α of d rational numbers. We measure the goodness of an approximation using the sup norm. We show that a result of H. W. Lenstra, Jr. produces polynomial-time algorithms to find sup norm best approximations to a given vector α when the dimension d is fixed. We show that a recent algorithm of A. K. Lenstra, H. W. Lenstra, Jr., and L. Lovasz to find short vectors in an integral lattice can be used to find a good approximation to a given vector α in d dimensions with a denominator Q satisfying 1 ≤ Q ≤ 2d/2 N which is within a factor √5d 2d+1/2 of the best approximation with denominator Q* with 1 ≤ Q* ≤ N. This algorithm runs in time polynomial in the input size, independent of the dimension d. We prove results complementing these, showing certain natural simultaneous Diophantine approximation problems are NP-hard. We show that the problem of deciding whether a given vector α of rational numbers has a simultaneous approximation of specified accuracy with respect to the sup norm with denominator Q in a given interval 1 ≤ Q ≤ N is NP-complete. (Here the dimension d is allowed to vary.) We prove two other complexity results, which suggest that the problem of locating best (sup norm) simultaneous approximations is harder than this NP-complete problem.","PeriodicalId":127919,"journal":{"name":"23rd Annual Symposium on Foundations of Computer Science (sfcs 1982)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125735550","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}
引用次数: 250
A polynomial-time reduction from bivariate to univariate integral polynomial factorization 从二元到一元积分多项式分解的多项式时间化简
Pub Date : 1982-11-01 DOI: 10.1145/1089310.1089311
E. Kaltofen
An algorithm is presented which reduces the problem of finding the irreducible factors of a bivariate polynomial with integer coefficients in polynomial time in the total degree and the coefficient lengths to factoring a univariate integer polynomial. Together with A. Lenstra's, H. Lenstra's and L. Lovasz' polynomial-time factorization algorithm for univariate integer polynomials and the author's multivariate to bivariate reduction the new algorithm implies the following theorem. Factoring a polynomial with a fixed number of variables into irreducibles, except for the constant factors, can be accomplished in time polynomial in the total degree and the size of its coefficients. The new algorithm can be generalized to reducing multivariate factorization directly to univariate factorization and to factoring multivariate polynomials with coefficients in algebraic number fields and finite fields in polynomial time.
提出了一种算法,将总度和系数长度为多项式时间的二元整数多项式的不可约因子求解问题简化为一元整数多项式的因式分解问题。与A. Lenstra, H. Lenstra和L. Lovasz的单变量整数多项式的多项式时间分解算法和作者的多元到二元化简算法一起,新算法隐含了以下定理。将一个变量数固定的多项式分解为除常数因子外的不可约因子,可以在时间多项式的总度和系数大小上完成。该算法可推广到将多元因子分解直接分解为单变量因子分解,也可推广到在多项式时间内分解代数数域和有限域的带系数的多元多项式。
{"title":"A polynomial-time reduction from bivariate to univariate integral polynomial factorization","authors":"E. Kaltofen","doi":"10.1145/1089310.1089311","DOIUrl":"https://doi.org/10.1145/1089310.1089311","url":null,"abstract":"An algorithm is presented which reduces the problem of finding the irreducible factors of a bivariate polynomial with integer coefficients in polynomial time in the total degree and the coefficient lengths to factoring a univariate integer polynomial. Together with A. Lenstra's, H. Lenstra's and L. Lovasz' polynomial-time factorization algorithm for univariate integer polynomials and the author's multivariate to bivariate reduction the new algorithm implies the following theorem. Factoring a polynomial with a fixed number of variables into irreducibles, except for the constant factors, can be accomplished in time polynomial in the total degree and the size of its coefficients. The new algorithm can be generalized to reducing multivariate factorization directly to univariate factorization and to factoring multivariate polynomials with coefficients in algebraic number fields and finite fields in polynomial time.","PeriodicalId":127919,"journal":{"name":"23rd Annual Symposium on Foundations of Computer Science (sfcs 1982)","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128955419","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}
引用次数: 56
期刊
23rd Annual Symposium on Foundations of Computer Science (sfcs 1982)
全部 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学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1