[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
login
Revision History for A351461 (Bold, blue-underlined text is an addition; faded, red-underlined text is a deletion.)

Showing entries 1-10 | older changes
Lexicographically earliest infinite sequence such that a(i) = a(j) => A206787(i) = A206787(j) and A336651(i) = A336651(j) for all i, j >= 1.
(history; published version)
#23 by Michael De Vlieger at Thu Nov 23 15:14:03 EST 2023
STATUS

proposed

approved

#22 by Antti Karttunen at Thu Nov 23 14:19:14 EST 2023
STATUS

editing

proposed

Discussion
Thu Nov 23
14:22
Michel Marcus: why do you use this form of signature :' From Antti Karttunen, Nov 23 2023: (Start)" for a single paragraph comment ??  or you want to make several paragraphs ??
15:02
Antti Karttunen: Well, originally I intended to separate the text to multiple paragraphs. In any case, I think it is clearer to use the (Start) ... (End) comment when the text is long. But I'm open to other ideas also.
#21 by Antti Karttunen at Thu Nov 23 14:17:23 EST 2023
COMMENTS

Conjectured to be equal to the lexicographically earliest infinite sequence such that b(i) = b(j) => A000593(i) = A000593(j) and A336467(i) = A336467(j) for all i, j >= 1. In any case, a(i) = a(j) => b(i) = b(j) for all i, j >= 1 [because both A000593(n) and A336467(n) can be represented as functions computed from the values of A206787(n) and A336651(n)], but whether the implication holds to the opposite direction is still open. Empirically this has been checked up to n = 2^22. See also comment in A351040.

#20 by Antti Karttunen at Thu Nov 23 14:16:34 EST 2023
COMMENTS

Conjectured to be equal to the lexicographically earliest infinite sequence such that b(i) = b(j) => A000593(i) = A000593(j) and A336467(i) = A336467(j) for all i, j >= 1, i.e., sequence b formed as a restricted growth sequence transform of the ordered pair [A000593(n), A336467(n)]. In any case, a(i) = a(j) => b(i) = b(j) for all i, j >= 1 [because both A000593(n) and A336467(n) can be represented as functions of A206787(n) and A336651(n)], but whether the implication holds in to the opposite direction is still open. Empirically this has been checked up to n = 2^22. See also comment in A351040.

#19 by Antti Karttunen at Thu Nov 23 14:13:01 EST 2023
#18 by Antti Karttunen at Thu Nov 23 14:11:44 EST 2023
COMMENTS

Conjectured to be equal to the lexicographically earliest infinite sequence such that ab(i) = ab(j) => A000593(i) = A000593(j) and A336467(i) = A336467(j) for all i, j >= 1, i.e., sequence b formed as a restricted growth sequence transform of the ordered pair [A000593(n), A336467(n)]. In any case, a(i) = a(j) => b(i) = b(j) for all i, j >= 1 [because both A000593(n) and A336467(n) can be represented as functions of A206787(n) and A336651(n)], but whether the implication holds in the opposite direction is still open. Empirically this has been checked up to n = 2^22. See also comment in A351040.

#17 by Antti Karttunen at Thu Nov 23 13:58:04 EST 2023
COMMENTS

Conjectured to be equal to the lexicographically earliest infinite sequence such that a(i) = a(j) => A000593(i) = A000593(j) and A336467(i) = A336467(j) for all i, j >= 1, i.e., sequence b formed as a restricted growth sequence transform of the ordered pair [A000593(n), A336467(n)]. In any case, a(i) = a(j) => b(i) = b(j) for all i, j >= 1 [because both A000593(n) and A336467(n) can be represented as functions of A206787(n) and A336651(n)], but whether the implication holds in the opposite direction is still open. Empirically it this has been checked up to n = 2^22. See also comment in A351040.

#16 by Antti Karttunen at Thu Nov 23 13:34:31 EST 2023
COMMENTS

Conjectured to be equal to the sequence b formed as a restricted growth sequence transform of the ordered pair [A000593(n), A336467(n)]. In any case, a(i) = a(j) => b(i) = b(j) for all i, j >= 1 [because both A000593(n) and A336467(n) can be represented as functions of A206787(n) and A336651(n)], but whether the implication holds in the opposite direction is still open. Empirically it has been checked up to n = 2^22.

#15 by Antti Karttunen at Thu Nov 23 13:32:34 EST 2023
COMMENTS

A324400(i) = A324400(j) => A003602(i) = A003602(j) => A351040(i) = A351040(j) => a(i) = a(j),

A351040A324400(i) = A351040A324400(j) => A351460(i) = A351460(j) => a(i) = a(j),

#14 by Antti Karttunen at Thu Nov 23 13:31:27 EST 2023
COMMENTS

A324400A351040(i) = A324400A351040(j) => A351460(i) = A351460(j) => a(i) = a(j),