Abstract:We consider the vertex proper coloring problem for highly restricted instances of geometric intersection graphs of line segments embedded in the plane. Provided a graph in the class UNIT-PURE- k -DIR, corresponding to intersection graphs of unit length segments lying in at most k directions with all parallel segments disjoint, and provided explicit coordinates for segments whose intersections induce the graph, we show for that it is NP -complete to decide if a proper 3-coloring exists, and moreover, -complete under many-one counting reductions to determine the number of such colorings. In addition, under the more relaxed constraint that segments have at most two distinct lengths, we show these same hardness results hold for finding and counting proper -colorings for every . More generally, we establish that the problem of proper 3-coloring an arbitrary graph with m edges can be reduced in time to the problem of proper 3-coloring a UNIT-PURE-4-DIR graph. This can then be shown to imply that no time algorithm can exist for proper 3-coloring PURE-4-DIR graphs under the Exponential Time Hypothesis (ETH), and by a slightly more elaborate construction, that no time algorithm can exist for counting the such colorings under the Counting Exponential Time Hypothesis (#ETH). Finally, we prove an NP -hardness result for the optimization problem of finding a maximum order proper 3-colorable induced subgraph of a UNIT-PURE-4-DIR graph.

A RECURSIVE COLORING FUNCTION WITHOUT SOLUTIONS FOR HINDMAN'S THEOREM

Some Extensions of Finite Sum Theorem

Canonical Theorems for Colored Integers with Respect to Some Linear Combinations

Any two-coloring of the plane contains monochromatic 3-term arithmetic progressions

On monochromatic solutions to linear equations over the integers

Optimization Tools for Computing Colorings of $[1,\cdots ,n]$ with Few Monochromatic Solutions on $3$-variable Linear Equations

Thin Set Versions of Hindman's Theorem

Two-coloring triples such that in each color class every element is missed at least once

Proper colorability of segment intersection graphs

From discrete to continuous: Monochromatic 3-term arithmetic progressions

On a problem on restricted k-colored partitions, II

New reducible configurations for graph multicoloring with application to the experimental resolution of McDiarmid-Reed's Conjecture (extended version)

Color isomorphic even cycles and a related Ramsey problem

Coloring of Graphs Avoiding Bicolored Paths of a Fixed Length

The coloring problem for classes with two small obstructions

r-Hued coloring of planar graphs without short cycles

Asymptotic formulas for general colored partition functions

A non-constructive proof of the Four Colour Theorem

Coloring { P 2 ∪ P 3 , house } -free graphs with Δ − 1 colors

Avoiding short progressions in Euclidean Ramsey theory