Unifying and extending hybrid tractable classes of CSPs

被引:14
|
作者
Naanaa, Wady [1 ]
机构
[1] Univ Monastir, Fac Sci, Dept Comp Sci, Monastir 5000, Tunisia
关键词
constraint satisfaction; tractable CSP; ranked CSP; set theory; CONSTRAINT-SATISFACTION; CONSISTENCY;
D O I
10.1080/0952813X.2012.721138
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Finding a solution to a constraint satisfaction problem (CSP) is known to be an NP-complete task. Many works have been concerned with identifying tractable classes of CSPs. Tractability is obtained by imposing specific problem structures, specific constraint relations or both. A tractable CSP class whose tractability is due to both structural and relational properties is said to be hybrid. In this article, we present a hybrid tractable CSP class that brings together and generalises many known hybrid tractable CSPs. The proposed class is characterised by means of simple but powerful notions from set theory.
引用
下载
收藏
页码:407 / 424
页数:18
相关论文
共 50 条
  • [1] A Microstructure-Based Family of Tractable Classes for CSPs
    Cooper, Martin C.
    Jegou, Philippe
    Terrioux, Cyril
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2015, 2015, 9255 : 74 - 88
  • [2] Tractable Classes of Binary CSPs Defined by Excluded Topological Minors
    Cohen, David A.
    Cooper, Martin C.
    Jeavons, Peter G.
    Zivny, Stanislav
    PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 1945 - 1951
  • [3] Tractable classes for CSPs of arbitrary arity: from theory to practice
    Achref El Mouelhi
    Constraints, 2017, 22 (1) : 97 - 98
  • [4] A hybrid tractable class for non-binary CSPs
    Achref El Mouelhi
    Philippe Jégou
    Cyril Terrioux
    Constraints, 2015, 20 : 383 - 413
  • [5] Hybrid tractable CSPs which generalize tree structure
    Cooper, Martin C.
    Jeavons, Peter G.
    Salamon, Andras Z.
    ECAI 2008, PROCEEDINGS, 2008, 178 : 530 - +
  • [6] A hybrid tractable class for non-binary CSPs
    El Mouelhi, Achref
    Jegou, Philippe
    Terrioux, Cyril
    CONSTRAINTS, 2015, 20 (04) : 383 - 413
  • [7] A Hybrid Tractable Class for Non-Binary CSPs
    El Mouelhi, Achref
    Jegou, Philippe
    Terrioux, Cyril
    2013 IEEE 25TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI), 2013, : 947 - 954
  • [8] TRACTABLE COMBINATIONS OF TEMPORAL CSPS
    Bodirsky, Manuel
    Greiner, Johannes
    Rydval, Jakub
    LOGICAL METHODS IN COMPUTER SCIENCE, 2022, 18 (02)
  • [9] Tractable classes for directional resolution
    del Val, A
    SEVENTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-2001) / TWELFTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-2000), 2000, : 343 - 348
  • [10] Satisfiability of Ordering CSPs Above Average Is Fixed-Parameter Tractable
    Makarychev, Konstantin
    Makarychev, Yury
    Zhou, Yuan
    2015 IEEE 56TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, 2015, : 975 - 993