nysol-take 3.0.0

data/ext/macerun/src/vec.h

@@ -0,0 +1,170 @@
+/* library for sparse vector */
+/* Takeaki Uno    27/Dec/2008 */
+
+#ifndef _vec_h_
+#define _vec_h_
+
+#define STDLIB2_USE_MATH
+
+#include"math.h"
+#include"queue.h"
+
+#ifndef SVEC_VAL
+ #ifdef SVEC_VAL_INT
+  #define SVEC_VAL int
+  #define SVEC_VAL2 LONG
+  #define SVEC_VAL_END INTHUGE
+  #define SVEC_VAL2_END LONGHUGE
+  #define SVEC_VALF "%d"
+ #else
+  #define SVEC_VAL double
+  #define SVEC_VAL2 double
+  #define SVEC_VAL_END DOUBLEHUGE
+  #define SVEC_VAL2_END DOUBLEHUGE
+  #define SVEC_VALF "%f"
+ #endif
+#endif
+
+#define VEC_LOAD_BIN 16777216   // read binary file 
+#define VEC_LOAD_BIN2 33554432   // read binary file with 2byte for each number 
+#define VEC_LOAD_BIN4 67108864   // read binary file with 4byte for each number
+#define VEC_LOAD_CENTERIZE 134217728  // read binary file, and minus the half(128) from each number
+#define VEC_NORMALIZE 268435456  // read binary file, and minus the half(128) from each number
+
+/* matrix */
+typedef struct {
+  unsigned char type;  // mark to identify type of the structure
+  char *fname;      // input file name
+  int flag;         // flag
+
+  VEC *v;
+  VEC_ID end;
+  VEC_ID t;
+  VEC_VAL *buf, *buf2;
+  VEC_ID clms;
+  size_t eles;
+} MAT;
+
+/* sparse vector, element */
+typedef struct {
+  QUEUE_ID i;
+  SVEC_VAL a;
+} SVEC_ELE;
+
+/* sparse vector, vector */
+typedef struct {
+  unsigned char type;  // mark to identify type of the structure
+  SVEC_ELE *v;
+  VEC_ID end;
+  VEC_ID t;
+} SVEC;
+
+/* sparse vector, matrix */
+typedef struct {
+  unsigned char type;  // mark to identify type of the structure
+  char *fname;      // input file name
+  int flag;         // flag
+
+  SVEC *v;
+  VEC_ID end;
+  VEC_ID t;
+  SVEC_ELE *buf, *buf2;
+  VEC_ID clms;
+  size_t eles, ele_end;
+} SMAT;
+
+/* set family */
+typedef struct {
+  unsigned char type;  // mark to identify type of the structure
+  char *fname;      // input file name
+  int flag;         // flag
+
+  QUEUE *v;
+  VEC_ID end;
+  VEC_ID t;
+  QUEUE_INT *buf, *buf2;
+  VEC_ID clms;
+  size_t eles, ele_end;
+  WEIGHT *cw, *rw, **w, *wbuf;
+  int unit;
+  char *wfname, *cwfname, *rwfname;     // weight file name
+} SETFAMILY;
+
+#define INIT_SETFAMILY_ {TYPE_SETFAMILY,NULL,0,NULL,0,0,NULL,NULL,0,0,0,NULL,NULL,NULL,NULL,sizeof(QUEUE_INT),NULL,NULL,NULL}
+
+extern MAT INIT_MAT;
+extern SVEC INIT_SVEC;
+extern SMAT INIT_SMAT;
+extern SETFAMILY INIT_SETFAMILY;
+
+QSORT_TYPE_HEADER (SVEC_VAL, SVEC_VAL)
+QSORT_TYPE_HEADER (SVEC_VAL2, SVEC_VAL2)
+
+#define   ARY_QUEUE_INPRO(f,U,V)  do{(f)=0;FLOOP(common_QUEUE_ID, 0, (QUEUE_ID)(U).t)(f)+=(V)[(U).v[common_QUEUE_ID]];}while(0)
+#define   ARY_SVEC_INPRO(f,U,V)  do{(f)=0;FLOOP(common_VEC_ID, 0, (VEC_ID)(U).t)(f)+=((double)(U).v[common_VEC_ID].a)*(V)[(U).v[common_VEC_ID].i];}while(0)
+
+/* terminate routine for VEC */
+void VEC_end (VEC *V);
+void MAT_end (MAT *M);
+void SVEC_end (SVEC *V);
+void SMAT_end (SMAT *M);
+void SETFAMILY_end (SETFAMILY *M);
+
+/* allocate memory according to rows and rowt */
+void VEC_alloc (VEC *V, VEC_ID clms);
+void MAT_alloc (MAT *M, VEC_ID rows, VEC_ID clms);
+void SVEC_alloc (SVEC *V, VEC_ID end);
+void SMAT_alloc (SMAT *M, VEC_ID rows, VEC_ID *rowt, VEC_ID clms, size_t eles);
+void SETFAMILY_alloc (SETFAMILY *M, VEC_ID rows, VEC_ID *rowt, VEC_ID clms, size_t eles);
+void SETFAMILY_alloc_weight (SETFAMILY *M);
+
+/* count/read the number in file for MAT */
+/* if *rows>0, only read count the numbers in a row, for the first scan. */
+void MAT_load_bin (MAT *M, FILE2 *fp, int unit);
+void MAT_file_load (MAT *M, FILE2 *fp);
+void MAT_load (MAT *M);
+void SMAT_load (SMAT *M);
+void SETFAMILY_load (SETFAMILY *M);
+void SETFAMILY_load_weight (SETFAMILY *M);
+void SETFAMILY_load_row_weight (SETFAMILY *M);
+void SETFAMILY_load_column_weight (SETFAMILY *M);
+
+void MAT_print (FILE *fp, MAT *M);
+void SVEC_print (FILE *fp, SVEC *M);
+void SMAT_print (FILE *fp, SMAT *M);
+void SETFAMILY_print (FILE *fp, SETFAMILY *M);
+void SETFAMILY_print_weight (FILE *fp, SETFAMILY *M);
+  
+
+/* norm, normalization **************************/
+double SVEC_norm (SVEC *V);
+void SVEC_normalize (SVEC *V);
+
+/* inner product **************************/
+SVEC_VAL2 SVEC_inpro (SVEC *V1, SVEC *V2);
+
+/** Euclidean distance routines *********************************/
+double VEC_eucdist (VEC *V1, VEC *V2);
+double SVEC_eucdist (SVEC *V1, SVEC *V2);
+double VEC_SVEC_eucdist (VEC *V1, SVEC *V2);
+double QUEUE_eucdist (QUEUE *Q1, QUEUE *Q2);
+double VEC_QUEUE_eucdist (VEC *V, QUEUE *Q);
+
+void VEC_rand_gaussian (VEC *V);
+
+double VEC_linfdist (VEC *V1, VEC *V2);
+
+/* compute the inner product, Euclidean distance for multi vector */
+double MVEC_norm (void *V);
+double MVEC_inpro (void *V, void *U);
+double MVEC_double_inpro (void *V, double *p);
+double MVEC_eucdist (void *V, void *U);
+
+/* compute the inner product, euclidean distance for i,jth vector */
+double MMAT_inpro_ij (void *M, int i, int j);
+double MMAT_double_inpro_i (void *M, int i, double *p);
+double MMAT_eucdist_ij (void *M, int i, int j);
+double MMAT_norm_i (void *M, int i);
+
+
+#endif

data/ext/sspcrun/extconf.rb

@@ -0,0 +1,20 @@
+require "rubygems"
+require "mkmf"
+
+unless have_library("kgmod3")
+  puts("need libkgmod.")
+  puts("refer https://github.com/nysol/mcmd")
+  exit 1
+end
+
+
+cp = "$(srcdir)"
+
+$CFLAGS = " -O3 -Wall -I. -I#{cp}/src -DB_STATIC -D_NO_MAIN_ -DLINE -fPIC -Wno-error=format-security"
+$CPPFLAGS = " -O3 -Wall -I. -I#{cp}/src  -DB_STATIC -D_NO_MAIN_ -DLINE -fPIC -Wno-error=format-security"
+$CXXFLAGS = " -O3 -Wall -I. -I#{cp}/src  -DB_STATIC -D_NO_MAIN_ -DLINE -fPIC -Wno-error=format-security"
+
+$LOCAL_LIBS += " -lstdc++ -lkgmod3 -lm"
+
+create_makefile("nysol/sspcrun")
+

data/ext/sspcrun/src/_sspc.c

@@ -0,0 +1,358 @@
+/* SSPC: Similar Set Pair Comparison */
+/* 2007/11/30 Takeaki Uno,   e-mail:uno@nii.jp, 
+    homepage:   http://research.nii.ac.jp/~uno/index.html  */
+/* This program is available for only academic use, basically.
+   Anyone can modify this program, but he/she has to write down 
+    the change of the modification on the top of the source code.
+   Neither contact nor appointment to Takeaki Uno is needed.
+   If one wants to re-distribute this code, do not forget to 
+    refer the newest code, and show the link to homepage of 
+    Takeaki Uno, to notify the news about this code for the users.
+   For the commercial use, please make a contact to Takeaki Uno. */
+
+#ifndef _sspc_c_
+#define _sspc_c_
+
+#define WEIGHT_DOUBLE
+
+#include"trsact.c"
+#include"problem.c"
+
+#define SSPC_INCLUSION 1
+#define SSPC_SIMILARITY 2
+#define SSPC_INTERSECTION 4
+#define SSPC_RESEMBLANCE 8
+#define SSPC_INNERPRODUCT 16
+#define SSPC_MININT 32
+#define SSPC_MAXINT 64
+#define SSPC_COUNT 128
+#define SSPC_MATRIX 256
+
+
+void SSPC_error (){
+  ERROR_MES = "command explanation";
+  print_err ("SSPC: [ISCfQq] [options] input-filename ratio/threshold [output-filename]\n\
+%%:show progress, _:no message, +:write solutions in append mode\n\
+#:count the number of similar records for each record\n\
+i(inclusion): find pairs [ratio] of items (weighted sum) of one is included in the other (1st is included in 2nd)\n\
+I(both-inclusion): find pairs s.t. the size (weight sum) of intersection is [ratio] of both\n\
+S:set similarity measure to |A\\cap B| / max{|A|,|B|}\n\
+s:set similarity measure to |A\\cap B| / min{|A|,|B|}\n\
+T(intersection): find pairs having common [threshld] items\n\
+R(resemblance): find pairs s.t. |A\\capB|/|A\\cupB| >= [threshld]\n\
+C(cosign distance): find pairs s.t. inner product of their normalized vectors >= [threshld]\n\
+f,Q:output ratio/size of pairs following/preceding to the pairs\n\
+N:normalize the ID of latter sets, in -c mode\n\
+t:transpose the database so that i-th transaction will be item i\n\
+[options]\n\
+-2 [num]:2nd input file name\n\
+-K [num]:output [num] pairs of most large intersections\n\
+-w [filename]:read item weights from [filename]\n\
+-l,-u [num]:ignore transactions with size (weight sum) less/more than [num]\n\
+-L,-U [num]: ignore items appearing less/more than [num]\n\
+-c [num]:compare transactions of IDs less than num and the others (if 0 is given, automatically set to the boundary of the 1st and 2nd file)\n\
+-b [num]:ignore pairs having no common item of at least [num]th frequency\n\
+-B [num]:ignore pairs having no common item of frequency at most [num]\n\
+-# [num]:stop after outputting [num] solutions\n\
+-, [char]:give the separator of the numbers in the output\n\
+-Q [filename]:replace the output numbers according to the permutation table given by [filename]\n\
+# the 1st letter of input-filename cannot be '-'.\n\
+# if the output file name is -, the solutions will be output to standard output.\n");
+  EXIT;
+//items have to begin from 1\n");
+}
+
+// c:multi stream transaction mode, separated by an empty transaction
+
+/***********************************************************************/
+/*  read parameters given by command line  */
+/***********************************************************************/
+void SSPC_read_param (int argc, char *argv[], PROBLEM *PP){
+  int c=1;
+  ITEMSET *II = &PP->II;
+  TRSACT *TT = &PP->TT;
+
+  if ( argc < c+3 ){ SSPC_error (); return; }
+
+  if ( !strchr (argv[c], '_') ){ II->flag |= SHOW_MESSAGE; TT->flag |= SHOW_MESSAGE; }
+  if ( strchr (argv[c], '%') ) II->flag |= SHOW_PROGRESS;
+  if ( strchr (argv[c], '+') ) II->flag |= ITEMSET_APPEND;
+  if ( strchr (argv[c], 'f') ) II->flag |= ITEMSET_FREQ;
+  if ( strchr (argv[c], 'Q') ) II->flag |= ITEMSET_PRE_FREQ;
+  if ( strchr (argv[c], 'M') ) PP->problem |= SSPC_MATRIX;
+  if ( strchr (argv[c], 'i') ) PP->problem = SSPC_INCLUSION;
+  else if ( strchr (argv[c], 'I') ) PP->problem = SSPC_SIMILARITY;
+  else if ( strchr (argv[c], 'T') ) PP->problem = SSPC_INTERSECTION;
+  else if ( strchr (argv[c], 's') ) PP->problem = SSPC_MININT;
+  else if ( strchr (argv[c], 'S') ) PP->problem = SSPC_MAXINT;
+  else if ( strchr (argv[c], 'R') ) PP->problem = SSPC_RESEMBLANCE;
+  else if ( strchr (argv[c], 'C') ) PP->problem = SSPC_INNERPRODUCT;
+  else error ("i, I, s, S, R, T or C command has to be specified", EXIT);
+  if ( strchr (argv[c], '#') ) PP->problem |= SSPC_COUNT;
+  if ( strchr (argv[c], 'N') ) PP->problem |= PROBLEM_NORMALIZE;
+  if ( !strchr (argv[c], 't') ) TT->flag |= LOAD_TPOSE;
+  c++;
+  
+  while ( argv[c][0] == '-' ){
+    switch (argv[c][1]){
+      case 'K': II->topk.end = atoi(argv[c+1]);
+      break; case 'L': TT->row_lb = atoi(argv[c+1]); 
+      break; case 'U': TT->row_ub = atoi(argv[c+1]);
+      break; case 'l': TT->w_lb = atof(argv[c+1]);
+      break; case 'u': TT->w_ub = atof(argv[c+1]);
+      break; case 'w': PP->TT.wfname = argv[c+1];
+      break; case 'c': PP->dir = 1; TT->sep = atoi(argv[c+1]);
+      break; case '2': PP->TT.fname2 = argv[c+1];
+      break; case 'b': PP->II.len_lb = atoi(argv[c+1]);
+      break; case 'B': PP->II.len_ub = atoi(argv[c+1]);
+      break; case '#': II->max_solutions = atoi(argv[c+1]);
+      break; case ',': II->separator = argv[c+1][0];
+      break; case 'Q': PP->outperm_fname = argv[c+1];
+      break; default: goto NEXT;
+    }
+    c += 2;
+    if ( argc<c+2 ){ SSPC_error (); return; }
+  }
+
+  NEXT:;
+  if ( PP->problem & SSPC_MATRIX ) PP->MM.fname = argv[c];
+  else PP->TT.fname = argv[c];
+  if ( II->topk.end==0 ) II->frq_lb = atof(argv[c+1]);
+  if ( argc>c+2 ) PP->output_fname = argv[c+2];
+}
+
+
+/*************************************************************************/
+/* SSPC main routine */
+/*************************************************************************/
+void SSPC (PROBLEM *PP){
+  ITEMSET *II = &PP->II;
+  TRSACT *TT = &PP->TT;
+  QUEUE_ID i, j, begin = PP->dir>0?TT->sep:1, f, ii=0;
+  QUEUE_INT *x, **o = NULL, *oi, *oj, cnt;
+  WEIGHT *w, f1, f2, c, cc;
+  double sq =0;
+  int count=0, fs = SSPC_INTERSECTION +SSPC_RESEMBLANCE +SSPC_INNERPRODUCT+SSPC_MAXINT+SSPC_MININT;
+
+    // initialization
+  calloc2 (w, TT->T.clms*2, EXIT);
+  if ( PP->problem & SSPC_INNERPRODUCT ) FLOOP (i, 0, TT->T.clms) TT->w[i] *= TT->w[i];
+  TRSACT_delivery (TT, &TT->jump, w, w+TT->T.clms, NULL, TT->T.clms);
+  FLOOP (i, 0, PP->dir?TT->sep:1) TT->OQ[i].end = 0;
+  II->itemset.t = 2;
+
+    // skipping items of large frequencies
+  if ( TT->flag & LOAD_SIZSORT ){
+    malloc2 (o, TT->T.clms, EXIT);
+    FLOOP (i, 0, TT->T.clms){
+      o[i] = TT->OQ[i].v;
+      TT->OQ[i].v[TT->OQ[i].t] = INTHUGE;  // put end-mark at the last; also used in main loop
+      for ( j=0 ; TT->OQ[i].v[j] < PP->II.len_lb ; j++ );
+      TT->OQ[i].v = &TT->OQ[i].v[j]; TT->OQ[i].t -= j;
+    }
+  }
+    // main loop
+    
+  FLOOP (i, begin, TT->T.clms){
+    if ( II->flag & SHOW_PROGRESS ){
+      if ( count < i*100/TT->T.clms ){ count++; fprintf (stderr, "%d%%\n", count); }
+    }
+    cnt = 0;
+    II->itemset.v[0] = ((PP->problem&PROBLEM_NORMALIZE)&& PP->dir>0)? i-TT->sep: i;
+    if ( PP->problem & SSPC_INNERPRODUCT ) sq = sqrt (w[i]);
+    TRSACT_delivery (TT, &TT->jump, PP->occ_w, PP->occ_pw, &TT->OQ[i], (PP->dir>0)?TT->sep:i);
+
+    MQUE_FLOOP (TT->jump, x){
+      II->itemset.v[1] = *x;
+      c = PP->occ_w[*x];
+
+//if ( TT->OQ[i].t>0 ) printf ("%f %d\n", c, TT->OQ[i].t);
+      if ( TT->flag & LOAD_SIZSORT ){
+        for (oi=o[i],oj=o[*x] ; *oi<PP->II.len_lb ; oi++ ){
+          while ( *oj < *oi ) oj++;
+          if ( *oi == *oj ) c += TT->w[*oi];
+        }
+      }
+      if ( PP->problem & fs ){
+        if ( PP->problem & SSPC_INTERSECTION ) II->frq = c;
+        else if ( PP->problem & SSPC_INNERPRODUCT ) II->frq = c / sq / sqrt(w[*x]);
+        else if ( (PP->problem & SSPC_RESEMBLANCE) && (cc= w[i] +w[*x] -c) != 0 ) II->frq = c/cc;
+        else if ( (PP->problem & SSPC_MAXINT) && (cc=MAX(w[i],w[*x])) != 0 ) II->frq = c/cc;
+        else if ( (PP->problem & SSPC_MININT) && (cc=MIN(w[i],w[*x])) != 0 ) II->frq = c/cc;
+        else continue;
+        if ( II->frq >= II->frq_lb ){
+          if ( PP->problem & SSPC_COUNT ) cnt++;
+          else ITEMSET_output_itemset (II, NULL, 0);
+        }
+      } else {
+        f1 = w[i]*II->frq_lb; f2 = w[*x]*II->frq_lb;  // size of i and *x
+        if ( PP->problem & SSPC_SIMILARITY ){
+          f = ( (c >= f1) && (c >= f2) );
+          II->frq = MIN(c/w[i], c/w[*x]);
+        } else if ( PP->problem & SSPC_INCLUSION ){
+          if ( c >= f2 ){
+            II->frq = c/w[*x];
+            II->itemset.v[0] = *x; II->itemset.v[1] = i-PP->root;
+            if ( PP->problem & SSPC_COUNT ) cnt++;
+            else ITEMSET_output_itemset (II, NULL, 0);
+            II->itemset.v[0] = i-PP->root; II->itemset.v[1] = *x;
+          }
+          f = ( c >= f1 );
+          II->frq = c/w[i];
+        } else continue;
+        if ( f ){
+          if ( PP->problem & SSPC_COUNT ) cnt++;
+          else ITEMSET_output_itemset (II, NULL, 0);
+        }
+      }
+      TT->OQ[*x].end = 0;
+    }
+    TT->OQ[i].end = 0;
+    if ( PP->problem & SSPC_COUNT ){
+      while ( ii<II->perm[i] ){
+        FILE2_putc (&II->multi_fp[0], '\n');
+        FILE2_flush (&II->multi_fp[0]);
+        ii++;
+      }
+      FILE2_print_int (&II->multi_fp[0], cnt, 0);
+      FILE2_putc (&II->multi_fp[0], '\n');
+      FILE2_flush (&II->multi_fp[0]);
+      II->sc[2] += cnt;
+      ii++;
+    }
+  }
+
+    // termination
+  if ( TT->flag & LOAD_SIZSORT ){
+    FLOOP (i, 0, TT->T.clms){
+      TT->OQ[i].t += TT->OQ[i].v - o[i];
+      TT->OQ[i].v = o[i];
+    }
+  }
+  mfree (w, o);
+}
+
+
+/*************************************************************************/
+/* SSPC matrix version */
+/*************************************************************************/
+void SSPCmat (PROBLEM *PP){
+  ITEMSET *II = &PP->II;
+  MAT *MM = &PP->MM;
+  QUEUE_ID i, j, x, begin = PP->dir>0?0:1, f, ii=0;
+  QUEUE_INT cnt;
+  WEIGHT *w, f1, f2, c, cc;
+  double sq =0;
+  int fs = SSPC_INTERSECTION +SSPC_RESEMBLANCE +SSPC_INNERPRODUCT+SSPC_MAXINT+SSPC_MININT;
+
+  II->frq_lb = II->frq_lb * II->frq_lb;
+
+    // initialization
+//  calloc2 (w, MM->t, EXIT);
+//  if ( PP->problem & SSPC_INNERPRODUCT ) FLOOP (i, 0, MM->clms) TT->w[i] *= TT->w[i];
+//  TRSACT_delivery (TT, &TT->jump, w, w+TT->T.clms, NULL, TT->T.clms);
+//  FLOOP (i, 0, PP->dir?TT->sep:1) TT->OQ[i].end = 0;
+  II->itemset.t = 2;
+
+    // skipping items of large frequencies
+//  if ( TT->flag & LOAD_SIZSORT ){
+//    malloc2 (o, TT->T.clms, EXIT);
+//    FLOOP (i, 0, TT->T.clms){
+//      o[i] = TT->OQ[i].v;
+//      TT->OQ[i].v[TT->OQ[i].t] = INTHUGE;  // put end-mark at the last; also used in main loop
+//      for ( j=0 ; TT->OQ[i].v[j] < PP->II.len_lb ; j++ );
+//      TT->OQ[i].v = &TT->OQ[i].v[j]; TT->OQ[i].t -= j;
+//    }
+//  }
+  
+    // main loop
+  FLOOP (i, begin, MM->t){
+    cnt = 0;
+    II->itemset.v[0] = ((PP->problem&PROBLEM_NORMALIZE)&& PP->dir>0)? i-MM->clms: i; // i-TT->sep
+    if ( PP->problem || 1 ){
+      PP->occ_w[i] = 0;
+      FLOOP (x, 0, MM->clms) PP->occ_w[i] += MM->v[i].v[x] * MM->v[i].v[x];
+    }
+
+    FLOOP (j, 0, PP->dir>0?begin:i){
+      II->itemset.v[1] = j;
+      f = 0; sq = 0;
+      FLOOP (x, 0, MM->clms) sq += MM->v[i].v[x] * MM->v[j].v[x];
+      if ( sq / PP->occ_w[i] / PP->occ_w[j] > II->frq_lb ) f = 1;
+
+      if ( f ){
+        if ( PP->problem & SSPC_COUNT ) cnt++;
+        else ITEMSET_output_itemset (II, NULL, 0);
+      }
+    }
+    if ( PP->problem & SSPC_COUNT ){
+      while ( ii<II->perm[i] ){
+        FILE2_putc (&II->multi_fp[0], '\n');
+        FILE2_flush (&II->multi_fp[0]);
+        ii++;
+      }
+      FILE2_print_int (&II->multi_fp[0], cnt, 0);
+      FILE2_putc (&II->multi_fp[0], '\n');
+      FILE2_flush (&II->multi_fp[0]);
+      II->sc[2] += cnt;
+      ii++;
+    }
+  }
+
+    // termination
+//  mfree (w, o);
+}
+
+
+
+/*************************************************************************/
+/* main function of SSPC */
+/*************************************************************************/
+int SSPC_main (int argc, char *argv[]){
+  PROBLEM PP;
+  SETFAMILY *T = &PP.TT.T;
+  QUEUE_ID i;
+
+  PROBLEM_init (&PP);
+  SSPC_read_param (argc, argv, &PP);
+if ( ERROR_MES ) return (1);
+
+  PP.TT.flag |= LOAD_INCSORT + TRSACT_ALLOC_OCC;
+  if ( PP.II.len_ub<INTHUGE || PP.II.len_lb>0 ) PP.TT.flag |= LOAD_SIZSORT+LOAD_DECROWSORT;
+  PROBLEM_load (&PP);
+  if ( PP.II.len_ub < INTHUGE ){
+    FLOOP (i, 0, PP.TT.T.t) if ( PP.TT.T.v[i].t <= PP.II.len_ub ){ PP.II.len_lb = i; break; }
+  }
+  PROBLEM_alloc (&PP, T->clms, 0, 0, PP.TT.perm, PROBLEM_OCC_W +PROBLEM_OCC_T);
+  PP.TT.perm = NULL;
+  realloc2 (PP.TT.w, MAX(T->t, T->clms)+1, EXIT);
+  ARY_FILL (PP.TT.w, 0, MAX(T->t, T->clms)+1, 1);
+
+// delivery
+//TRSACT_print (&PP.TT, NULL, PP.II.perm);
+  print_mes (&PP.TT, "separated at %d\n", PP.TT.sep);
+  QUEUE_delivery (PP.TT.OQ, NULL, NULL, T->v, &PP.TT.OQ[T->clms], T->t, T->clms);
+
+  if ( !ERROR_MES && PP.TT.T.clms>1 ){
+    if ( PP.problem & SSPC_MATRIX ){ SSPCmat (&PP); }
+    else SSPC (&PP);
+    print_mes (&PP.TT, LONGF " pairs are found\n", PP.II.sc[2]);
+  }
+
+  ITEMSET_merge_counters (&PP.II);
+  internal_params.l1 = PP.II.solutions;
+
+  PROBLEM_end (&PP);
+  return (ERROR_MES?1:0);
+}
+
+/*******************************************************************************/
+#ifndef _NO_MAIN_
+#define _NO_MAIN_
+int main (int argc, char *argv[]){
+  return (SSPC_main (argc, argv) );
+}
+#endif
+/*******************************************************************************/
+
+#endif