O Problema dos Filósofos Sedentos

Cada filósofo (processo) está em um vértice de um grafo G não dirigido

Pode estar em um de três estados:

A cada aresta de G está associada uma garrafa disputada por dois filósofos

Um filósofo só bebe de garrafas associadas a arestas incidentes

Um filósofo tranquilo pode ser acometido de sede por um coquetel (conjunto de garrafas) específico

Um filósofo pode desejar diferentes coquetéis para cada drinque

De posse das garrafas que compõem o coquetel desejado, o filósofo pode começar a beber

Após um tempo finito bebendo, o filósofo volta a ficar tranquilo

Um filósofo permanece tranquilo por um tempo arbitrário

$\includegraphics [width=0.5\textwidth]{drinks.eps}$