We propose a new arrangement problem on directed graphs, Maximum Directed Linear Arrangement (MaxDLA). This is a directed variant of a similar problem for undirected graphs, in which however one seeks maximum and not minimum; this problem known as the Minimum Linear Arrangement Problem (MinLA) has been much studied in the literature. We establish a number of theorems illustrating the behavior and complexity of MaxDLA. First, we relate MaxDLA to Maximum Directed Cut (MaxDiCut) by proving that every simple digraph $D$ on $n$ vertices satisfies $\frac{n}{2}$$maxDiCut(D) \leq MaxDLA(D) \leq (n-1)MaxDiCut(D)$. Next, we prove that MaxDiCut is NP-Hard for planar digraphs (even with the added restriction of maximum degree 15); it follows from the above bounds that MaxDLA is also NP-Hard for planar digraphs. In contrast, Hadlock (1975) and Dorfman and Orlova (1972) showed that the undirected Maximum Cut problem is solvable in polynomial time on planar graphs. On the positive side, we present a polynomial-time algorithm for solving MaxDLA on orientations of trees with degree bounded by a constant, which translates to a polynomial-time algorithm for solving MinLA on the complements of those trees. This pairs with results by Goldberg and Klipker (1976), Shiloach (1979) and Chung (1984) solving MinLA in polynomial time on trees. Finally, analogues of Harper's famous isoperimetric inequality for the hypercube, in the setting of MaxDLA, are shown for tournaments, orientations of graphs with degree at most two, and transitive acyclic digraphs.
翻译:我们提出了一种新的有向图排列问题——最大有向线性排列(MaxDLA)。这是无向图中类似问题的有向变体,但目标是最大化而非最小化;该问题在文献中被称为最小线性排列问题(MinLA),已被广泛研究。我们建立了一系列定理以阐明MaxDLA的性质与计算复杂度。首先,通过证明任意具有n个顶点的简单有向图D满足$\\frac{n}{2}$$maxDiCut(D) \\leq MaxDLA(D) \\leq (n-1)MaxDiCut(D)$,我们将MaxDLA与最大有向割(MaxDiCut)联系起来。接着,我们证明MaxDiCut对于平面有向图是NP-难的(即使附加最大度为15的限制);根据上述界限可知,MaxDLA对于平面有向图也是NP-难的。相比之下,Hadlock(1975)以及Dorfman与Orlova(1972)的研究表明,无向图上的最大割问题在平面图上可在多项式时间内求解。在积极方面,我们提出了一种多项式时间算法,用于求解度数有界常数的树结构定向图上的MaxDLA,这转化为在对应补图上求解MinLA的多项式时间算法。这与Goldberg和Klipker(1976)、Shiloach(1979)以及Chung(1984)在树上多项式时间内求解MinLA的结果相呼应。最后,我们在锦标赛、最大度不超过二的图定向以及传递无环有向图等设定中,展示了与Harper超立方体等周不等式类似的MaxDLA相关不等式。