Бөлу мәселесін қойыңыз - Set splitting problem

Жылы есептеу күрделілігі теориясы, Бөлуді орнатыңыз мәселе келесіде шешім мәселесі: отбасы берілген F ақырлы жиынтықтың ішкі жиынтығы S, бөлімі бар-жоғын шешіңіз S екі ішкі жиынға S1, S2 барлық элементтері сияқты F осы бөліммен бөлінеді, яғни элементтерінің ешқайсысы F толығымен кіреді S1 немесе S2. Set Splitting - бірі Garey & Johnson's классикалық NP аяқталды мәселелер.[1]

Нұсқалар

Бұл мәселенің оңтайландыру нұсқасы деп аталады Max Set Splitting және бөлінген элементтер санын көбейтетін бөлімді табуды талап етеді F. Бұл APX-аяқталды[2] проблема, демек NPO.

The Орнатыңыз к-Жару мәселе келесідей баяндалған: берілген S, Fжәне бүтін сан к, деген бөлім бар ма S ол кем дегенде бөлінеді к ішкі жиындар F? Түпнұсқа тұжырымдамасы шектеулі жағдай к кардиналына тең F. Жинақ кБөлу дегеніміз қозғалмайтын параметр, яғни, егер к кірістің бөлігі емес, тіркелген параметр ретінде қабылданса, онда кез-келген тіркелген үшін көпмүшелік алгоритм бар к. Dehne, Fellows және Rosamond оны уақытында шешетін алгоритм ұсынды кейбір функциялар үшін f және тұрақты c.[3]

Әр элементі болған кезде F дәл түпкілікті болу үшін шектелген к, шешім нұсқасы деп аталады Eк-Бөлуді орнатыңыз және оңтайландыру нұсқасы Макс Эк-Бөлуді орнатыңыз. Үшін к > 2 бұрынғы NP болып қалады, және үшін к ≥ 2 соңғысы APX аяқталған күйінде қалады.[4] Үшін к ≥ 4, Eк-Бөлшектеу жуықтауға төзімді. Яғни, P = NP болмаса, көпмүшелік уақыт болмайды (коэффициент) жуықтау алгоритмі бұл кездейсоқ бөлімнен гөрі жақсы.[5][6]

The Жинақты бөлу ішкі жиыны болатын нұсқа F салмақтары бар және мақсаты бөлінген ішкі жиынтықтардың жалпы салмағын максимизациялау.

Басқа проблемаларға қосылу

Set Splitting - бұл ерекше жағдай Барлығына бірдей қанағаттанушылық проблемасы жоққа шығарылатын айнымалыларсыз. Сонымен қатар, Е.к-Бөлу монохроматты емеске тең графикалық бояу туралы к-біртекті гиперографтар. Үшін к= 2, оңтайландыру нұсқасы белгіліге дейін азаяды Максималды кесу.[6]

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

  1. ^ Гари, Майкл Р.; Джонсон, Дэвид С. (1979). Компьютерлер және қиындықтар: NP-толықтығы теориясының нұсқаулығы. Нью-Йорк: W.H. Фриман. ISBN  0-7167-1045-5.
  2. ^ Петранк, Эрез (1994). «Жақындаудың қаттылығы: саңылаудың орналасуы». Есептеудің күрделілігі. Спрингер.
  3. ^ Дехне, Фрэнк; Стипендиаттар, Майкл; Розамонд, Фрэнсис (2003). Жинақты бөлуге арналған FPT алгоритмі (PDF). Информатикадағы графикалық теоретикалық тұжырымдамалар (WG2003), Информатика пәнінен дәрістер. 2880. Спрингер. 180–191 бет.
  4. ^ Ловас, Ласло (1973). Гиперграфтардың жабындары мен бояулары. Комбинаторика, график теориясы және есептеу бойынша 4-ші оңтүстік-шығыс конференциясы.
  5. ^ Хестад, Йохан (2001). «Жақындықтың кейбір оңтайлы нәтижелері». ACM журналы. Есептеу техникасы қауымдастығы. 48: 798–859. дои:10.1145/502090.502098.
  6. ^ а б Гурусвами, Венкатесан (2003). «Аралас сөйлемдерсіз бөлу және қанағаттанушылық проблемаларын жиынтыққа жақындатпау нәтижелері». Алгоритмика. Спрингер. 38: 451–469. дои:10.1007 / s00453-003-1072-z.