I want to select a user from a user list randomly, but I want the VIP users have higher probability to be selected, how to implement such a algorithm?
Sample data:
$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),
);