initial commit

formulation of problem