Блог пользователя jk_qq

Автор jk_qq, история, 9 лет назад, По-русски

Добрый вечер.

Интересует такая задача: в планарном графе G требуется найти все порождённые C4 (порождённые подграфы-циклы на четырёх вершинах), желательно за линейное время.

Есть у кого-нибудь идеи?

  • Проголосовать: нравится
  • +4
  • Проголосовать: не нравится

»
9 лет назад, # |
  Проголосовать: нравится -13 Проголосовать: не нравится

Позвольте уточнить, граф не плоский, а только лишь планарный?

  • »
    »
    9 лет назад, # ^ |
      Проголосовать: нравится -6 Проголосовать: не нравится

    Да, граф именно планарный. Для плоского можно было бы перебрать все грани и только среди них искать, насколько я понимаю.

    • »
      »
      »
      9 лет назад, # ^ |
        Проголосовать: нравится 0 Проголосовать: не нравится

      Нет, ведь цикл может не быть гранью, в том числе цикл длины 4.

  • »
    »
    9 лет назад, # ^ |
      Проголосовать: нравится +10 Проголосовать: не нравится

    А в чем принципиальная разница?..

    • »
      »
      »
      9 лет назад, # ^ |
        Проголосовать: нравится 0 Проголосовать: не нравится

      На сколько мне известно, если граф задан как плоский граф, то есть у вас есть точки на плоскости, а в планарном графе вам дан абстрактный класс и просто известно, что существует плоская укладка на плоскость. В ряде случаев плоский граф дает некоторые преимущества.

    • »
      »
      »
      9 лет назад, # ^ |
        Проголосовать: нравится -11 Проголосовать: не нравится

      Вы правы, в данном случае, по-видимому, ни в чём. Но я, когда задавал вопрос, ещё не понял этого.

»
9 лет назад, # |
  Проголосовать: нравится -34 Проголосовать: не нравится

Мне кажется, что это как-то относится к текущему длинному контесту на Codechef. Прошу воздержаться от комментариев и скрыть блог до окончания соревнования.

»
9 лет назад, # |
  Проголосовать: нравится 0 Проголосовать: не нравится

Погугли проверку графа на планарность, она тоже линейная, возможно, у этих алгоритмов есть что-то общее

»
9 лет назад, # |
  Проголосовать: нравится +11 Проголосовать: не нравится

Ну, есть алгоритм Эппштейна с линейным времен работы, хотя выглядит сложноватым для этой задачи, и константа у него может оказаться большой: Subgraph Isomorphism in Planar Graphs and Related Problems

  • »
    »
    9 лет назад, # ^ |
      Проголосовать: нравится 0 Проголосовать: не нравится

    Спасибо большое. Вероятно то, что надо.