首页 > 最新文献

Workshop on Analytic Algorithmics and Combinatorics最新文献

英文 中文
The Subtree Size Profile of Plane-oriented Recursive Trees 面向平面递归树的子树大小轮廓
Pub Date : 2011-01-22 DOI: 10.1137/1.9781611973013.10
Michael Fuchs
In this extended abstract, we outline how to derive limit theorems for the number of subtrees of size k on the fringe of random plane-oriented recursive trees. Our proofs are based on the method of moments, where a complex-analytic approach is used for constant k and an elementary approach for k which varies with n. Our approach is of some generality and can be applied to other simple classes of increasing trees as well.
在这篇扩展摘要中,我们概述了如何推导随机平面递归树边缘上大小为k的子树数目的极限定理。我们的证明是基于矩的方法,其中对常数k使用复解析方法,对随n变化的k使用初等方法。我们的方法具有一定的通用性,也可以应用于其他简单的增长树类。
{"title":"The Subtree Size Profile of Plane-oriented Recursive Trees","authors":"Michael Fuchs","doi":"10.1137/1.9781611973013.10","DOIUrl":"https://doi.org/10.1137/1.9781611973013.10","url":null,"abstract":"In this extended abstract, we outline how to derive limit theorems for the number of subtrees of size k on the fringe of random plane-oriented recursive trees. Our proofs are based on the method of moments, where a complex-analytic approach is used for constant k and an elementary approach for k which varies with n. Our approach is of some generality and can be applied to other simple classes of increasing trees as well.","PeriodicalId":340112,"journal":{"name":"Workshop on Analytic Algorithmics and Combinatorics","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-01-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115781289","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
The Growing Trees Distribution on Boolean Functions 布尔函数上的生长树分布
Pub Date : 2011-01-22 DOI: 10.1137/1.9781611973013.5
B. Chauvin, Danièle Gardy, Cécile Mailler
We define a probability distribution over the set of Boolean functions of k variables induced by the tree representation of Boolean expressions. The law we are interested in is inspired by the growth model of Binary Search Trees: we call it the growing tree law. We study it over different logical systems and compare the results we obtain to already known distributions induced by the tree representation: Catalan trees, Galton-Watson trees and balanced trees.
我们定义了由布尔表达式的树形表示导出的k变量布尔函数集合上的概率分布。我们感兴趣的定律是受到二叉搜索树的生长模型的启发:我们称之为生长树定律。我们在不同的逻辑系统上研究它,并将我们得到的结果与由树表示引起的已知分布进行比较:Catalan树,Galton-Watson树和平衡树。
{"title":"The Growing Trees Distribution on Boolean Functions","authors":"B. Chauvin, Danièle Gardy, Cécile Mailler","doi":"10.1137/1.9781611973013.5","DOIUrl":"https://doi.org/10.1137/1.9781611973013.5","url":null,"abstract":"We define a probability distribution over the set of Boolean functions of k variables induced by the tree representation of Boolean expressions. The law we are interested in is inspired by the growth model of Binary Search Trees: we call it the growing tree law. We study it over different logical systems and compare the results we obtain to already known distributions induced by the tree representation: Catalan trees, Galton-Watson trees and balanced trees.","PeriodicalId":340112,"journal":{"name":"Workshop on Analytic Algorithmics and Combinatorics","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-01-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129698307","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}
引用次数: 6
Stochastic Minimum Spanning Trees and Related Problems 随机最小生成树及其相关问题
Pub Date : 2011-01-22 DOI: 10.1137/1.9781611973013.12
Pegah Kamousi, S. Suri
We investigate the computational complexity of minimum spanning trees and maximum flows in a simple model of stochastic networks, where each node or edge of an undirected master graph can fail with an independent and arbitrary probability. We show that computing the expected length of the MST or the value of the max-flow is #P-Hard, but that for the MST it can be approximated within O(log n) factor for metric graphs. The hardness proof for the MST applies even to Euclidean graphs in 3 dimensions. We also show that the tail bounds for the MST cannot be approximated in general to any multiplicative factor unless P = NP. This stochastic MST problem was mentioned but left unanswered by Bertsimas, Jaillet and Odoni [Operations Research, 1990] in their work on a priori optimization. More generally, we also consider the complexity of linear programming under probabilistic constraints, and show it to be #P-Hard. If the linear program has a constant number of variables, then it can be solved exactly in polynomial time. For general dimensions, we give a randomized algorithm for approximating the probability of LP feasibility.
我们研究了一个简单的随机网络模型中最小生成树和最大流的计算复杂度,其中无向主图的每个节点或边都可能以独立的任意概率失效。我们表明,计算MST的期望长度或最大流量的值是#P-Hard,但对于MST,它可以在度量图的O(log n)因子内近似。MST的硬度证明甚至适用于三维欧几里得图。我们还表明,除非P = NP,否则MST的尾界一般不能近似于任何乘法因子。Bertsimas, Jaillet和Odoni[运筹学,1990]在他们关于先验优化的工作中提到了这个随机MST问题,但没有回答。更一般地说,我们还考虑了概率约束下线性规划的复杂性,并表明它是#P-Hard。如果线性程序具有常数变量,那么它可以在多项式时间内精确地求解。对于一般维数,我们给出了一种近似LP可行性概率的随机算法。
{"title":"Stochastic Minimum Spanning Trees and Related Problems","authors":"Pegah Kamousi, S. Suri","doi":"10.1137/1.9781611973013.12","DOIUrl":"https://doi.org/10.1137/1.9781611973013.12","url":null,"abstract":"We investigate the computational complexity of minimum spanning trees and maximum flows in a simple model of stochastic networks, where each node or edge of an undirected master graph can fail with an independent and arbitrary probability. We show that computing the expected length of the MST or the value of the max-flow is #P-Hard, but that for the MST it can be approximated within O(log n) factor for metric graphs. The hardness proof for the MST applies even to Euclidean graphs in 3 dimensions. We also show that the tail bounds for the MST cannot be approximated in general to any multiplicative factor unless P = NP. This stochastic MST problem was mentioned but left unanswered by Bertsimas, Jaillet and Odoni [Operations Research, 1990] in their work on a priori optimization. More generally, we also consider the complexity of linear programming under probabilistic constraints, and show it to be #P-Hard. If the linear program has a constant number of variables, then it can be solved exactly in polynomial time. For general dimensions, we give a randomized algorithm for approximating the probability of LP feasibility.","PeriodicalId":340112,"journal":{"name":"Workshop on Analytic Algorithmics and Combinatorics","volume":"168 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-01-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114166327","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}
引用次数: 4
The Swedish Leader Election Protocol: Analysis and Variations 瑞典领导人选举礼仪:分析与变化
Pub Date : 2011-01-22 DOI: 10.1137/1.9781611973013.14
G. Louchard, C. Martínez, H. Prodinger
We analyze in detail a leader election protocol that we call the Swedish leader election protocol. The goal is to select one among n > 0 players, by proceeding through a number of rounds. If there is only one player remaining, the protocol stops and the player is declared the leader. Otherwise, all remaining players flip a biased coin; with probability q the player survives to the next round, with probability p = 1 − q the player loses and plays no further... unless all players lose in a given round, so all them play again. In the classical leader election protocol, any number of null rounds may take place, and with probability 1 some player will ultimately be elected. In the Swedish leader election protocol there is a maximum number τ of consecutive null rounds, and if the threshold is attained the protocol fails without declaring a leader. We analyze several parameters of interest of this protocol as functions of n, q and τ, including the probability of success, the expected number of rounds, the expected number of leftovers (number of players still playing by the time the protocol fails), etc. We also discuss several variations and how to cope with their analysis, e.g., if we bound the total number of null rounds, consecutive or not.
我们详细分析了一个领导人选举协议,我们称之为瑞典领导人选举协议。目标是在n > 0个玩家中选择一个,通过几个回合进行。如果只剩下一个玩家,协议停止,该玩家被宣布为领导者。否则,所有剩下的玩家都抛有偏的硬币;如果概率为q,玩家能活到下一轮,如果概率为p = 1 - q,玩家输了,不能再玩下去了……除非所有玩家在某一轮中都输了,所以他们都再玩一次。在经典的领导人选举协议中,任何数量的零轮都可能发生,并且以1的概率最终会有一些玩家当选。在瑞典领导人选举协议中,存在连续空轮的最大数量τ,如果达到阈值,则协议在没有宣布领导人的情况下失败。我们分析了该协议的几个参数作为n, q和τ的函数,包括成功概率,预期回合数,预期剩余数(协议失败时仍在玩的玩家数量)等。我们还讨论了几种变体以及如何处理它们的分析,例如,如果我们限定null轮的总数,连续或不连续。
{"title":"The Swedish Leader Election Protocol: Analysis and Variations","authors":"G. Louchard, C. Martínez, H. Prodinger","doi":"10.1137/1.9781611973013.14","DOIUrl":"https://doi.org/10.1137/1.9781611973013.14","url":null,"abstract":"We analyze in detail a leader election protocol that we call the Swedish leader election protocol. The goal is to select one among n > 0 players, by proceeding through a number of rounds. If there is only one player remaining, the protocol stops and the player is declared the leader. Otherwise, all remaining players flip a biased coin; with probability q the player survives to the next round, with probability p = 1 − q the player loses and plays no further... unless all players lose in a given round, so all them play again. In the classical leader election protocol, any number of null rounds may take place, and with probability 1 some player will ultimately be elected. In the Swedish leader election protocol there is a maximum number τ of consecutive null rounds, and if the threshold is attained the protocol fails without declaring a leader. We analyze several parameters of interest of this protocol as functions of n, q and τ, including the probability of success, the expected number of rounds, the expected number of leftovers (number of players still playing by the time the protocol fails), etc. We also discuss several variations and how to cope with their analysis, e.g., if we bound the total number of null rounds, consecutive or not.","PeriodicalId":340112,"journal":{"name":"Workshop on Analytic Algorithmics and Combinatorics","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-01-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126802256","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}
引用次数: 9
Some Properties of Random Staircase Tableaux 随机楼梯场景的一些特性
Pub Date : 2011-01-22 DOI: 10.1137/1.9781611973013.7
Sandrine Dasse-Hartaut, P. Hitczenko
We describe a probabilistic approach to a relatively new combinatorial object called staircase tableaux. Our approach allows us to analyze several parameters of a randomly chosen staircase tableau of a given size.
我们描述了一个相对较新的组合对象称为阶梯表的概率方法。我们的方法允许我们分析给定大小的随机选择的楼梯画面的几个参数。
{"title":"Some Properties of Random Staircase Tableaux","authors":"Sandrine Dasse-Hartaut, P. Hitczenko","doi":"10.1137/1.9781611973013.7","DOIUrl":"https://doi.org/10.1137/1.9781611973013.7","url":null,"abstract":"We describe a probabilistic approach to a relatively new combinatorial object called staircase tableaux. Our approach allows us to analyze several parameters of a randomly chosen staircase tableau of a given size.","PeriodicalId":340112,"journal":{"name":"Workshop on Analytic Algorithmics and Combinatorics","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-01-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132687004","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}
引用次数: 1
Random Road Networks: The Quadtree Model 随机道路网络:四叉树模型
Pub Date : 2010-08-29 DOI: 10.1137/1.9781611973013.9
David Eisenstat
What does a typical road network look like? Existing generative models tend to focus on one aspect to the exclusion of others. We introduce the general-purpose emph{quadtree model} and analyze its shortest paths and maximum flow.
典型的道路网络是什么样的?现有的生成模型倾向于关注一个方面而排斥其他方面。介绍了通用emph{四叉树模型},并分析了其最短路径和最大流量。
{"title":"Random Road Networks: The Quadtree Model","authors":"David Eisenstat","doi":"10.1137/1.9781611973013.9","DOIUrl":"https://doi.org/10.1137/1.9781611973013.9","url":null,"abstract":"What does a typical road network look like? Existing generative models tend to focus on one aspect to the exclusion of others. We introduce the general-purpose emph{quadtree model} and analyze its shortest paths and maximum flow.","PeriodicalId":340112,"journal":{"name":"Workshop on Analytic Algorithmics and Combinatorics","volume":"23 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120821538","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}
引用次数: 18
Averaging Techniques for Competitive Auctions 竞争性拍卖的平均技术
Pub Date : 2010-01-16 DOI: 10.1137/1.9781611973006.10
Takayuki Ichiba, K. Iwama
We study digital-goods auctions for items in unlimited supply introduced by Goldberg, Hartline and Wright. Since no deterministic algorithms are competitive for this class of auctions, one of the central research issues is how to obtain a nice probabilistic distribution over truthful algorithms. In this paper, we introduce a rather systematic approach to this goal: Consider for example the Sampling Cost Share (SCS) auction. It is well known that SCS works well if the the current bid vector produces many winners against F(2), the standard benchmark algorithm for competitive analysis. In fact, its competitive ratio is approaching to 2.0 as k (= the number of F(2) winners) grows. On the other hand, its competitive ratio becomes as bad as 4.0 for k = 2. Our new approach is to develop a sequence of similar cost-share type algorithms, DCSk, which work well for small k. Now we choose a sufficiently large constant N and run DCS1, DCS2, ..., DCSN and SCS with probabilities p1, p2, ..., pN and q, respectively. It should be noted that we can use LP to obtain optimal p1, p2,..., pN and q. By this averaging method, we can improve the competitive ratio of SCS from 4.0 to 3.531 and that of the currently best Aggregated γ3 algorithm due to Hartline and McGrew from 3.243 to 3.119.
我们研究了由Goldberg, Hartline和Wright提出的无限供应的数字商品拍卖。由于这类拍卖没有确定性算法具有竞争性,因此研究的核心问题之一是如何在真实算法上获得良好的概率分布。在本文中,我们介绍了一种相当系统的方法来实现这一目标:例如,考虑抽样成本分担(SCS)拍卖。众所周知,如果当前投标向量对竞争分析的标准基准算法F(2)产生许多获胜者,则SCS工作良好。事实上,随着k (= F(2)个优胜者的数量)的增加,其竞争比率正在接近2.0。另一方面,当k = 2时,其竞争比率仅为4.0。我们的新方法是开发一系列类似的成本分担型算法,DCSk,它适用于较小的k。现在我们选择一个足够大的常数N并运行DCS1, DCS2,…, DCSN和SCS,概率为p1, p2,…分别为pN和q。值得注意的是,我们可以使用LP来获得最优的p1, p2,…通过这种平均方法,我们可以将SCS的竞争比从4.0提高到3.531,将Hartline和McGrew导致的目前最好的Aggregated γ3算法的竞争比从3.243提高到3.119。
{"title":"Averaging Techniques for Competitive Auctions","authors":"Takayuki Ichiba, K. Iwama","doi":"10.1137/1.9781611973006.10","DOIUrl":"https://doi.org/10.1137/1.9781611973006.10","url":null,"abstract":"We study digital-goods auctions for items in unlimited supply introduced by Goldberg, Hartline and Wright. Since no deterministic algorithms are competitive for this class of auctions, one of the central research issues is how to obtain a nice probabilistic distribution over truthful algorithms. In this paper, we introduce a rather systematic approach to this goal: Consider for example the Sampling Cost Share (SCS) auction. It is well known that SCS works well if the the current bid vector produces many winners against F(2), the standard benchmark algorithm for competitive analysis. In fact, its competitive ratio is approaching to 2.0 as k (= the number of F(2) winners) grows. On the other hand, its competitive ratio becomes as bad as 4.0 for k = 2. Our new approach is to develop a sequence of similar cost-share type algorithms, DCSk, which work well for small k. Now we choose a sufficiently large constant N and run DCS1, DCS2, ..., DCSN and SCS with probabilities p1, p2, ..., pN and q, respectively. It should be noted that we can use LP to obtain optimal p1, p2,..., pN and q. By this averaging method, we can improve the competitive ratio of SCS from 4.0 to 3.531 and that of the currently best Aggregated γ3 algorithm due to Hartline and McGrew from 3.243 to 3.119.","PeriodicalId":340112,"journal":{"name":"Workshop on Analytic Algorithmics and Combinatorics","volume":"222 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-01-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134242566","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}
引用次数: 12
Phases in the Mixing of Gases via the Ehrenfest Urn Model 通过Ehrenfest瓮模型研究气体混合中的相
Pub Date : 2010-01-16 DOI: 10.1137/1.9781611973006.2
S. Balaji, H. Mahmoud
The Ehrenfest urn is a model for the mixing of gases in two chambers. Classic research deals with this system as a Markovian model with a fixed number of balls, and derives the steady-state behavior as a binomial distribution (which can be approximated by a normal distribution). We study the gradual change for an urn containing n balls from the initial condition to the steady state. We look at the status of the urn after kn draws. We identify three phases of kn: The growing sublinear, the linear, and the superlinear. In the growing sublinear phase the amount of gas in either chamber is normally distributed, with parameters that are influenced by the initial conditions. In the linear phase a different normal distribution applies, in which the influence of the initial conditions is attenuated. The steady state is not a good approximation until a superlinear amount of time has elapsed. At the superlinear stage the mix is nearly perfect, with a nearly perfect symmetrical normal distribution in which the effect of the initial conditions is completely washed away. We give interpretations for how the results in different phases conjoin at the "seam lines." The Gaussian results are obtained via martingale theory.
埃伦费斯特旋转器是两个腔室中气体混合的模型。经典研究将该系统视为具有固定数量球的马尔可夫模型,并将其稳态行为导出为二项分布(可以用正态分布近似)。研究了含n个球的球缸从初始状态到稳态的逐渐变化。我们看看kn后的状态。我们确定了kn的三个阶段:增长的次线性,线性和超线性。在不断增长的亚线性相中,任一腔室的气体量呈正态分布,其参数受初始条件的影响。在线性阶段采用不同的正态分布,其中初始条件的影响减弱。在经过一段超线性的时间之后,稳态才算是一个很好的近似。在超线性阶段,混合接近完美,具有近乎完美的对称正态分布,其中初始条件的影响完全被冲走。我们对不同阶段的结果如何在“接缝线”上结合给出了解释。高斯结果是通过鞅理论得到的。
{"title":"Phases in the Mixing of Gases via the Ehrenfest Urn Model","authors":"S. Balaji, H. Mahmoud","doi":"10.1137/1.9781611973006.2","DOIUrl":"https://doi.org/10.1137/1.9781611973006.2","url":null,"abstract":"The Ehrenfest urn is a model for the mixing of gases in two chambers. Classic research deals with this system as a Markovian model with a fixed number of balls, and derives the steady-state behavior as a binomial distribution (which can be approximated by a normal distribution). We study the gradual change for an urn containing n balls from the initial condition to the steady state. We look at the status of the urn after kn draws. We identify three phases of kn: The growing sublinear, the linear, and the superlinear. In the growing sublinear phase the amount of gas in either chamber is normally distributed, with parameters that are influenced by the initial conditions. In the linear phase a different normal distribution applies, in which the influence of the initial conditions is attenuated. The steady state is not a good approximation until a superlinear amount of time has elapsed. At the superlinear stage the mix is nearly perfect, with a nearly perfect symmetrical normal distribution in which the effect of the initial conditions is completely washed away. We give interpretations for how the results in different phases conjoin at the \"seam lines.\" The Gaussian results are obtained via martingale theory.","PeriodicalId":340112,"journal":{"name":"Workshop on Analytic Algorithmics and Combinatorics","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-01-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114632788","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}
引用次数: 0
Enumerating and Generating Labeled k-degenerate Graphs 枚举和生成标记k-退化图
Pub Date : 2010-01-16 DOI: 10.1137/1.9781611973006.12
Reinhard Bauer, M. Krug, D. Wagner
A k-degenerate graph is a graph in which every induced subgraph has a vertex with degree at most k. The class of k-degenerate graphs is interesting from a theoretical point of view and it plays an interesting role in the theory of fixed parameter tractability since some otherwise W[2]-hard domination problems become fixed-parameter tractable for k-degenerate graphs. It is a well-known fact that the k-degenerate graphs are exactly the graphs whose vertex-set can be well-ordered such that each vertex is incident to at most k larger vertices with respect to this ordering. A well-ordered k-degenerate graph is a labeled graph with vertex-labels 1, ..., n such that the ordering of the vertices by their labels is a well-ordering of the graph. We consider the problem of enumerating and generating well-ordered k-degenerate graphs with a given number of vertices and with a given number of vertices and edges, respectively, uniformly at random. By generating well-ordered k-degenerate graphs we generate at least one labeled copy of each unlabeled k-degenerate graph and we filter some but not all isomorphies compared to the classical labeled approach. We also introduce the class of strongly k-degenerate graphs, which are k-degenerate graphs with minimum degree k. These graphs are a natural generalization of k-regular graphs which can be used in order to generate graphs with predefined core-decomposition. We present efficient algorithms for generating well-ordered k-degenerate graphs with given number of vertices (and edges). After a precomputation which must only be performed once when generating more than one well-ordered k-degenerate graph these algorithms are almost optimal. Additionally, we present complete non-uniform generators for these classes with optimal running time. We also present an efficient and complete generator for well-ordered strongly k-degenerate graphs with given number of vertices (and edges). Finally, we present efficient algorithms for enumerating well-ordered k-degenerate and strongly k-degenerate graphs.
k-退化图是一种图,其中每个诱导子图都有一个最多k度的顶点。从理论的角度来看,k-退化图是有趣的,它在固定参数可跟踪性理论中起着有趣的作用,因为一些W[2]-难的控制问题对于k-退化图来说是固定参数可跟踪的。众所周知的事实是,k-退化图正是顶点集可以有序的图,使得每个顶点相对于这个顺序最多关联k个更大的顶点。良序k-退化图是顶点标记为1,…的标记图。, n使得顶点按标签排序是图的良序。我们考虑了均匀随机地枚举和生成具有给定顶点数量和给定顶点和边数量的良序k-退化图的问题。通过生成良序k-退化图,我们生成了每个未标记k-退化图的至少一个标记副本,并且与经典标记方法相比,我们过滤了一些同构,但不是所有同构。我们还引入了一类强k-退化图,它们是最小度为k的k-退化图。这些图是k-正则图的自然推广,可用于生成具有预定义核心分解的图。我们提出了一种有效的算法,用于生成具有给定数量的顶点(和边)的良序k-退化图。当生成多个良序k-退化图时,只需进行一次预计算,这些算法几乎是最优的。此外,我们还为这些具有最佳运行时间的类提供了完整的非均匀生成器。我们还给出了具有给定顶点(和边)数量的良序强k-退化图的一个高效完备的生成器。最后,我们给出了列举良序k-简并图和强k-简并图的有效算法。
{"title":"Enumerating and Generating Labeled k-degenerate Graphs","authors":"Reinhard Bauer, M. Krug, D. Wagner","doi":"10.1137/1.9781611973006.12","DOIUrl":"https://doi.org/10.1137/1.9781611973006.12","url":null,"abstract":"A k-degenerate graph is a graph in which every induced subgraph has a vertex with degree at most k. The class of k-degenerate graphs is interesting from a theoretical point of view and it plays an interesting role in the theory of fixed parameter tractability since some otherwise W[2]-hard domination problems become fixed-parameter tractable for k-degenerate graphs. \u0000 \u0000It is a well-known fact that the k-degenerate graphs are exactly the graphs whose vertex-set can be well-ordered such that each vertex is incident to at most k larger vertices with respect to this ordering. A well-ordered k-degenerate graph is a labeled graph with vertex-labels 1, ..., n such that the ordering of the vertices by their labels is a well-ordering of the graph. \u0000 \u0000We consider the problem of enumerating and generating well-ordered k-degenerate graphs with a given number of vertices and with a given number of vertices and edges, respectively, uniformly at random. By generating well-ordered k-degenerate graphs we generate at least one labeled copy of each unlabeled k-degenerate graph and we filter some but not all isomorphies compared to the classical labeled approach. \u0000 \u0000We also introduce the class of strongly k-degenerate graphs, which are k-degenerate graphs with minimum degree k. These graphs are a natural generalization of k-regular graphs which can be used in order to generate graphs with predefined core-decomposition. \u0000 \u0000We present efficient algorithms for generating well-ordered k-degenerate graphs with given number of vertices (and edges). After a precomputation which must only be performed once when generating more than one well-ordered k-degenerate graph these algorithms are almost optimal. Additionally, we present complete non-uniform generators for these classes with optimal running time. We also present an efficient and complete generator for well-ordered strongly k-degenerate graphs with given number of vertices (and edges). Finally, we present efficient algorithms for enumerating well-ordered k-degenerate and strongly k-degenerate graphs.","PeriodicalId":340112,"journal":{"name":"Workshop on Analytic Algorithmics and Combinatorics","volume":"6 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-01-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114022886","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}
引用次数: 15
Data Center Scheduling, Generalized Flows, and Submodularity 数据中心调度、广义流和子模块化
Pub Date : 2010-01-16 DOI: 10.1137/1.9781611973006.8
L. Fleischer
Inspired by problems in data center scheduling, we study the submodularity of certain scheduling problems as a function of the set of machine capacities and the corresponding implications. In particular, we • give a short proof that, as a function of the excess vector, maximum generalized flow is submodular and minimum cost generalized flow is supermodular; • extend Wolsey's approximation guarantees for submodular covering problems to a new class of problems we call supermodular packing problems; • use these results to get tighter approximation guarantees for several data center scheduling problems.
受数据中心调度问题的启发,我们研究了某些调度问题作为机器容量集的函数的子模块性及其相应的含义。特别地,我们给出了一个简短的证明:作为过剩向量的函数,最大广义流是次模的,最小代价广义流是超模的;•将子模覆盖问题的Wolsey近似保证扩展到一类新的问题,我们称之为超模填充问题;•使用这些结果来获得几个数据中心调度问题的更严格的近似保证。
{"title":"Data Center Scheduling, Generalized Flows, and Submodularity","authors":"L. Fleischer","doi":"10.1137/1.9781611973006.8","DOIUrl":"https://doi.org/10.1137/1.9781611973006.8","url":null,"abstract":"Inspired by problems in data center scheduling, we study the submodularity of certain scheduling problems as a function of the set of machine capacities and the corresponding implications. In particular, we \u0000 \u0000• give a short proof that, as a function of the excess vector, maximum generalized flow is submodular and minimum cost generalized flow is supermodular; \u0000 \u0000• extend Wolsey's approximation guarantees for submodular covering problems to a new class of problems we call supermodular packing problems; \u0000 \u0000• use these results to get tighter approximation guarantees for several data center scheduling problems.","PeriodicalId":340112,"journal":{"name":"Workshop on Analytic Algorithmics and Combinatorics","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-01-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124356540","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}
引用次数: 8
期刊
Workshop on Analytic Algorithmics and Combinatorics
全部 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