محمدحسین با تعدادی از دوستانش به تماشای یک مسابقهی اسبدوانی رفته است. او با هر یک از دوستانش یک شرط به این صورت بسته است که مثلاً دوستِ شمارهی iام ادعا کرده که یکی از اسبهای مجموعهی Ai مقام ri را به دست میآورد. قبل از بستن این شرط نیز دوست iام xi(0<xi<1) تومان به عنوان هزینهی شرطبندی به محمدحسین داده است. در صورتی که ادعای این دوست درست از آب در بیاید محمدحسین باید یک تومان به او بدهد. آیا الگوریتمی با زمان چندجملهای وجود دارد که با گرفتن این اطلاعات (xiها، riها و مجموعههای Ai) ببیند که آیا ممکن است نتیجهی مسابقه طوری شود که محمدحسین در کل ضرر کند.