Compare commits
No commits in common. "c35bbdc36d093b5a12204d38256e417ad67720e3" and "8d889170dfeaf3029bb4ea4073b3b071e9151736" have entirely different histories.
c35bbdc36d
...
8d889170df
@ -1,5 +1,5 @@
|
|||||||
import algorithm, random, sugar
|
import algorithm, random, sugar
|
||||||
import faststack, fixedseq, game
|
import fixedseq, game
|
||||||
|
|
||||||
|
|
||||||
proc nextPermutation(x: var FixedSeq): bool =
|
proc nextPermutation(x: var FixedSeq): bool =
|
||||||
|
119
faststack.nim
119
faststack.nim
@ -6,12 +6,12 @@ proc show(i: SomeInteger, bitlength = 16) =
|
|||||||
|
|
||||||
|
|
||||||
type
|
type
|
||||||
Color* = enum
|
Color = enum
|
||||||
cRed, cGreen, cBlue, cYellow, cPurple
|
cRed, cGreen, cBlue, cYellow, cPurple
|
||||||
|
|
||||||
ColorStack* = object
|
ColorStack = object
|
||||||
data: uint16
|
data: uint16
|
||||||
len*: uint8
|
len: uint8
|
||||||
|
|
||||||
|
|
||||||
const
|
const
|
||||||
@ -23,13 +23,12 @@ const
|
|||||||
0b0_000_111_111_111_111,
|
0b0_000_111_111_111_111,
|
||||||
0b0_111_111_111_111_111,
|
0b0_111_111_111_111_111,
|
||||||
]
|
]
|
||||||
allColors* = ColorStack(len: 5, data: 0b0_000_001_010_011_100)
|
|
||||||
|
|
||||||
|
|
||||||
template offset(s: ColorStack, idx: Natural): uint8 =
|
template offset(s: ColorStack, idx: Natural): uint8 =
|
||||||
# Compute the bit offset for a given index.
|
# Compute the bit offset for a given index.
|
||||||
# Dependent on the stack's length.
|
# Dependent on the stack's length.
|
||||||
(s.len - 1 - idx.uint8) * 3
|
(s.len - 1 - cast[uint8](idx)) * 3
|
||||||
# items are stored from left to right but right-aligned, so we
|
# items are stored from left to right but right-aligned, so we
|
||||||
# need to shift right to access anything other than the last
|
# need to shift right to access anything other than the last
|
||||||
|
|
||||||
@ -37,10 +36,10 @@ template offset(s: ColorStack, idx: Natural): uint8 =
|
|||||||
template offset(s: ColorStack, idx: BackwardsIndex): uint8 =
|
template offset(s: ColorStack, idx: BackwardsIndex): uint8 =
|
||||||
# for backwards index, we are still shifting right but
|
# for backwards index, we are still shifting right but
|
||||||
# the lower the index the less we have to shift
|
# the lower the index the less we have to shift
|
||||||
(idx.uint8 - 1) * 3
|
(cast[uint8](idx) - 1) * 3
|
||||||
|
|
||||||
|
|
||||||
proc add*(s: var ColorStack, c: Color) =
|
proc add(s: var ColorStack, c: Color) =
|
||||||
# e.g. if stack is 0b0000000000000100:
|
# e.g. if stack is 0b0000000000000100:
|
||||||
# and color is 0b00000011
|
# and color is 0b00000011
|
||||||
# shift: 0b0000000000100000
|
# shift: 0b0000000000100000
|
||||||
@ -50,78 +49,70 @@ proc add*(s: var ColorStack, c: Color) =
|
|||||||
inc s.len
|
inc s.len
|
||||||
|
|
||||||
|
|
||||||
proc high*(s: ColorStack): uint8 = s.len - 1
|
proc high(s: ColorStack): uint8 = s.len - 1
|
||||||
|
|
||||||
proc low*(s: ColorStack): uint8 = 0 # just... always 0, I guess
|
proc low(s: ColorStack): uint8 = 0 # just... always 0, I guess
|
||||||
|
|
||||||
|
|
||||||
proc `[]`*(s: ColorStack, i: uint8 | BackwardsIndex): Color =
|
proc `[]`(s: ColorStack, i: uint8 | BackwardsIndex): Color =
|
||||||
# shift, then mask everything but the three rightmost bits
|
# shift, then mask everything but the three rightmost bits
|
||||||
result = Color(
|
result = cast[Color](
|
||||||
(s.data shr s.offset(i)) and masks[1]
|
(s.data shr s.offset(i)) and masks[1]
|
||||||
)
|
)
|
||||||
|
|
||||||
|
|
||||||
proc `[]=`*(s: var ColorStack, i: uint8 | BackwardsIndex, c: Color) =
|
proc `[]=`(s: var ColorStack, i: uint8 | BackwardsIndex, c: Color) =
|
||||||
let offset = s.offset(i)
|
let offset = s.offset(i)
|
||||||
s.data = (s.data and bitnot(masks[1] shl offset)) or (c.uint16 shl offset)
|
s.data = (s.data and bitnot(masks[1] shl offset)) or (cast[uint16](c) shl offset)
|
||||||
|
|
||||||
|
|
||||||
iterator items*(s: ColorStack): Color =
|
iterator items(s: ColorStack): Color =
|
||||||
# s.len is unsigned so it will wrap around if we do s.len - 1 in that case
|
# s.len is unsigned so it will wrap around if we do s.len - 1 in that case
|
||||||
if s.len != 0:
|
if s.len != 0:
|
||||||
for i in countdown(s.len - 1, 0'u8):
|
for i in countdown(s.len - 1, 0'u8):
|
||||||
yield Color((s.data shr (i * 3)) and masks[1])
|
yield cast[Color]((s.data shr (i * 3)) and masks[1])
|
||||||
|
|
||||||
|
|
||||||
iterator pairs*(s: ColorStack): (uint8, Color) =
|
iterator pairs(s: ColorStack): (int, Color) =
|
||||||
var count = 0'u8
|
var count = 0
|
||||||
for color in s:
|
for color in s:
|
||||||
yield (count, color)
|
yield (count, color)
|
||||||
inc count
|
inc count
|
||||||
|
|
||||||
|
|
||||||
proc find*(s: ColorStack, needle: Color): int8 =
|
proc find(s: ColorStack, needle: Color): uint8 =
|
||||||
for i in 0'u8 .. s.high:
|
for i in 0'u8 .. s.high:
|
||||||
if s[i] == needle:
|
if s[i] == needle:
|
||||||
return i.int8
|
return i
|
||||||
return -1
|
|
||||||
|
|
||||||
|
|
||||||
proc moveSubstack*(src, dst: var ColorStack, startIdx: uint8) =
|
proc moveSubstack(src, dst: var ColorStack, nToMove: uint8) =
|
||||||
if startIdx >= src.len:
|
|
||||||
raise newException(IndexDefect, "index " & $startIdx & " is out of bounds.")
|
|
||||||
# Moves a sub-stack from the top of src to the top of dst
|
# Moves a sub-stack from the top of src to the top of dst
|
||||||
# shift the dst stack by the length of the substack to make room
|
# shift the dst stack by the length of the substack to make room
|
||||||
let nToMove = src.len - startIdx
|
|
||||||
let shift = nToMove * 3
|
let shift = nToMove * 3
|
||||||
dst.data = dst.data shl shift
|
dst.data = dst.data shl shift
|
||||||
# then we mask the source data to present only the items
|
# then we mask the source data to present only the items
|
||||||
# being moved, and OR that with the shifted dst data
|
# being moved, and OR that with the shifted dst data
|
||||||
dst.data = dst.data or (src.data and masks[nToMove])
|
dst.data = dst.data or (src.data and masks[src.len])
|
||||||
dst.len += nToMove
|
dst.len += nToMove
|
||||||
# then we shift the source to get rid of the moved items
|
# then we shift the source to get rid of the moved items
|
||||||
src.data = src.data shr shift
|
src.data = src.data shr shift
|
||||||
src.len -= nToMove
|
src.len -= nToMove
|
||||||
|
|
||||||
|
|
||||||
proc moveSubstackPre*(src, dst: var ColorStack, startIdx: uint8) =
|
proc moveSubstackPre(src, dst: var ColorStack, nToMove: uint8) =
|
||||||
if startIdx >= src.len:
|
|
||||||
raise newException(IndexDefect, "index " & $startIdx & " is out of bounds.")
|
|
||||||
# Moves a sub-stack from the top of src to the bottom of dst
|
# Moves a sub-stack from the top of src to the bottom of dst
|
||||||
let nToMove = src.len - startIdx
|
# shift src stack to position substack above its destination,
|
||||||
# shift src to position the substack above its destination,
|
|
||||||
# get rid of everything to the left of the substack,
|
# get rid of everything to the left of the substack,
|
||||||
# and OR that with the existing dst data
|
# and OR that with the existing dst data
|
||||||
let newLen = dst.len + nToMove
|
dst.data = dst.data or ( (src.data shl (dst.len * 3)) and masks[src.len])
|
||||||
dst.data = dst.data or ( (src.data shl (dst.len * 3)) and masks[newLen] )
|
dst.len += nToMove
|
||||||
dst.len = newLen
|
|
||||||
# get rid of the substack we just moved
|
# get rid of the substack we just moved
|
||||||
src.data = src.data shr (nToMove * 3)
|
src.data = src.data shr (nToMove * 3)
|
||||||
src.len -= nToMove
|
src.len -= nToMove
|
||||||
|
|
||||||
|
|
||||||
proc swap*(s: var ColorStack, i1, i2: uint8) =
|
proc swap(s: var ColorStack, i1, i2: uint8) =
|
||||||
# Swap the values at two indices in the stack
|
# Swap the values at two indices in the stack
|
||||||
if i1 == i2: return
|
if i1 == i2: return
|
||||||
|
|
||||||
@ -143,15 +134,15 @@ proc swap*(s: var ColorStack, i1, i2: uint8) =
|
|||||||
s.data = (s.data and mask.bitnot) or swapped
|
s.data = (s.data and mask.bitnot) or swapped
|
||||||
|
|
||||||
|
|
||||||
proc shuffle*(r: var Rand, s: var ColorStack) =
|
proc shuffle(r: var Rand, s: var ColorStack) =
|
||||||
# Fisher-Yates shuffle
|
# Fisher-Yates shuffle
|
||||||
for i in countdown(s.high, 1'u8):
|
for i in countdown(s.high, 1'u8):
|
||||||
let j = r.rand(i).uint8
|
let j = cast[uint8](r.rand(i))
|
||||||
if j != i:
|
if j != i:
|
||||||
s.swap(i, j)
|
s.swap(i, j)
|
||||||
|
|
||||||
|
|
||||||
proc reverse*(s: var ColorStack, first, last: uint8) =
|
proc reverse(s: var ColorStack, first, last: uint8) =
|
||||||
var x = first
|
var x = first
|
||||||
var y = last
|
var y = last
|
||||||
while x < y:
|
while x < y:
|
||||||
@ -160,12 +151,10 @@ proc reverse*(s: var ColorStack, first, last: uint8) =
|
|||||||
dec y
|
dec y
|
||||||
|
|
||||||
|
|
||||||
iterator asInt*(s: ColorStack): int8 =
|
proc asInt(s: ColorStack): uint16 = s.data
|
||||||
for i in 0'u8 .. s.high:
|
|
||||||
yield int8(s[i]) # now we do have to convert
|
|
||||||
|
|
||||||
|
|
||||||
proc `$`*(s: ColorStack): string =
|
proc `$`(s: ColorStack): string =
|
||||||
result = "St@["
|
result = "St@["
|
||||||
for c in s:
|
for c in s:
|
||||||
if result[^1] != '[':
|
if result[^1] != '[':
|
||||||
@ -174,31 +163,35 @@ proc `$`*(s: ColorStack): string =
|
|||||||
result.add("]")
|
result.add("]")
|
||||||
|
|
||||||
|
|
||||||
proc check(s: ColorStack) =
|
var one: ColorStack
|
||||||
# ensure length is accurate
|
one.add(cRed)
|
||||||
var d = s.data
|
one.add(cGreen)
|
||||||
for i in 0'u8 .. 4'u8:
|
one.add(cBlue)
|
||||||
if (d and masks[1]) > 4:
|
one.add(cYellow)
|
||||||
raise newException(RangeDefect, "Value out of range.")
|
one.add(cPurple)
|
||||||
if d > 0 and i >= s.len:
|
|
||||||
raise newException(RangeDefect, "Invalid length.")
|
|
||||||
else:
|
|
||||||
d = d shr 3
|
|
||||||
|
|
||||||
|
var two: ColorStack
|
||||||
|
# two.add(cPurple)
|
||||||
|
two.add(cRed)
|
||||||
|
# two.add(cYellow)
|
||||||
|
|
||||||
when isMainModule:
|
echo "one: ", one
|
||||||
var one: ColorStack
|
# echo "two: ", two
|
||||||
one.add(cRed)
|
|
||||||
one.add(cGreen)
|
|
||||||
one.add(cBlue)
|
|
||||||
one.add(cYellow)
|
|
||||||
one.add(cPurple)
|
|
||||||
|
|
||||||
var two: ColorStack
|
one.reverse(0, 4)
|
||||||
|
echo "one: ", one
|
||||||
|
# one[^2] = cPurple
|
||||||
|
# echo "one: ", one
|
||||||
|
|
||||||
one.moveSubstack(two, 2)
|
# echo "one 0: ", one[0]
|
||||||
|
# echo "one 2: ", one[2]
|
||||||
|
# echo "one 3: ", one[3]
|
||||||
|
|
||||||
|
# echo "one ^1: ", one[^1]
|
||||||
|
# echo "one ^2: ", one[^2]
|
||||||
|
# echo "one ^4: ", one[^4]
|
||||||
|
|
||||||
echo one, " ", one.len
|
# echo "<move>"
|
||||||
echo two, " ", two.len
|
# moveSubstack(one, two, 2)
|
||||||
echo two.find(cRed)
|
# echo "one: ", one
|
||||||
|
# echo "two: ", two
|
39
game.nim
39
game.nim
@ -1,26 +1,25 @@
|
|||||||
import hashes, options
|
import hashes, options
|
||||||
import fixedseq, faststack
|
import fixedseq
|
||||||
|
|
||||||
export faststack.Color, faststack.ColorStack, faststack.allColors
|
|
||||||
|
|
||||||
|
|
||||||
# type
|
type
|
||||||
# Color* = enum
|
Color* = enum
|
||||||
# cRed, cGreen, cBlue, cYellow, cPurple
|
cRed, cGreen, cBlue, cYellow, cPurple
|
||||||
|
|
||||||
# ColorStack* = FixedSeq[5, Color, int8]
|
ColorStack* = FixedSeq[5, Color, int8]
|
||||||
|
|
||||||
|
|
||||||
# proc initColorStack*: ColorStack =
|
proc initColorStack*: ColorStack =
|
||||||
# result.initFixedSeq
|
result.initFixedSeq
|
||||||
|
|
||||||
|
|
||||||
# proc getAllColors: ColorStack =
|
proc getAllColors: ColorStack =
|
||||||
# var i = 0'u8
|
var i = 0
|
||||||
# for c in Color.low .. Color.high:
|
for c in Color.low .. Color.high:
|
||||||
# result[i] = c
|
result[i] = c
|
||||||
|
|
||||||
const
|
const
|
||||||
|
allColors* = getAllColors()
|
||||||
colorNames: array[Color, string] =
|
colorNames: array[Color, string] =
|
||||||
["Red", "Green", "Blue", "Yellow", "Purple"]
|
["Red", "Green", "Blue", "Yellow", "Purple"]
|
||||||
colorAbbrevs: array[Color, char] = ['R', 'G', 'B', 'Y', 'P']
|
colorAbbrevs: array[Color, char] = ['R', 'G', 'B', 'Y', 'P']
|
||||||
@ -83,8 +82,8 @@ proc hash*(b: Board): Hash =
|
|||||||
|
|
||||||
|
|
||||||
proc init*(b: var Board) =
|
proc init*(b: var Board) =
|
||||||
# for sq in b.squares.mitems:
|
for sq in b.squares.mitems:
|
||||||
# sq.camels.initFixedSeq
|
sq.camels.initFixedSeq
|
||||||
b.initialized = true
|
b.initialized = true
|
||||||
|
|
||||||
|
|
||||||
@ -113,7 +112,7 @@ proc setState*(b: var Board;
|
|||||||
b.leader = some(leadCamel)
|
b.leader = some(leadCamel)
|
||||||
|
|
||||||
|
|
||||||
proc diceRemaining*(b: Board): FixedSeq[5, Color, int8] =
|
proc diceRemaining*(b: Board): ColorStack =
|
||||||
result.initFixedSeq
|
result.initFixedSeq
|
||||||
for color, isRolled in b.diceRolled:
|
for color, isRolled in b.diceRolled:
|
||||||
if not isRolled: result.add(color)
|
if not isRolled: result.add(color)
|
||||||
@ -141,11 +140,11 @@ proc advance*(b: var Board, die: Die) =
|
|||||||
endPos += int(t)
|
endPos += int(t)
|
||||||
if t == tBackward: prepend = true
|
if t == tBackward: prepend = true
|
||||||
|
|
||||||
let stackStart = b[startPos].camels.find(color).uint8
|
let stackStart = b[startPos].camels.find(color)
|
||||||
if prepend:
|
if prepend:
|
||||||
b[startPos].camels.moveSubstackPre(b[endPos].camels, stackStart)
|
b[startPos].camels.moveSubstackPre(b[endPos].camels, stackStart)
|
||||||
let stackLen = b[startPos].camels.len - stackStart
|
let stackLen = b[startPos].camels.len - stackStart
|
||||||
for i in 0'u8 ..< stackLen:
|
for i in 0 ..< stackLen:
|
||||||
# we know how many camels we added to the bottom, so set the position for each of those
|
# we know how many camels we added to the bottom, so set the position for each of those
|
||||||
b.camels[b[endPos].camels[i]] = endPos
|
b.camels[b[endPos].camels[i]] = endPos
|
||||||
else:
|
else:
|
||||||
@ -159,4 +158,4 @@ proc advance*(b: var Board, die: Die) =
|
|||||||
if endPos >= b.camels[b.leader.get]:
|
if endPos >= b.camels[b.leader.get]:
|
||||||
b.leader = some(b[endPos].camels[^1])
|
b.leader = some(b[endPos].camels[^1])
|
||||||
|
|
||||||
b.diceRolled[color] = true
|
b.diceRolled[color] = true
|
@ -1,5 +1,5 @@
|
|||||||
import cpuinfo, math, options, random, tables
|
import cpuinfo, math, options, random, tables
|
||||||
import combinators, game, faststack, fixedseq
|
import combinators, game, fixedseq
|
||||||
|
|
||||||
|
|
||||||
type
|
type
|
||||||
@ -38,7 +38,7 @@ proc percents*(scores: ScoreSet): WinPercents =
|
|||||||
# ======================
|
# ======================
|
||||||
|
|
||||||
iterator legEndStates(b: Board): Board =
|
iterator legEndStates(b: Board): Board =
|
||||||
var diceRemaining: FixedSeq[5, Color, int8]
|
var diceRemaining: ColorStack
|
||||||
diceRemaining.initFixedSeq
|
diceRemaining.initFixedSeq
|
||||||
for i, c in b.diceRolled:
|
for i, c in b.diceRolled:
|
||||||
if not c: diceRemaining.add(i)
|
if not c: diceRemaining.add(i)
|
||||||
@ -59,39 +59,6 @@ proc getLegScores*(b: Board): ScoreSet =
|
|||||||
# Full-game simulations
|
# Full-game simulations
|
||||||
# =====================
|
# =====================
|
||||||
|
|
||||||
# get rid of this later
|
|
||||||
import strutils
|
|
||||||
proc showSpaces*(b: Board; start, stop: Natural): string =
|
|
||||||
let numSpaces = stop - start + 1
|
|
||||||
let width = 4 * numSpaces - 1
|
|
||||||
var lines: array[7, string]
|
|
||||||
# start by building up an empty board
|
|
||||||
for i in 0 .. 6: # gotta initialize the strings
|
|
||||||
lines[i] = newString(width)
|
|
||||||
for c in lines[i].mitems:
|
|
||||||
c = ' '
|
|
||||||
# fill in the dividers
|
|
||||||
lines[5] = repeat("=== ", numSpaces - 1)
|
|
||||||
lines[5].add("===")
|
|
||||||
|
|
||||||
# now populate the board
|
|
||||||
for sp in 0 ..< numSpaces:
|
|
||||||
# fill in the square numbers
|
|
||||||
let squareNum = sp + start
|
|
||||||
let cellMid = 4 * sp + 1
|
|
||||||
for i, chr in $squareNum:
|
|
||||||
lines[6][cellMid + i] = chr
|
|
||||||
|
|
||||||
# fill in the camel stacks
|
|
||||||
for i, color in b.squares[squareNum].camels:
|
|
||||||
let lineNum = 4 - i # lines go to 6, but bottom 2 are reserved
|
|
||||||
let repr = '|' & color.abbrev & '|'
|
|
||||||
for j, chr in repr:
|
|
||||||
lines[lineNum][cellMid - 1 + j] = chr
|
|
||||||
|
|
||||||
result = lines.join("\n")
|
|
||||||
# get rid of this later
|
|
||||||
|
|
||||||
proc randomGame*(b: Board, r: var Rand): Color =
|
proc randomGame*(b: Board, r: var Rand): Color =
|
||||||
var projection = b
|
var projection = b
|
||||||
while true:
|
while true:
|
||||||
|
19
test.nim
19
test.nim
@ -43,13 +43,13 @@ proc newRandomGame(r: var Rand): Board =
|
|||||||
result.setState(dice, [])
|
result.setState(dice, [])
|
||||||
|
|
||||||
|
|
||||||
proc games(nTests, nSamples: SomeInteger, parallel = true): TestResults =
|
proc games(nTests, nSamples: SomeInteger): TestResults =
|
||||||
var r = getRand()
|
var r = getRand()
|
||||||
var scores: ScoreSet
|
var scores: ScoreSet
|
||||||
for i in 1 .. nTests:
|
for i in 1 .. nTests:
|
||||||
let b = newRandomGame(r)
|
let b = newRandomGame(r)
|
||||||
let dur = executionTime:
|
let dur = executionTime:
|
||||||
let s = b.randomGames(nSamples, parallel = parallel)
|
let s = b.randomGames(nSamples)
|
||||||
result.ops += s.sum()
|
result.ops += s.sum()
|
||||||
result.time += dur
|
result.time += dur
|
||||||
|
|
||||||
@ -94,4 +94,17 @@ proc testSpread(nTests, nSamples: Natural) =
|
|||||||
|
|
||||||
|
|
||||||
when isMainModule:
|
when isMainModule:
|
||||||
games(10, 10_000_000).summarize()
|
games(100, 1_000_000).summarize()
|
||||||
|
# let start_states = 2_000
|
||||||
|
# let executionTime = testLegs(start_states)
|
||||||
|
# echo "Execution time: ", executionTime
|
||||||
|
# echo "Leg simulations per second: ", float(start_states * 29_160) / executionTime
|
||||||
|
|
||||||
|
# for i in 1 .. 1:
|
||||||
|
# let num_games = 100_000_005
|
||||||
|
# let executionTime = testGames(num_games)
|
||||||
|
# echo "Execution time: ", executionTime
|
||||||
|
# echo "Full-game simulations per second: ", float(num_games) / executionTime
|
||||||
|
# echo ""
|
||||||
|
|
||||||
|
# testSpread(100, 1_000_000)
|
||||||
|
Loading…
x
Reference in New Issue
Block a user