Fixstars Corp. · TSE:3687
Fixstars — Technical Presentation
9 slides from Fixstars's technical presentation
Slide 1: Polyomino Solver
Polyomino Solver Fixstars Amplify GitHub: kaz130
Slide 2: • •
• • 1
Slide 3: Search space of O(n!)
• • n O (n!) •
Slide 4: Binary variable formulation q[y,x,i,p]
• qy,x,i,p = 1 → (x, y) i p i=2 q1,3,2,2 = 1 p=1 p=2 p=3 ⋮ p=8
Slide 5: Variable examples for piece placement
A. B. ex) i = 1 q1,4,2,2 = 0 p=1 p=5 ex) qy,x,1,5 = 0
Slide 6: Constraints on placement variables
C. ∑ qy,x,i,p = 1 i,p∈(x,y) D. ∑∑∑ qy,x,i,p = 1 y x p
Slide 7: sample1.toml
sample1.toml • pieces = '' board = '' # ### ### ### ## ### • '' can_rotate = tru $ python -m psolver sample1.tom # can_reverse = true ┏━━━┳━━━┓ ┃ ┏━┻━┓ ┃ ┣━┛ ┏━┫ ┃ ┃ ┏━┛ ┗━┫ # ┗━┻━━━━━┛ # ''' # # # # # # # # # # ' # # # # ' ' e l
Slide 8: Example solution output
• 5 ┏━┳━━━━━┳━┓ ┃ ┃ ┏━┓ ┃ ┃ ┏━┳━━━━━┳━━━┓ ┃ ┣━┛ ┗━┫ ┃ ┏━┳━━━━━━━┓ ┏━┛ ┗━━━┓ ┗━┓ ┗━┓ ┏━━━━━━━┓ ┏━┳━━━━━━━━━┓ ┃ ┗━┓ ┏━┫ ┃ ┃ ┗━━━┓ ┏━┫ ┣━━━━━┳━╋━━━╋━┓ ┃ ┃ ┏━━━━━┫ ┃ ┗━━━┳━┳━━━┫ ┣━┳━┻━┛ ┃ ┃ ┃ ┏━┳━┻━┛ ┃ ┣━━━┓ ┃ ┃ ┏━┛ ┗━┫ ┣━┛ ┏━━━┫ ┃ ┏━━━┛ ┃ ┏━┫ ┃ ┗━━━┓ ┣━┫ ┣━┛ ┃ ┏━┳━┫ ┃ ┃ ┃ ┃ ┗━┓ ┏━┫ ┣━┳━┛ ┏━╋━━━╋━┻━┓ ┏━
Slide 9: Fixstars Amplify and GUI
• Fixstars Amplify • • GUI • 3