3 problems
- 0 votes0 replies0 views
Wqo-forbidden-family conjecture for JEP decidability
Let be a finite set of graphs, and let denote the graphs containing no member of as an induced subgraph. Many-forbidden-graphs conject…
- 0 votes0 replies0 views
Sharpness conjecture for forbidden induced subgraphs and JEP decidability
Let be a graph, let be a finite set of graphs, and write for the graphs containing no member of as an induced subgraph. One-forbidden…
- 0 votes0 replies0 views
Wqo-based decidability conjecture for the joint embedding property
Let be a well-quasi-order (wqo), and suppose there are algorithms for basic problems related to , including deciding whether and, given , findi…