简介：Analyzingtheaverage-casecomplexityofalgorithmsisaverypracticalbutverydifficultproblemincomputerscience.Inthepastfewyears,wehavedemonstratedthatKolmogorovcomplexityisanimprotanttoolforanalyzingtheaverage-casecomplexityofalgorithms.Wehavedevelopedtheincompressibilitymethod.Inthispaper,sereralsimpleexamplesareusedtofurtherdemonstratethepowerandsimplicityofsuchmethod.Weproveboundsontheaverage-casenumberofstacks(queues)requiredforsortingsequentialorparallelQueuesortorStacksort.

简介：我们与限制并且联系的连接学习网络路由问题。有有可能不同的速度的平行连接，在来源和一个水池之间。另外有用户，并且每个用户有一些重量的交通从所有连接的一个子集分到连接之一，说出其许可的集合。选择一样的连接的用户承受一样的延期，它等于在它的速度上分到那个连接的全部的重量。如果没有用户能减少，系统的一个状态被称为纳什平衡由单方地改变其连接的其延期。为了由于所有用户，Koutsoupias和Papadimitriou的自私行为测量系统的性能降级，建议了混乱的观点普里斯(由PoA表示了)，它是在最坏的纳什平衡并且在一个最佳的解决方案的最大的延期的比率。为这个限制相关模型的PoA被学习了，并且线性更低的界限被获得。然而在他们的坏例子，一些用户能仅仅使用极其慢的连接。这有点人工、不大可能出现在一个真实世界上。那么当模特儿以便更好理解这，我们为系统介绍一个参数，并且证明以参数的混乱的更好的价格。我们也为安排游戏的任务在协作机制设计显示出我们的结果的一个重要应用程序。我们建议新协作机制，Group-Makespan，为与混乱的改进价格安排比赛的无关的自私任务。

简介：HEAPSORT的新变体在这篇论文被介绍。算法不是在强壮的意义的一个内部分类算法，自从为n整数的额外的存储是必要的。新算法的基本想法类似于古典分类算法HEAPSORT，但是算法以另一个方法重建堆。新算法的基本想法是它在每个节点使用仅仅一比较。新算法移动散步在堆击倒一条路径直到一片叶被到达。立即把元素放在根到它的目的地的请求被放松。新算法关于n木头n要求???在最坏情况和n的0.788928n比较记载n???仅仅关于非常必要的0.4n的一般水准上的n比较。它平均打败甚至QUICKSORT的聪明的变体，如果n不是很小的。最坏情况和最好的盒子之间的差别显示仍然为由更小心地构造堆的新算法的改进有空间。电子增补材料这篇文章(doi:10.1007/s11390-007-9106-7)的联机版本包含增补材料，它对授权用户可得到。

简介：Workflowmanagementaimsatthecontrolling,monitoring,optimizingandsupportingofbusinessprocesses.Welldesignedformalmodelswillfacilitatesuchmanagementsincetheyprovideexplicitrepresentationsofbusinessprocessesasthebasisforcomputerizedanalysis,verificationandexecution.PetriNetshavebeenrecognizedasthemostsuitablecandidateforworkflowmodeling,andassuch,formalmodelsbasedonPetriNetshavebeenproposed,amongthemWF-netbyAalstisthemostpopularone.ButWF-nethasturnedouttobeconceptuallychaoticaswillbeillustratedinthispaperwithanexamplefromAalst'sbook.Thispaperproposesaseriesofmodelsforthedescriptionandanalysisofbusinessprocessesatconceptuallydifferenthierarchicallayers.Analyticgoalsandmethodsat.theselayersarealsodiscussed.Theunderlyingstructure,sharedbyallthesemodels,isSYNCHRONIZER,whichisdesignedwiththeguidanceofsynchronytheoryofGNT(GeneralNet.Theory)andservesastheconceptualfoundationofworkflowformalmodels.Structurally,synchronizersconnecttaskstoformawholewhiledynamicallysynchronizerscontroltaskstoachievesynchronization.