Related terms:
satisfying assignment
median graph
plane graph
two clauses
disconnecting
weighted graph
adjacent vertices
topological ordering
induced subgraph
truth assignment
vertex set
row and column
directed acyclic
simple graph
multiple edges
conjunctive normal form
multigraph
inference rule
every vertex
acyclic graph
approximation ratio
hamiltonian path
hypergraph
connected graph
transitive closure
vertex cover
orthogonally
strongly connected
row or column
rows and columns
Wikipedia sources:
2-satisfiability
Glossary of graph theory
Context for words:
strongly
connected
component
|
|