נתונה הבעיה האלגוריתמית הבאה: