Hla461 发表于 2025-3-23 10:22:04
Veronica Eliasson,Stylianos Koumlisell-known example of this disparity is the QuickSort algorithm. But it is possible — by means of Kolmogorov Complexity — to define a probability distribution under which worst-case and average-case running time (for . algorithms simultaneously) are the same (up to constant factors).Ceramic 发表于 2025-3-23 15:44:24
http://reply.papertrans.cn/39/3815/381479/381479_12.pngdeficiency 发表于 2025-3-23 19:34:27
http://reply.papertrans.cn/39/3815/381479/381479_13.pngResistance 发表于 2025-3-24 01:52:02
The Equivalence Problem for LOOP(1)- and LOOP(2)-Programs,ierarchy of functions (contained in the primitive recursive functions) considers the depth of nesting of (FOR) loops. It turns out that there is a decided difference in the complexity of the equivalence problems for LOOP(l)- and LOOP(2)-programs: the former is coNP-complete, but the latter is undecidable.figure 发表于 2025-3-24 03:27:44
Kolmogorov Complexity, the Universal Distribution, and Worst-Case vs. Average-Case,ell-known example of this disparity is the QuickSort algorithm. But it is possible — by means of Kolmogorov Complexity — to define a probability distribution under which worst-case and average-case running time (for . algorithms simultaneously) are the same (up to constant factors).Monocle 发表于 2025-3-24 09:14:44
Equivalence Problems and Lower Bounds for Branching Programs,a certain (further restricted) model of branching programs, the equivalence problem is solvable in probabilistic polynomial time. For this model, explicit exponential lower bounds have also been proven.vascular 发表于 2025-3-24 13:02:23
http://reply.papertrans.cn/39/3815/381479/381479_17.png旋转一周 发表于 2025-3-24 14:50:20
Modelle mit einer Zustandsgrößeierarchy of functions (contained in the primitive recursive functions) considers the depth of nesting of (FOR) loops. It turns out that there is a decided difference in the complexity of the equivalence problems for LOOP(l)- and LOOP(2)-programs: the former is coNP-complete, but the latter is undeci惊惶 发表于 2025-3-24 22:55:22
http://reply.papertrans.cn/39/3815/381479/381479_19.png场所 发表于 2025-3-24 23:38:31
http://reply.papertrans.cn/39/3815/381479/381479_20.png