ユーザーリストからランダムにユーザーを選択したいのですが、VIPユーザーをより高い確率で選択したいのですが、そのようなアルゴリズムを実装するにはどうすればよいですか?
サンプルデータ:
$users = array(
array('name'=>'user1', 'is_vip'=>false),
array('name'=>'user2', 'is_vip'=>false),
array('name'=>'user3', 'is_vip'=>false),
array('name'=>'user4', 'is_vip'=>false),
array('name'=>'user5', 'is_vip'=>false),
array('name'=>'user6', 'is_vip'=>true),
array('name'=>'user7', 'is_vip'=>false),
array('name'=>'user8', 'is_vip'=>false),
array('name'=>'user8', 'is_vip'=>true),
array('name'=>'user10', 'is_vip'=>true),
array('name'=>'user11', 'is_vip'=>false),
array('name'=>'user12', 'is_vip'=>false),
);