0

今度は、Choco とブルーム フィルターを統合します。問題は、各検索ステップの後に各ノードの決定をブルームフィルターに保存したいので、Choco のどの Java ファイルが検索プロセスに関するものかを知りたいことです。

チョコのソースコード: https://github.com/chocoteam/choco-solver

ブルーム フィルターのソース コード: import java.util.BitSet;
パブリッククラスブルームフィルター{

private static final int DEFAULT_SIZE = 2 << 24;
private static final int[] seeds = {3,5,7, 11, 13, 31, 37, 61};
private static BitSet bits = new BitSet(DEFAULT_SIZE);  
private static SimpleHash[] func = new SimpleHash[seeds.length];  

public static void addValue(String value)  
{  
    for(SimpleHash f : func)
        bits.set(f.hash(value),true);  
}  

public static void add(String value)  
{  
    if(value != null) addValue(value);  
}  

public static boolean contains(String value)  
{  
    if(value == null) return false;  
    boolean ret = true;  
    for(SimpleHash f : func)
        ret = ret && bits.get(f.hash(value));  
    return ret;  
}  

public static void main(String[] args) {  
    String value = "xkeyideal@gmail.com";  
    for (int i = 0; i < seeds.length; i++) {  
        func[i] = new SimpleHash(DEFAULT_SIZE, seeds[i]);  
    }  
    add(value);  
    System.out.println(contains(value));  
}  

}

クラスSimpleHash {

private int cap;  
private int seed;  

public  SimpleHash(int cap, int seed) {  
    this.cap = cap;  
    this.seed = seed;  
}  

public int hash(String value) 
    int result = 0;  
    int len = value.length();  
    for (int i = 0; i < len; i++) {  
        result = seed * result + value.charAt(i);  
    }  
    return (cap - 1) & result;  
}  

}

4

1 に答える 1

0

全体的な解決メカニズム (「拡張」の場合の検索プロセスを含む) は、Solver の searchLoop() メソッドにあります: https://github.com/chocoteam/choco-solver/blob/master/src/main/java /org/chocosolver/solver/Solver.java

ただし、各ノードで行われたことを取得するには、単にモニターを使用する必要があります。

            model.getSolver().plugMonitor(new IMonitorOpenNode() {
                @Override
                public void afterOpenNode() {
                    System.out.println(s.getDecisionPath().getLastDecision());
                }
            });

このコードは、すべての分岐決定を出力します。そこから他の可変ドメインにアクセスすることもできます。

于 2016-08-12T12:01:43.273 に答える