[PDF][PDF] Certification of algorithm 245 [M1]: treesort 3: proof of algorithms—a new kind of certification
RL London - Communications of the ACM, 1970 - dl.acm.org
RL London
Communications of the ACM, 1970•dl.acm.orgAlgorithms Page 1 Algorithms LD FOSDICK, Editor ALGORITHM 382 COMBINATIONS OF M
OUT OF N OBJECTS [G6] PmLLIP J. Cv~s~ (Recd. 18 Mar. 1969 and 31 Oct. 1969)
Department of Defense, Fort Meade, MD 20755 KEY WORDS AND PHRASES: permutations
and combinations, permutations CR CATEGORIES: 5.39 procedure TWIDDLE (x, y, z, done, p);
integer x, y, z; Boolean done; integer array p; comment TWIDDLE can be used (1) in generating
all combinations of m out of n objects, or (2) in generating all n-length sequences containing …
OUT OF N OBJECTS [G6] PmLLIP J. Cv~s~ (Recd. 18 Mar. 1969 and 31 Oct. 1969)
Department of Defense, Fort Meade, MD 20755 KEY WORDS AND PHRASES: permutations
and combinations, permutations CR CATEGORIES: 5.39 procedure TWIDDLE (x, y, z, done, p);
integer x, y, z; Boolean done; integer array p; comment TWIDDLE can be used (1) in generating
all combinations of m out of n objects, or (2) in generating all n-length sequences containing …
ALGORITHM 382 COMBINATIONS OF M OUT OF N OBJECTS [G6] PmLLIP J. Cv~ s~(Recd. 18 Mar. 1969 and 31 Oct. 1969) Department of Defense, Fort Meade, MD 20755
ACM Digital Library