WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Algorithm

Revision #24 → #1004 · back to history

addedAlgorithmbe8ae836ce5b
addedHeuristic09488a1b0b67
addedEffective method96ff27017769
addedInformal definition of algorithm0290dcf2b4db
addedProgram is an algorithm only if it halts9cd2dc77da7e
addedFormal definition of algorithm072fddac7ac5
addedHigh-level description3f52311f66da
addedImplementation description33772473f0ab
addedFormal descriptionbd1ee8817df1
addedFlowchart30ec4d43769f
addedLinear-time list summationacbabef5c25f
addedBinary search vs sequential search774c326e887b
addedBest casee16a2d41c4be
addedWorst case9c33b70a57f3
addedTuring-complete models compute any algorithmd5572b25fa3d
addedFour instruction types for Turing completeness4667d441d6ec
addedBöhm-Jacopini canonical structures0cc9f83dca25
addedStructured programs admit proofs by inductioncd1df8b54330
addedRecursive algorithm6111b198f28a
addedIterative algorithm0e83e4b4516a
addedTower of Hanoib04629b5b580
addedRecursive and iterative versions are equivalentb2b05faf6a7b
addedSerial algorithm2627307a57c6
addedParallel algorithmc4bea53f8468
addedDistributed algorithm89bac5fa3847
addedInherently serial problems058a0b3a2b0d
addedDeterministic vs non-deterministic algorithms9e6aa8fe02ab
addedApproximation algorithm632298d74d8b
addedKnapsack problem2490dd55c950
addedQuantum algorithmef3a612b2c6b
addedBrute force2d1b82d6053c
addedDivide-and-conquera0f1a683d301
addedMerge sortdb2bf45b98f4
addedPrune and search / decrease-and-conquer2a1bfae6f420
addedBinary search as prune and search1a1b812173d9
addedGraph exploration algorithm36e335807a2d
addedRandomized algorithm5aea067bf9de
addedP versus NP problem8014a203fb94
addedMonte Carlo algorithm3d1c627104d4
addedLas Vegas algorithm9f8b2366da8c
addedReduction of complexity (transform and conquer)57d1dce51314
addedMedian via sorting selection algorithmd65b9d75091d
addedBacktrackingece4f0ad30f8
addedLinear programming348835cd8cc3
addedInteger programming181cf3e009b5
addedDynamic programminga54c74bcd140
addedFloyd–Warshall shortest path56dbd43b68e6
addedGreedy algorithmaacc69990489
addedHeuristic algorithm (optimization)475d7aa815b4
addedFinding the largest number in a list831d76a71fa5