クリーネ閉包の高さ最小化問題