grounding
Class Partitioning

java.lang.Object
  extended by grounding.Partitioning

public class Partitioning
extends java.lang.Object

Utilities for partitioning the MRF generated by the grounding process.


Constructor Summary
Partitioning(Grounding g)
          Construct a partitioning worker based on the grounding result.
 
Method Summary
 PartMap clusterAtoms(double ramBudget)
          Agglomeratively cluster the atoms in the MRF into partitions while heuristically minimizing the (weighted) cut size.
 void partitionMRF(PartMap pmap)
          Given a partitioning scheme, partition the data accordingly.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Partitioning

public Partitioning(Grounding g)
Construct a partitioning worker based on the grounding result.

Parameters:
g - the grounding worker
Method Detail

clusterAtoms

public PartMap clusterAtoms(double ramBudget)
Agglomeratively cluster the atoms in the MRF into partitions while heuristically minimizing the (weighted) cut size. The heuristic is to scan through all clauses in the descending-abs(weight) order.

Parameters:
ramBudget - size bound of a partition, roughly proportional to the number of atoms and clauses in each partition
Returns:
a partitioning scheme

partitionMRF

public void partitionMRF(PartMap pmap)
Given a partitioning scheme, partition the data accordingly.