dnomd343
/
klotski
mirror of https://github.com/dnomd343/klotski.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
Browse Source

remove: legacy core_demo

legacy
Dnomd343 2 years ago
parent
2f14e32517
commit
8b2577cffe
5 changed files with 8 additions and 256 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 4
      src/core/bfs.h
  2. 7
      src/core/core.cc
  3. 233
      src/core_demo.cc
  4. 19
      src/core_demo.h
  5. 1
      src/main.cc

4
src/core/bfs.h
View File

@ -4,9 +4,9 @@
int next_addr; \ int next_addr; \
cache_size = 1; \ cache_size = 1; \
int current = 0; \ int current = 0; \
cache[0].code = code; \ cache[0].filter = 0; \
cache[0].addr = addr; \ cache[0].addr = addr; \
cache[0].filter = 0; cache[0].code = code;
#define BFS_LOAD \ #define BFS_LOAD \
code = cache[current].code; \ code = cache[current].code; \

7
src/core/core.cc
View File

@ -153,7 +153,12 @@ void Core::next_step(uint64_t raw_code) {
// TODO: release next cases (code and mask) // TODO: release next cases (code and mask)
std::cout << RawCode(cache[i].code).dump_case(); std::cout << RawCode(cache[i].code).dump_case();
printf("(%016lX)\n\n", cache[i].mask); std::cout << "~~~~~~~" << std::endl;
auto mask = cache[i].mask;
for (int n = 0; n < 20; ++n, mask >>= 3) {
std::cout << "+."[!(mask & 0b111)] << " \n"[!(~n & 0b11)];
}
std::cout << std::endl;
} }
} }

233
src/core_demo.cc
View File

@ -1,233 +0,0 @@
#include <iostream>
#include "raw_code.h"
#include "core_demo.h"
int cache_size;
cache_t cache[16];
#define ALLOW_UP (filter != -UP)
#define ALLOW_DOWN (filter != -DOWN)
#define ALLOW_LEFT (filter != -LEFT)
#define ALLOW_RIGHT (filter != -RIGHT)
#define NOT_COLUMN_0 ((addr & 3) != 0)
#define NOT_COLUMN_2 ((addr & 3) != 2)
#define NOT_COLUMN_3 ((addr & 3) != 1)
#define MOVE_UP (next_addr = addr + UP)
#define MOVE_DOWN (next_addr = addr + DOWN)
#define MOVE_LEFT (next_addr = addr + LEFT)
#define MOVE_RIGHT (next_addr = addr + RIGHT)
#define TOP_LIMIT(ADDR) (addr >= ADDR * 3)
#define BOTTOM_LIMIT(ADDR) (addr <= ADDR * 3)
#define NEXT_CODE_1x1 (code & ~(F_1x1 << addr) | (C_1x1 << next_addr))
#define NEXT_CODE_1x2 (code & ~(F_1x2 << addr) | (C_1x2 << next_addr))
#define NEXT_CODE_2x1 (code & ~(F_2x1 << addr) | (C_2x1 << next_addr))
#define NEXT_CODE_2x2 (code & ~(F_2x2 << addr) | (C_2x2 << next_addr))
#define release_1x1(FILTER) RELEASE(NEXT_CODE_1x1, FILTER)
#define release_1x2(FILTER) RELEASE(NEXT_CODE_1x2, FILTER)
#define release_2x1(FILTER) RELEASE(NEXT_CODE_2x1, FILTER)
#define release_2x2(FILTER) RELEASE(NEXT_CODE_2x2, FILTER)
#define RELEASE(NEXT_CODE, FILTER) { \
cache_t next_case = { \
.code = NEXT_CODE, \
.mask = F_1x1 << next_addr, \
.filter = FILTER, \
.addr = next_addr \
}; \
cache_insert(next_case); \
}
#define BFS_INIT \
int next_addr; \
cache_size = 1; \
int current = 0; \
cache[0].code = code; \
cache[0].addr = addr; \
cache[0].filter = 0;
#define BFS_LOAD \
code = cache[current].code; \
addr = cache[current].addr; \
int filter = cache[current++].filter;
#define BFS_STOP (current == cache_size)
inline void cache_insert(cache_t &new_item) {
// static int insert_num = 0;
// std::cout << "insert times: " << ++insert_num << std::endl;
auto *p = cache;
for (; p < cache + cache_size; ++p) {
if (p->code == new_item.code) {
return; // already exist -> insert failed
}
}
*p = new_item;
++cache_size;
}
void move_1x1(uint64_t code, int addr) {
BFS_INIT
while (!BFS_STOP) { // bfs search process
BFS_LOAD
if (ALLOW_UP && TOP_LIMIT(4) && !(code >> MOVE_UP & F_1x1)) {
release_1x1(UP) // 1x1 block move up
}
if (ALLOW_DOWN && BOTTOM_LIMIT(15) && !(code >> MOVE_DOWN & F_1x1)) {
release_1x1(DOWN) // 1x1 block move down
}
if (ALLOW_LEFT && NOT_COLUMN_0 && !(code >> MOVE_LEFT & F_1x1)) {
release_1x1(LEFT) // 1x1 block move left
}
if (ALLOW_RIGHT && NOT_COLUMN_3 && !(code >> MOVE_RIGHT & F_1x1)) {
release_1x1(RIGHT) // 1x1 block move right
}
}
}
void move_1x2(uint64_t code, int addr) {
BFS_INIT
while (!BFS_STOP) { // bfs search process
BFS_LOAD
if (ALLOW_UP && TOP_LIMIT(4) && !(code >> MOVE_UP & F_1x2)) {
release_1x2(UP) // 1x2 block move up
}
if (ALLOW_DOWN && BOTTOM_LIMIT(14) && !(code >> MOVE_DOWN & F_1x2)) {
release_1x2(DOWN) // 1x2 block move down
}
if (ALLOW_LEFT && NOT_COLUMN_0 && !(code >> MOVE_LEFT & F_1x1)) {
release_1x2(LEFT) // 1x2 block move left
}
if (ALLOW_RIGHT && NOT_COLUMN_2 && !(code >> MOVE_RIGHT & F_1x1_R)) {
release_1x2(RIGHT) // 1x2 block move right
}
}
}
void move_2x1(uint64_t code, int addr) {
BFS_INIT
while (!BFS_STOP) { // bfs search process
BFS_LOAD
if (ALLOW_UP && TOP_LIMIT(4) && !(code >> MOVE_UP & F_1x1)) {
release_2x1(UP) // 2x1 block move up
}
if (ALLOW_DOWN && BOTTOM_LIMIT(11) && !(code >> MOVE_DOWN & F_1x1_D)) {
release_2x1(DOWN) // 2x1 block move down
}
if (ALLOW_LEFT && NOT_COLUMN_0 && !(code >> MOVE_LEFT & F_2x1)) {
release_2x1(LEFT) // 2x1 block move left
}
if (ALLOW_RIGHT && NOT_COLUMN_3 && !(code >> MOVE_RIGHT & F_2x1)) {
release_2x1(RIGHT) // 2x1 block move right
}
}
}
void move_2x2(uint64_t code, int addr) {
BFS_INIT
while (!BFS_STOP) { // bfs search process
BFS_LOAD
if (ALLOW_UP && TOP_LIMIT(4) && !(code >> MOVE_UP & F_1x2)) {
release_2x2(UP) // 2x2 block move up
}
if (ALLOW_DOWN && BOTTOM_LIMIT(10) && !(code >> MOVE_DOWN & F_1x2_D)) {
release_2x2(DOWN) // 2x2 block move down
}
if (ALLOW_LEFT && NOT_COLUMN_0 && !(code >> MOVE_LEFT & F_2x1)) {
release_2x2(LEFT) // 2x2 block move left
}
if (ALLOW_RIGHT && NOT_COLUMN_2 && !(code >> MOVE_RIGHT & F_2x1_R)) {
release_2x2(RIGHT) // 2x2 block move right
}
}
}
void next_step(uint64_t raw_code) {
// int addr = 17;
// raw_code = RawCode(CommonCode("4fea134")).unwrap();
// move_1x1(raw_code, addr * 3);
// int addr = 9;
// raw_code = RawCode(CommonCode("1003")).unwrap();
// move_1x1(raw_code, addr * 3);
// int addr = 9;
// raw_code = RawCode(CommonCode("1002")).unwrap();
// move_2x1(raw_code, addr * 3);
// int addr = 5;
// raw_code = RawCode(CommonCode("5")).unwrap();
// move_2x2(raw_code, addr * 3);
// std::cout << RawCode(raw_code).dump_case();
auto temp_code = raw_code;
for (int addr = 0; temp_code; addr += 3, temp_code >>= 3) {
switch (temp_code & 0b111) {
case B_1x1:
move_1x1(raw_code, addr);
break;
case B_1x2:
move_1x2(raw_code, addr);
break;
case B_2x1:
move_2x1(raw_code, addr);
break;
case B_2x2:
move_2x2(raw_code, addr);
break;
default:
continue; // B_space or B_fill
}
if (cache_size != 1) {
for (int i = 1; i < cache_size; ++i) {
// std::cout << RawCode(cache[i].code).dump_case();
// printf("MASK -> %016lX\n", cache[i].mask);
}
// std::cout << "found: " << cache_size - 1 << std::endl;
}
}
// for (int i = 0; i < 1000000000; ++i) {
// for (int i = 0; i < 50000000; ++i) {
// move_1x1(raw_code, addr * 3);
// }
// std::cout << "cache size: " << cache_size << std::endl;
//
// for (int i = 0; i < cache_size; ++i) {
// std::cout << "=======" << std::endl;
//
// std::cout << RawCode(cache[i].code).dump_case();
//
// if (i != 0) {
// auto _mask = cache[i].mask;
// std::cout << std::endl;
// for (int n = 0; n < 20; ++n, _mask >>= 3) {
// if (_mask & 0b111) {
// std::cout << "+ ";
// } else {
// std::cout << ". ";
// }
// if ((n & 0b11) == 0b11) {
// std::cout << std::endl;
// }
// }
// }
//
// std::cout << "=======" << std::endl << std::endl;
// }
}

19
src/core_demo.h
View File

@ -1,19 +0,0 @@
#pragma once
#include <cstdint>
#define UP (-12) // -4 * 3-bits
#define LEFT (-3) // +1 * 3-bits
#define DOWN (+12) // +4 * 3-bits
//#define DOWN_2 (+24) // +8 * 3-bits
#define RIGHT (+3) // +1 * 3-bits
//#define RIGHT_2 (+6) // +2 * 3-bits
struct cache_t {
uint64_t code; // raw code
uint64_t mask; // only 000 or 111
int filter;
int addr;
};
void next_step(uint64_t raw_code);

1
src/main.cc
View File

@ -147,7 +147,6 @@ int main() {
auto raw_code = RawCode(CommonCode("4fea134")).unwrap(); auto raw_code = RawCode(CommonCode("4fea134")).unwrap();
auto c = Core(); auto c = Core();
// auto c = Core(raw_code);
// for (int i = 0; i < 100000000; ++i) { // for (int i = 0; i < 100000000; ++i) {
c.next_step(raw_code); c.next_step(raw_code);
// } // }

Write Preview
Loading…
Cancel
Save