程序员经验分享-hwhale

haskell 无限递增对列表

2023-11-30

创建无限列表对:: [(Integer, Integer)]包含以下形式的对(m,n), 其中 m 和 n 中的每一个都是[0 ..]。一个额外的要求是，如果(m,n)是列表的合法成员，那么(elem (m,n) pairs)应该返回True在有限的时间内。 违反此要求的对的实现被认为是非解决方案。

****新编辑谢谢您的评论，让我们看看我是否可以取得一些进展****

    pairs :: [(Integer, Integer)]
    pairs = [(m,n) | t <- [0..], m <- [0..], n <-[0..], m+n == t]

像这样的东西吗？我只是不知道在有限的时间内它会在哪里返回 True 。

我觉得这个问题的措辞方式不一定是我答案的一部分。只要你打电话(elem (m,n) pairs)它应该返回 true。听起来对吗？


忽略helper方法，你所拥有的列表理解will列出所有对，但元素的顺序是一个问题。你将有无数对像(0, m)哪个是其次是无限多对像(1, m)。当然elem将永远迭代所有(0, m)对从未到达(1, m) or (2, m) etc.

我不确定你为什么有helper方法——使用它，您只需构建一个像这样的对列表[(0,0), (1,1), (2,2), ...]因为你已经过滤了m = n。这是要求的一部分吗？

就像@hammar建议的那样，从0 = m + n并列出 (m, n) 对。然后列出 (m, n) 对，其中1 = m + n。那么你的列表将如下所示[(0,0), (0,1), (1,0), (0,2), (1,1), (2,0), ...].

本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)

list

Haskell

infinite

haskell 无限递增对列表 的相关文章

  • JasperReports：传入列表列表作为数据源

    我需要用不同对象的列表填充一些子报表 基本上可以说我有以下内容 二手车子报告新车子报告 我创建一个车辆 bean 类 其中变量作为字符串 并为其创建 getter 和 setter 方法 然后在我的数据源中我传入一个List

  • 以概率从列表中选择随机元素

    我有一个包含四个项目 A B C D 的列表 每个项目都有被选择的概率 例如 A 有 74 的机会被选中 B 15 C 7 D 4 我想创建一个函数 根据其概率随机选择一个项目 有什么帮助吗 为您的项目定义一个类 如下所示 class It

  • Haskell Fibonacci 达到最大指定数？

    我有一个已启动并正在运行的 Haskell 函数 但它做错了事情 它应该输出最多指定最大数量的斐波那契数列 像这样 fibonacciSequence 86 1 1 2 3 5 8 13 21 33 54 我的代码当前输出斐波那契数列中的前

  • 如何在Python中将字符串转换为包含一个元素的列表[重复]

    这个问题在这里已经有答案了 我有一个字符串 我想将其转换为其中只有一个元素的列表 a abc print list a output a b c Expected o p abc 正确的做法是什么 只需使用 a abc b a print

  • 将多列列表拆分为单独的行

    我有一个像这样的数据框 df pd DataFrame key 1 2 3 4 col1 apple orange pineapple guava orange apple col2 087 799 681 078 816 018 key

  • 在列表中查找元素及其索引

    我需要让列表的两个元素都满足谓词and这些元素的索引 我可以通过以下方式实现这一点 import Data List findIndices list Int list 3 2 4 1 9 indices findIndices gt 2

  • Haskell / cabal 包的解决方法受到 Nix 和 Cabal 的限制？

    我最近开始开发反射平台 https github com reflex frp reflex platform 有一些额外的配置类似于优秀的反射项目骨架 https github com ElvishJerricco reflex proj

  • 如何让 esqueleto 为我生成 SQL 字符串？

    我怎样才能让esqueleto从a生成一个SQL字符串from陈述 的文档toRawSql说 你可以打开持久的查询日志记录 我尝试了所有可能的形式MonadLogger我可以理解 但它从未打印任何 SQL 同一文档还说 手动使用此功能 是可

  • 检索 Haskell 项目中所有导入的列表

    因此 我的最终目标是通过确保项目导入的所有实体都存在于其声称可以使用的版本中 来评估 cabal 文件中依赖项的准确性 一个好的开始是找到单个源文件使用的所有导入实体的列表 可选地包含有关它们来自何处的信息 我愿意暂时忽略类实例的情况 因为

  • 与 Functor 不同，Monad 可以改变形状？

    我一直很喜欢以下关于单子相对于函子的力量的直观解释 单子可以改变形状 函子不能 例如 length fmap f 1 2 3 总是等于3 然而 对于单子来说 length 1 2 3 gt gt g往往不等于3 例如 如果g定义为 g Nu

  • Haskell数据类型转换问题

    我目前正在学习 Haskell 并且一直在编写一些非常简单的程序来练习 我的程序之一是 import System IO main do putStrLn Give me year y lt getLine let res show cal

  • 使用默认值压缩而不是删除值？

    我正在 haskell 中寻找一个函数来压缩两个长度可能不同的列表 我能找到的所有 zip 函数都只是删除列表中比其他列表长的所有值 例如 在我的练习中 我有两个示例列表 如果第一个比第二个短 我必须用 0 填充 否则我必须使用 1 我不允

  • 在 Archlinux 上使用 Vim 作为 Haskell 的 IDE 目前情况如何？

    如果可行的话 我的目标是通过 YouCompleteMe 在 Vim 中完成 Haskell 的命令 在这方面 正如您在下面看到的 我还没有找到关于如何让它发挥作用的共识 相关评论的最新评论YouCompleteMe 上的问题 https

  • 将列表中的所有其他元素相乘

    我有一个清单 比方说 list 6 2 6 2 6 2 6 我希望它创建一个新列表 其中每个其他元素乘以 2 每个其他元素乘以 1 保持不变 结果应该是 12 2 12 2 12 2 12 def multi res 0 for i in

  • Cabal 无法安装依赖项，但如果直接询问可以安装它们

    我发现 Cabal 反复出现一个非常奇怪的问题 它影响了我获得可重复的 Haskell 构建的能力 我有一个带有沙箱的阴谋集团项目 如果我做cabal install 我收到以下形式的错误 Y failed during the build

  • 来自数据类型的 Haskell 随机数

    我对 Haskell 还很陌生 我有一个数据类型 data Sentence Prop Int No Sentence And Sentence Or Sentence deriving Eq 我已经为它写了一个 Show 实例 然而 无论

  • 如何创建 C++ 11 不可默认构造的分配器？

    这个主题出现在关于 Visual Studio 2015 的 std list sort 更改的线程中 std list sort 为什么突然切换到自上而下的策略 https stackoverflow com questions 4062

  • 循环 2 个列表，重复最短的列表，直到最长的列表结束 [重复]

    这个问题在这里已经有答案了 我确信有一种简单而明显的方法可以做到这一点 但我一直在谷歌搜索和阅读文档 但我找不到任何东西 这就是我想要实现的目标 la a1 a2 a3 a4 lb b1 b2 result a1 b1 a2 b2 a3 b

  • Haskell/Idris 中的开放类型级别证明

    在 Idris Haskell 中 可以通过注释类型并使用 GADT 构造函数 例如使用 Vect 来证明数据的属性 但这需要将属性硬编码到类型中 例如 Vect 必须是与 List 不同的类型 是否有可能拥有具有开放属性集的类型 例如同时

  • 对 Python 列表元素进行分组

    我有一个 python 列表 如下所示 my list 25 1 0 65 25 3 0 63 25 2 0 62 50 3 0 65 50 2 0 63 50 1 0 62 我想根据以下规则对它们进行排序 1 gt 0 65 0 62 l

随机推荐

  • 为什么这个 RegExp exec 会导致无限循环？

    我有以下代码块 var field reg new RegExp i text This is a string with 1 param1 2 param2 and 3 param3 parameters while field reg

  • git：时区和时间戳格式

    从 git 我可以获得时间戳 2011 10 04 12 58 36 0600 但有什么办法可以将其显示为 2011 10 04 06 58 36 所以我想要的就是摆脱 0600 时区偏移 我怎样才能做到这一点 谢谢 如果您询问 git l

  • C++ - 加载所有文件名+计算当前目录中的文件数量+过滤文件扩展名

    我想计算当前目录中的文件数以及加载数组中的所有文件名 如果可能的话 我也想知道如何过滤文件扩展名 将以下程序链接到 lboost filesystem include

  • 参数“pathString”为空

    当我在 firebase 中执行查询时遇到错误 我的查询代码如下所示 Override protected void onCreate Bundle savedInstanceState super onCreate savedInstan

  • Spring jdbc“选择更新”

    我有以下与 Spring JDBC 一起使用的方法 public String getState String stateLink template queryForObject select state url from state sc

  • 0.0.0.0 是有效的 IP 地址吗？

    0 0 0 0 是有效的 IP 地址吗 我希望我的程序能够将其存储为没有地址正在使用的指示 但如果它实际上有效 则这将不起作用 It is valid因为它包含四个八位位组 每个八位位组都在 0 到 255 含 范围内 然而 它并不是usa

  • 如何从mysql表中选择最后N条记录

    此代码可用于从 mysql 中的表中选择前十条记录 如何执行相同操作来显示包含 1000 条记录的表中的最后 10 条记录 我想按升序显示名称 不想更改它 SELECT name cost FROM test orderby name as

  • 尝试在 Atom 中运行 Hydrogen 时如何修复“NotImplementedError”[重复]

    这个问题在这里已经有答案了 我正在尝试在 Atom 上运行 Hydrogen 但在 asyncio python 库中收到一条以 NotImplementedError 结尾的错误消息 我在 Windows 10 计算机上安装了 Pytho

  • 在React中将setInterval添加到componentDidMount

    我想每 1000 毫秒更新一次 React 组件的状态 但是 我尝试做setInterval on the componentDidMount 但没有运气 目前我得到两个结果console log 一个是构造函数中的空状态对象 另一个是从A

  • 包含 Rails 和 herokuapp 的子域

    我在子域上关注了瑞安 贝茨 Ryan Bates railscast http railscasts com episodes 123 subdomains revised 并使我的应用程序在本地完美运行 我已部署到 heroku 但无法让

  • bash 中“<(...)”“运算符”的名称是什么？

    我熟悉在 bash 中为命令输入创建 临时文件 例如 cat file 1 lt echo hello file 2 我想阅读有关该主题的更多信息 但不知道该主题的名称 lt 操作员 我怀疑这是一种 IO 重定向 这个符号 运算符有名称吗

  • 使用 javax.sound.samples 库时出现异常......！

    谁能告诉我我在这个java程序中哪里做错了 当我运行这个时 我总是会遇到异常 import java io import javax sound sampled public class x public static void main

  • 如何在Asp.Net中获取用户的AD用户组？

    我需要能够获取用户所在组的列表 但我需要以下一个 一些 所有属性可见 专有名称 name cn samac 帐户名 我现在所拥有的返回某种名称 但不是上面的任何名称 名称看起来很接近 但并非全部匹配正确 这就是我正在使用的 ArrayLis

  • 将列值粘贴到另一列

    我有一个简单的问题可以用以下方法解决paste我的数据框如下所示 x lt c 3 6 7 y lt c 0 25 0 35 0 62 dta1 lt data frame x y x y 1 3 0 25 2 6 0 35 3 7 0 6

  • 如何在 Symfony2 Twig 模板中获取配置参数

    我有一个 Symfony2 Twig 模板 我想输出这个树枝模板中的配置参数的值 版本号 因此我这样定义配置参数 parameters app version 0 1 0 我可以在控制器中使用此配置参数 但我不知道如何在我的 Twig 模板

  • Javascript 中的嵌套函数参数和“this”上下文

    我正在尝试使用两个对象创建函数调用链 我在代码中添加了注释来描述我想要做的事情 function Huh parentContext this parentContext parentContext this check function

  • 从同一部 iPhone 获取两个不同的设备 ID

    当我收到 iPhone 时 我得到了不同的 UDID来自 iTunes并以这样的方式编程 UDID String UIDevice current identifierForVendor uuidString 基本上我试图获取我的 iPho

  • 注入 TableName 作为参数以更新和插入 ServiceStack Ormlite 中的 GenericEntity

    我有 3 个结构相同的表 因此我使用 ServiceStack 创建了以下实体 public class GenericEntity Alias COL A public string ColumnA get set 为了检索结果 我使用以

  • SSRS - 如何根据列内的 URL 显示外部图像

    我正在尝试在基本报告中显示产品的图像 图像需要是动态的 这意味着图像应根据 SKU 值而变化 现在我正在将图像插入表中 设置为外部 并且我已经尝试过 Fields URL Value http externalwebservername s

  • haskell 无限递增对列表

    创建无限列表对 Integer Integer 包含以下形式的对 m n 其中 m 和 n 中的每一个都是 0 一个额外的要求是 如果 m n 是列表的合法成员 那么 elem m n pairs 应该返回True在有限的时间内 违反此要求

热门标签