首页/论文/2005.08856

arXiv 2005.088562020-05-19math.COcs.DScs.LOcs.SE

如何生成随机lambda项？

How to generate random lambda terms?

Maciej Bendkowski

备注：: Fixed typo in the S-combinator

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们调查了几种方法产生大的随机的双曲项，专注于他们的封闭和简单类型的变体。我们讨论了精确和近似大小生成的方法，以及实现大小均匀和非均匀结果分布的方法。

英文摘要：

We survey several methods of generating large random lambda-terms, focusing on their closed and simply-typed variants. We discuss methods of exact- and approximate-size generation, as well as methods of achieving size-uniform and non-uniform outcome distributions.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

lambda项的统计性质

Statistical properties of lambda terms

我们提出了一个定量的，统计分析的随机lambda条款的de Bruijn符号。以下的分析方法，使用多元生成函数，我们调查的各种组合参数的随机开放和封闭的lambda条款，包括赎回，头部抽象，自由变元或de Bruijn指数值配置文件的数量的分布。此外，我们进行了平均情况下的复杂性分析，发现最左最外的redex在随机lambda条款表明，它是平均常数。我们的分析的主要技术成分是一种新的方法，处理组合参数内某些无限的，多元生成函数的代数系统。最后，我们简要地讨论了随机生成的lambda项以下一个给定的偏态参数分布，并提供经验的结果，一系列更涉及的组合参数，如开放的子项和绑定抽象的数量在封闭的lambda项。

2018-08-14cs.LOmath.COmath.PR

关于伪随机图中Hamilton圈的个数

On the number of Hamilton cycles in pseudo-random graphs

证明了如果G是一个（n，d，lambda）-图（n阶d-正则图，其所有非平凡特征值至多为lambda），且满足下列条件：1. d/lambda >=（logn）^{1+ n}，对某个常数n>0; 2.logd * lod（d/lambda）>> logn，则G中Hamilton圈的个数为n！（d/n）^n（1+o（1））^n.

2012-01-09math.CO

关于闭包与环境的枚举及其在随机生成中的应用

On the enumeration of closures and environments with an application to random generation

本文研究λ-演算中环境和闭包的渐近计数与随机生成，针对朴素与封闭两类结构，利用生成函数构造有效采样器，并讨论封闭类的相关问题。

2019-10-16cs.LOmath.CO

三叶映射参数的渐近分布与线性λ项

Asymptotic Distribution of Parameters in Trivalent Maps and Linear Lambda Terms

大型随机映射和随机项的结构性质可以通过研究各种感兴趣的参数的极限分布来收集。在我们的工作中，我们专注于限制类的地图和他们的对应物在Escherida演算，最近建立在这两个域之间的双射连接。在这种情况下，映射中的参数自然地对应于非参数项中的参数，反之亦然。通过一个相互作用的项和地图，我们得到各种组合规范，使我们能够访问分布的相关参数对，如：根三价映射中的桥数、闭线性二阶项中的子项数、（1，3）-叶映射中的1度顶点数、开线性二阶项中的自由变元数等。我们介绍适当的工具：一个微分方程的矩泵模式和一个由本德定理启发的组合模式。

2021-06-15cs.LOmath.CO

用De Bruijn表示的加权长度计数λ项

Enumerating Lambda Terms by Weighted Length of Their De Bruijn Representation

John Tromp引入了所谓的“二进制lambda演算”，作为一种使用de Bruijn表示和加权方案以0-1字符串形式编码lambda项的方法。后来，Grygiel和Lescanne证明了具有$m$自由索引和大小为$n$的二进制lambda项的数量（编码为长度为$n$的二进制字并根据Tromp的权重）是$o(n^{-3/2} τ^{-n})$ for $τ\approx 1.963448\ldots$。我们概括了所提出的概念的大小，并表明，对于几个类的lambda条款，包括二进制lambda条款与$m$自由指数，条款的大小$n$的数量是$Θ{n^{-3/2} ρ^{-n}}$与一些类相关常数$ρ$，特别是反驳上述猜想。所使用的方法是建立生成函数的类的lambda条款。这些是无限嵌套的根，然后通过奇异性分析进行研究。我们进一步展示了如何随机lambda项的一些属性可以分析，并提出了一种方法来采样lambda项均匀随机在一个非常有效的方式。这允许在合理的时间内生成大小超过一百万的项，这明显优于迄今为止文献中提出的采样器。

2017-07-07math.COmath.LO

临界随机图的连续极限

The continuum limit of critical random graphs

我们考虑在临界窗口内的Erdos-Renyi随机图G（n，p），即当p=1/n+ lambda*n^{-4/3}时，对R中某个固定的lambda.然后，作为一个度量空间，其图距离被n^{-1/3}重标，连通分支序列G（n，p）收敛到一个连续紧度量空间序列。这个结果依赖于图与某些有标记的随机游动之间的一个双射，以及连续随机树的理论。我们的结果给出了许多关于临界随机图中距离的问题的答案。特别地，我们证明了G（n，p）的直径按n^{-1/3}重新标度后按分布收敛于一个具有有限均值的绝对连续随机变量.

2009-05-06math.COmath.PR

更多相关论文收起更多论文

一元高度受限的一元-二元树状结构的个数

On the number of unary-binary tree-like structures with restrictions on the unary height

我们考虑各种类的Motzkin树，以及AZIDA条款，我们得出的渐近枚举结果。这些类分别通过关于一元节点或抽象的各种限制来定义：我们要么限制它们的数量，要么限制允许的嵌套级别。枚举是通过生成函数的方法和奇异性分析。生成函数由嵌套的平方根组成，在某些情况下表现出意想不到的现象。此外，我们提出了一些意见，从随机生成这些条款，并解释为什么通常强大的工具，随机生成，如玻尔兹曼采样器，面临着严重的困难，在生成的非线性项。

2015-10-05math.CO

临界随机图：极限构造和分布性质

Critical random graphs: limiting constructions and distributional properties

我们考虑在临界窗口内的Erdos-Renyi随机图G（n，p），其中p = 1/n + lambda * n^{-4/3}对于R中的某个lambda.我们在以前的文章（arXiv：0903.4730）中证明了：将G（n，p）的连通分支看作是一列度量空间，其图距离被n^{-1/3}重新标度，并使n趋于无穷大，得到一列非平凡的极限度量空间C =（C_1，C_2，.）.这些极限度量空间可以由具有顶点标识的随机实树构造。对于一个这样的度量空间，我们给出了两个等价的构造，这两个构造都是根据更标准的概率对象。第一种是利用Dirichlet随机变量和Aldous的布朗连续统随机树的全局构造。第二种是R_+上的非齐次Poisson点过程的递归构造。这些结构使我们能够表征的质量和长度的分布在组成部分的极限组件时，它是根据其循环结构分解。特别是，这加强了Luczak，Pittel和Wierman的结果，提供精确的分布收敛的内核顶点之间的路径长度和最短周期的长度，在任何固定的限制组件。

2010-03-27math.COmath.PR

描述随机图演化临界窗口内分量大小的点过程

A point process describing the component sizes in the critical window of the random graph evolution

本文研究了随机图G（n，p）在临界窗口p=n^{-1}+lambda n^{-4/3}内最大分支大小的渐近行为的一个点过程.特别是，我们表明，这个点过程有一个令人惊讶的刚性。大值的波动将被小值的相反波动所平衡，使得大于小值的值的和几乎是常数。

2005-05-25math.COmath.PR