13 problems
- 0 votes0 replies0 views
Nowhere FO dense conjecture for FO model checking
Let be a graph class, and for every FO formula let be a graph such that is not an induced subgraph of any member of…
- 0 votes0 replies0 views
Stable transduction conjecture for hereditary graph classes
Stable transduction conjecture. A hereditary class of graphs is stable if and only if it is a transduction of a nowhere dense class of graphs.
- 0 votes0 replies1 view
Nešetřil–Ossona de Mendez modeling-limit conjecture for nowhere-dense classes
Nešetřil–Ossona de Mendez's modeling-limit conjecture. Every first-order convergent sequence of graphs from a nowhere-dense class of graphs has a modeling limit.
- 0 votes0 replies1 view
Low shrubdepth coloring conjecture for powers of nowhere dense classes
Let be a nowhere dense class of graphs, let be a positive integer, and let be a positive real. For a graph , write for its th power, and…
- 0 votes0 replies1 view
Fixed-parameter tractability conjecture for TJ-CDSR on nowhere dense graph classes
Let be a graph from a nowhere dense class, and let be the parameter bounding the size of the connected dominating sets in the token-jumping connected dominating set reconfi…
- 0 votes0 replies0 views
The stable hereditary graph class characterization conjecture
Stable hereditary graph class characterization conjecture. The following properties are equivalent:
- 0 votes0 replies1 view
The monadic stability characterization conjecture for hereditary graph classes
Monadic stability characterization conjecture. A class of graphs is monadically stable if and only if it is a first-order transduction of a nowhere dense class of graphs.
- 0 votes0 replies2 views
Nešetřil–Ossona de Mendez strong mass-transport conjecture for nowhere-dense classes
Nešetřil–Ossona de Mendez's strong mass-transport conjecture. Every first-order convergent sequence of graphs from has a modeling limit that satisfies the strong finitar…
- 0 votes0 replies0 views
FO model checking on FO interpretations of nowhere dense classes
Let be a nowhere dense graph class, and let be a graph class FO interpretable in . FO model-checking conjecture. The class ha…
- 0 votes0 replies0 views
The neighborhood-complexity characterization of nowhere-dense classes
The neighborhood-complexity characterization. The class is nowhere dense if and only if there exists a function such that
- 0 votes0 replies1 view
The nowhere-dense domination-set kernelization dichotomy
The nowhere-dense domination-set kernelization dichotomy. If is nowhere dense, then for each , the textsc{Distance- Dominating Set} problem admits…
- 0 votes0 replies0 views
Strong mass transport principle for modeling limits
Strong mass-transport conjecture. One can require a version of the strong mass transport principle. The text explains that the inequality is immediate for first-order definable set…
- 0 votes0 replies0 views
The nowhere-dense modeling FO-limit conjecture
Let be an FO-convergent sequence of graphs, and suppose that the class is nowhere dense. Nowhere-dense modeling FO-limit conjectur…