Problema da Bebida dos Filósofos

Antes de descrever o problema de Bebida dos Filósofos, vamos descrever o Problema do Jantar dos Filósofos: Cinco filósofos se reúnem para jantar e conversar em uma mesa redonda com um garfo colocado sobre a mesa entre cada um deles. Como discutir problemas relacionados filosofia é um exaustivo, eles precisam comer de vez em quando. A fim de fazer isso, um filósofo requer o garfo da esquerda e o da direita, que são compartilhados com os colegas da  esquerda e da direita, respectivamente. Depois de um filósofo comer, os dois garfos são colocado de volta na mesa, possibilitando que outro filósofo possa pegar os garfos e iniciar o jantar. É importante notar que um filósofo deve possuir ambos os garfos, caso contrário, ele não pode comer nada. Devido ao fato de que há apenas cinco garfos e cada filósofo precisa de dois deles para comer, é óbvio que, no máximo, dois filósofos pode comer em paralelo. Uma solução para este problema tem de garantir que vários filósofos possam comer ao mesmo tempo. Além disso, deadlocks (impasses) e starvation (fome) devem ser evitados.A principal diferença nesse problema é o grafo, que ao contrario do grafo circular do jantar dos filósofos, agora temos um grafo genérico. Nenhuma restrição é feita para a estrutura grafo, como distribuição ou grau de conectividade. Os filósofos (processos) são representados pelo nós (vértices) do grafo enquanto as garrafas (recursos compartilhados) são representados pelas arestas do grafo. A generalização é focada em dois pontos: (1) a estrutura do grafo é arbitrária, e, (2) o número e conjunto de garrafas requeridas podem variar. Em cada rodada, cada processo escolhe um subconjunto de suas garrafas adjacentes para esta sessão de bebida. Este subconjunto escolhido não têm necessariamente de ser a mesma em cada sessão de bebida. Se o filósofo escolher todas as garrafas adjacentes em um grafo circular, podemos simular o problema do jantar dos filósofos. Os estados dos filósofos pode ser: tranqüilo, com sede e bebendo, semelhante aos estados pensando, com fome e comendo no problema do jantar dos filósofos. Cada filósofo pode requerer no mínimo uma e no máximo n garrafas, sendo n o número de arestas associadas a cada vértice. 
Dado um grafo G = (V, E), é possível representar G através de M, uma matriz quadrada de ordem V, onde Mij = 1 se o vértice i possuir uma aresta ao vértice j, ou Mij = 0 caso contrário.

O programa deve ser capaz de ler um arquivo .txt onde cada linha do arquivo representa uma linha de M e cada caractere da linha assume os valores 0 ou 1, indicando as adjacências entre vértices. Considere que o índice de cada caractere nas linhas representa o n-ésimo vértice de G, ou seja, uma coluna de M. É indicado que o programa receba como argumento o local do arquivo contendo a matriz de adjacências.

Utilize os seguintes grafos e arquivos da matriz de adjacência

Dica