login
A258204
Number of one-sided strictly non-overlapping holeless polyhexes of perimeter 2n, counted up to rotation.
6
0, 0, 1, 0, 1, 1, 3, 3, 16, 23, 80, 183, 563
OFFSET
1,7
COMMENTS
For n >= 1, a(n) gives the total number of terms k in A258003 with binary width = 2n + 1, or equally, with A000523(k) = 2n.
FORMULA
Other identities and observations. For all n >= 1:
a(n) = 2*A258206(n) - A258205(n).
a(n) <= A258017(n).
PROG
(Scheme)
(define (A258204 n) (let loop ((k (+ 1 (expt 2 (+ n n)))) (c 0)) (cond ((pow2? k) c) (else (loop (+ 1 k) (+ c (if (isA258003? k) 1 0)))))))
(define (pow2? n) (let loop ((n n) (i 0)) (cond ((zero? n) #f) ((odd? n) (and (= 1 n) i)) (else (loop (/ n 2) (1+ i)))))) ;; Gives non-false only when n is a power of two.
;; Code for isA258003? given in A258003.
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Antti Karttunen, May 31 2015
STATUS
approved