Development of signed graph balance checking algorithms