use of core.column_field.ColumnField in project solution-finder by knewjade.
the class SetupPackSearcher method forEach.
public void forEach(Consumer<Result> callback) throws InterruptedException, ExecutionException {
// 探索準備
MinoFieldMemento emptyMemento = MinoFieldMementoFactory.create();
ColumnField innerField = inOutPairFields.get(0).getInnerField();
PackingTask task = createPackingTask(sizedBit, emptyMemento, innerField);
// 探索
ForkJoinPool forkJoinPool = new ForkJoinPool();
ForkJoinTask<Boolean> submitTask = forkJoinPool.submit(() -> {
// Streamは終端操作を実行するまで実際には計算を行わない
// そのため、終端操作をPool内でしなければ、Pool外のスレッド場で動くため注意が必要
// (終端操作をしなかった場合、Pool内ではStream自体の作成をして終了する)
task.compute().parallel().forEach(callback);
// 計算を最後まで行ったことを伝えるため true を返却
return true;
});
// 結果を取得するまで待つ
Boolean result = submitTask.get();
assert result;
// 終了処理
forkJoinPool.shutdown();
}
use of core.column_field.ColumnField in project solution-finder by knewjade.
the class ConnectionsToStreamCallable method parseWhenNext.
private Stream<RecursiveMinoField> parseWhenNext(ColumnField outerColumnField, SeparableMino currentMino, RecursiveMinoFields minoFields) {
SeparableMinos separableMinos = calculator.getSeparableMinos();
int index = separableMinos.toIndex(currentMino);
return minoFields.recursiveStream().filter(minoField -> minoField.getMaxIndex() <= index).map(minoField -> {
// outerで、最終的に使用されるブロック と すでに使っているブロックが重ならないことを確認
ColumnField lastOuterField = minoField.getOuterField();
if (!lastOuterField.canMerge(outerColumnField))
return null;
OperationWithKey currentOperations = currentMino.toMinoOperationWithKey();
long currentDeleteKey = currentOperations.getNeedDeletedKey();
long currentUsingKey = currentOperations.getUsingKey();
// いま置こうとしているミノと、それまでの結果に矛盾があるか確認
boolean isContradiction = currentDeleteKey != 0L && minoField.getOperationsStream().anyMatch(operationWithKey -> {
long deletedKey = operationWithKey.getNeedDeletedKey();
long usingKey = operationWithKey.getUsingKey();
return (currentUsingKey & deletedKey) != 0L && (usingKey & currentDeleteKey) != 0L;
});
// 矛盾があるときはスキップ
if (isContradiction)
return null;
// 使用されるブロックを算出
ColumnField usingBlock = lastOuterField.freeze(calculator.getHeight());
usingBlock.merge(outerColumnField);
return new RecursiveMinoField(currentMino, minoField, usingBlock, separableMinos);
}).filter(Objects::nonNull);
}
use of core.column_field.ColumnField in project solution-finder by knewjade.
the class ConnectionsToStreamCallable method over.
private Stream<RecursiveMinoField> over(ColumnField columnField, ColumnField outerColumnField, List<SeparableMino> minos, SeparableMinos separableMinos, RecursiveMinoField result) {
Stream.Builder<RecursiveMinoField> builder = Stream.builder();
builder.accept(result);
StreamColumnFieldConnections connections = new StreamColumnFieldConnections(minos, columnField, calculator.getSizedBit());
Stream<RecursiveMinoField> stream = connections.getConnectionStream().filter(connection -> {
ColumnField nextOuterField = connection.getOuterField();
SeparableMino mino = connection.getMino();
return // 次に埋めるべき場所を埋めてある
!needFilledField.canMerge(mino.getField()) && // 次のフィールドの制限範囲と重なっていない
nextOuterField.canMerge(limitOuterField) && // 次のフィールドにあるブロックと重なっていない
nextOuterField.canMerge(outerColumnField);
}).flatMap(connection -> {
// 使用されるブロックを算出
ColumnField usingBlock = connection.getOuterField().freeze(calculator.getHeight());
usingBlock.merge(outerColumnField);
RecursiveMinoField t = new RecursiveMinoField(connection.getMino(), result, usingBlock, separableMinos);
List<SeparableMino> allMinos = separableMinos.getMinos();
List<SeparableMino> minos2 = allMinos.subList(separableMinos.toIndex(connection.getMino()) + 1, allMinos.size());
return over(connection.getInnerField(), usingBlock, minos2, separableMinos, t);
});
return Stream.concat(Stream.of(result), stream);
}
use of core.column_field.ColumnField in project solution-finder by knewjade.
the class ConnectionsToStreamCallable method parseWhenFilled.
private Stream<RecursiveMinoField> parseWhenFilled(ColumnField columnField, ColumnField outerColumnField, Field wallField, SeparableMino currentMino) {
// これからブロックをおく場所以外を、すでにブロックで埋めたフィールドを作成
Field freeze = wallField.freeze(calculator.getHeight());
Field invertedOuterField = calculator.parseInvertedOuterField(outerColumnField);
freeze.merge(invertedOuterField);
// 置くブロック以外がすでに埋まっていると仮定したとき、正しく接着できる順があるか確認
SeparableMinos separableMinos = calculator.getSeparableMinos();
RecursiveMinoField result = new RecursiveMinoField(currentMino, outerColumnField.freeze(calculator.getHeight()), separableMinos);
// 次に埋めるべき場所がないときは結果をそのまま返す
if (needFilledField.isPerfect()) {
return Stream.of(result);
}
// 現在のフィールドに埋めるべきところがないが、次以降のフィールドに残っている場合をケアする
List<SeparableMino> allMinos = separableMinos.getMinos();
return over(columnField, outerColumnField, allMinos, separableMinos, result);
}
use of core.column_field.ColumnField in project solution-finder by knewjade.
the class FullOperationSeparableMino method create.
public static SeparableMino create(FullOperationWithKey operationWithKey, int upperY, int fieldHeight) {
assert upperY <= 10 : upperY;
Mino mino = operationWithKey.getMino();
long deleteKey = operationWithKey.getNeedDeletedKey();
int y = operationWithKey.getY();
MinoMask minoMask = MinoMaskFactory.create(fieldHeight, mino, y, deleteKey);
int x = operationWithKey.getX();
Field mask = minoMask.getMinoMask(x);
int lowerY = operationWithKey.getY() + operationWithKey.getMino().getMinY();
ColumnSmallField columnField = ColumnFieldFactory.createField();
for (int ny = lowerY; ny <= upperY; ny++) {
for (int nx = x + mino.getMinX(); nx <= x + mino.getMaxX(); nx++) {
if (!mask.isEmpty(nx, ny))
columnField.setBlock(nx, ny, fieldHeight);
}
}
Field field = FieldFactory.createField(fieldHeight);
field.put(operationWithKey.getMino(), operationWithKey.getX(), operationWithKey.getY());
field.insertWhiteLineWithKey(operationWithKey.getNeedDeletedKey());
return new FullOperationSeparableMino(operationWithKey, columnField, field);
}
Aggregations