سلطان در نقطهی ۰ از محور اعداد صحیح قرار گرفته است و گرفتار ۹ غول خطرناک با شمارههای ۱ تا ۹ شده است. غولها دو نوع هستند: دستهی نخست، غولهای راستگرا که دستور میدهند سلطان ۲ واحد به راست برود و دستهی دوم غولهای چپگرا که دستور میدهند سلطان ۱ واحد به چپ برود.
کار در ۹ مرحله انجام میشود. در مرحلهی i ام، غول شمارهی i، دستور مورد نظر را (بر اساس راستگرا یا چپگرا بودنش) به سلطان میدهد. سلطان میتواند به دستور غول عمل کند یا این که غول را بکشد و جابهجا نشود. اگر سلطان یکی از غولها را بکشد، خسته میشود و ۲ غول بعدی را نمیتواند بکشد. در صورتی که در انتها، سلطان در خانهی ۰ مختصات باشد، آزاد میشود و در غیر این صورت، زندانی میماند. سلطان تنها میداند که k تا از غولها راستگرا هستند و 9−k غول دیگر، چپگرا هستند، اما شمارهی غولها را نمیداند و طبیعتا از ابتدا نمیداند که در مرحلهی i ام چه غولی دستور خواهد داد. به ازای چند عدد صحیح k با شرط 0≤k≤9 ، سلطان الگوریتمی دارد که بتواند به طور تضمینی آزاد شود؟