LaTeX environment for specifying computational problems

I’m wondering if there’s some standard and neat way of typesetting computational problem definitions in LaTeX. Here’s what I came up with just a moment ago:


and it seems to work pretty well:


But perhaps there’s a better way to typeset it? An obvious problem with mine is that it’s not a theorem-kind of environment, and there’s no way of referencing it with \ref{}, but then again you usually reference computational problems simply by their name. Anyways, suggestions for making it better are welcome.

Published by Piotr Kaźmierczak

I like jazz and cycling.