Solving order constraints in logarithmic space

被引：0

作者：

Krokhin, A ^{[1
]}

Larose, B

机构：

[1] Univ Warwick, Dept Comp Sci, Coventry CV4 7AL, W Midlands, England

[2] Champlain Reg Coll, St Lambert, PQ J4P 3P2, Canada

[3] Concordia Univ, Dept Math & Stat, Montreal, PQ H3G 1M8, Canada

来源：

STACS 2003, PROCEEDINGS | 2003年 / 2607卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We combine methods of order theory, finite model theory, and universal algebra to study, within the constraint satisfaction framework, the complexity of some well-known combinatorial problems connected with a finite poset. We identify some conditions on a poset which guarantee solvability of the problems in (deterministic, symmetric, or non-deterministic) logarithmic space. On the example of order constraints we study how a certain algebraic invariance property is related to solvability of a constraint satisfaction problem in non-deterministic logarithmic space.

引用

页码：379 / 390

页数：12

共 50 条

[1] On the Sobolev space of functions with derivative of logarithmic order
Brue, Elia
Quoc-Hung Nguyen
ADVANCES IN NONLINEAR ANALYSIS, 2020, 9 (01) : 836 - 849
[2] Solving partial order constraints for LPO termination
Codish, Michael
Lagoon, Vitaly
Stuckey, Peter J.
TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2006, 4098 : 4 - 18
[3] Logarithmic order and dual logarithmic order
Furuta, T
RECENT ADVANCES IN OPERATOR THEORY AND RELATED TOPICS: THE BELA SZOKEFALVI-NAGY MEMORIAL VOLUME, 2001, 127 : 279 - 290
[4] Constraints solving based on solution space in collaborative design
Fuzhou University, Fuzhou 350002, China
Nongye Jixie Xuebao, 2008, 12 (183-186+126): : 183 - 186
[5] A Logarithmic Method for Reducing Binary Variables and Inequality Constraints in Solving Task Assignment Problems
Li, Han-Lin
Huang, Yao-Huei
Fang, Shu-Cherng
INFORMS JOURNAL ON COMPUTING, 2013, 25 (04) : 643 - 653
[6] Solving first-order constraints in the theory of the evaluated trees
Dao, Thi-Bich-Hanh
Djelloul, Khalil
LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 423 - 424
[7] Solving first-order constraints over the monadic class
Chubarov, D
Voronkov, A
MECHANIZING MATHEMATICAL REASONING: ESSAYS IN HONOUR OF JORG H SIEKMANN ON THE OCCASION OF HIS 60TH BIRTHDAY, 2005, 2605 : 132 - 138
[8] PRESERVING ORDER IN A FOREST IN LESS THAN LOGARITHMIC TIME AND LINEAR-SPACE
VANEMDEBOAS, P
INFORMATION PROCESSING LETTERS, 1977, 6 (03) : 80 - 82
[9] bn Solving first-order constraints in the theory of the evaluated trees
Dao, Thi-Bich-Hanh
Djelloul, Khalil
RECENT ADVANCES IN CONSTRAINTS, 2007, 4651 : 108 - +
[10] Mining in Logarithmic Space
Kiayias, Aggelos
Leonardos, Nikos
Zindros, Dionysis
CCS '21: PROCEEDINGS OF THE 2021 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, 2021, : 3487 - 3501

← 1 2 3 4 5 →