Як випливає з назви, яке правильне визначення -трета? Існує декілька робіт, які розповідають про k -трети і часткові k -треї як альтернативні визначення графіків з обмеженою шириною ширини, і я бачив багато, здавалося б, неправильних визначень. Наприклад, щонайменше одне місце визначає k -трети так:
Графік називається -графом тоді і тільки тоді, коли або G є повним графіком з k вершинами, або G має вершину v зі ступенем k - 1 таким, що G ∖ v - k- дерево. Часткове k- дерево - це будь-який підграф k- дерева.
Згідно з цим визначенням, можна створити такий графік:
- Почніть з краю , 2- дерева.
- Для створіть вершину v i та зробіть її сусідньою з v i - 1 та v i - 2 .
Це дозволить створити смужку з квадратів з діагоналями. Так само ми можемо почати створювати смугу від першого квадрата в напрямку, ортогональному до смуги вгорі. Тоді у нас був би перший рядок і перший стовпець сітки n × n . Заповнення сітки легко, створюючи вершини та приєднуючи їх до вершин угорі та зліва.
Кінцевим результатом є графік, що містить сітку, яка, як відомо, має ширину n .
Правильне визначення -трей має бути наступним:
Графік називається -графом тоді і тільки тоді, коли або G є повним графом з k вершинами, або G має вершину v зі ступенем k - 1 таким чином, що сусід v утворює k -clique, а G v - a k -дерево.
Потім графік, подібний до сітки, описаний вище, неможливо створити.
Я прав?