Last active
August 8, 2022 05:54
-
-
Save bellbind/5fff0abc164e5f81a56e92b2bfc52d60 to your computer and use it in GitHub Desktop.
[javascript]simulate 100 prisoners problem strategies
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// Simulation of 100 prisoers problem strategies | |
// - https://en.wikipedia.org/wiki/100_prisoners_problem | |
// array utils | |
const range = n => [...Array(n).keys()]; | |
const shuffle = a => { | |
for (let i = a.length - 1; i > 0; i--) { // Fisher-Yates | |
const j = Math.random() * i >>> 0; | |
[a[i], a[j]] = [a[j], a[i]]; | |
} | |
return a; | |
}; | |
const sample = (a, k) => { | |
const n = a.length, idx = range(n), r = []; | |
//console.assert(k < n); | |
for (let i = 0; i < k; i++) { | |
const j = Math.random() * (n - i) >>> 0; | |
r.push(a[idx[j]]); | |
idx[j] = idx[n - i - 1]; // overwrite chosen j with truncated last element | |
} | |
return r; | |
}; | |
// strategies | |
const randomPick = (prisoner, k, drawers) => { | |
return sample(drawers, k).some(num => num === prisoner); | |
}; | |
const cyclicPick = (prisoner, k, drawers) => { | |
for (let num = prisoner, i = 0; i < k; i++) { | |
if ((num = drawers[num]) === prisoner) return true; | |
} | |
return false; | |
}; | |
// max size of cyclic permutation in drawers | |
const cyclicMax = (drawers) => { | |
const checked = new Set(); | |
let max = 0; | |
for (let i = 0; i < drawers.length; i++) { | |
if (checked.has(i)) continue; | |
checked.add(i); | |
let num = drawers[i], count = 1; | |
while (!checked.has(num)) { | |
checked.add(num); | |
num = drawers[num], count += 1; | |
} | |
max = Math.max(max, count); | |
} | |
return max; | |
}; | |
// simulation | |
const guard = (drawers, k) => new Proxy(drawers, { | |
count: 0, | |
get(target, key, recv) { | |
const n = Number(key); | |
if (Number.isInteger(n) && n >= 0) console.assert(this.count++ < k); | |
return Reflect.get(target, key, recv); | |
}, | |
}); | |
const challenge = (pick, drawers) => { | |
const prisoners = drawers.length, k = Math.floor(prisoners / 2); | |
return range(prisoners).every(prisoner => pick(prisoner, k, drawers)); | |
//return range(prisoners).every(prisoner => pick(prisoner, k, guard(drawers, k))); | |
}; | |
const simulate = (prisoners, times) => { | |
const drawers = range(prisoners); | |
let successRandom = 0, successCyclic = 0; | |
for (let i = 0; i < times; i++) { | |
shuffle(drawers); | |
successRandom += challenge(randomPick, drawers); | |
successCyclic += challenge(cyclicPick, drawers); | |
//console.assert(cyclicMax(drawers) <= Math.floor(prisoners / 2) === challenge(cyclicPick, drawers)); | |
} | |
return {successRandom, successCyclic}; | |
}; | |
{ | |
const prisoners = 100, times = 100000; | |
const {successRandom, successCyclic} = simulate(prisoners, times); | |
console.log(`${prisoners} Random Pick: ${successRandom}/${times}`); // => 0% | |
console.log(`${prisoners} Cyclic Pick: ${successCyclic}/${times}`); // => 31% | |
} | |
//[NOTE] | |
// cyclic on 4-prisoners: 41.67%, 8-prisoners: 36.55%, 65536-prisoners: 30.68% | |
// limit [n -> inf] prisoners: 1 - log(2) = 0.30685... |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment