Розрив цілісності є корисним показником того, наскільки добре можна визначити IP. Можливо, краще буде подумати про це неофіційно, інтуїтивно. Високий розрив цілісності означає, що певні методи не працюватимуть. Деякі первинні / подвійні методи, наприклад, залежать від невеликого розриву цілісності. Для стандартного первинного вершинного кришки LP подвійний LP вимагає максимальної відповідності. У цьому випадку ми можемо зробити наступне:
- знайти оптимальне дробове рішення до подвійного LP (максимальна дробова відповідність)y
- помножимо розчин на коефіцієнт 2 (подвоїти всі ваги ребер)y
- перетворіть це у можливий інтеграл для первинного LP (кожне ребро дає половину своєї ваги від вектора до кожної його кінцевої точки у векторі , тоді кожен є замінено на ).x2yxximin(⌊xi⌋,1)
У цьому випадку ця проста стратегія працює, і ми закінчуємо можливим інтегральним рішенням первинного LP, вага якого не більше ніж удвічі перевищує вагу можливого рішення для подвійного LP. Оскільки вага можливого рішення для подвійного LP є нижньою межею для OPT, це алгоритм 2-наближення.
Тепер, звідки береться розрив цілісності? ІГ в цьому випадку 2, але це одне не означає, що алгоритм буде працювати. Швидше, це говорить про те, що це може спрацювати. І якщо ІГ було б більше 2, це гарантувало б, що проста стратегія не завжди спрацює. Принаймні, нам доведеться помножити подвійне рішення на IG. Отже, розрив цілісності іноді говорить нам про те , що не буде працювати. Розрив цілісності також може вказувати, на який фактор наближення ми можемо сподіватися. Невеликий розрив цілісності говорить про те, що дослідження стратегій округлення тощо може бути гідним підходом.
Для більш цікавого прикладу розглянемо задачу набору ударів та потужну техніку наближення задачі за допомогою -nets (Brönnimann & Goodrich, 1995) . Багато проблем можна сформулювати як екземпляри Hitting Set, і стратегія, яка була успішною для багатьох проблем, - це зробити, а потім просто знайти хороший чистий пошук, тобто алгоритм побудови малих -nets, і прокрутити все через мета-алгоритм B&G. Тож люди (включаючи мене) намагаються знайти чисті шукачі для обмежених екземплярів Hitting Set, які для будь-якого можуть створити -net розміром , де функціяεεεεf(1/ε)fмає бути якомога менше. Маючи - типова мета; це дало б -приближення.f(1/ε)=O(1/ε)O(1)
Як виявляється, найкраща можлива функція обмежена розривом цілісності певного LP для множини ударів (Even, Rawitz, Shahar, 2005) . Зокрема, оптимальні інтегральні та дробові рішення задовольняють . Для необмежених випадків встановлення натискання розрив цілісності становить , але при формулюванні іншої проблеми, як Hitting Set, IG може бути нижчим. У цьому прикладі автори показують, як знайти -nets розміруfOPTI≤f(OPTf)Θ(log(m))εO((1/ε)loglog(1/ε))для обмежених випадків набору наборів, які відповідають проблемі попадання осі-паралельних полів. Таким чином вони покращуються за найбільш відомим фактором наближення цієї проблеми. Це відкрита проблема, чи можна це покращити чи ні. Якщо для цих обмежених випадків набору Hitting Set IG для LP Hitting Set є , неможливо було б створити чистий пошук, що гарантує -nets розміру , оскільки це буде означати існування алгоритму, який гарантує інтегральні набори наборів розміру , але оскількиΘ(loglogm)εo((1/ε)loglog(1/ε))o(OPTfloglogOPTf)OPTf≤mце означатиме менший розрив інтегральності. Тож якщо розрив інтегральності великий, це доводить, що це може завадити людям витрачати час на пошуки хороших мережевих шукачів.