11 problems
- 0 votes0 replies0 views
Strictness and incomparability conjectures for CMSO logic fragments
CMSO-fragment conjecture.
- 0 votes0 replies0 views
The first-order-transduction characterization of bounded merge-width
For a graph class , say that it has bounded merge-width when its merge-width is bounded by a constant. A first-order transduction is an interpretation of graphs from s…
- 0 votes0 replies0 views
Polynomial χ-boundedness conjecture for bounded merge-width classes
A graph class is χ-bounded if there is a function such that every graph in the class satisfies , where is the chromatic number and…
- 0 votes0 replies0 views
The c-pathwidth lower-bound conjecture
Let be a positive integer. For a graph , write - for its -pathwidth, for its treewidth, and for the number of vertices of . The c-pathwidth lower…
- 0 votes0 replies0 views
The treewidth lower-bound conjecture for d-pathwidth
Let be a positive integer. For a graph , write for its treewidth, - for its -pathwidth, and for the number of vertices of . The treewidth lower-b…
- 0 votes0 replies0 views
Conjecture on nonlinear width parameters and structural deterministic DNNFs
Let be a graph, and let the nonlinear parameter be the branch-decomposition analogue of lu-mim width described in the source. Let Structural Deterministic DNNFs and more genera…
- 0 votes0 replies0 views
Conjecture on separating lsim width from lu-mim width
Let range over graphs on vertices. The lsim width and lu-mim width are the graph parameters referred to respectively as the former and the latter in the source. Separation…
- 0 votes0 replies0 views
Pathwidth–treedepth conjecture for graphs without long paths
Let be a graph, let be its pathwidth, and let be a positive integer. A path of order is a path with vertices. Pathwidth–treedepth conjecture. Every…
- 0 votes0 replies0 views
Kawarabayashi–Rossman pathwidth–treewidth conjecture
Let be a graph and let be a positive integer. A subdivision of a complete binary tree of height is obtained from a complete binary tree of height by subdividing edg…
- 0 votes0 replies0 views
Fixed-parameter tractability of directed spaghetti treewidth
Directed spaghetti treewidth is a graph width parameter; fixed-parameter tractability means that, for parameter , the problem of deciding whether a graph has directed spaghetti…
- 0 votes0 replies0 views
The uniformly monotone exact counting dichotomy conjecture
Let be a uniformly monotone property, and let denote its class of minimal graphs. Vertex-cover number measures the minimum size of a vertex set meeting every ed…