ALG:010117Strict greater-than keeps equal tagged keys in order; eight comparisons and six shifts sort the five-record arrayView access optionsAlg Insertion Sort Stable PrefixAlg Insertion Sort Comparison Shift CountCorrectness proofs and asymptotic complexityAlgorithms · Mixed review—
ALG:010218A merge counts every leftover left key, so the seven-key array has thirteen inversions, not threeView access optionsAlg Mergesort Inversion Cross CountAlg Mergesort Leftover Left IncrementDivide-and-conquer algorithmsAlgorithms · Mixed review—
ALG:010219Quickselect on the nine-key array uses pivot 5 then pivot 7, compares eleven times, and returns 6View access optionsAlg Quickselect Target Side OnlyAlg Quickselect Prescribed Pivot CountDivide-and-conquer algorithmsAlgorithms · Mixed review—
ALG:010220Karatsuba multiplies 1234 by 5678 with three base-100 products; 6164 is not the middle coefficientView access optionsAlg Karatsuba Three Product IdentityAlg Karatsuba Place Value AssemblyDivide-and-conquer algorithmsAlgorithms · Mixed review—
ALG:010221The unique maximum subarray of the nine-key instance is the block 2 through 7 and sums to 11View access optionsAlg Max Subarray Crossing OR KadaneAlg Max Subarray Nonempty Unique BlockDivide-and-conquer algorithmsAlgorithms · Mixed review—
ALG:010322Huffman merges the two lightest trees; largest-first and raw depth are not WPLView access optionsHuffman Greedy Merge TraceHuffman Sibling Exchange WplGreedy algorithms and exchange proofsAlgorithms · Mixed review—
ALG:010323Kruskal accepts a lightest cut edge and rejects every intra-component edgeView access optionsKruskal Component ScanMst Cut Property SafetyGreedy algorithms and exchange proofsAlgorithms · Mixed review—
ALG:010424Weighted half-open intervals need a predecessor DP, not a cardinality exchangeView access optionsWeighted Interval PredecessorDP Prefix ReconstructionDynamic programming and state designAlgorithms · Mixed review—
ALG:010425The capacity-8 knapsack optimum is items 2 and 4; fractions and off-by-one cells are not 0/1View access optionsZero One Knapsack TableKnapsack Take Skip ReconstructionDynamic programming and state designAlgorithms · Mixed review—
ALG:010426The unique minimum four-matrix product is (A1 A2)(A3 A4) at cost 405View access optionsMatrix Chain Recurrence TableMatrix Chain Split ReconstructionDynamic programming and state designAlgorithms · Mixed review—
ALG:010527A DAG longest s-t path is a topological max-DP with minus-infinity unreachable labelsView access optionsDag Topo Longest PathUnreachable Minus Infinity InitGraph optimization and traversal algorithmsAlgorithms · Mixed review—
ALG:010528Strong connectivity is mutual reachability: the SCCs of a chain of cycles form a path DAGView access optionsKosaraju Scc TraceStrong VS One Way ReachabilityGraph optimization and traversal algorithmsAlgorithms · Mixed review—
ALG:010529A feasible flow of 14 and the source cut of capacity 14 certify the max-flow min-cut valueView access optionsFord Fulkerson ResidualMaxflow Mincut CertificateGraph optimization and traversal algorithmsAlgorithms · Mixed review—
ALG:0106303SAT reduces to Independent Set by clause triangles and complementary conflict edgesView access options3sat Independent Set ReductionComplementary Conflict EdgesReductions, NP-completeness, and approximationAlgorithms · Mixed review—
ALG:010631Both endpoints of a maximal matching 2-approximate Vertex Cover, tightly on a starView access optionsMaximal Matching Vertex CoverApproximation Factor TwoReductions, NP-completeness, and approximationAlgorithms · Mixed review—
ALG:9920001Let all logarithms have base 2, and let all functions have domain the positive integers.View problem statementCorrectness ComplexityAlgorithms Problem SolvingCorrectness proofs and asymptotic complexityAlgorithms · Calculation—
ALG:9920002Arrange the following functions into asymptotic equivalence classes, ordering the classes from smallest to largest…View access optionsCorrectness ComplexityAlgorithms Problem SolvingCorrectness proofs and asymptotic complexityAlgorithms · Calculation—
ALG:9920003Let f,g:\mathbb N\to(0,\infty).View access optionsCorrectness ComplexityAlgorithms Problem SolvingCorrectness proofs and asymptotic complexityAlgorithms · Calculation—
ALG:9920004For each positive integer n, define Determine a tight asymptotic bound for S(n).View access optionsCorrectness ComplexityAlgorithms Problem SolvingCorrectness proofs and asymptotic complexityAlgorithms · Calculation—
ALG:9920005In the unit-cost RAM model, each execution of `count = count + 1` costs one unit.View access optionsCorrectness ComplexityAlgorithms Problem SolvingCorrectness proofs and asymptotic complexityAlgorithms · Calculation—
ALG:9920006Consider the following code, where n\ge2 is an integer and every arithmetic operation has unit cost: ```text count…View access optionsCorrectness ComplexityAlgorithms Problem SolvingCorrectness proofs and asymptotic complexityAlgorithms · Calculation—
ALG:9920007Let `popcount(n)` denote the number of 1-bits in the ordinary base-2 representation of a positive integer n.View access optionsCorrectness ComplexityAlgorithms Problem SolvingCorrectness proofs and asymptotic complexityAlgorithms · Calculation—
ALG:9920008For a positive integer n, consider: ```text count = 0 for i = 1 to n: j = 1 while j <= n: count = count + 1 if j >=…View access optionsCorrectness ComplexityAlgorithms Problem SolvingCorrectness proofs and asymptotic complexityAlgorithms · Calculation—
ALG:9920009In the following code, `ceil_sqrt(i)` returns \lceil\sqrt i\rceil in unit time.View access optionsCorrectness ComplexityAlgorithms Problem SolvingCorrectness proofs and asymptotic complexityAlgorithms · Calculation—