Indexed by:
Abstract:
Given a positive integer k and a directed graph G with a real number cost on each edge, the k-length negative cost cycle (kLNCC) problem that first emerged in deadlock avoidance in synchronized streaming computing network [14] is to determine whether G contains a negative cost cycle of at least k edges. The paper first shows a related problem of kLNCC, namely the fixed-point trail with k-length negative cost cycle (FPTkLNCC) problem which is to determine whether there exists a negative closed trail enrouting a given vertex as the fixed point and containing only cycles with at least k edges, is NP-complete in multigraphs even when k = 3 by reducing from the 3SAT problem. Then as the main result, we prove the NP- completeness of kLNCC by giving a more sophisticated reduction from the 3 Occurrence 3-Satisfiability (3O3SAT) problem, a known NP-complete special case of 3SAT in which a variable occurs at most three times. The complexity result is surprising, since polynomial time algorithms are known for both 2LNCC (essentially no restriction on the value of k) and the k-cycle problem with k being fixed which is to determine whether there exists a cycle of at least length k in a given graph. This closes the open problem proposed by Li et al. in [14,15] whether kLNCC admits polynomial-time algorithms.
Keyword:
Reprint 's Address:
Email:
Version:
Source :
COMBINATORIAL OPTIMIZATION AND APPLICATIONS, COCOA 2017, PT I
ISSN: 0302-9743
Year: 2017
Volume: 10627
Page: 240-250
Language: English
0 . 4 0 2
JCR@2005
Cited Count:
SCOPUS Cited Count:
ESI Highly Cited Papers on the List: 0 Unfold All
WanFang Cited Count:
Chinese Cited Count:
30 Days PV: 0
Affiliated Colleges: