js/gif-encode/util.js


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

function shuffle(a){
	var aa = new Array(a.length);
	aa[0] = a[0];

	for (var i = 1; i < a.length; i++) {
		var j = Math.floor( Math.random() * i );
		aa[i] = aa[j];
		aa[j] = a[i];
	}
	return aa;
}
function sample(a, n) {
	var aa = shuffle(a);
	return aa.slice(0,n);
}