Given a set of objects O in the plane, the corresponding intersection graph is defined as follows. A vertex is created for each object and an edge joins two vertices whenever the corresponding objects intersect. We study here the case of unit segments and polylines with exactly k bends. In the recognition problem, we are given a graph and want to decide whether the graph can be represented as the intersection graph of certain geometric objects. In previous work it was shown that various recognition problems are \(\exists \mathbb {R} \) -complete, leaving unit segments and polylines as few remaining natural cases. We show that recognition for both families of objects is \(\exists \mathbb {R} \) -complete.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Recognition of Unit Segment and Polyline Graphs is \(\exists \mathbb {R} \) -Complete

  • Michael Hoffmann,
  • Tillmann Miltzow,
  • Simon Weber,
  • Lasse Wulf

摘要

Given a set of objects O in the plane, the corresponding intersection graph is defined as follows. A vertex is created for each object and an edge joins two vertices whenever the corresponding objects intersect. We study here the case of unit segments and polylines with exactly k bends. In the recognition problem, we are given a graph and want to decide whether the graph can be represented as the intersection graph of certain geometric objects. In previous work it was shown that various recognition problems are \(\exists \mathbb {R} \) -complete, leaving unit segments and polylines as few remaining natural cases. We show that recognition for both families of objects is \(\exists \mathbb {R} \) -complete.