Usage of Method: Logical Equivalence (for Sequences)
Appears in the following modes: “Bound” (4782 times), “Bound (linear)” (4766 times).
First 100 Prev 100 Next 100 Last 48
Incarnation | Mode | ||
---|---|---|---|
1 | No (-1, 1)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
2 | No (-1, 1)-sequence in base 3 (for arbitrarily large k) | Bound | [i] |
3 | No (-1, 1)-sequence in base 4 (for arbitrarily large k) | Bound | [i] |
4 | No (-1, 1)-sequence in base 5 (for arbitrarily large k) | Bound | [i] |
5 | No (-1, 1)-sequence in base 7 (for arbitrarily large k) | Bound | [i] |
6 | No (-1, 1)-sequence in base 8 (for arbitrarily large k) | Bound | [i] |
7 | No (-1, 1)-sequence in base 9 (for arbitrarily large k) | Bound | [i] |
8 | No (-1, 1)-sequence in base 16 (for arbitrarily large k) | Bound | [i] |
9 | No (-1, 1)-sequence in base 25 (for arbitrarily large k) | Bound | [i] |
10 | No (-1, 1)-sequence in base 27 (for arbitrarily large k) | Bound | [i] |
11 | No (-1, 1)-sequence in base 32 (for arbitrarily large k) | Bound | [i] |
12 | No (-1, 1)-sequence in base 49 (for arbitrarily large k) | Bound | [i] |
13 | No (-1, 1)-sequence in base 64 (for arbitrarily large k) | Bound | [i] |
14 | No (-1, 1)-sequence in base 81 (for arbitrarily large k) | Bound | [i] |
15 | No (-1, 1)-sequence in base 128 (for arbitrarily large k) | Bound | [i] |
16 | No (-1, 1)-sequence in base 256 (for arbitrarily large k) | Bound | [i] |
17 | No (0, 3)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
18 | No (0, m, 3)-net in base 2 with m > ∞ | Bound | [i] |
19 | No (1, 5)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
20 | No (1, m, 5)-net in base 2 with m > ∞ | Bound | [i] |
21 | No (2, 6)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
22 | No (2, m, 6)-net in base 2 with m > ∞ | Bound | [i] |
23 | No (3, 7)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
24 | No (3, m, 7)-net in base 2 with m > ∞ | Bound | [i] |
25 | No (4, 9)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
26 | No (4, m, 9)-net in base 2 with m > ∞ | Bound | [i] |
27 | No (5, 10)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
28 | No (5, m, 10)-net in base 2 with m > ∞ | Bound | [i] |
29 | No (6, 11)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
30 | No (6, m, 11)-net in base 2 with m > ∞ | Bound | [i] |
31 | No (7, 13)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
32 | No (7, m, 13)-net in base 2 with m > ∞ | Bound | [i] |
33 | No (8, 14)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
34 | No (8, m, 14)-net in base 2 with m > ∞ | Bound | [i] |
35 | No (9, 15)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
36 | No (9, m, 15)-net in base 2 with m > ∞ | Bound | [i] |
37 | No (10, 16)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
38 | No (10, m, 16)-net in base 2 with m > ∞ | Bound | [i] |
39 | No (11, 17)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
40 | No (11, m, 17)-net in base 2 with m > ∞ | Bound | [i] |
41 | No (12, 18)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
42 | No (12, m, 18)-net in base 2 with m > ∞ | Bound | [i] |
43 | No (13, 19)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
44 | No (13, m, 19)-net in base 2 with m > ∞ | Bound | [i] |
45 | No (14, 21)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
46 | No (14, m, 21)-net in base 2 with m > ∞ | Bound | [i] |
47 | No (15, 22)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
48 | No (15, m, 22)-net in base 2 with m > ∞ | Bound | [i] |
49 | No (16, 23)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
50 | No (16, m, 23)-net in base 2 with m > ∞ | Bound | [i] |
51 | No (17, 24)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
52 | No (17, m, 24)-net in base 2 with m > ∞ | Bound | [i] |
53 | No (18, 25)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
54 | No (18, m, 25)-net in base 2 with m > ∞ | Bound | [i] |
55 | No (19, 26)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
56 | No (19, m, 26)-net in base 2 with m > ∞ | Bound | [i] |
57 | No (20, 27)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
58 | No (20, m, 27)-net in base 2 with m > ∞ | Bound | [i] |
59 | No (21, 28)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
60 | No (21, m, 28)-net in base 2 with m > ∞ | Bound | [i] |
61 | No (22, 29)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
62 | No (22, m, 29)-net in base 2 with m > ∞ | Bound | [i] |
63 | No (23, 30)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
64 | No (23, m, 30)-net in base 2 with m > ∞ | Bound | [i] |
65 | No (24, 31)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
66 | No (24, m, 31)-net in base 2 with m > ∞ | Bound | [i] |
67 | No (25, 32)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
68 | No (25, m, 32)-net in base 2 with m > ∞ | Bound | [i] |
69 | No (26, 33)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
70 | No (26, m, 33)-net in base 2 with m > ∞ | Bound | [i] |
71 | No (27, 34)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
72 | No (27, m, 34)-net in base 2 with m > ∞ | Bound | [i] |
73 | No (28, 35)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
74 | No (28, m, 35)-net in base 2 with m > ∞ | Bound | [i] |
75 | No (29, 37)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
76 | No (29, m, 37)-net in base 2 with m > ∞ | Bound | [i] |
77 | No (30, 38)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
78 | No (30, m, 38)-net in base 2 with m > ∞ | Bound | [i] |
79 | No (31, 39)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
80 | No (31, m, 39)-net in base 2 with m > ∞ | Bound | [i] |
81 | No (32, 40)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
82 | No (32, m, 40)-net in base 2 with m > ∞ | Bound | [i] |
83 | No (33, 41)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
84 | No (33, m, 41)-net in base 2 with m > ∞ | Bound | [i] |
85 | No (34, 42)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
86 | No (34, m, 42)-net in base 2 with m > ∞ | Bound | [i] |
87 | No (35, 43)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
88 | No (35, m, 43)-net in base 2 with m > ∞ | Bound | [i] |
89 | No (36, 44)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
90 | No (36, m, 44)-net in base 2 with m > ∞ | Bound | [i] |
91 | No (37, 45)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
92 | No (37, m, 45)-net in base 2 with m > ∞ | Bound | [i] |
93 | No (38, 46)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
94 | No (38, m, 46)-net in base 2 with m > ∞ | Bound | [i] |
95 | No (39, 47)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
96 | No (39, m, 47)-net in base 2 with m > ∞ | Bound | [i] |
97 | No (40, 48)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
98 | No (40, m, 48)-net in base 2 with m > ∞ | Bound | [i] |
99 | No (41, 49)-sequence in base 2 (for arbitrarily large k) | Bound | [i] |
100 | No (41, m, 49)-net in base 2 with m > ∞ | Bound | [i] |