print "working on {$filepath}\n";
    checkIsFile($filepath);
    $ballots = json_decode(file_get_contents($filepath), 1);
    $ballots = evenBallotLength($ballots);
    $dir_path = '8seats_uneven/' . $dir;
    if (!is_dir($dir_path)) {
        mkdir($dir_path);
    }
    $result_path = $dir_path . '/' . $ballot_set_name . '.json';
    if (is_file($result_path)) {
        continue;
    }
    //check out
    file_put_contents($result_path, '-');
    $result = array();
    $result['condorcet'] = findCondorcet($filepath);
    $result['approv'] = findApproval($ballots, $seats);
    $result['borda'] = findBorda($ballots, $seats);
    $result['stv'] = findStv($ballots, $seats);
    $result_json = json_encode($result);
    file_put_contents($result_path, $result_json);
    $now = microtime(1);
    $num_done = $j + 1;
    $per_iter = ($now - $start) / $num_done;
    $left_to_do = $iters - $num_done;
    $time_remaining = round($per_iter * $left_to_do / 60);
    print $j . " iterations completed ";
    print $time_remaining . " minutes to go\n";
}
function findCondorcet($filepath)
{
Example #2
0
<?php

foreach (range(0, 100000) as $j) {
    $ballot_set_name = 'ballot_' . sprintf("%07d", $j);
    $dir = substr($ballot_set_name, -3);
    $filepath = 'sim_ballots/' . $dir . '/' . $ballot_set_name . '.json';
    findCondorcet($filepath);
}
//$filepath = 'sim_ballots/484/ballot_0000484.json';
//findCondorcet($filepath);
function findCondorcet($filename)
{
    $data = json_decode(file_get_contents($filename));
    $cands = $data[0];
    natsort($cands);
    $pairs = array();
    foreach ($cands as $c) {
        $new_cands = $cands;
        unset($new_cands[array_search($c, $new_cands)]);
        foreach ($new_cands as $nc) {
            $pairs[$c][$nc] = 0;
        }
    }
    foreach ($data as $ballot) {
        foreach ($cands as $cand1) {
            foreach ($cands as $cand2) {
                if ($cand1 != $cand2) {
                    $cand1rank = array_search($cand1, $ballot);
                    $cand2rank = array_search($cand2, $ballot);
                    if ($cand1rank < $cand2rank) {
                        $pairs[$cand1][$cand2] += 1;