• Complex
  • Title
  • Keyword
  • Abstract
  • Scholars
  • Journal
  • ISSN
  • Conference
成果搜索

author:

Guo, L. (Guo, L..) [1] | Li, P. (Li, P..) [2]

Indexed by:

Scopus

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 (k LNCC) 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 k LNCC, namely the fixed-point trail with k-length negative cost cycle (FPT k LNCC) 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 k LNCC 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 k LNCC admits polynomial-time algorithms. © Springer International Publishing AG 2017.

Keyword:

3 occurrence 3-satisfiability; 3-satisfiability; K-length negative cost cycle; NP-complete

Community:

  • [ 1 ] [Guo, L.]College of Mathematics and Computer Science, Fuzhou University, Fuzhou, China
  • [ 2 ] [Li, P.]Amazon Web Services, Amazon.com Inc., Seattle, WA, United States

Reprint 's Address:

  • [Guo, L.]College of Mathematics and Computer Science, Fuzhou UniversityChina

Show more details

Related Keywords:

Related Article:

Source :

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 0302-9743

Year: 2017

Volume: 10627 LNCS

Page: 240-250

Language: English

0 . 4 0 2

JCR@2005

Cited Count:

WoS CC Cited Count:

SCOPUS Cited Count: 1

ESI Highly Cited Papers on the List: 0 Unfold All

WanFang Cited Count:

Chinese Cited Count:

30 Days PV: 0

Affiliated Colleges:

Online/Total:484/10285327
Address:FZU Library(No.2 Xuyuan Road, Fuzhou, Fujian, PRC Post Code:350116) Contact Us:0591-22865326
Copyright:FZU Library Technical Support:Beijing Aegean Software Co., Ltd. 闽ICP备05005463号-1