[seqfan] Re: searching on oeis.org for sequences with partial information

andre maute andre.maute at gmx.de
Sun Mar 7 22:56:45 CET 2021


Hello list,

looks like I have one more sequence member,

A(1) = 1, A(2) = 3, A(3) = 30, A(4) = 1080, A(5) = 570

So Charles idea with A203478 and A028362 doesn't work

Andre

On 2/16/21 9:39 PM, Charles Greathouse wrote:
> For the original question, I don't know of better approaches than (1) using
> stripped.gz to restrict matches to the beginning, optionally skipping the
> first term, and (2) finding relationships manually (dividing out factors,
> etc.).
>
> With the first three terms I wouldn't have found anything, but with the
> fourth I found
> A203478(n) = A028362(n+1) * 2^(n*(n-1)/2)
> which may be relevant to you.
>
> On Thu, Feb 11, 2021 at 1:28 AM andre maute <andre.maute at gmx.de> wrote:
>
>> FYI, i have now the fourth term of this sequence
>>
>> A(1) = 1, A(2) = 3, A(3) = 30, A(4) = 1080
>>
>> The fifth term is out of scope at the moment,
>> because my C++ program needed already 1500 minutes for A(4).
>>
>> A(d) somehow counts the number of ways to reconnect
>> the d-simplices of a particular dissected d-hypercube.
>>
>> Andre
>>
>> On 2/9/21 9:30 PM, andre maute wrote:
>>> Hello list,
>>>
>>> I have sometimes the following problem when doing some type of
>> enumeration.
>>> I wonder if there is already a feature on oeis.org which would help
>> here.
>>>
>>> Suppose you have written a program generating
>>> a sequence A(n), which does some intermediate (debug) output.
>>>
>>> The computation of the A(n) gets slower and slower with the next n,
>>> but due to the availability of the intermediate output it is possible
>>> to extract perhaps some lower bound for a particular A(n).
>>>
>>> So you have e.g.
>>> A(1) = 1, A(2) = 3, A(3) = 30, A(4) > 500
>>>
>>> Would it possible to use this information, for an oeis.org search?
>>>
>>> For this sequence I would like to enter:
>>> "1, 3, 30, >500"
>>>
>>> Best Regards
>>> Andre
>>>
>>> --
>>> Seqfan Mailing list - http://list.seqfan.eu/
>>
>>
>> --
>> Seqfan Mailing list - http://list.seqfan.eu/
>>
>
> --
> Seqfan Mailing list - http://list.seqfan.eu/
>




More information about the SeqFan mailing list