Page 21 of 49
Re: Cooperative Zendo
Posted: Sat Oct 01, 2016 10:42 am
by DanielH
S̶o̶ ̶i̶t̶ ̶s̶e̶e̶m̶s̶ ̶l̶i̶k̶e̶ ̶c̶ ̶h̶a̶̶s̶ ̶n̶o̶ ̶v̶a̶l̶u̶e̶.̶
L̶e̶t̶t̶i̶n̶g̶ ̶a̶ ̶b̶e̶ ̶1̶,̶ ̶t̶h̶i̶s̶ ̶s̶e̶e̶m̶s̶ ̶t̶o̶ ̶i̶m̶p̶l̶y̶ ̶t̶h̶e̶ ̶f̶o̶l̶l̶o̶w̶i̶n̶g̶ ̶v̶a̶l̶u̶e̶s̶:̶
c̶ ̶⟼̶ ̶0̶
a̶ ̶≍̶ ̶b̶ ̶⟼̶ ̶1̶
0̶ ̶⟼̶ ̶2̶
w̶ ̶⟼̶ ̶3̶
Can you confirm that you classified both fir and firc correctly? I expect you did but not asking caused problems last time around.
Let’s see what else happens:
clove (should be no, because
love is)
cater (should be no, because
ater is)
acir (should be yes, because
air is)
wac (should be yes, because
wa is)
Quikly (should be yes, because
Quickly is)
jakdaws (should be no, because
jackdaws is)
cc
ccc
cccc
ccccc
PS: A
strikethrough function which works better and is easier than adding U+033c to every character would be nice. My Python function to do it for me is very fragile, too.
Re: Cooperative Zendo
Posted: Sat Oct 01, 2016 6:22 pm
by Lambda
I'm ignoring the red text because it's been crossed out.
fir: yes.
firc: no.
(These were their previous classifications, which were correct.)
clove: yes
cater: yes
acir: no
wac: yes
Quikly: no
jakdaws: yes
cc: no
ccc: yes
cccc: no
ccccc: yes
Re: Cooperative Zendo
Posted: Sat Oct 01, 2016 7:15 pm
by DanielH
The red text was my thoughts before I noticed the thing I asked about in green. There is obviously something incorrect about them but they could still be useful somehow.
Re: Cooperative Zendo
Posted: Sat Oct 01, 2016 8:07 pm
by DanielH
Okay, my next thought is that c and possibly the have larger values than we’ve seen and the aⁿ pattern repeats or almost repeats. Let’s get a bit more of the pattern; this should help figure out what it is whether or not my hypothesis is correct.
We already have a^0 to a^20 and a^24
[spoiler-box=Known and suspected lowercase-a^n values]
a^0 ⟼ N
a^1 ⟼ N
a^2 ⟼ N
a^3 ⟼ Y
a^4 ⟼ N
a^5 ⟼ Y
a^6 ⟼ N
a^7 ⟼ Y
a^8 ⟼ Y
a^9 ⟼ Y
a^10 ⟼ N
a^11 ⟼ Y
a^12 ⟼ N
a^13 ⟼ Y
a^14 ⟼ Y
a^15 ⟼ Y
a^16 ⟼ N
a^17 ⟼ Y
a^18 ⟼ N
a^19 ⟼ Y
a^20 ⟼ Y
a^21 ⟼ Y?
a^22 ⟼ N?
a^23 ⟼ Y?
a^24 ⟼ Y
[/spoiler-box]
a^21 (suspect yes, from evidence in the hint)
a^22 (suspect no, from evidence in the hint)
a^23 (suspect yes, from evidence in the hint)
a^25
a^26
a^27
a^28
a^29
a^30
a^31
Re: Cooperative Zendo
Posted: Sat Oct 01, 2016 11:22 pm
by Lambda
a^21: yes
a^22: no
a^23: yes
a^25: yes
a^26: yes
a^27: yes
a^28: no
a^29: yes
a^30: no
a^31: yes
I found another error: for some reason, the wa^n series seems to have gotten muddled up in the koan log. It should be fixed now. Sorry for any confusion.
Re: Cooperative Zendo
Posted: Sat Oct 01, 2016 11:51 pm
by DanielH
After the initial three nos all the runs off yesses so far are separated by single nos and have odd length. In other words, all the nos except for a^1 are at even points.
I strongly suspect the yesses are at numbers one less than composites.
Re: Cooperative Zendo
Posted: Sun Oct 02, 2016 2:04 pm
by DanielH
Oh, I was mistaken; this evidence indicates that c is equivalent to another a or b.
Is anybody else even looking at these anymore?
Re: Cooperative Zendo
Posted: Sun Oct 02, 2016 2:33 pm
by Throne3d
I'm looking at it but I don't seem to be particularly good at this sort of thing, not particularly interested in taking part, so I haven't been doing so. (Except when people ask for a spare 'z' or something.)
Re: Cooperative Zendo
Posted: Mon Oct 03, 2016 12:45 am
by kuuskytkolme
I'm still here, but all out of ideas.
Re: Cooperative Zendo
Posted: Mon Oct 03, 2016 9:21 pm
by DanielH
I think each string is converted to a number by adding up the values of each character, and that number is accepted if it's one less than a composite. I have no clue how the characters are converted to numbers, except that a seems to have value 1 and others seem to have small positive integer value. I can try writing a program to figure some out or at least checking the suspected values with known koans and non-koans.
In the meantime, the letters in the are most important for those checks probably, because we looked at a lot of powers of the already.
Therefore, {ta^n | n ∈ [0,9] ∩ ℤ}