Припустимо, - графік з кольором забарвлення d = χ ( G ) . Розглянемо наступну гру між Алісою та Боб. На кожному раунді Аліса вибирає вершину, і Боб відповідає кольором у { 1 , … , d - 1 } для цієї вершини. Гра закінчується, коли виявляється однотонний край. Нехай X ( G ) - максимальна тривалість гри при оптимальній грі обох гравців (Аліса хоче максимально скоротити гру, Боб хоче відкласти її якомога більше). Наприклад, X ( K n ) = nі .
Чи відома ця гра?
4
Я думаю, що ви, можливо, зможете моделювати це як гру Еренфеухта – Фрейсе .
—
Тайсон Вільямс
здавалося б, це дуже пов'язане з жадібними алгоритмами забарвлення графіків, правда? з яких є багато .... аналогічно проблемам SAT, коли одна із змінних "вимушена" після деякого обходу DPLL ... який, на мою думку, також називають "опорою" в SAT
—
vzn
Чому ви використовуєте d − 1? Я думаю, що більш природним є параметризація гри як за графіком G, так і за кількістю k дозволених кольорів та врахувати аналогічну кількість X (G, k). Звичайно, якщо k≥χ (G), тоді перемагає Боб, і тому в цьому випадку X (G, k) слід визначати як ∞, або n + 1.
—
Цуйосі Іто
@Tsuyoshi: - це довільний вибір, призначений для максимізації X ( G ) . У моєму застосуванні, маю на увазі, k ≥ χ ( G ) не має сенсу.
—
Yuval Filmus