We provide a polynomial time algorithm that identifies if a given finite ordered set is in the class of d2-collapsible ordered sets. For a d2-collapsible ordered set, the algorithm also determines if the ordered set is connectedly collapsible. Because finite ordered sets of interval dimension 2 are d2-collapsible, in particular, the algorithm determines in polynomial time if a given finite ordered set of interval dimension 2 has the fixed point property. This result is also a first step in investigating the complexity status of the question whether a given collapsible ordered set has the fixed point property
The dimension of a partial order P is the minimum number of linear orders whose intersection is P. T...
AbstractFrom a partially ordered set (X, <) one may construct the collection PS(X) consisting of a c...
The extensions of first-order logic with a least fixed point operators (FO + LFP) and with a partial...
The ordered sets field is an important part of the ongoing mathematical, algorithmic and combinatori...
AbstractThis survey exhibits various algorithms to decide the question if a given ordered set P has ...
We prove that, for a finite ordered set P that contains no crowns with 6 or more elements, it can be...
AbstractThe relationship between the fixed point property and forbidden retracts associated with a f...
For a finite ground set X, this paper investigates properties of the set of orders with the fixed po...
AbstractAn elementary combinatorial proof is presented of the following fixed point theorem: Let P b...
In this paper we extend the works of Tancer, Malgouyres and Francés, showing that (d, k) -Collapsibi...
We investigate the complexity of the fixed-points of bounded formulas in the context of finite set...
1 Topological and Geometrical Combinatorics Martin Tancer Abstract The task of the thesis is to pres...
This chapter gives an overview how retractions are used to prove fixed point results in ordered sets...
The Ordered conjecture of Kolaitis and Vardi asks whether fixed-point logic differs from first-order...
An aperiodic tile set was first constructed by R. Berger while proving the undecidability of the dom...
The dimension of a partial order P is the minimum number of linear orders whose intersection is P. T...
AbstractFrom a partially ordered set (X, <) one may construct the collection PS(X) consisting of a c...
The extensions of first-order logic with a least fixed point operators (FO + LFP) and with a partial...
The ordered sets field is an important part of the ongoing mathematical, algorithmic and combinatori...
AbstractThis survey exhibits various algorithms to decide the question if a given ordered set P has ...
We prove that, for a finite ordered set P that contains no crowns with 6 or more elements, it can be...
AbstractThe relationship between the fixed point property and forbidden retracts associated with a f...
For a finite ground set X, this paper investigates properties of the set of orders with the fixed po...
AbstractAn elementary combinatorial proof is presented of the following fixed point theorem: Let P b...
In this paper we extend the works of Tancer, Malgouyres and Francés, showing that (d, k) -Collapsibi...
We investigate the complexity of the fixed-points of bounded formulas in the context of finite set...
1 Topological and Geometrical Combinatorics Martin Tancer Abstract The task of the thesis is to pres...
This chapter gives an overview how retractions are used to prove fixed point results in ordered sets...
The Ordered conjecture of Kolaitis and Vardi asks whether fixed-point logic differs from first-order...
An aperiodic tile set was first constructed by R. Berger while proving the undecidability of the dom...
The dimension of a partial order P is the minimum number of linear orders whose intersection is P. T...
AbstractFrom a partially ordered set (X, <) one may construct the collection PS(X) consisting of a c...
The extensions of first-order logic with a least fixed point operators (FO + LFP) and with a partial...