Arc-Weighted Acyclic Orientation of Graphs
Huan Zhou, Jialu Zhu, Xuding Zhu
Source abstract
Let be a digraph, and let be a positive integer weight assignment on the arcs of . An arc is called dominating if , where denotes the weighted out-degree of . We say is acyclic if every non-empty sub-digraph has a dominating arc. For a graph and a mapping , we say is {arc-weighted -degenerate} if there is an arc-weighted orientation of (i.e., an orientation of together with a positive integer weight assignment ) such that is acyclic and for each vertex . The arc-weighted degeneracy of is the minimum such that is arc-weighted -degenerate. Given an arc-weighted acyclic orientation of with , there is not only an easy algorithm that constructs an -colouring of for any -DP-cover of , but also an easy winning strategy for the DP--painting game on . Moreover, arc-weighted -degeneracy implies -Alon-Tarsi. As an arc-weighted acyclic orientation of with for all is equivalent to a (non-weighted) acyclic orientation of , is bounded from above by the degeneracy of . We observe that the difference can be arbitrarily large. Thus, can provide a better upper bound than on its DP-paint number (and hence its DP-chromatic number, paint number and choice number), as well as its Alon-Tarsi number. Thomassen's proof of the 5-choosability of planar graphs can be easily adapted to prove that all planar graphs are arc-weighted -degenerate, implying that planar graphs are DP--paintable as well as -Alon-Tarsi. As an extension of the characterization of degree-choosable graphs, we prove that a connected graph is arc-weighted -degenerate unless is a GDP-tree. In particular, unless is a complete graph or a cycle. Then we prove that 3-connected non-complete planar graphs are degree-truncated arc-weighted -degenerate, implying that such graphs have degree-truncated DP-paint number at most . The previously known upper bound for this parameter was .
Evidence graph
No public relationships recorded yet.
Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.