Sometimes while I'm daydreaming I come up with math problems for myself, to solve. I don't know why but they are mostly packing problems. I don't know how to solve them mathematically but I could probably use a genetic algorithm to find solutions.
But there are ways to prove packing solutions. How is this done? What branch of math would you classify this as?