Exemple #1
0
 public static WCSP fromFile(File f) throws IOException {
   BufferedReader br = new BufferedReader(new FileReader(f));
   String l = br.readLine();
   String[] elems = l.split(" ");
   int numVars = Integer.parseInt(elems[1]);
   int numConstraints = Integer.parseInt(elems[3]);
   long top = Long.parseLong(elems[4]);
   elems = br.readLine().split(" ");
   int[] domSizes = new int[numVars];
   for (int i = 0; i < numVars; i++) domSizes[i] = Integer.parseInt(elems[i]);
   WCSP wcsp = new WCSP(domSizes, top);
   for (int i = 0; i < numConstraints; i++) {
     elems = br.readLine().split(" ");
     int arity = Integer.parseInt(elems[0]);
     int[] varIndices = new int[arity];
     for (int j = 1; j <= arity; j++) varIndices[j - 1] = Integer.parseInt(elems[j]);
     long defaultCost = Long.parseLong(elems[1 + arity]);
     int numTuples = Integer.parseInt(elems[1 + arity + 1]);
     Constraint c = new Constraint(defaultCost, varIndices, numTuples);
     for (int j = 0; j < numTuples; j++) {
       elems = br.readLine().split(" ");
       int[] assignment = new int[arity];
       for (int k = 0; k < arity; k++) assignment[k] = Integer.parseInt(elems[k]);
       long cost = Long.parseLong(elems[arity]);
       c.addTuple(assignment, cost);
     }
     wcsp.addConstraint(c);
   }
   return wcsp;
 }
Exemple #2
0
 public static void main(String[] args) {
   WCSP wcsp;
   try {
     // File inFile = new File("/home/nyga/code/prac/models/filling/temp.wcsp");
     File inFile = new File("/usr/wiss/nyga/temp.wcsp");
     wcsp = WCSP.fromFile(inFile);
     Stopwatch sw = new Stopwatch();
     sw.start();
     wcsp.unifyConstraints();
     System.out.println("unification time: " + sw.getElapsedTimeSecs());
     // wcsp.writeWCSP(new PrintStream("/home/nyga/code/prac/models/filling/unified.wcsp"),
     // "unifiedWCSP");
   } catch (IOException e) {
     // TODO Auto-generated catch block
     e.printStackTrace();
   }
 }