Afraid to say, He is the 木組主之示申(ki kumu nushi no kami, or, ki kumun shi no kami),
is sitting downs to synthesized stones, is thinkingh how to solve puzzle into zero point.
shape filling puzzle.
$ # call solver program by problem number
$ ./call-puzzle-solver.ros 3
# ... solution messages ...
$
$ # or call it by problem file name
$ ./procon_solve/call-puzzle-solver.ros --problem-file some/directory/problems/puzzle_XX.txt
# ... solution messages ...
$
ref src/note.lisp
this is maybe older...
CL-USER> (ql:quickload :puzzle-1617)
PUZZLE-1617> (in-package :puzzle-1617)
#<PACKAGE "PUZZLE-1617">
PUZZLE-1617> ;; in *example-problem-9*, car is frame-piece(-), cdr is noneframe-piece(+)
PUZZLE-1617> (search-solution-from-prime-pieces
(cons (car *example-problem-9*) (cdr *example-problem-9*)))
synth-list to: 0, using-pieces [len]: (0)[1]
HTML file updated at : /path/to/projects/procon_solve/test/results/piece-list.html
synth-list to: 1416, using-pieces [len]: (0 2)[2]
;; ...... omit ......
;; after wait, solven synthesized piece is returned.
;; access to HTML file updated, shown in above,
;; you can look the solution and/or progresses.
;; of the piece synthesized
PUZZLE-1617> ;; there is 7 problems prepared now. by (nth 0,1,...,6 *problem-list*), e.x.
PUZZLE-1617> (search-solution-from-prime-pieces (nth 4 *problem-list*))
PUZZLE-1617> ;; also, there is some other searching methods.
PUZZLE-1617> ;; beam search
PUZZLE-1617> (time (progn (search-solution-from-prime-pieces-beam
(nth 3 *problem-list*))
nil))
;; omit
;; and evaluation-value saved beam search
PUZZLE-1617> ;; gradient stacked beam search
PUZZLE-1617> (time (progn (search-solution-grad-beam
(nth 3 *problem-list*))
nil))
;; omit
profile and tests are especially written in src/flamegraph.lisp
, src/profile.lisp
.
call functions defined there, you can also play artworks by this package.
releases are available here Releases · i-makinori/procon_solve.
version | release |
---|---|
2017 | https://github.com/i-makinori/procon_solve/tree/release_2017 |
2016 | https://github.com/i-makinori/procon_solve/tree/release_2016 |
I'm going to do...
- コマンド引数の整理
- ドキュメント整備
-
solver of shape filling puzzle (puzzle-1617) is the retry of the question asked at these tournaments, the NICT programming contest 2016 and 2017.
第27回鳥羽大会(2016),
第28回大島大会(2017) -
problems under
test/problems/
are generated by below program.
nnct-jo-ken/procon2017_kyogi_problem_maker: 2017競技_問題作成
Thank you for these texts books.
- calculator, linear algebra
Wolfram|Alpha,
Matrix calculator - inner/outer detection for domains
【第2回】点の多角形に対する内外判定|【技業LOG】技術者が紹介するNTTPCのテクノロジー|【公式】NTTPC - searching methods
世界四連覇AIエンジニアがゼロから教えるゲーム木探索入門 #AI - Qiita,
貪欲法をビームサーチ化する際にやってはいけないこと #AI - Qiita
Thank you for these libraries.
- Document Template Engine
alpha123/cl-template - SVG Viewer for HTML pages
bumbu/svg-pan-zoom - profiler, flamegraph
40ants/cl-flamegraph (common lisp implement),
speedscope (web viewer of flamegraph) - execution script for Common Lisp
roswell/
Thank you!