In[]:=
PacletInstall["https://115-333562015-gh.circle-artifacts.com/0/BuiltPaclets/PostTagSystem-0.0.14.paclet"]
Out[]=
$Failed
In[]:=
<<PostTagSystem`
In[]:=
?PostTagSystem`*
Out[]=
PostTagSystem`
NDTMEvaluate
PostTagSystem
$PostTagSystemBuildTime
$PostTagSystemLibraryBuildTime
$PostTagSystemRootDirectory
NDTMEvaluateSimple
PostTagSystemEvolution
$PostTagSystemGitSHA
$PostTagSystemLibraryPath
​
In[]:=
?NDTMEvaluate
Out[]=
Symbol
NDTMEvaluate[rules,eventLimit,stateLimit] evaluates an NDTM and returns the max event count and a total statecount.
In[]:=
NDTMEvaluate[Flatten[#],100,100]&/@{{{{1,1}{1,1,-1}},{{1,1}{2,1,-1}},{{1,0}{2,1,1}},{{2,0}{1,1,-1}}},{{{1,1}{2,1,-1}},{{1,0}{2,1,1}},{{1,0}{2,0,1}},{{2,0}{1,1,-1}}},{{{1,1}{2,0,-1}},{{1,0}{2,1,-1}},{{2,0}{1,1,1}},{{2,0}{1,0,1}}},{{{2,1}{1,1,1}},{{2,1}{2,1,-1}},{{1,0}{2,1,-1}},{{2,0}{2,0,1}}}}
Out[]=
{MaxEventCount6,StateCount8,MaxEventCount6,StateCount11,MaxEventCount6,StateCount8,MaxEventCount6,StateCount7}
In[]:=
RepresentativeKernels[]:=Last/@First/@GatherBy[ParallelEvaluate[{$MachineName,#},#]&/@Kernels[],First]
In[]:=
SetAttributes[ParallelOnce,HoldFirst]
In[]:=
ParallelOnce[expr_]:=ParallelEvaluate[expr,RepresentativeKernels[]]
In[]:=
ParallelOnce[PacletInstall["https://125-333562015-gh.circle-artifacts.com/2/BuiltPaclets/PostTagSystem-0.0.14.paclet"]]
(kernel 1)
PacletInstall::readonly:The PacletManager application is running in read-only mode; paclets cannot be installed or uninstalled.
(kernel 62)
PacletInstall::readonly:The PacletManager application is running in read-only mode; paclets cannot be installed or uninstalled.
(kernel 50)
Loading from Wolfram Research server ...
Out[]=
$Failed,PacletObject
Name: PostTagSystem
Version: 0.0.14
,PacletObject
Name: PostTagSystem
Version: 0.0.14
,PacletObject
Name: PostTagSystem
Version: 0.0.14
,$Failed
In[]:=
NDTMEvaluateSimple[#,100,10^5]&/@DeleteCases[Subsets[TMRuleCases[2,2],{2}],{}]
Out[]=
In[]:=
ResourceFunction["ParallelMapMonitored"][NDTMEvaluateSimple[#,100,10^5]&,DeleteCases[Subsets[TMRuleCases[2,2],{2}],{}]]
Out[]=
In[]:=
ResourceFunction["ParallelMapMonitored"][NDTMEvaluateSimple[#,100,10^5]&,DeleteCases[Subsets[TMRuleCases[2,2],{2}],{}]]
Out[]=
In[]:=
ResourceFunction["ParallelMapMonitored"][NDTMEvaluateSimple[#,100,10^5]&,DeleteCases[Subsets[TMRuleCases[2,2],{3}],{}]];
Out[]=
$Aborted
In[]:=
ResourceFunction["ParallelMapMonitored"][NDTMEvaluateSimple[#,100,1000]&,DeleteCases[Subsets[TMRuleCases[2,2],{3}],{}]];
In[]:=
Cases[%,{x_,_}x]
Out[]=
In[]:=
Counts[%]
Out[]=
12024,2612,382,434,54,610
In[]:=
Counts[Cases[%344,{_,x_}x]]
Out[]=
12024,2512,3164,450,54,610,72
mres4=ResourceFunction["ParallelMapMonitored"][NDTMEvaluateSimple[#,100,1000]&,DeleteCases[Subsets[TMRuleCases[2,2],{4}],{}]]
In[]:=
TestTMs[2,2,2,100,10^5];//AbsoluteTiming
Out[]=
{5.81825,Null}
In[]:=
ResourceFunction["ParallelMapMonitored"][NDTMEvaluateSimple[#,100,10^5]&,DeleteCases[Subsets[TMRuleCases[2,2],{2}],{}]];//AbsoluteTiming
Out[]=
{3.02072,Null}
In[]:=
TestTMs[2,2,3,100,10^5];//AbsoluteTiming
Out[]=
{81.1668,Null}
In[]:=
ResourceFunction["ParallelMapMonitored"][NDTMEvaluateSimple[#,100,10^5]&,DeleteCases[Subsets[TMRuleCases[2,2],{3}],{}]];//AbsoluteTiming
Out[]=
$Aborted
In[]:=
ResourceFunction["ParallelMapMonitored"][NDTMEvaluateSimple[#,100,10^5]&,DeleteCases[Subsets[TMRuleCases[2,2],{3}],{}]];//AbsoluteTiming
Out[]=
$Aborted
In[]:=
ResourceFunction["ParallelMapMonitored"][NDTMEvaluateSimple[#,100,100]&,DeleteCases[Subsets[TMRuleCases[2,2],{3}],{}]];//AbsoluteTiming
Out[]=
{10.045,Null}
In[]:=
ResourceFunction["ParallelMapMonitored"][NDTMEvaluateSimple[#,100,1000]&,DeleteCases[Subsets[TMRuleCases[2,2],{3}],{}]];//AbsoluteTiming
Out[]=
{12.1303,Null}
In[]:=
ResourceFunction["ParallelMapMonitored"][NDTMEvaluateSimple[#,100,1000]&,DeleteCases[Subsets[TMRuleCases[2,2],{3}],{}]];
In[]:=
Length[%]
Out[]=
4960
In[]:=
ResourceFunction["ParallelMapMonitored"][NDTMEvaluate[#,100,1000]&,DeleteCases[Subsets[TMRuleCases[2,2],{3}],{}]];
In[]:=
Take[%,10]
Out[]=
{MaxEventCount1,StateCount1,MaxEventCount1,StateCount1,MaxEventCount1,StateCount1,MaxEventCount1,StateCount1,MaxEventCount1,StateCount1,MaxEventCount1,StateCount1,MaxEventCount1,StateCount1,MaxEventCount1,StateCount1,MaxEventCount1,StateCount1,MaxEventCount1,StateCount1}
In[]:=
Take[ReverseSortBy[Cases[%357,_Failure],#[[2,Key["StateCount"]]]&],10]
Out[]=
Failure

MaxEventCount: 9
StateCount: 1916
Tag: MaxStatesExceeded
,Failure

MaxEventCount: 9
StateCount: 1916
Tag: MaxStatesExceeded
,Failure

MaxEventCount: 14
StateCount: 1596
Tag: MaxStatesExceeded
,Failure

MaxEventCount: 14
StateCount: 1596
Tag: MaxStatesExceeded
,Failure

MaxEventCount: 14
StateCount: 1596
Tag: MaxStatesExceeded
,Failure

MaxEventCount: 14
StateCount: 1596
Tag: MaxStatesExceeded
,Failure

MaxEventCount: 14
StateCount: 1596
Tag: MaxStatesExceeded
,Failure

MaxEventCount: 14
StateCount: 1596
Tag: MaxStatesExceeded
,Failure

MaxEventCount: 14
StateCount: 1596
Tag: MaxStatesExceeded
,Failure

MaxEventCount: 14
StateCount: 1596
Tag: MaxStatesExceeded

In[]:=
(mres3=ResourceFunction["ParallelMapMonitored"][NDTMEvaluate[#,100,10^5]&,DeleteCases[Subsets[TMRuleCases[2,2],{3}],{}]];)//AbsoluteTiming
Out[]=
{148.358,Null}
In[]:=
(mres3=ResourceFunction["ParallelMapMonitored"][NDTMEvaluate[#,100,10^5]&,DeleteCases[Subsets[TMRuleCases[2,2],{3}],{}]];)//AbsoluteTiming
Out[]=
$Aborted
In[]:=
(mres3=ResourceFunction["ParallelMapMonitored"][TimeConstrained[NDTMEvaluate[#,100,10^5],5]&,DeleteCases[Subsets[TMRuleCases[2,2],{3}],{}]];)//AbsoluteTiming
Out[]=
$Aborted
In[]:=
RandomSample[TMRuleCases[2,2],3]
Out[]=
{{2,0}{1,1,-1},{1,0}{2,1,-1},{1,1}{1,1,-1}}