A Fast Recognition Algorithm of CRC Constraint Networks
DOI:
Author:
Affiliation:

Clc Number:

Fund Project:

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    Abstract:

    Constraint networks provide a useful framework for the formulation of many problems in computer science. In general, constraint satisfaction problems are NP-Complete. Many problems specially restrict the structure of constraints or the form of the constraints, then allow them to be solved efficiently. For the identification of such tractable constraints, much work has been devoted to the study of special classes of constraints or constraint networks. As pointed out by Deville et al., a class of connected row-convex(CRC)constraints is shown to be tractable.This paper intrnds to finds to fint an efficient recognition algorithm for the class of constraint networks.In this paper,a standardized form for the CRC constraint matrix is proposed based on the related finding on CRC constranint network.The basic characteristics of the standardized form are analyzed,and a fast algorithm is provided for the recognition of CRC constraint networks based on a recognition algorithm of the RC constraint network,properties of PQ tree(a tree composed by P nodes and Qnodes)and an indexed matrix representation of constraints.The time complexity of the algorithm is O(n3d2),where n is the number of variables in aconstraint network and d is the maximum size of the domain for wach variable.It reaches the optimum time complexity for a CRC constraint network recognition algorithm,and hence provides afeasible solution to practical CRC constraint satisfaction problems.

    Reference
    Related
    Cited by
Get Citation

陈恩红,张振亚,王煦法.相接行凸约束网络的快速识别算法.软件学报,2002,13(5):972-979

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:June 10,2000
  • Revised:March 01,2001
  • Adopted:
  • Online:
  • Published:
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063