茅坑杀手与Alias Method离散采样

说起Alias，你可能第一个联想到的是Linux中的Alias命令，就像中世纪那些躲在茅坑下面(是真的，起码日本有粪坑忍者，没有马桶的年代就是社会的噩梦)进行刺杀的杀手一样，让人防不胜防，对于那些被这个命令坑过的人来说，电脑必须时刻出现在视野内，因为你不知道你身边的杀手朋友什么时候会模仿中世纪茅坑杀手在你的终端执行这样一条命令。

alias cd=rm -rf

（如果不懂这个梗，给一个小提示，alias命令是给某个命令重命名，这里把cd命令改成了rm -rf命令，你每次进入目录其实是删除了目录）

说回正题，前段时间看同事写的代码有一个应用到权重的地方，对于系统中用到的两个数据源，我们希望有一定比例走新数据源，一定比例走老数据源（感觉用的花里胡哨，直接配置中心搞一个开关不就好了），看到他们写的代码中使用了Alias Method来实现权重，所以就专门学习了一下（虽然感觉在新老数据源这个场景中使用有点鸡肋，但是掌握一门权重算法的实现还是很有帮助的）。

先贴出一篇国外写的很好的博客：

https://www.keithschwarz.com/darts-dice-coins/

飞镖，骰子，硬币：离散采样方法

一. 原理

权重算法的本质是指定时间发生的几率，比如用户的每一次请求我有30%的几率打到服务器A，有20%的几率到服务器B，还有50%的几率到服务器C。那么给出未来十次的用户请求序列，要求给出它们会分别打到哪个服务器。

最简单的实现当然是产生一个位于0.0~1.0之间的随机数。

1. 当随机数位于0~0.3时，请求服务器A
2. 当随机数位于0.3~0.5时，请求服务器B
3. 当随机数位于0.5~1时，请求服务器C

这种方式实现简单，生成一个随机数，然后在对应时间上if-else判断即可，但是存在精度问题。

另一种实现方式是离散算法，通过概率分布构造几个点，[30, 50, 100]，代表三个区间，再生成1~100的整数，看它位于哪个区间，比如45位于[30~50]区间，就说明本次请求打到服务器B。

现在进入正题Alias Method算法，Alias Method的最终结果是要构造拼装出一个每一列合都为1的矩形，若每一列最后都要为1，那么要将所有元素都乘以概率类型的数量(此处为3)。

此时右边乘以3之后的模型概率大于一或者小于一，需要用大于一去补足小于一的，而且必须满足每列必须至多只有两种组合。

根据填充后的上图我们可以得到两个数组，分别是位于下方的[9/10, 6/10, 10/10]组成的Prod数组[0.9, 0.6, 1]以及上方用来填充的颜色的序号[3, 3, NULL]，第一个3代表红色列被第三列蓝色填充，第二个3代表绿色列被第三列蓝色填充，第三列概率大于1，不需要填充，为NULL。

T	1	2	3
PDF	0.3	0.2	0.5
Prob	0.9	0.6	1
Alias	3	3	NULL

得到这两个数组之后，随机取其中的一列(代表事件)，比如是第二列，让Prob[2]的值与一个随机小数f比较，如果f小于Prob[2]，那么结果就是2，否则就是Alias[2]，即3，若为第三列，Prob[3]必定大于小数f，结果就是3。

可以来简单验证一下，比如随机到第三列的概率是1/3，第三列全部为红色，则第三列事件3发生概率就是1/3乘1，蓝色再其他列上部分还有覆盖，分别是1/3乘2/5和1/3乘1/10，最终的结果还是为0.5，符合原来的pdf概率。这种算法初始化较复杂，但生成随机结果的时间复杂度为O(1)，是一种性能非常好的算法。

二. 代码实现

下面是一个较为完整的代码实现，该实例在使用中只需要在AliasMethod中初始化好我们之前所说的Alias和Prob数组即可。

import java.util.*;

/**
 * @description 权重算法
 */
public final class AliasMethod {
    /**
     * The random number generator used to sample from the distribution.
     */
    private final Random random;
    /**
     * The probability and alias tables.
     */
    private final int[] alias;
    private final double[] probability;

    /**
     * Constructs a new AliasMethod to sample from a discrete distribution and
     * hand back outcomes based on the probability distribution.
     * <p>
     * Given as input a list of probabilities corresponding to outcomes 0, 1,
     * ..., n - 1, this constructor creates the probability and alias tables
     * needed to efficiently sample from this distribution.
     *
     * @param probabilities The list of probabilities.
     */
    public AliasMethod(List<Double> probabilities) {
        this(probabilities, new Random());
    }

    /**
     * Constructs a new AliasMethod to sample from a discrete distribution and
     * hand back outcomes based on the probability distribution.
     * <p>
     * Given as input a list of probabilities corresponding to outcomes 0, 1,
     * ..., n - 1, along with the random number generator that should be used
     * as the underlying generator, this constructor creates the probability
     * and alias tables needed to efficiently sample from this distribution.
     *
     * @param probabilities The list of probabilities.
     * @param random        The random number generator
     */
    public AliasMethod(List<Double> probabilities, Random random) {
        /* Begin by doing basic structural checks on the inputs. */
        if (probabilities == null || random == null) {
            throw new NullPointerException();
        }
        if (probabilities.size() == 0) {
            throw new IllegalArgumentException("Probability vector must be nonempty.");
        }
        /* Allocate space for the probability and alias tables. */
        probability = new double[probabilities.size()];
        alias = new int[probabilities.size()];
        /* Store the underlying generator. */
        this.random = random;
        /* Compute the average probability and cache it for later use. */
        final double average = 1.0 / probabilities.size();
        /* Make a copy of the probabilities list, since we will be making
         * changes to it.
         */
        probabilities = new ArrayList<>(probabilities);
        /* Create two stacks to act as worklists as we populate the tables. */
        Deque<Integer> small = new ArrayDeque<>();
        Deque<Integer> large = new ArrayDeque<>();
        /* Populate the stacks with the input probabilities. */
        for (int i = 0; i < probabilities.size(); ++i) {
            /* If the probability is below the average probability, then we add
             * it to the small list; otherwise we add it to the large list.
             */
            if (probabilities.get(i) >= average) {
                large.add(i);
            } else {
                small.add(i);
            }
        }
        /* As a note: in the mathematical specification of the algorithm, we
         * will always exhaust the small list before the big list. However,
         * due to floating point inaccuracies, this is not necessarily true.
         * Consequently, this inner loop (which tries to pair small and large
         * elements) will have to check that both lists aren't empty.
         */
        while (!small.isEmpty() && !large.isEmpty()) {
            /* Get the index of the small and the large probabilities. */
            int less = small.removeLast();
            int more = large.removeLast();
            /* These probabilities have not yet been scaled up to be such that
             * 1/n is given weight 1.0. We do this here instead.
             */
            probability[less] = probabilities.get(less) * probabilities.size();
            alias[less] = more;
            /* Decrease the probability of the larger one by the appropriate
             * amount.
             */
            probabilities.set(more,
                    (probabilities.get(more) + probabilities.get(less)) - average);
            /* If the new probability is less than the average, add it into the
             * small list; otherwise add it to the large list.
             */
            if (probabilities.get(more) >= 1.0 / probabilities.size()) {
                large.add(more);
            } else {
                small.add(more);
            }
        }
        /* At this point, everything is in one list, which means that the
         * remaining probabilities should all be 1/n. Based on this, set them
         * appropriately. Due to numerical issues, we can't be sure which
         * stack will hold the entries, so we empty both.
         */
        while (!small.isEmpty()) {
            probability[small.removeLast()] = 1.0;
        }
        while (!large.isEmpty()) {
            probability[large.removeLast()] = 1.0;
        }
    }

    /**
     * Samples a value from the underlying distribution.
     *
     * @return A random value sampled from the underlying distribution.
     */
    public int next() {
        /* Generate a fair die roll to determine which column to inspect. */
        int column = random.nextInt(probability.length);
        /* Generate a biased coin toss to determine which option to pick. */
        boolean coinToss = random.nextDouble() < probability[column];
        /* Based on the outcome, return either the column or its alias. */
        return coinToss ? column : alias[column];
    }
}

另外，stackoverflow上有一个回答，关于程序中掷骰子这个事件的模型改用什么数据结构，无疑可以使用Alias Method，感兴趣的老铁可以自己画画它的概率模型。

另外回答中还有各种千奇百怪的，比如说下面这个，使用平衡二叉搜索树，骰子的每一个面设置一个节点。

三. 最后

没有最后，点个关注点个在看，你懂我意思吗? 我向你敬礼！salute。（该不会就只看懂个茅坑杀手吧）