Vertex tsiklining qopqog'i - Vertex cycle cover

Matematikada a tepalik tsikli qopqog'i (odatda oddiy deb nomlanadi tsikl qopqog'i) ning grafik G to'plamidir tsikllar qaysiki subgrafalar ning G va barcha tepaliklarini o'z ichiga oladi G.

Agar qopqoqning tsikllarida umumiy tepaliklar bo'lmasa, qopqoq deyiladi vertex-disjoint yoki ba'zan oddiygina ajratilgan tsikl qopqog'i. Bu ba'zan sifatida tanilgan aniq tepalik tsikli qopqog'i. Bunday holda tsikllar to'plami a ni tashkil qiladi qamrab olingan subgraf ning G. Yo'naltirilmagan grafikaning ajratilgan tsikli qopqog'ini (agar mavjud bo'lsa) topish mumkin polinom vaqti muammoni topish muammosiga aylantirish orqali mukammal moslik kattaroq grafikada.[1][2]

Agar qopqoq davrlarining umumiy qirralari bo'lmasa, qopqoq deyiladi chekka-ajratilgan yoki oddiygina ajratilgan tsikl qopqog'i.

Shunga o'xshash ta'riflar mavjud digraflar, yo'naltirilgan tsikllar bo'yicha. Yo'naltirilgan grafaning vertex-disjoint tsikli qopqog'ini topish ham bajarilishi mumkin polinom vaqti ga o'xshash qisqartirish bilan mukammal moslik[3]. Biroq, har bir tsiklning uzunligi kamida 3 bo'lishi shartini qo'shish muammoni keltirib chiqaradi Qattiq-qattiq[4].

Xususiyatlari va ilovalari

Doimiy

The doimiy a (0,1) - matritsa a-ning vertex-disjoint tsikli qopqoqlari soniga teng yo'naltirilgan grafik bu bilan qo'shni matritsa. Ushbu dalil soddalashtirilgan dalil sifatida ishlatiladi, bu doimiylikni hisoblash # P tugadi.[5]

Ajratilgan tsiklning minimal qopqoqlari

Minimal tsikllar bilan vertikal ajratilgan va chekka ajratilgan tsiklni topish muammolari To'liq emas. Muammolar mavjud emas murakkablik sinfi APX. Digraflar uchun variantlar APXda ham mavjud emas.[6]

Shuningdek qarang

Adabiyotlar

  1. ^ Devid Eppshteyn. "Grafni tugunlarni ajratuvchi tsikllarga bo'lish".
  2. ^ Tutte, V. T. (1954), "Sonlu grafikalar uchun omil teoremasining qisqa isboti" (PDF), Kanada matematika jurnali, 6: 347–352, doi:10.4153 / CJM-1954-033-3, JANOB  0063008.
  3. ^ https://www.cs.cmu.edu/~avrim/451f13/recitation/rec1016.txt (muammo 1)
  4. ^ Garey va Jonson, Kompyuterlar va qulaylik, GT13
  5. ^ Ben-Dor, Amir va Halevi, Shai. (1993). "Nolinchi doimiy #Pto'liq, oddiyroq dalil ". Nazariya va hisoblash tizimlari bo'yicha 2-Isroil simpoziumi materiallari, 108-117.
  6. ^ Murakkablik va yaqinlashish: Kombinatorial optimallashtirish muammolari va ularning yaqinlashish xususiyatlari (1999) ISBN  3-540-65431-3 p.378, 379 iqtibos keltirgan holda Sahni, Sartaj; Gonsales, Teofilo (1976), "P- to'liq taxminiy muammolar " (PDF), ACM jurnali, 23 (3): 555–565, doi:10.1145/321958.321975, JANOB  0408313..