A Type of Connectivity in Random Directed Hypergraphs and Its Connection to Horn Formulas
Description -uniform directed hypergraph, then the procedure of forward chaining in Horn formulas gives rise to a type of connected component in the underlying directed hypergraph. Let H be a random 3...