Showing 1–2 of 2 results for author: Harris, M A

Enumeration Problems Related to Ground Horn Theories

Authors: Nachum Dershowitz, Mitchell A. Harris, Guan-Shieng Huang

Abstract: We investigate the enumeration of varieties of boolean theories related to Horn clauses. We describe a number of combinatorial equivalences among different characterizations and calculate the number of different theories in $n$ variables for slightly different characterizations. The method of counting is via counting models using a satisfiability checker. We investigate the enumeration of varieties of boolean theories related to Horn clauses. We describe a number of combinatorial equivalences among different characterizations and calculate the number of different theories in $n$ variables for slightly different characterizations. The method of counting is via counting models using a satisfiability checker. △ Less

Submitted 4 February, 2008; v1 submitted 10 October, 2006; originally announced October 2006.

Comments: 4 pages, before journal submission

ACM Class: F.4.1

Sharp Bounds for Bandwidth of Clique Products

Authors: Tanya Y. Berger-Wolf, Mitchell A. Harris

Abstract: The bandwidth of a graph is the labeling of vertices with minimum maximum edge difference. For many graph families this is NP-complete. A classic result computes the bandwidth for the hypercube. We generalize this result to give sharp lower bounds for products of cliques. This problem turns out to be equivalent to one in communication over multiple channels in which channels can fail and the inf… ▽ More The bandwidth of a graph is the labeling of vertices with minimum maximum edge difference. For many graph families this is NP-complete. A classic result computes the bandwidth for the hypercube. We generalize this result to give sharp lower bounds for products of cliques. This problem turns out to be equivalent to one in communication over multiple channels in which channels can fail and the information sent over those channels is lost. The goal is to create an encoding that minimizes the difference between the received and the original information while having as little redundancy as possible. Berger-Wolf and Reingold [2] have considered the problem for the equal size cliques (or equal capacity channels). This paper presents a tight lower bound and an algorithm for constructing the labeling for the product of any number of arbitrary size cliques. △ Less

Submitted 28 May, 2003; originally announced May 2003.

Comments: 15 pages, 13 figures. Presented at the SIAM Discrete Math 2002 conference

ACM Class: G.2.2