Альтернативна рецептура
Я придумав альтернативну формулювання нижчезазначеної проблеми. Альтернативна формулювання насправді є окремим випадком задачі нижче та використовує двосторонні графіки для опису проблеми. Однак я вважаю, що альтернативна форма все ще є важкою для NP. Альтернативна рецептура використовує роз'єднаний набір вхідних та вихідних вузлів, що спрощує визначення проблеми.
Враховуючи вихідних і вхідних вузлів (червоний і синій вузли на рисунку відповідно), а також набір розміром вагових граней між вихідними та вхідними вершинами. Мета проблеми - пофарбувати товсті краї на малюнку, щоб для кожного вхідного вузла виконувалась умова.n w i j n × n
Дано набір вихідних вершин, множина вхідних вершин, n × n ваг w i j ≥ 0 між O i 's та I j ' s для i , j = 1 … n та позитивною постійною β , знайдіть мінімальну кількість кольорів для ребер e i i (товсті краї на наведеному малюнку) таким, що для всіх j = 1 … n ,{ I i
де показує колір краю e i i .
Стара формулювання
Наступна проблема мені здається NP-важкою, але я не міг її показати. Будь-який доказ / коментар, що свідчить про твердість або легкість його, цінується.
Нехай є повним зважений орієнтований граф з п вузлами і п ( п - 1 ) ребер. Нехай w i j ≥ 0 показує вагу ребра i j, а c ( i j ) показує колір краю i j . Враховуючи підмножину ребер T ⊆ E і позитивну константу β, мета: знайти мінімальну кількість кольорів таким, що для кожного :
і c(ij)≠c(ik)
Зверніть увагу, що у наведеній вище проблемі кольоровими є лише краї в Тобто проблему можна вирішити в O ( | T | ! ) .
Оновлення:
Після коментаря Цуйосі Іто я оновив проблему. Знаменник змінено з на 1 + ∑ c ( k l ) = c ( i j ) , k l ≠ i j w k j. Таким чином, знаменник містить вагу за межами , а також. Саме тому я і зазначив повний графік у визначенні.
Я також додав додаткове обмеження . Це означає, що вихідні краї у вузла повинні бути різного кольору (але кольори, що надходять, можуть бути однаковими, доки нерівність дотримується). Це ставить інтуїтивне нижня межа на кількість квітів, яке є ступенем поза максимум вузлів T .
Як згадував Цусіосі, 's, T і β - вхід до проблеми, а кольори ребер - вихід.
Оновлення 2:
Проблема не примушує ребра та e j i бути однакового кольору.