69 problems
Let be positive integers with and , and let and . Let be a family of graphs for which recognizing generating subgraphs isomorphic…
Feasible indexing conjecture. There exists an indexing satisfying this successor-set ordering and, whenever two consecutive nodes have equal successor-set order,
Polynomial-time computation conjecture. The following problem can be solved in polynomial time: given a graph , output .
Xu et al.'s conjecture. The maximum forcing number of can be computed in polynomial time.
Polynomial-time dimension conjecture. The dimension of a poset given its linear extension graph can be determined in polynomial time.
Gartland and Lokshtanov's conjecture. For every fixed and CMSO formula , -MWIS and can be solved in polynomi…
Let be a hereditary class of graphs. A class is dependent if it has the model-theoretic non-independence property, and first-order model checking is fixed parameter tr…
Worst-case output-size conjecture. For every , there exists a sourceless digraph such that, for every vertex of , every quasi-kernel returned by the algor…
Small Quasi-Kernel Conjecture. The digraph contains a quasi-kernel of order at most .
Let be the -by- hexagonal grid and let be the complete bipartite graph with both sides of the bipartition of size . For a positive integer , l…
Let be a connected plane digraph and let be an integer. The Directed Plane Strong Connectivity Augmentation problem asks whether there is a set with…
Let be a simple graph. In Max Partial -Coloring\, the input is a graph with a revenue function , an…
NP-hardness conjecture. Minimum Eternal Vertex Cover is NP-hard on series-parallel graphs.
Quadratic-logarithmic lower-bound conjecture. There exist instances of the textsc{Pebble Motion Problem on Trees} for which the length of the shortest solution sequences is
The monadic dependence model-checking conjecture. For every monadically dependent class there is a constant and an algorithm that, given a graph…
Hanauer et al.'s conjecture. If , then
Hanauer's conjecture. If , then
Let be a semicomplete digraph, and let be distinct vertices of . A longest -path is an -path containing the maximum possible number of arcs. Longest path…
Let be a positive integer, and call a graph an obstruction for the class of -letter graphs if it is not a -letter graph while all of its proper induced subgraphs are -…
Let be a bipartite graph, and let denote the number of guards in the eternal domination game. The decision problem asks whether the guards have a s…
Let be a tournament, and let denote the minimum, over all orderings of , of the clique number of the corresponding backedge gr…
Odd-bridge conjecture. If the bridge of has odd length, then no maximal non-bipartite arrangement is a maximum arrangement; equivalently,
Slow-decay conjecture. The proportion decays according to
Weak bipartition conjecture. The same limiting assertion as in the strong bipartition conjecture holds with merely ; equivalently, the asymptotic proportion is positive.
Strong bipartition conjecture. The limit exists and is a positive constant: