Matroid паритет проблемасы - Википедия - Matroid parity problem

Matroid паритетінің а графикалық матроид: түрлі-түсті жиектері бар график берілген, әр түске дәл екі шеті бар, қайтадан бір түске екі шеті болатын орманды мүмкіндігінше үлкен табыңыз.

Жылы комбинаторлық оңтайландыру, матроид паритетінің проблемасы а-дағы жұптасқан элементтердің ең үлкен тәуелсіз жиынтығын табу мәселесі матроид.[1] Мәселе тұжырымдалған Лоулер (1976) жалпы жалпылау ретінде графикалық сәйкестік және матроид қиылысы.[1][2] Ол сондай-ақ ретінде белгілі полиматроид сәйкес келеді немесе матоидты мәселе.[3]

Matroid паритетін шешуге болады көпмүшелік уақыт үшін сызықтық матроидтер. Алайда, солай NP-hard ықшам ұсынылған матроидтар үшін, және қадамдардан полиномдық саннан көп талап етеді matroid oracle модель.[1][4]

Матроидтық паритет алгоритмдерінің қосымшаларына табу жатады үлкен жоспарлы ішкі графиктер[5] және табу графикалық ендірулер туралы максималды түр.[6] Бұл алгоритмдерді табуға да қолдануға болады байланысты үстем жиындар және кері байланыс шыңдары жиынтығы максималды дәрежедегі графикте үш.[7]

Қалыптастыру

A матроид а-дан анықтауға болады ақырлы жиынтық элементтер және келесі шектеулерді ескере отырып, элементтердің ішкі жиынтықтары тәуелсіз болуы нені білдіретіні туралы түсінік:

  • Тәуелсіз жиынның кез-келген ішкі бөлігі тәуелсіз болуы керек.
  • Егер және тәуелсіз жиындар болып табылады , содан кейін элемент бар осындай тәуелсіз.[1]

Матроидтардың мысалдарына мыналар жатады сызықтық матроидтер (онда элементтер а-да векторлар болады векторлық кеңістік, бірге сызықтық тәуелсіздік ), графикалық матроидтер (онда элементтері шеттерінде орналасқан бағытталмаған граф, егер олар жоқ болса, тәуелсіз цикл ), және матроидтер бөлімі (онда элементтер отбасына жатады бөлінбеген жиынтықтар, және олар әр жинақтағы ең көп дегенде бір элементтен тұратын кезде тәуелсіз болады). Графикалық матроидтар және бөлу матроидтары - бұл сызықтық матроидтардың ерекше жағдайлары.[1]

Матроидтық паритет проблемасында кіріс элементтері жұптастырумен бірге матроидтан тұрады, осылайша әр элемент бір жұпқа жатады. Мақсат - таңдалған ішкі жиында жұптардың бірігуі тәуелсіз болатындай етіп, жұптардың ішкі жиынын табу.[1][2] Рұқсат етілген жұптар бір элементке бір жұп емес, график құрайтын тағы бір жалпы көрінетін вариация эквивалентті болып табылады: бірнеше жұпта пайда болатын элементті элементтердің бірнеше көшірмелерімен алмастыруға болады.[8]

Алгоритмдер

Сызықтық матроидтар үшін матроидтық паритет мәселесін а арқылы шешуге болады рандомизацияланған алгоритм уақытында , қайда матроид элементтерінің саны, оның дәреже (ең үлкен тәуелсіз жиынтықтың мөлшері), және уақыт шектеріндегі көрсеткіш болып табылады матрицаны жылдам көбейту.[1]Атап айтқанда, Le Gall матрицасын көбейту алгоритмін пайдаланып,[9] оны уақытында шешуге болады .Тез матрицалық көбейтуді қолданбай, сызықтық матроидтық паритет мәселесін уақытында шешуге болады .[1]

Бұл алгоритмдер а сызықтық алгебра мәселені тұжырымдау Geelen & Iwata (2005). Мәселенің кірісі мынадан тұрады делік жұп -өлшемді векторлар (ретке келтірілген баған векторлары ішінде матрица өлшемі ). Сонда оңтайлы шешімдегі жұптардың саны

қайда Бұл қиғаш матрица оның блоктары форманың субматрикалары

айнымалылар тізбегі үшін .[10] The Шварц-Зиппель леммасы осы матрицаның толық дәрежеге ие екендігін немесе жоқтығын тексеру үшін қолдануға болады (яғни шешімнің мөлшері бар ма) немесе жоқ), айнымалыларға кездейсоқ мәндер беру арқылы және алынған матрицаның бар-жоғын тексеру анықтауыш нөл. Қолдану арқылы ашкөздік алгоритмі матрица толық дәрежеде болғанша, олардың анықталмағандықтарын нөлге теңестіру арқылы жұптарды бір-бірлеп алып тастайды (кері матрицаны Шерман-Моррисон формуласы әр алып тастағаннан кейін дәрежесін тексеру үшін), бұл тест оның бар екенін көрсеткен сайын шешім таба алады. Қосымша әдістер бұл алгоритмді матроидтық паритет мәселесінің оңтайлы шешімінен төмен болған жағдайда қолданады жұп.[1]

Графикалық матроидтар үшін жұмыс уақытының тиімді алгоритмдері белгілі графиктерінде шыңдар және шеттері.[11]Үшін қарапайым графиктер, болып табылады , бірақ үшін мультиграфтар, ол үлкенірек болуы мүмкін, сондықтан тәуелділігі аз немесе жоқ алгоритмдердің болуы да қызығушылық тудырады тәуелділік . Бұл жағдайда матроидалық паритеттің графикалық есебін рандомизацияланған күтілетін уақытта шешуге болады немесе уақытында жиектердің әр жұбы жол құрған кезде.[1]

Матроидтық паритет проблемасы болғанымен NP-hard ерікті матроидтар үшін оны әлі де тиімді бағалауға болады. Қарапайым жергілікті іздеу алгоритмдері қамтамасыз ету көпмүшелік-уақытқа жуықтау схемасы осы мәселе үшін және шешім мөлшері оңтайлы шешімнің үлесі ретінде ерікті түрде жақын болатын шешімдерді табыңыз. Алгоритмі басталады бос жиын оның шешімі ретінде және ең көп дегенде тұрақты санды жою арқылы шешім мөлшерін бірнеше рет көбейтуге тырысады ерітіндіден жұптар және оларды басқа жиынтыққа тағы бір жұппен ауыстыру. Енді мұндай қозғалыстар мүмкін болмаса, алынған шешім оңтайлы шешімге жуықтау ретінде қайтарылады. Жуықтау коэффициентіне жету үшін , таңдау жеткілікті шамамен болуы керек .[8]

Қолданбалар

Көптеген басқа оңтайландыру есептері матроидалық паритеттің сызықтық есептері ретінде тұжырымдалуы мүмкін және оларды полиномдық уақыт ішінде осы тұжырымдау көмегімен шешуге болады.

Графикалық сәйкестік
A максималды сәйкестік графикте шеттердің ішкі жиыны бар, екі нүкте де мүмкін емес, олар ең үлкен нүкте. Оны графоидтағы әр шыңның жиілігі үшін элементі бар бөлме матроидтегі матроидтық паритет мәселесі ретінде тұжырымдауға болады. Бұл матроидта екі элемент жұптасады, егер олар бір-бірімен бірдей жиектің екі инциденті болса. Элементтердің жиынтығы графиктің әр шыңы үшін ең көбі бір түсу болса тәуелсіз болады. Осы матроидке арналған матроидтық паритет мәселесін шешудің элементтеріндегі жұптар максималды сәйкестіктегі жиектер мен олардың соңғы нүктелері арасындағы индикциялар болып табылады.[2]
Матроид қиылысы
Матроидтың қиылысуының мысалы бір элементтер жиынтығында орналасқан екі матроидтан тұрады; мақсат - мүмкіндігінше үлкен және екі матроида да тәуелсіз элементтердің ішкі жиынын табу. Матроид паритетінің проблемасы ретінде матроид қиылысын тұжырымдау үшін элементтері берілген элементтердің екі көшірмесінің бөлшектелген бірігуі болып табылатын жаңа матроид құрыңыз. Жаңа матроидта ішкі жиын тәуелсіз болады, егер оның екі дананың әрқайсысына шектеуі сәйкесінше екі матроидтың әрқайсысында тәуелсіз болса. Жаңа матроид элементтерін әр элемент өзінің көшірмесімен жұптасатындай етіп жұптастырыңыз. Осы матроид үшін матроидтық паритет мәселесін шешудегі элементтердің жұптары матроидтың қиылысу мәселесінің шешіміндегі әрбір элементтің екі данасы болып табылады.[2]
Үлкен жоспарлы субографиялар

Еркін графикте таңдалған үшбұрыштан басқа циклы жоқ, берілген графиктегі үшбұрыштардың ең үлкен жиынын табу мәселесін, элементтері графиктің шеттері болатын графикалық матроидтегі матроидалық паритет есебі ретінде тұжырымдауға болады. үшбұрыштағы шеттердің жұбы (егер олар бірнеше үшбұрышқа жататын болса, олардың шеттерін қайталау). Осы матроид үшін матроидтық паритет мәселесін шешудегі элементтердің жұптары - бұл үшбұрыштардың оңтайлы жиынтығының әр үшбұрышындағы екі шеті, сол есепті ең үлкенін табудың бірі ретінде де сипаттауға болады. Берге-ациклді 3-форманың ішкі гиперографиясы гиперграф. Есептің гиперграфиялық нұсқасында гипершектер берілген графиктің үшбұрыштары болып табылады.[3]

A кактус графигі бұл әрбір екі циклде ең көп дегенде бір шыңы бар график. Ерекше жағдай ретінде, әр цикл үшбұрыш болатын графиктер міндетті түрде кактус графикасы болып табылады. Берілген графиктегі ең үлкен үшбұрышты кактус а-дан қосымша жиектер қосу арқылы табылады ағаш, жаңа циклдар жасамай-ақ, нәтижесінде алынған подграф бірдей болады қосылған компоненттер бастапқы график ретінде. Кактус графиктері автоматты түрде болады жазықтық графиктер, және үшбұрышты кактус графиктерін табу мәселесі ең танымалға негіз болады жуықтау алгоритмі берілген графиктің ең үлкен жазықтық субографиясын табу мәселесіне, маңызды қадам жоспарлау. Ең үлкен үшбұрышты кактус әрқашан кем дегенде 4/9 ең үлкен жазықтық субографияның жиектеріне ие, ерікті кеңейтілген ағашты пайдалану арқылы алынған 1/3 жуықтау коэффициентін жақсартады.[5]

Комбинаторлық қаттылық
Ішіндегі қатты штангалардың қаңқасы Евклидтік жазықтық, икемді түйіспелерде олардың соңғы нүктелерінде жалғанған, оның кейбір буындарын жазықтықтың нүктелеріне бекіту арқылы жазықтықта бір қалыпта бекітілуі мүмкін. Жақтауды бекіту үшін түйреу қажет түйіспелердің минималды саны оның түйреуіш нөмірі деп аталады. Оны шешуден бастап, байланысты матроидтық паритет мәселесіне дейін есептеуге болады.[3]
Максималды тұқымдық ендіру

A ұялы ендіру берілген графиктің мүмкін болатын максималды бетіне түр а-дан алуға болады Сюонг ағашы график. Бұл ағашта емес жиектердің подграфында саны бар қасиеті бар ағаш қосылған компоненттер жиектері тақ санымен мүмкіндігінше аз.

Xuong ағашын матроидалық паритет есебі ретінде табу мәселесін тұжырымдау үшін алдымен әр шетін бөліңіз берілген графиктің жолының ұзындығы басқа шеттердің санына тең болатын жолмен . Содан кейін, бөлінген графиктің шеттерін жұптастырыңыз, сонда бастапқы графикадағы шеттердің әрбір жұбы бөлінген графикадағы шеттердің бір жұпымен ұсынылады, ал бөлінген графикадағы әрбір шеттер дәл бір рет жұптасады. Бөлінген графтың жұптасқан шеттерімен матроидалық паритеттің есебін оның когрографиялық матроидін қолданып шешіңіз (егер сызық матроид, егер оның сызбасы графиканы бөліп алмаса, оның жиектері тәуелсіз болады). Матроидтық паритет шешімінде қолданылатын шеттерден аулақ болатын түпнұсқа графиктің кез-келген ағаш ағашы міндетті түрде Сюонг ағашы болып табылады.[6]

Байланысты үстемдік
A қосылған домин жиынтығы графикте шыңдар жиынтығы, оның индукцияланған субография барлық басқа төбелермен іргелес болып табылады, ерікті графиктердегі ең кіші жалғанған үстемдік жиынтығын табу NP қиын, бірақ максимум үштік графиктер үшін полиномдық уақытта табуға болады. текше график, әрбір шыңды оның үш соңғы нүктесінің ұштарымен байланыстырылған екі жиекті жолмен алмастыруға болады және кеңейтілген графиктің кографиялық матроидасын қолдана отырып, осылайша пайда болған шеттердің жұптарында матроидтық паритет есебін құруға болады. Шешімдерде жолдары қолданылмаған шыңдар минималды байланысқан домин жиынтығын құрайды. Ең жоғары дәрежедегі үш графикте кейбір қарапайым қосымша түрлендірулер есепті текше графикке дейін азайтады.[7]
Кері байланыс шыңы орнатылды
A кері байланыс шыңы графикте барлық циклдарды қозғайтын шыңдар жиынтығы. Текше графиктерде төбелер санына қатысты сызықтық теңдеу бар, цикломатикалық сан, жалғанған компоненттердің саны, минималды жалғанған доминанттың жиынтығы және минималды кері байланыс шыңының жиынтығы.[12] Бұдан шығатыны, біріккен үстемдік жиынтықтарды табуға арналған матроидтық паритет проблемасы максимум үштік графиктердегі кері байланыс шыңдары жиынтықтарын табу үшін де қолданыла алады.[7]

Қаттылық

The клика проблемасы, табу а -текс толық ішкі сызба берілген -текс сызбасы , матроидалық паритеттің данасына төмендегідей түрлендіруге болады матроидты төсеу қосулы шыңында бір жұп элемент болатындай етіп жұптастырылған элементтер. Ішкі жиынды анықтаңыз егер ол келесі үш шарттың біреуін қанағаттандырса, осы элементтердің тәуелсіздігі:

  • қарағанда аз элементтер.
  • дәл бар элементтері, бірақ бірігу емес элементтер жұбы.
  • болып табылады ішіндегі кликті құрайтын жұп элементтер .

Осыдан кейін өлшемі бойынша матроид паритеті мәселесін шешуге болады , егер және егер болса өлшемі бар . Берілген өлшемдегі кликтерді табу NP-ге толы болғандықтан, матрицалық паритеттің осы түрінің өлшемінің шешімі бар-жоғын анықтайды. сонымен қатар NP-аяқталған.[13]

Бұл проблеманы түрлендіру кликалық есептің құрылымына терең тәуелді емес және өлшемді табудың кез-келген проблемасы үшін жұмыс істейді. есептелетін сынақты қанағаттандыратын үлкен жиынтықтың ішкі жиындары. Мұны кездейсоқ пермутирленген графикке қолдану арқылы өлшемі дәл бір кликаны қолдана отырып , тек матроидқа тәуелсіздік тестілері арқылы қол жеткізетін матроидтық паритеттің кез-келген детерминделген немесе рандомизацияланған алгоритмі экспоненциалды тесттер санын жасауы керек екенін көрсетуге болады.[4]

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

  1. ^ а б в г. e f ж сағ мен j Чэун, Хо Ии; Лау, Лап Чи; Леунг, Кай Ман (2014), «Сызықтық матроидтық паритет есептерінің алгебралық алгоритмдері» (PDF), Алгоритмдер бойынша ACM транзакциялары, 10 (3): 10:1–10:26, CiteSeerX  10.1.1.194.604, дои:10.1145/2601066, МЫРЗА  3233690, S2CID  894004
  2. ^ а б в г. Лоулер, Евгений Л. (1976), «9 тарау: Matroid паритет проблемасы», Комбинаторлық оңтайландыру: желілер және матроидтер, Нью-Йорк: Холт, Райнхарт және Уинстон, 356–367 б., МЫРЗА  0439106
  3. ^ а б в Ловас, Л. (1980), «Matroid сәйкестігі және кейбір қосымшалар», Комбинаторлық теория журналы, B сериясы, 28 (2): 208–236, дои:10.1016/0095-8956(80)90066-0, МЫРЗА  0572475
  4. ^ а б Дженсен, Пер М .; Корте, Бернхард (1982), «Matroid қасиеттері алгоритмдерінің күрделілігі», Есептеу бойынша SIAM журналы, 11 (1): 184–190, дои:10.1137/0211014, МЫРЗА  0646772
  5. ^ а б Челесеску, Груиа; Фернандес, Кристина Г.; Финклер, Ульрих; Карлофф, Ховард (1998), «Пландық ішкі графиктерді табудың жақсырақ алгоритмі», Алгоритмдер журналы, 27 (2): 269–302, CiteSeerX  10.1.1.47.4731, дои:10.1006 / jagm.1997.0920, МЫРЗА  1622397, S2CID  8329680.
  6. ^ а б Фурст, Меррик Л .; Гросс, Джонатан Л. McGeoch, Lyle A. (1988), «Граммаға енудің максималды түрін табу», ACM журналы, 35 (3): 523–534, дои:10.1145/44483.44485, МЫРЗА  0963159, S2CID  17991210
  7. ^ а б в Уэно, Шуйчи; Каджитани, Йодзи; Готох, Шинья (1988), «Төбесі үштен аспайтын графиктерге бөлінбейтін тәуелсіз жиынтық және кері байланыс жиынтығы мәселесі туралы», Графия теориясы мен қолданбалы бірінші Жапония конференциясының материалдары (Хаконе, 1986), Дискретті математика, 72 (1–3): 355–360, дои:10.1016 / 0012-365X (88) 90226-9, МЫРЗА  0975556
  8. ^ а б Ли, Джон; Свириденко, Максим; Вондрак, қаңтар (2013 ж.), «Matroid сәйкестігі: жергілікті іздеу күші», Есептеу бойынша SIAM журналы, 42 (1): 357–379, CiteSeerX  10.1.1.600.4878, дои:10.1137 / 11083232X, МЫРЗА  3033132
  9. ^ Ле Галл, Франсуа (2014), «Тензор күштері және жылдам матрицаны көбейту», Символдық және алгебралық есептеу бойынша 39-шы Халықаралық симпозиум материалдары (ISSAC 2014), Нью-Йорк: ACM, 296–303 б., дои:10.1145/2608628.2608664, ISBN  9781450325011, МЫРЗА  3239939, S2CID  2597483
  10. ^ Джилин, Джеймс; Ивата, Сатору (2005), «Аралық қисық-симметриялық матрицалар арқылы матроидты сәйкестендіру», Комбинаторика, 25 (2): 187–215, CiteSeerX  10.1.1.702.5431, дои:10.1007 / s00493-005-0013-7, МЫРЗА  2127610, S2CID  18576135
  11. ^ Габов, Гарольд Н .; Сталлманн, Матиас (1985), «графикалық матроидтік қиылысу мен паритеттің тиімді алгоритмдері (кеңейтілген реферат)», Брауэрде, Вильфрид (ред.), Автоматика, тілдер және бағдарламалау бойынша 12-ші халықаралық коллоквиум (ICALP), Нафплион, Греция, 15-19 шілде, 1985 ж., Информатикадағы дәрістер, 194, Берлин: Шпрингер, 210–220 б., дои:10.1007 / BFb0015746, ISBN  978-3-540-15650-5, МЫРЗА  0819256
  12. ^ Speckenmeyer, E. (1986), «Бағытталмаған текше графиктердің кері байланыс шыңдарының жиынтығы», Информатикадағы алгебра, комбинаторика және логика, т. I, II (Джир, 1983), Colloquia Mathematica Societatis Янос Боляй, 42, Амстердам: Солтүстік-Голландия, 719–729 бет, МЫРЗА  0875903
  13. ^ Soto, José A. (2014), «қарапайым базалық матроидтарда салмақты матроидты сәйкестендіруге арналған қарапайым PTAS», Дискретті қолданбалы математика, 164 (2-бөлім): 406-412, arXiv:1102.3491, дои:10.1016 / j.dam.2012.10.019, МЫРЗА  3159127