In[]:=
2+2
Out[]=
4
In[]:=
cfCTQueueHalting=FunctionCompile[Function[{Typed[rules,"ListArray"["PackedArray"["MachineInteger",1]]],Typed[init,"PackedArray"["MachineInteger",1]],Typed[t,"MachineInteger"]},Module[{res=0,q=CreateDataStructure["Queue"]},Scan[q["Push",#]&,init];​​Do[If[q["Length"]<1,res=tt;Break[],If[q["Pop"]≠0,Scan[q["Push",#]&,rules[[tt-Length[rules]*Quotient[tt-1,Length[rules]]]]]]],{tt,t}];​​res]]];
In[]:=
Now
Out[]=
Tue 2 Mar 2021 02:06:03GMT-5
In[]:=
cfCTQueueHalting[{{0,1},{0},{0,1,1}},IntegerDigits[7655,2,13],10^7]//AbsoluteTiming
Out[]=
{0.599961,0}
In[]:=
cfCTQueueHalting[{{0,1},{0},{0,1,1}},IntegerDigits[7655,2,13],10^8]//AbsoluteTiming
Out[]=
{6.51298,0}
In[]:=
cfCTQueueHalting[{{0,1},{0},{0,1,1}},IntegerDigits[7655,2,13],10^11]//AbsoluteTiming
Out[]=
{714.358,10805957330}
In[]:=
Now
Out[]=
Tue 2 Mar 2021 02:18:47GMT-5
In[]:=
NotebookSave[]
In[]:=
cfCTQueueHalting[{{0,1},{0},{0,1,1}},IntegerDigits[7655,2,13],10^12]//AbsoluteTiming
Out[]=
{709.928,10805957330}
In[]:=
Now
Out[]=
Tue 2 Mar 2021 02:30:37GMT-5
In[]:=
NotebookSave[]
In[]:=
cfCTQueueHalting[{{0,1},{0},{0,1,1}},IntegerDigits[7655,2,13],10^13]//AbsoluteTiming
Out[]=
{711.433,10805957330}
In[]:=
Now
Out[]=
Tue 2 Mar 2021 02:42:29GMT-5
In[]:=
NotebookSave[]
Out[]=
1
5
(-1+
5
)
-Ceiling
n
2
-Ceiling
1+n
2

2
1+
5
3
Ceiling
n
2

2
1+
5
+
5
Ceiling
n
2

2
1+
5
-
3+Ceiling
n
2
+Ceiling
1+n
2

2
-Ceiling
n
2
-Ceiling
1+n
2

(1+
5
)
-
2+Ceiling
n
2
+Ceiling
1+n
2

2
5
-Ceiling
n
2
-Ceiling
1+n
2

(1+
5
)
+
2+Ceiling
1+n
2

2
-Ceiling
1+n
2

(1+
5
)
+
1+Ceiling
1+n
2

2
5
-Ceiling
1+n
2

(1+
5
)
-
-Ceiling
n
2
-Ceiling
1+n
2

1
2
(1+
5
)
8
3
(1+
5
)
n1
4(1-[1+n])
2
(1+
5
)
True
+
5
-Ceiling
n
2
-Ceiling
1+n
2

1
2
(1+
5
)
8
3
(1+
5
)
n1
4(1-[1+n])
2
(1+
5
)
True
In[]:=
FullSimplify[%,n>3]
Out[]=
-23-9
5
+
Ceiling
1+n
2


1
2
(1+
5
)
(7+3
5
)+
Ceiling
n
2


1
2
(1+
5
)
(11+5
5
)-(-1+
5
)[1+n]
5+
5
In[]:=
Sum[Fibonacci[Ceiling[i/2+2]],{i,1,n,2}]+Sum[Fibonacci[Ceiling[i/2+2]],{i,2,n,2}]​​
Out[]=
-
4
-3-Floor
n
2

(-1-
5
)
-
Floor
n
2

2
(-1+
5
)-6
Floor
n
2

(-1-
5
)
(5+2
5
)+
Floor
n
2

-
1
2

2Floor
n
2

(1+
5
)
(29+13
5
)
5
+
-3(15+7
5
)+
1+Ceiling
1-n
2

2
-Ceiling
1-n
2

(1+
5
)
(38+17
5
)+(-1+
5
)
Ceiling
1-n
2


1
2
(1+
5
)
πCeiling
1-n
2


15+7
5
In[]:=
FullSimplify[%,n>3]
Out[]=
1
10
-60+(25-11
5
)
Ceiling
1-n
2

1
2
(-1-
5
)
+(15-7
5
)
Floor
n
2

-
2
1+
5
+
Floor
n
2

1
2
(1+
5
)
(15+7
5
)+
Ceiling
1-n
2

1
2
(-1+
5
)
(25+11
5
)
In[]:=
dbp=Flatten[DeBruijnSequence[{{0,0},{1,1,0,1}},25]];
In[]:=
ParallelTable[With[{case=SortBy[Tally[Partition[dbp,k,1,1]],{Last[#],First[#]}&]},​​With[{div=Last[First[case]]},​​{First[Last[#]],Length[First[#]]}&/@(Transpose/@SplitBy[{#[[1]],#[[2]]/div}&/@case,Last])]],{k,2,24}]
LinkObject
:Unable to communicate with closed link LinkObject[/usr/local/Wolfram/Mathematica/12.2/Executables/wolfram -subkernel -noinit -pacletreadonly -wstp,14438,18].
KernelObject
:Subkernel connected through KernelObject
Name: local
KernelID: 11
 appears dead.
Parallel`Developer`QueueRun
::req
:Requeueing evaluations {6} assigned to KernelObject
Name: local
State: defunct
.
LinkObject
:Unable to communicate with closed link LinkObject[/usr/local/Wolfram/Mathematica/12.2/Executables/wolfram -subkernel -noinit -pacletreadonly -wstp,14434,14].
KernelObject
:Subkernel connected through KernelObject
Name: local
KernelID: 7
 appears dead.
Parallel`Developer`QueueRun
::req
:Requeueing evaluations {10} assigned to KernelObject
Name: local
State: defunct
.
LinkObject
:Unable to communicate with closed link LinkObject[/usr/local/Wolfram/Mathematica/12.2/Executables/wolfram -subkernel -noinit -pacletreadonly -wstp,14431,11].
General
:Further output of LinkObject::linkd will be suppressed during this calculation.
KernelObject
:Subkernel connected through KernelObject
Name: local
KernelID: 4
 appears dead.
General
:Further output of KernelObject::rdead will be suppressed during this calculation.
Parallel`Developer`QueueRun
::req
:Requeueing evaluations {13} assigned to KernelObject
Name: local
State: defunct
.
General
:Further output of Parallel`Developer`QueueRun::req will be suppressed during this calculation.
LaunchKernels
:Kernel KernelObject
Name: local
State: defunct
 resurrected as KernelObject
Name: local
KernelID: 17
.
LaunchKernels
:Kernel KernelObject
Name: local
State: defunct
 resurrected as KernelObject
Name: local
KernelID: 18
.
LaunchKernels
:Kernel KernelObject
Name: local
State: defunct
 resurrected as KernelObject
Name: local
KernelID: 19
.
General
:Further output of LaunchKernels::clone will be suppressed during this calculation.