HOW TO MAKE A BOOK OF BIDDING SEQUENCES

A Book of Bids, given its size, has to a be virtual book accessible maybe via a web application. The computational challenge is presented here. In principle it not hard just laborious. A previous attempt at publishing a real app was successful from a technical perspective but with page number references possibly 46 digits long it was unwieldy. Page selection would need be randomized to engage the curious.

A complete Book must have be a page for each possible complete sequence and there must be an ordered continuous mapping of sorts that ties the page to a sequence. There can be no gaps or blank pages. However a quarter size book can be obtained by setting aside the trivial 4 lead-in call sequences (see above) and catalogue just the bid sequences with the 7 exits. These are generic sequences. Still there must be a continuous mapping, no gaps or empty pages. A mapping template for 21 possible bid transitions is best developed with base22 arithmetic. This clarifies the detail of the mapping. note: the mappings below have the hand-passed-out sequence also set aside. note:decimal values are in parenthesis

Page

Delta

Sequences

P

D

S

1

0

1

7777822

EEEEE22

10000022

7

0

7

77777722

EEEEE22

7LLLLL22

822(8)

E22(14)

1022(22)

77777822

EEEEEE22

100000022

7722(161)

E22(14)

7L22(175)

777777722

EEEEEE22

7LLLLLL22

7822(162)

EE22(322)

10022(484)

777777822

EEEEEEE22

1000000022

77722(3549)

EE22(322)

7LL22(3871)

7777777722

EEEEEEE22

7LLLLLLL22

77822(3550)

EEE22(7098)

100022(10648)




777722(78085)

EEE22(7098)

7LLL22(85183)




777822(78086)

EEEE22(156170)

1000022(234256 )




7777722(1717877)

EEEE22(156170)

7LLLL22(1874047)





Once Page and Sequence are logically ordered the same delta value applies to all sequences in the group tied to a specific last-bid position [m] - Consider the sequence encoding 7C DFK L5H22

Page

Holds Sequence


Delta



7 777 77822

10 000 00022

-

E EEE EEE22

6C DFK L5H22


6J L16 6C322

7C DFK L5H22

-

E EEE EEE22

7 777 77822

+

77 777 77722

7L LLL LLL22

-

E EEE EEE22

6J L16 6C322

=

There are two calcuation methods: subtract the group delta containing the sequence or subtract the group start sequence and add the group start page. The latter, of course, is how the group delta is determined in the first instance.
7C DFK L5H22 is on page 6JL166C322 which is page 2471196675510 decimal.
The hand_passed_out sequence can be assigned page 0. If there is an aesthetic objection increment all page numbers by 1 and position hand_passed_out on page 1. Regardless the short book has no page numbering gaps and all legal sequences are included.


THE BIGGER BOOK
The remaining task is to construct a book with ABSOLUTE pages that reference all the complete sequences including inter-bid transitions, exit calls but in addition combines the 4 lead-ins. The pages must still retain the property that each is tied to a unique complete bidding sequence, all complete sequences are included and there is continuous mapping, no gaps, duplicates or blank pages.

The direct approach is a book organized with 4 chapters (a chapter for each lead-in) but each chapter's contents are effectively duplicated containing the same generic sequences . The chapters are constructional artifices and not necessarily declared. The generic sequence page number is added to page number displacement of the start of each psuedo chapter.
++++

Tx0+ (1↔T)

Tx1+(1↔T)

Tx2+(1↔T)

Tx3+(1↔T)

T is 7x (22^35-1)/(22-1)==1/3 (22^35-1)
T=32186412586757670780057981527902342840780674389



DECOMPOSING AN ABSOLUTE-PAGE NUMBER

Mathematical Caution: Conventionally page numbers are ordinals, page 1 is the first page, page2 is the second and so. Arithmetic is mostly cardinal. 6 pages per chapter then page 9 is the 3rd page of chapter 2, but 9/6 = 1 remainder 3, so the chapter number must be incremented.
The books of bids has pseudo chapters
that should go from 0 to 3 to show the lead-in passes but if the absolute-page is divisible by T then the Lead will be 1 more. 1 is subtracted from the abs-page prior to appying the QuotientRemainderFunction to get the lead passes correct but then the local or generic sequence page number must be adjusted after.
The whole method is straightforward once the delta is determined and the PLO and PHI functions make that step clear.
QuotientRemainderFunction[a,b] → a/b expressed as an integer q with remainder r < b
QuotientRemainderFunction[abs_page-1,T] → {#lead-in passes (0 ↔ 3), cardinal-page(0
↔T-1)}

abs-page = 99650 60937 376867 72014 909535 75984 73706 44847 8861010.
QRF[abs_page-1,T]
# lead-in passes =3
cardinal-page=309137161349566486131700899227770854214276544310
ordinal-page=309137161349566486131700899227770854214276544410 'add 1'
o-page
22=Base22[c-page] 'convert to base22 as list'
{15,10,19,17,0,1,4,2,18,10, 19, 0, 9, 18, 8, 6, 7,3,2,8,0,1,5,14,3,14,9,4,3,15,19,1,12,0}22

{F, A, J, H, 0, 1, 4, 2, I, A, J, 0, 9, I, 8, 6, 7, 3, 2, 8, 0, 1, 5, E, 3, E, 9, 4, 3, F, J, 1, C, 0}22 [34 bids]
PLO[34]=__{7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,8}22
PHI[35]= {7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7}22
___________________{E,E,E,E,E,E,E,E,E,E,E,E,E,E,E,E,E,E,E,E,E,E,E,E,E,E,E,E,E,E,E,E,E,E}22
E[34]= 2926037507887060980005271047991122076434606762
SEQ=NP+E[34] → 6017409121382725841322280040268830618577372206. In list form
{1, 8, 3, C, 9, E, F, I, H, B, 3, B,F C, B, 0, K, L, H, H, 0, E, G, 8, 6, I, 7, 1, J, 6, 8, B, G, 4, E}22
[35 bids]
The remaining step is to expand the sequence in bid speak using the reference tables tables below.




1

_

8

PPXP

F

PPXRPP


1

bpppf

2

P

9

PPXP P

G

XPPR


2

bdpppf

3

PP

A

XR

H

XPPRP


3

bppdpppf

4

X

B

XRP

I

XPPRPP


4

bdrpppf

5

XP

C

XRPP

J

PPXPPR


5

bppdrpppf

6

XPP

D

PPXR

K

PPXPPRP


6

bdpprpppf

7

PPX

E

PPXRP

L

PPDPPRPP


7

bppdpprpppf

Bid speak requires that the order of the encoding is reversed so the little bids appear first.



















E

1C

PPXRP



W

N

E

S

4

1D

X



P

P

P

1C

G

1H

XPPR



P

P

X

XX

B

1S

XRP



P

1D

X

1H

8

1N

PPXP



X

P

P

XX

6

2C

XPP



1S

X

XX

P

J

2D

PPXPPR



1N

P

P

X

1

2H

imm



P

2C

X

P

7

2S

PPX



P

2D

P

P

I

2N

XPPRPP



X

P

P

XX

6

3C

XPP



2H

2S

P

P

8

3D

PPXP



X

2N

X

P

G

3H

XPPR



P

XX

P

P

E

3S

PPXRP



3C

X

P

P

0

3N

not used



3D

P

P

X

H

4C

XPPRP



P

3H

X

P

H

4D

XPPRP



P

3S

P

P

L

4H

PPXPPRPP



X

XX

P

4C

K

4S

PPXPPRP



X

P

P

XX

0

4N

not used



P

4D

X

P

B

5C

XRP



P

XX

P

4H

C

5D

XRPP



4S

P

P

X

F

5H

PPXRPP



P

P

XX

P

B

5S

XRP



5C

X

XX

P

3

5N

PP



5H

P

P

X

B

6C

XRP



XX

P

P

5S

H

6D

XPPRP



X

XX

P

5N

I

6H

XPPRPP



P

P

6C

X

F

6S

PPXRPP



XX

P

6D

X

E

6N

PPXRP



P

P

XX

P

9

7C

PPXPP



6H

X

P

P

C

7D

XRPP



XX

P

P

6S

3

7H

PP



P

P

X

XX

8

7S

PPXP



P

P

6N

P

1

7N

ppxppxpppf



P

X

XX

P






7C

P

P

X






P

P

7D

X






XX

P

P

7H






P

P

7S

P






P

X

P

7N






p

p

x

p






p

x

p

p






p

f