- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
当我阅读 Real World Haskell
的第 13 章时,我想到了差异列表
的概念。
作者说,在命令式语言中,如果我们想将一个元素附加到列表中,成本将为 O(1)
,因为我们会保留指向最后一个元素的指针。然而在 Haskell 中,我们有 不可变
对象,所以我们每次都需要遍历列表并在末尾附加元素,因此 0(n)
。
代替 [1,2,3]++[4]++[5]
我们可以使用部分应用:(++4).(++5) [1,2,3]
.
我不明白这怎么更有效率,因为:
- 当我执行 (++[5]) [1,2,3]
时,它仍然是 O(n)
然后是另一个 0(n)
为 (++4)
报价
There are two very interesting things about this approach. The first is that the cost of a partial application is constant, so the cost of many partial applications is linear. The second is that when we finally provide a [] value to
unlock the final list from its chain of partial applications, application
proceeds from right to left. This keeps the left operand of (++) small, and so
the overall cost of all of these appends is linear, not quadratic
我知道这种方法会很急切,所以我们没有保留 yet to be applied methods
的 thunk,而是保留了左操作数 small
作为作者说,但是......我们仍然对每个追加执行遍历。
给定一个列表:[1...100]
并且想要附加 1,2
我仍然会遍历它 2
次因为我会:
f(f([1..100]))= f([1..100,1])
- 遍历 1 次并附加 1
[1..100,1,2]
- 第二次遍历追加2
有人能告诉我这在时间复杂度上如何更有效率吗? (因为空间
-复杂性是由于没有更多的thunks
,比如foldl'
)
附言
我知道规范的答案,我也阅读了 this chapter我发现这非常有帮助。
我知道您可以通过使用 :
附加到左侧来实现 O(1)
复杂性,但它不会相似到 ++
。
如果我在 a= [1,2,3]
上使用 f=(:)
:(f 4 . f 5) $ a
我可以说每次追加的效率都是0(1)
,因为我总是在左边追加,但我不会得到 [1,2,3,4,5]
,我会得到 [5,4,1,2,3]
,所以怎么样在这种情况下,差异列表
对于附加一个元素的单一操作更有效?
最佳答案
你需要更加注意时间,即什么时候这件事或那件事正在发生。
我们不是从列表[1,2,3]
开始,而是从不同的列表开始
f1 = ([1,2,3] ++)
然后将 4、5“添加”到不断增长的差异列表的末尾,我们有
f2 = f1 . ([4] ++)
f3 = f2 . ([5] ++)
在不断增长的差异列表中末尾的每次添加都是O(1)。
当我们最终完成构建时,我们通过应用程序将其转换为“普通”列表
xs = f3 [] -- or f3 [6..10] or whatever
然后,仔细地,我们得到
xs = ((([1,2,3] ++) . ([4] ++)) . ([5] ++)) []
= (([1,2,3] ++) . ([4] ++)) ( ([5] ++) [] )
= ([1,2,3] ++) ( ([4] ++) ( ([5] ++) [] ))
= 1:2:3: ( 4 : ( 5 : [] ))
根据 (++)
的定义。
一个规范的答案:Why are difference lists more efficient than regular concatenation?
即使 a1 = (++ [4]) [1..]
本身 也是一个 O(1) 操作,因为是 a2 = (++ [5]) a1
和 a3 = (++ [6]) a2
,因为 Haskell 是惰性的,thunk 创建是 O (1).
只有当我们访问最终结果时,整个操作才变成二次的,因为访问 ++
结构并没有重新排列它——它仍然是左嵌套的,所以 quadratic 从顶部重复访问。
通过向 []
应用左嵌套 .
结构到普通列表的转换会在内部将该结构重新排列到右嵌套的 $
结构,如规范答案中所述,因此从顶部重复访问此类结构是线性的。
所以区别在于 ((++ [5]) . (++ [4])) [1,2,3]
(坏)和 ((([ 1,2,3]++) . ([4]++)) . ([5]++)) []
(好)。构建函数链 ((++ [4]) . (++ [5]))
本身是线性的,是的,但它创建了一个二次结构来完全访问。
但是 ((([1,2,3]++) . ([5]++)) . ([4]++)) []
变成了 ([ 1,2,3]++) (([5]++) (([4]++) []))
。
关于haskell - 了解差异列表的概念,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/54549283/
我从NVIDIA手册Eg中复制了以下代码:__threadfence()。他们为什么有 在以下代码中使用了__threadfence()。我认为使用__syncthreads()而不是__thread
我在使用 SVN 更改列表和 svn diff 时遇到了一些麻烦.特别是我想获取特定修订范围的特定文件列表的更改历史记录。 SVN 变更列表似乎是完美的解决方案,所以我的方法是: svn change
我有两个 IP 地址列表。我需要将它们合并到三个文件中,交集,仅来自 list1 的文件和仅来自 list2 的文件。 我可以用 awk/diff 或任何其他简单的 unix 命令来做到这一点吗?如何
假设自上次更新(恢复)到我的 a.b 文件以来我做了一些更改。 此 a.b 文件也在存储库中更改。 现在我想将我所做的更改与 repos 更改进行比较。 如果我 svn revert 文件,我可以看到
关闭。这个问题不符合Stack Overflow guidelines .它目前不接受答案。 我们不允许提问寻求书籍、工具、软件库等的推荐。您可以编辑问题,以便用事实和引用来回答。 关闭 7 年前。
我使用的是 openssl 1.0.1c , linux x86_64 我正在创建包含“hello”的文件(没有换行符) openssl dgst -sha256 hello_file i get :
假设我们有几个库。 有什么区别核心和 普通 图书馆?他们应该如何被认可,我们是否组织了两者的职责? +Common -Class1 +Core -Class2 +Lib1 has : Comm
如何在 SQLite 中计算以毫秒为单位的最小时间间隔? 好的,提供一些背景信息, 这是我的 table 的样子: link_budget table 所以有这个时间列,我想发出一个请求,以毫秒为单位
我想知道,乐观并发控制 (OCC) 和多版本并发控制 (MVCC) 之间的区别是什么? 到目前为止,我知道两者都是基于更新的版本检查。 在 OCC 中,我读到了没有获取读取访问锁的事务,仅适用于以后的
说到 SignalR,我有点菜鸟。刚刚开始四处探索和谷歌搜索它,我想知道是否有人可以向我解释完成的事情之间的一些差异。 在我见过的一些示例中,人们需要创建一个 Startup 类并定义 app.Map
我在 Ogre 工作,但这是一个一般的四元数问题。 我有一个对象,我最初对其应用旋转四元数 Q1。后来,我想让它看起来好像我最初通过不同的四元数 Q2 旋转了对象。 我如何计算四元数,该四元数将采用已
我了解 javascript 模块模式,但我使用两种类型的模块模式,并且想从架构 Angular 了解它们之间的区别。 // PATTERN ONE var module = (function()
我有两个具有完全相同键的 JSON。 val json1 = """{ 'name': 'Henry', 'age' : 26, 'activities' : {
我发现使用 VBA 在 Excel 中复制单个文件有两种不同的方法。一是文件复制: FileCopy (originalPath), (pathToCopyTo) 另一个是名称: Name (orig
我想知道查找两个 float 组之间差异的绝对值的最有效方法是什么? 是否是以下内容: private float absDifference(float[] vector1, float[] vec
我有一个关于 wicket getApplication 的问题。 getApplication() 和 getSession().getApplication 有什么区别? 部署 wicket 应用
我刚刚开始使用activemq,我有一个关于追溯消费者的问题,为了启用这个功能,你需要有一个持久的订阅。但是在主题上启用和不启用追溯的持久订阅有什么区别? activemq 文档说。 http://a
我有两个具有完全相同键的 JSON。 val json1 = """{ 'name': 'Henry', 'age' : 26, 'activities' : {
得到另一个 Erlang 二进制表示查询('因为这就是我最近正在阅读的内容,并且需要二进制协议(protocol)实现)。 如果我正确理解了类型说明符,那么对于“浮点”类型值,8 字节表示似乎很好(这
关闭。这个问题需要多问focused 。目前不接受答案。 想要改进此问题吗?更新问题,使其仅关注一个问题 editing this post . 已关闭 4 年前。 Improve this ques
我是一名优秀的程序员,十分优秀!