نظریه کدگذاری و بهینه‌سازی محاسبات