notes on stable marriage problem