Comment by sealeck

Both of these assumptions are true. Obviously these are not trivial problems, and take a lot of work, but they are extremely tractable.