Хилл-Бек жер бөлу проблемасы - Википедия - Hill–Beck land division problem

Келесі нұсқасы тортты кесу проблема енгізілді Тед Хилл 1983 ж.[1]

Аумағы бар Д. іргелес n елдер. Әр ел әртүрлі ішкі жиынтықтарды бағалайды Д. басқаша. Елдер бөлінгісі келеді Д. олардың арасында әділ, мұндағы «әділ» а пропорционалды бөлу. Қосымша, әр елге бөлінген үлес сол елмен байланысты және іргелес болуы керек. Бұл географиялық шектеу бұл мәселені классикалықтан ерекшелендіреді тортты кесу.

Ресми түрде әр мемлекет Cмен бөлшектелген бөлігін алу керек Д., белгіленген Д.менарасындағы шекараның бір бөлігі Cмен және Д. ішінде орналасқан Cмен . Д.мен.

Мүмкін емес және мүмкін емес

Мәселе шешілмейтін жағдайлар бар:

  1. Егер екі ел өздерінің барлық құндылықтарын тағайындайтын бір ғана мәселе болса (мысалы, қасиетті орын), онда аумақты пропорционалды түрде бөлуге болмайды. Осындай жағдайлардың алдын алу үшін біз барлық елдер барлық сингулярлық нүктелерге 0 мәнін қояды деп ойлаймыз.
  2. Егер Д. төртбұрыш, алаңның 4 жағына іргелес 4 мемлекет бар, және әр ел өзінің барлық мәнін қарама-қарсы жақтағы шекараға тағайындайды, содан кейін солтүстік елді өзінің оңтүстік шекарасымен байланыстыратын барлық бөлу болады шығыс елді өзінің қалаған батыс шекарасымен байланыстыру мүмкін емес (егер біз екі өлшемді жазықтықта болсақ). Осындай жағдайлардың алдын алу үшін біз барлық елдер шекарасына 0 мәнін береді деп ойлаймыз Д..

1983 жылы Хилл дәлелдеді, егер әрқайсысы болса Д. барлық елдер үшін 0 мәніне ие, ал шекарасы Д. барлық елдер үшін 0 мәніне ие, содан кейін көршілес шектеулермен пропорционалды бөлу бар. Оның дәлелі тек экзистенциалды болды - ешқандай алгоритм сипатталмады.[1]

Алгоритм

4 жылдан кейін, Анатол Бек осындай бөлуге қол жеткізу туралы хаттаманы сипаттады.[2] Шын мәнінде, бұл хаттама Соңғы азайтқыш хаттама. Бұл елдердің бөліктерін сатып алуға мүмкіндік береді Д., өзінің қатысушысына ең аз ұсынысты береді және қалғандарын қалғандарына бөледі n - 1 мемлекет. Көршілес шектеулерді қанағаттандыру үшін кейбір вариациялар қажет.

Жай байланысқан аумақ

Қашан Д. болып табылады жай қосылған, келесі алгоритм қолданылады.

1. а табыңыз Риман картасын құру сағ бұл карталар Д. дейін диск дискі, барлық елдер үшін басына бағытталған әрбір шеңбердің мәні 0-ге тең және басталғаннан шыққан әрбір радиустың мәні 0-ге тең (осындай сағ санау аргументімен дәлелденеді).

2. Әрбір елден диск картасында сурет салуды сұраңыз сағ(Д.), шығу тегі центрленген, мәні 1 /n. Бұл барлық центрге бағытталған центрдің мәні 0 болатын шарттың арқасында мүмкін болады.

3. Дискіні табыңыз Д.1 ең кіші радиуста, р1.

Екі жағдай бар.

Жалғыз жеңімпаз

4. Егер Д.1 тек бір ғана ел салған, дейді Cмен, содан кейін осы дискіні беріңіз Cмен. Басқа елдер үшін оның мәні 1-ден кем /n, сондықтан біз бере аламыз Cмен оны өз дискісімен байланыстыратын шағын қосымша бөлік.

Ол үшін қосылатын секторды салыңыз Д.1 арасындағы шекараның кескініне дейін Cмен және Д.. Әр елге рұқсат етіңіз (басқа Cмен) осы секторды барлық елдер дискіні және секторды максимум 1 деп бағалайтындай етіп кесіңізn. Бұл басынан бастап барлық радиустардың мәні 0 болатын жағдайдың арқасында мүмкін болады Cмен одақ Д.1 және кесілген сектор.

Қалғаны жай жалғанған және мәні кем дегенде (n − 1)/n қалғанына n - 1 ел, сондықтан бөлу 1-қадамда рекурсивті түрде жүре алады.

Көптеген жеңімпаздар

Егер Д.1 салған к> 1 ел, содан кейін біз диск және байланыстыратын сектор бере алатын елді табу үшін бірнеше аукциондар қажет.

5. ерікті жеңімпаз елді таңдап, оны декларатор, C1. Оған қосылатын сектор қосылсын Д.1 оның қазіргі аумағына, ал басқа елдерге сол саланы қысқартуға мүмкіндік беріңіз:

  • Әрбір жеңімпаз емес ел үшін мәні Д.1 плюс кесілген сектор ең көп дегенде 1 /n (бұл мүмкін, өйткені мәні Д.1 олар үшін 1-ден аз /n).
  • Әрбір жеңімпаз ел үшін тек кесілген сектордың мәні 1 / -ден аспайдыn.

6. Жеңімпаз елдердің әрқайсысы жаңа радиусты ұсынсын р (оның бірінші өтінімінен кішірек), кесілген сектордың мәні және радиус дискісі сияқты р дәл 1 /n. Мұндай дискіні ең кішісін таңдаңыз, Д.2. Тағы екі жағдай бар:

Егер C1 сауда-саттыққа қатысушы елдердің бірі болып табылады Д.2, содан кейін оны беріңіз Д.2 (бұл түпнұсқадан сәл кішірек) Д.1) және байланыстырушы сектор. C1 мәні 1 /n және басқа елдер бұл ең көп дегенде 1 /n, сондықтан біз 1-қадамда рекурсивті түрде жүре аламыз.

Әйтпесе, C1 жиынтық мәні келіседі Д.2 қосу секторы 1-ден аз /n. Жеңімпаз емес барлық адамдар бұған келісуі керек Д.2 қарағанда кіші Д.1. Сонымен C1 және бұған келіскен барлық басқа елдер жеңімпаздар қатарынан шығарылады.

7. Қалған жеңімпаздар арасынан жаңа декларантты таңдаңыз C2. Оған тағы бір қосылатын сектор қосылсын Д.2 оның қазіргі аумағына, ал басқа елдерге сол секторды 5-қадамдағыдай кесіп тастаңыз.

Қазір ескеріңіз Д.2 екі түрлі аумаққа қосылған - C1 және C2. Бұл проблема, өйткені ол қалған аумақты ажыратады. Мұны шешу үшін, C2 басқа секторды алуға рұқсат етіледі, бұл байланыс ұзақтығына байланысты емес, осылайша ол байланысқа зиян тигізбейді.[2] Үшінші секторды барлық елдер 5-қадамдағыдай қайта қалпына келтіреді. C2 байланыстыратын сектордың бір бөлігінен бас тарту қажет Д.2 дейін C1, оның мәні алған үшінші сектордың құнына тең.

C2Кандидатты бөлу енді келесі бөліктерді қамтиды: Д.2, ұзындығы 1 қосылатын жалғыз сектор Д.2 дейін C2, және шекарасына жетпейтін екі қысқа сектор Д.. Бұл құрылыстың мәні C2 1 / құрайдыn, оның жеңімпаздар үшін мәні 1 / -ден азn, ал қалған жеңімпаздар үшін оның мәні ең көбі 1 /n.

Бұл процесс қалған жеңімпаздармен жалғасады, тек бір ғана жеңімпаз қалады.

Шекті байланысқан аумақ

Егер аумақ Д. болып табылады к- байланысты ақырлы к, содан кейін бөлу индукция бойынша жүре алады к.

Қашан к = 1, Д. жай байланысқан және оны алдыңғы бөлімнің хаттамасымен бөлуге болады.

Әйтпесе (к > 1), -ның сыртқы шекарасын белгілеңіз Д. арқылы B1 және оның ішкі шекаралары B2, ..., Bк.

Сызықты табыңыз L сыртқы шекараны байланыстырады B1 ішкі шекарасына дейін Bк, барлық елдер бағалайтындай L ретінде 0. Бұл келесі санау аргументінің көмегімен мүмкін болады. Байланыстыратын жұптасқан-бөлінбеген сызықтардың сансыз шексіздігі бар B1 және Bк және құрамында Д.. Бірақ өлшемі Д. ақырлы, сондықтан оң өлшемі бар жолдар саны ақырлы болуы керек.

Жинақ Д. \ L бұл (к - 1) - байланысты. Оны рекурсивті түрде бөліңіз, содан кейін тағайындаңыз L оған іргелес кез келген елге ерікті түрде. Бұл бөлудің әділдігіне әсер етпейді, өйткені мәні L барлық елдер үшін 0-ге тең.

Сондай-ақ қараңыз

Әдебиеттер тізімі

  1. ^ а б Hill, T. P. (1983). «Әділ шекараны анықтау». Американдық математикалық айлық. 90 (7): 438–442. дои:10.2307/2975720. JSTOR  2975720.
  2. ^ а б Бек, А. (1987). «Адал шекара құру». Американдық математикалық айлық. 94 (2): 157–162. дои:10.2307/2322417. JSTOR  2322417.
  • Мәселені шешудің қосымша әдісін мына сілтемеден қараңыз: Уэбб, В.А. (1990). «Әділ шекараны орнатудың комбинациялық алгоритмі». Еуропалық Комбинаторика журналы. 11 (3): 301–304. дои:10.1016 / s0195-6698 (13) 80129-1.