Problema dos Generais Bizantinos

gistfile1.php

*********************************************************
#Problema dos Generais Bizantinos

 Generais cercam uma cidade com suas tropas.
 - Generais estão separados pelo relevo, somente podem se comunicar através de mensageiros.
 - Generais só vencem se todos atacarem ao mesmo tempo.


#Teoremas:

1º - Se 2/3 + 1 dos generais (processos) forem leais (não falharem),
existe uma solução (algoritmo) que resultará numa ação comum,
independente de possíveis mensagens enviadas pelos traidores.
2º - Se 1/3 ou mais dos generais (processos) forem traidores (falharem),
não existe solução para este problema.

*********************************************************




//General.php

<?php
namespace bizantino;

class General
{
	public function calcular()
	{
		$lealdade = 1;
		
		
		if(($lealdade/3 * 2 + 1 > 0)){
				
		   echo "Processo leal...";	
		}
	
	}
}

gistfile2.php

<?php
namespace bizantino;

class Traidor
{
	
		
	public function calcular()
	{
		$traidor = 1;
		
		
		if(($traidor/3 * 2 + 1 < 0)){
				
		   echo "Processo desleal...";	
		}
	}
}

gistfile3.php

<?php


use bizantino\General;
use bizantino\Traidor;

require_once 'General.php';
require_once 'Traidor.php';

$bi = new General();
$bi->calcular();

$bi = new Traidor();
$bi->calcular();