Definition:
A partial order < is a semi-order if any of the following equivalent coditions hold:
comparability co-chordal
superperfect co-interval
chordal C4-free
co-comparability (Cn+4,T2,X31,XF2n+1,XF3n)-free boxicity 1 chordal
co-comparability interval
sun-free (XF12n+3,XF52n+3,XF62n+2,co-(Cn+6),co-(T2),co-(X2),co-(X3),co-(X30),co-(X31),co-(X32),co-(X33),co-(X34),co-(X35),co-(X36),co-XF2n+1,co-XF3n,co-XF4n,odd-hole)-free (XF12n+3,XF52n+3,XF62n+2,co-(T2),co-(X2),co-(X3),co-(X30),co-(X31),co-(X32),co-(X33),co-(X34),co-(X35),co-(X36),anti-hole,co-XF2n+1,co-XF3n,co-XF4n,hole)-free (co-(Cn+4),co-(T2),co-XF2n+1)-free (anti-hole,hole,sun)-free co-bounded tolerance co-interval
interval comparability comparability
weakly chordal comparability graphs of dimension 3 posets containment graph of circles containment graphs good quasitriangulated sun-free sun-free
weakly chordal threshold tolerance
P4),co-(X1),co-rising sun,house,net)-free (2K2,P4)-free 2K2-free
probe trivially perfect (S3,co-(Cn+4),co-claw,net)-free (co-(Cn+4),bull,house)-free (co-(Cn+4),co-XF2n+1,co-XF3n,co-claw)-free (co-(T2),co-cycle)-free co-bithreshold
split co-interval
cograph co-trivially perfect comparability
split probe co-trivially perfect
probe trivially perfect probe threshold split
superperfect | Recognition: | Linear | details |
| Cliquewidth expression: | Unbounded or NP-complete | details |
| Cliquewidth: | Unbounded | details |
| Weighted independent set: | Polynomial | details |
| Independent set: | Linear | details |
| Domination: | Polynomial | details |
Algorithms for Recognition
Linear from co-interval
[995]
Algorithms for Cliquewidth expression
See also
: Cliquewidth : Weighted independent set : Domination
Algorithms for Cliquewidth
Unbounded from (co-(Cn+4),co-XF2n+1,co-XF3n,co-claw)-free
| From the complement . |
| From the complement . |
| See interval . |
Algorithms for Weighted independent set
Polynomial from nK2-free, fixed n
[1102]
Polynomial from K2
claw-free
[1290]
Polynomial from perfect
[476]
Polynomial from (P5,X82,X83)-free
[1246]
Polynomial from 2K2-free
[1160]
Polynomial [O(V^4)]
from weakly chordal
[997]
See also
: Cliquewidth expression : Independent set
Algorithms for Independent set
Linear from co-chordal
[558]
| See also [425] . |
Algorithms for Domination
Polynomial from co-interval
interval
| From interval and co-interval . |
| Assuming a square embedding of the graph is given; finding this is an open problem. |