Как проверить циклы на графике? - PullRequest
0 голосов
/ 07 января 2020

Мой код работает нормально, но не проходит проверку check50 на пропуск пар при создании циклов. Логика c, которую я использую для проверки циклов, заключается в том, что перед созданием преимущества от победителя до проигравшего я go отрываю края от победителя и проверяю, достигнет ли он когда-либо проигравшего. Если это так, это означает, что он создаст цикл, поэтому край пропускается, но он не работает. Мой лог c тоже может быть неправильным, если да, дайте мне знать. Вот мой код -

#include <cs50.h>
#include <stdio.h>
#include <string.h>

// Max number of candidates
#define MAX 9

// preferences[i][j] is number of voters who prefer i over j
int preferences[MAX][MAX];

// locked[i][j] means i is locked in over j
bool locked[MAX][MAX];

// Each pair has a winner, loser
typedef struct
{
    int winner;
    int loser;
}
pair;

// Array of candidates
string candidates[MAX];
pair pairs[MAX * (MAX - 1) / 2];

int pair_count;
int candidate_count;

// Function prototypes
bool vote(int rank, string name, int ranks[]);
void record_preferences(int ranks[]);
void add_pairs(void);
void sort_pairs(void);
void lock_pairs(void);
void print_winner(void);
bool check_cycle(int n, int m);

int main(int argc, string argv[])
{
    // Check for invalid usage
    if (argc < 2)
    {
        printf("Usage: tideman [candidate ...]\n");
        return 1;
    }

    // Populate array of candidates
    candidate_count = argc - 1;
    if (candidate_count > MAX)
    {
        printf("Maximum number of candidates is %i\n", MAX);
        return 2;
    }
    for (int i = 0; i < candidate_count; i++)
    {
        candidates[i] = argv[i + 1];
    }

    // Clear graph of locked in pairs
    for (int i = 0; i < candidate_count; i++)
    {
        for (int j = 0; j < candidate_count; j++)
        {
            locked[i][j] = false;
        }
    }

    pair_count = 0;
    int voter_count = get_int("Number of voters: ");

    // Query for votes
    for (int i = 0; i < voter_count; i++)
    {
        // ranks[i] is voter's ith preference
        int ranks[candidate_count];

        // Query for each rank
        for (int j = 0; j < candidate_count; j++)
        {
            string name = get_string("Rank %i: ", j + 1);

            if (!vote(j, name, ranks))
            {
                printf("Invalid vote.\n");
                return 3;
            }
        }

        record_preferences(ranks);

        printf("\n");
    }

    add_pairs();
    sort_pairs();
    lock_pairs();
    print_winner();
    return 0;
}

// Update ranks given a new vote
bool vote(int rank, string name, int ranks[])
{
    // TODO
    for (int i = 0; i < candidate_count; i++)
    {
        if (strcmp(candidates[i], name) == 0)
        {
            ranks[rank] = i;
            return true;
        }
    }

    return false;
}

// Update preferences given one voter's ranks
void record_preferences(int ranks[])
{
    // TODO
    for (int i = 0; i < candidate_count; i++)
    {
        for (int j = 1; j < candidate_count - i; j++)
        {
            preferences[ranks[i]][ranks[i + j]]++;
        }
    }

    return;
}

// Record pairs of candidates where one is preferred over the other
void add_pairs(void)
{
    // TODO
    for (int i = 0; i < candidate_count; i++)
    {
        for (int j = 0; j < candidate_count; j++)
        {
            if (preferences[i][j] > preferences[j][i])
            {
                pairs[pair_count].winner = i;
                pairs[pair_count].loser = j;
                pair_count++;
            }
        }
    }

    return;
}

// Sort pairs in decreasing order by strength of victory
void sort_pairs(void)
{
    // TODO
    pair k;
    for (int i = 0; i < pair_count; i++)
    {
        for (int j = i + 1; j < pair_count; j++)
        {
            if (preferences[pairs[i].winner][pairs[i].loser] < preferences[pairs[j].winner][pairs[j].loser])
            {
                //memcpy
                k = pairs[i];
                pairs[i] = pairs[j];
                pairs[j] = k;
            }
        }
    }

    return;
}

// Lock pairs into the candidate graph in order, without creating cycles
void lock_pairs(void)
{
    // TODO
    for (int i = 0; i < pair_count; i++)
    {
        if (!check_cycle(pairs[i].winner, pairs[i].loser))
        {
            locked[pairs[i].winner][pairs[i].loser] = true;
        }
    }
    return;
}

// Print the winner of the election
void print_winner(void)
{
    // TODO
    for (int i = 0; i < candidate_count; i++)
    {
        bool source = true;

        for (int j = 0; j < candidate_count; j++)
        {
            if (locked[j][i] == true)
            {
                source = false;
                break;
            }
        }

        if (source == true)
        {
            printf("%s\n", candidates[i]);
        }
    }

    return;
}

//checking for cycle
bool check_cycle(int n, int m)
{
    if (locked[m][n] == true)
    {
        return true;
    }

    for (int i = 0; i < candidate_count; i++)
    {
        if (locked[i][n] == true)
        {
            check_cycle(i, m);
        }
    }
    return false;
}

Ответы [ 5 ]

0 голосов
/ 08 апреля 2020

Вы просто меняете направление цикла на противоположное. Я использовал ту же логику c, что и вы, и она работает: 1. Посмотрите, блокирует ли текущий проигравший текущего победителя; 2. Если это так, верните true; 3. Иначе, посмотрите, не блокируется ли кто-либо еще текущим победителем; 4. Рекурсивно вызовите проверку цикла, чтобы увидеть, блокирует ли текущий проигравший «i». Теперь осторожно с этим шагом, потому что вы должны передать значения в функцию, чтобы средство проверки базового случая выполняло [loser] [i], а не [i] [loser], поскольку базовый случай проверяет, заблокирован ли начальный LOSER на победителе. И не забудьте вернуться. Вот код, который я использовал, отлично работает.

//Can_reach recursive auxiliary function: returns true if a can reach b.
//a = initial winner, b = initial loser
bool loopcheck(int a, int b)
{
    if (locked[b][a] == true)
    {
        return true;
    }

    for (int i = 0; i < candidate_count; i++)
    {
        if (locked[i][a] == true)
            {
            return loopcheck(i, b);
        }
    }
    return false;
}
0 голосов
/ 05 апреля 2020

Я думаю, что ваш check_cycle (i, m) в if (locked[i][n] == true) возвращает несовместимые значения

вот код, чтобы исправить это

bool check_cycle(int n, int m)
{
    if (locked[m][n] == true)
    {
        return true;
    }

    for (int i = 0; i < candidate_count; i++)
    {
        if (locked[i][n] == true)
        {
            if (check_cycle(i, m))
            {
                return true;   
            }
            else 
            {
                return false;
            }
        }
    }
    return false;
}
0 голосов
/ 26 января 2020

Внутри if (locked[i][n] == true), в случае, если check_cycle(i, m) возвращает true, вы также должны вернуть true в check_cycle (n, m), чтобы функция работала правильно.

0 голосов
/ 06 февраля 2020

Я придумал эту нерекурсивную версию. Перед блокировкой пары найдите проигравшего, который станет победителем в каком-либо заблокированном узле, если он есть, пропустите его.

//set first locked pair
if(pair_count > 0)
{
    locked[pairs[0].winner][pairs[0].loser] = true;
}

for (int i = 1; i < pair_count; i++)
{
    bool cycle = false;
    for (int j = 0; j < pair_count; j++){
        if(locked[pairs[i].loser][j])
        {
            cycle = true;
            break;
        }
    }

    //check if adding this node will create a cycle
    if(!cycle)
    {
        locked[pairs[i].winner][pairs[i].loser] = true;
    }
}
0 голосов
/ 07 января 2020

if (locked[i][n] == true) тогда этот «победитель» (n) является «проигравшим» в другой заблокированной паре и, следовательно, создаст цикл. ИМО - это вся информация, необходимая вам, чтобы решить, следует ли блокировать эту пару в функции lock_pairs.

Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...