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.png

deficiency 发表于 2025-3-23 19:34:27

http://reply.papertrans.cn/39/3815/381479/381479_13.png

Resistance 发表于 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
页: 1 [2] 3 4 5 6 7
查看完整版本: Titlebook: Gems of Theoretical Computer Science; Uwe Schöning,Randall Pruim Book 1998 Springer-Verlag Berlin Heidelberg 1998 Kolmogorov complexity.Re