{"title":"两个偏置集问题的精确指数算法","authors":"L. Kozma","doi":"10.4230/LIPIcs.SWAT.2020.30","DOIUrl":null,"url":null,"abstract":"Partially ordered sets (posets) are fundamental combinatorial objects with important applications in computer science. Perhaps the most natural algorithmic task, given a size-$n$ poset, is to compute its number of linear extensions. In 1991 Brightwell and Winkler showed this problem to be $\\#P$-hard. In spite of extensive research, the fastest known algorithm is still the straightforward $O(n 2^n)$-time dynamic programming (an adaptation of the Bellman-Held-Karp algorithm for the TSP). Very recently, Dittmer and Pak showed that the problem remains $\\#P$-hard for two-dimensional posets, and no algorithm was known to break the $2^n$-barrier even in this special case. The question of whether the two-dimensional problem is easier than the general case was raised decades ago by Mohring, Felsner and Wernisch, and others. In this paper we show that the number of linear extensions of a two-dimensional poset can be computed in time $O(1.8172^n)$. \nThe related jump number problem asks for a linear extension of a poset, minimizing the number of neighboring incomparable pairs. The problem has applications in scheduling, and has been widely studied. In 1981 Pulleyblank showed it to be NP-complete. We show that the jump number problem can be solved (in arbitrary posets) in time $O(1.824^n)$. This improves (slightly) the previous best bound of Kratsch and Kratsch.","PeriodicalId":447445,"journal":{"name":"Scandinavian Workshop on Algorithm Theory","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2019-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Exact exponential algorithms for two poset problems\",\"authors\":\"L. Kozma\",\"doi\":\"10.4230/LIPIcs.SWAT.2020.30\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Partially ordered sets (posets) are fundamental combinatorial objects with important applications in computer science. Perhaps the most natural algorithmic task, given a size-$n$ poset, is to compute its number of linear extensions. In 1991 Brightwell and Winkler showed this problem to be $\\\\#P$-hard. In spite of extensive research, the fastest known algorithm is still the straightforward $O(n 2^n)$-time dynamic programming (an adaptation of the Bellman-Held-Karp algorithm for the TSP). Very recently, Dittmer and Pak showed that the problem remains $\\\\#P$-hard for two-dimensional posets, and no algorithm was known to break the $2^n$-barrier even in this special case. The question of whether the two-dimensional problem is easier than the general case was raised decades ago by Mohring, Felsner and Wernisch, and others. In this paper we show that the number of linear extensions of a two-dimensional poset can be computed in time $O(1.8172^n)$. \\nThe related jump number problem asks for a linear extension of a poset, minimizing the number of neighboring incomparable pairs. The problem has applications in scheduling, and has been widely studied. In 1981 Pulleyblank showed it to be NP-complete. We show that the jump number problem can be solved (in arbitrary posets) in time $O(1.824^n)$. This improves (slightly) the previous best bound of Kratsch and Kratsch.\",\"PeriodicalId\":447445,\"journal\":{\"name\":\"Scandinavian Workshop on Algorithm Theory\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2019-12-30\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Scandinavian Workshop on Algorithm Theory\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.4230/LIPIcs.SWAT.2020.30\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Scandinavian Workshop on Algorithm Theory","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.4230/LIPIcs.SWAT.2020.30","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
摘要
偏序集是计算机科学中具有重要应用的基本组合对象。也许最自然的算法任务,给定一个大小为-$n$的偏序集,就是计算它的线性扩展的数量。1991年,Brightwell和Winkler指出这个问题很难解决。尽管进行了广泛的研究,但已知最快的算法仍然是直接的$O(n2 ^n)$时间动态规划(对TSP的bellman - hold - karp算法的改编)。最近,Dittmer和Pak表明,这个问题对于二维偏序集来说仍然很困难,即使在这种特殊情况下,也没有已知的算法可以打破2^n$障碍。二维问题是否比一般情况更容易的问题是几十年前由莫林、费尔斯纳和韦尼什等人提出的。本文证明了二维偏序集的线性扩展的个数可以在时间$O(1.8172^n)$上计算。相关的跳数问题要求对偏序集进行线性扩展,使相邻的不可比较对的数量最小化。该问题在调度中有广泛的应用,并得到了广泛的研究。1981年,普利布兰克证明了它是np完备的。我们证明了跳数问题可以在时间$O(1.824^n)$上(在任意偏置集)得到解决。这(稍微)改进了之前的Kratsch和Kratsch的最佳界。
Exact exponential algorithms for two poset problems
Partially ordered sets (posets) are fundamental combinatorial objects with important applications in computer science. Perhaps the most natural algorithmic task, given a size-$n$ poset, is to compute its number of linear extensions. In 1991 Brightwell and Winkler showed this problem to be $\#P$-hard. In spite of extensive research, the fastest known algorithm is still the straightforward $O(n 2^n)$-time dynamic programming (an adaptation of the Bellman-Held-Karp algorithm for the TSP). Very recently, Dittmer and Pak showed that the problem remains $\#P$-hard for two-dimensional posets, and no algorithm was known to break the $2^n$-barrier even in this special case. The question of whether the two-dimensional problem is easier than the general case was raised decades ago by Mohring, Felsner and Wernisch, and others. In this paper we show that the number of linear extensions of a two-dimensional poset can be computed in time $O(1.8172^n)$.
The related jump number problem asks for a linear extension of a poset, minimizing the number of neighboring incomparable pairs. The problem has applications in scheduling, and has been widely studied. In 1981 Pulleyblank showed it to be NP-complete. We show that the jump number problem can be solved (in arbitrary posets) in time $O(1.824^n)$. This improves (slightly) the previous best bound of Kratsch and Kratsch.