2 problems

0 votes0 replies0 views
Conjecture on nonlinear width parameters and structural deterministic DNNFs
Let $G$ 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…
Conjectureopenboolean-functions graph-width knowledge-compilationarXiv posted 2 days ago
0 votes0 replies0 views
Conjecture on separating lsim width from lu-mim width
Let $G$ range over graphs on $n$ 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…
Conjectureopenboolean-functions graph-width knowledge-compilationarXiv posted 2 days ago

Conjecture on nonlinear width parameters and structural deterministic DNNFs