Были ли решены эти раскраски?

12

В статье «О сложности некоторых раскрасок» Бодлендер дает несколько открытых вопросов о сложности решения, имеет ли игрок 1 или 2 выигрышную стратегию в некоторых играх раскраски графов. Кто-нибудь знает, были ли они решены?

1) В одной игре два игрока по очереди выбирают одну вершину на графике и правильно окрашивают ее цветом из фиксированного конечного набора. Проигравший - первый игрок, который не может раскрасить вершину. В статье Шефера показано, что она pspace-полная с 1 цветом, а Bodlaender показывает, что она pspace-полная с 2 цветами, но не дает ответа с большим количеством цветов. Это все еще открыто?

2) В другом варианте вершины имеют номера 1..n. На ходу игрока он должен правильно закрасить вершину наименьшим числом, которое еще не было окрашено. Опять же, они используют цвета из фиксированного набора, и проигравший является первым игроком, который не может раскрасить свою вершину. Bodlaender показывает, что он является pspace-полным для общих графов. Он спрашивает, кто побеждает на деревьях, это известно?

Благодарность

user32149
источник
2
Почему бы вам не спросить Bodlaender напрямую? staff.science.uu.nl/~bodla101
Gamow

Ответы:

2

Похоже, что в этой статье есть кое-что из того, что вы ищете: http://arxiv.org/abs/1202.5762

Общая форма первого вопроса - это действительно простое сокращение: используя цвета {0, ..., n-1}, начните с экземпляра Node Kayles и создайте вершину для каждого из цветов от 1 до n-1 и подключите их каждой неокрашенной вершине. Теперь эти цвета не могут быть воспроизведены, и вы все еще играете в игру Node Kayles.

рукав моря
источник
Спасибо за ссылку, посмотрю. В этом вопросе мы не разрешаем «предварительную раскраску», поэтому мы не можем предполагать, что некоторые вершины уже имеют цвет. Игра начинается со всех неокрашенных вершин.
user32149 20.02.15
Это имеет смысл, но это меняет вопрос о твердости. Для многих игр известно, у какого игрока есть выигрышная стратегия с начальной позиции, но неизвестно, у какого игрока есть выигрышная стратегия на общей позиции. Взять хотя бы Hex. Здесь первый игрок имеет выигрышную стратегию. Исходя из общей позиции, определение того, имеет ли следующий ход игрок, обладающий выигрышной стратегией, завершается PSPACE.
Кайл
Да, вы правы, я должен был уточнить в исходном вопросе. Я говорю о вычислительной сложности определения того, кто победит на данном графике, прежде чем какие-либо вершины будут раскрашены.
user32149 20.02.15
Это интересный вопрос, чтобы быть уверенным. Тем более, что вы говорите об общем графике и не предъявляете никаких требований к его структуре. Мне наверняка будет интересно узнать, если вы это выясните!
Кайл