Кіріспе

Граф теориясында графтың ең аз қимасы немесе минималды кесу – бұл графтың төбелерін екі ажыратылған жиынға бөлу арқылы жасалатын, белгілі бір метрика бойынша минималды кесу (қима). Минималды кесу мәселесінің түрлері салмақты графтарды, бағытталған графтарды, терминалдарды және төбелерді екіден астам жиынға бөлуді қарастырады. Оң және теріс салмақтарды қабылдайтын салмақты минималды кесу мәселесін барлық салмақтардың таңбаларын өзгерту арқылы салмақты максималды кесу мәселесіне оңай түрлендіруге болады. ТОК

Терминал түйіндері жоқ

Бағытталмаған, салмақты графтардағы, теріс емес салмақтармен шектелген ең аз қима (minimum cut) мәселесі Стоер-Вагнер алгоритмі арқылы полиномиалдық уақытта шешіледі. Граф салмақсыз болған жағдайда, Каргер алгоритмі қима табудың тиімді, кездейсоқ әдісін ұсынады. Бұл жағдайда ең аз қима, графтың жиек байланысына тең болады. Терминалдары жоқ ең аз қима мәселесінің жалпылама түрі – ең аз k қима, онда мақсат – мүмкіндігінше аз жиектерді жою арқылы графикті кем дегенде k байланысты компонентке бөлу. k-ның белгілі бір мәні үшін бұл мәселе полиномиалдық уақытта шешіледі, бірақ алгоритм үлкен k мәндері үшін тиімді емес.

Терминал тораптарымен

Екі терминалдық түйін берілген кезде, олар көбінесе бастапқы нүкте және аяқтаушы нүкте деп аталады. Ағын желісінде, ең төменгі кесу бастапқы нүкте мен аяқтаушы нүктені бөліп, кесудің бастапқы нүкте жағынан аяқтаушы нүкте жағына бағытталған қабырғаларының сыйымдылықтарының жалпы сомасын азайтады. Максималды ағын – ең төменгі кесу теоремасында көрсетілгендей, осы кесудің салмағы берілген желіде бастапқы нүктеден аяқтаушы нүктеге жіберілетін ағынның ең жоғары мөлшеріне тең. Салмақты, бағытталмаған желіде, нақты бір түйіндер жұбын бір-бірінен бөліп, ең аз салмаққа ие кесуді есептеу мүмкін. Бұл мәселені әр мүмкін түйіндер жұбы үшін шешетін кесулер жүйесі, графиктің Гомори-Ху ағашы деп аталатын құрылымға біріктіріледі. Терминалдармен ең төменгі кесу мәселесінің жалпылама түрі – k терминалды кесу немесе көп терминалды кесу. Бұл мәселе NP-қиын, тіпті .

Қолданбалар

Графты бөлу проблемалары – комбинаторлық оптимизация проблемаларының бір тобы, онда граф екі немесе одан көп бөлікке бөлінеді, мұнда кесудің екі жағының мөлшерін теңестіру сияқты қосымша шектеулер қойылады. Сегментацияға негізделген объектілерді жіктеуді, сурет сегментациясына қолданылатын нормаланған минимумдық кесілім спектральдық кластерлеудің нақты жағдайы ретінде қарастыруға болады. Оны жалпы кластерлеу әдісі ретінде де пайдалануға болады, онда түйіндер метрикалық кеңістіктен алынған деректердің үлгілері деп есептеледі және қабырғалардың салмағы олардың арақашықтығын көрсетеді. Дегенмен, бұл көбінесе жоғары есептеу күрделілігіне байланысты тиімсіз болады. Максималды ағын-минималды кесілім теоремасына сәйкес, екі түйіннің минималды кесілім мәні олардың максималды ағын мәніне тең. Осы жағдайда, максималды ағын мәселесінде қолданылатын кейбір алгоритмдер осы мәселені шешу үшін де қолданылуы мүмкін.

Ең аз кесу саны

Графиктердегі төбелер саны n болса, ең көп дегенде n-1 түрлі ең аз қима болуы мүмкін. Бұл шектеу тығыз, яғни n төбесі бар (жа simple) циклде дәл n ең аз қима болады.