- iOS/Objective-C 元类和类别
- objective-c - -1001 错误,当 NSURLSession 通过 httpproxy 和/etc/hosts
- java - 使用网络类获取 url 地址
- ios - 推送通知中不播放声音
在此earlier question ,我询问了如何编写一个对非二叉整数树求和的函数,出现了几个答案。
@Sibi 说:
data Tree a = Empty | Node a [Tree a] deriving (Eq, Show)
addNums :: (Num a) => Tree a -> a
addNums Empty = 0
addNums (Node n []) = n
addNums (Node n (x:xs)) = n + (addNums x) + addNums (Node 0 xs)
@user3237465 说:
data Tree a = Empty | Node a [Tree a] deriving (Eq, Show, Foldable)
myNums :: (Num a) => Tree a
myNums = ...
main = print $ sum myNums
@chi 说:
addNums :: (Num a) => Tree a -> a
addNums Empty = 0
addNums (Node n xs) = n + sum (map addNums xs)
如何找到最有效的解决方案? Haskell 中是否有原生的基准测试工具?
最佳答案
虽然 so.com 不是推荐网站,但我建议您查看标准 https://hackage.haskell.org/package/criterion
明天我可能会举一些例子说明它的用法
如果你真的想深入研究这个问题,你可以通过添加编译器选项 --ddump-llvm
来分析生成的 llvm 汇编程序,尽管这是一个相当高级的主题,只是为了完整性。
标准
首先,我将使用 haskell 堆栈工具对此进行解释,所有代码都可以在 github/epsilonhalbe 找到
首先我们创建一个项目并将每个相关定义拆分到一个单独的模块中(否则我们将需要 data Tree
、data Tree'
和 数据树''
)。以Chi.hs
为例:
module Chi where
data Tree a = Empty | Node a [Tree a] deriving (Eq, Show)
addNums :: (Num a) => Tree a -> a
addNums Empty = 0
addNums (Node n xs) = n + sum (map addNums xs)
myInts :: Tree Int
myInts =
Node 1 [
Node 2 [
Node 4 [Empty], Node 5 [Empty]
],
Node 3 [
Node 6 [Empty], Node 7 [Empty], Node 8 [Empty]
]
]
myDouble :: Tree Double
myDouble =
Node 1 [
Node 2 [
Node 4 [Empty], Node 5 [Empty]
],
Node 3 [
Node 6 [Empty], Node 7 [Empty], Node 8 [Empty]
]
]
注意:对于User3237465.hs
,我们需要一个语言编译指示
{-# LANGUAGE DeriveFoldable #-}
module User3237465 where
data Tree a = Empty | Node a [Tree a] deriving (Eq, Show, Foldable)
addNums :: Num a => Tree a -> a
addNums = sum
myInts ..
myDouble ..
我们构建一个如下所示的文件夹/文件结构(这是我们通过 stack new critExample
和一些复制/重命名/删除得到的)
../haskell/critExample/
▾ src/
Chi.hs
Sibi.hs
User3237465.hs
▾ bench/
Benchmarks.hs
critExample.cabal
LICENSE
Setup.hs
stack.yaml
critExample.cabal
的内容也需要一些调整,
name: critExample
[... non-important stuff ...]
library
hs-source-dirs: src
-- don't forget to adjust the exposed modules
exposed-modules: Chi
, Sibi
, User3237465
build-depends: base >= 4.7 && < 5
default-language: Haskell2010
-- and add the following benchmark part
benchmark addNums
type: exitcode-stdio-1.0
hs-source-dirs: bench
main-is: Benchmarks.hs
build-depends: base
, critExample
, criterion
default-language: Haskell2010
[...]
然后我们就可以开始写我们的基准了
Benchmarks.hs
module Main where
import Criterion
import Criterion.Main
import qualified Chi
import qualified Sibi
import qualified User3237465
main :: IO ()
main = defaultMain [
bgroup "myInts" [ bench "Sibi" $ whnf Sibi.addNums Sibi.myInts
, bench "Chi" $ whnf Chi.addNums Chi.myInts
, bench "User3237465" $ whnf User3237465.addNums User3237465.myInts
],
bgroup "myDouble" [ bench "Sibi" $ whnf Sibi.addNums Sibi.myDouble
, bench "Chi" $ whnf Chi.addNums Chi.myDouble
, bench "User3237465" $ whnf User3237465.addNums User3237465.myDouble ]
]
请注意,whnf
仅计算弱头部范式,即它看到的第一个构造函数 - 对于列表,当它看到(:)
运算符对于元组它不会计算任何东西,但是对于 Int
或 Double
它会完全计算东西。如果您需要“深度”评估,请使用 nf
而不是 whnf
- 如果您不确定需要什么,请同时尝试 whnf
通常快得不合理(就像超长列表的纳秒 - 因为它只检查该列表的头部)。
您可以使用 stack build
构建项目,然后使用 stack bench
调用基准测试(触发所有可用的基准测试)或 stack bench critExample:addNums
(如果你有多个基准套件并且只想运行一个特定的套件,则很有用),用法始终是 projectname:name of benchmarks given in cabal-file
。
如果你想要漂亮的 html 输出(相信我你想要它,因为 bryan o'sullivan 付出了很多努力让它变得性感)你必须:
./.stack-work/dist/x86_64-linux/Cabal-1.22.4.0/build/addNums/addNums --output index.html
当然,如果您不使用 linux 操作系统,此路径可能会有所不同。
基准测试的结果 - 我不知道它们的代表性如何 - 我在虚拟化 linux 中运行它们!
Running 1 benchmarks...
Benchmark addNums: RUNNING...
benchmarking myInts/Sibi
time 616.7 ns (614.1 ns .. 619.2 ns)
1.000 R² (1.000 R² .. 1.000 R²)
mean 619.1 ns (615.4 ns .. 626.8 ns)
std dev 17.09 ns (9.625 ns .. 31.62 ns)
variance introduced by outliers: 38% (moderately inflated)
benchmarking myInts/Chi
time 582.6 ns (576.5 ns .. 592.1 ns)
0.998 R² (0.996 R² .. 1.000 R²)
mean 586.2 ns (581.5 ns .. 595.5 ns)
std dev 21.14 ns (11.56 ns .. 33.61 ns)
variance introduced by outliers: 52% (severely inflated)
benchmarking myInts/User3237465
time 606.5 ns (604.9 ns .. 608.2 ns)
1.000 R² (1.000 R² .. 1.000 R²)
mean 607.0 ns (605.5 ns .. 609.2 ns)
std dev 5.915 ns (3.992 ns .. 9.798 ns)
benchmarking myInts/User3237465 -- folding variant see comments
time 371.0 ns (370.2 ns .. 371.7 ns)
1.000 R² (1.000 R² .. 1.000 R²)
mean 372.5 ns (370.8 ns .. 375.0 ns)
std dev 6.824 ns (4.076 ns .. 11.19 ns)
variance introduced by outliers: 22% (moderately inflated)
benchmarking myDouble/Sibi
time 678.9 ns (642.3 ns .. 743.8 ns)
0.978 R² (0.958 R² .. 1.000 R²)
mean 649.9 ns (641.1 ns .. 681.6 ns)
std dev 50.99 ns (12.60 ns .. 105.0 ns)
variance introduced by outliers: 84% (severely inflated)
benchmarking myDouble/Chi
time 643.3 ns (617.4 ns .. 673.6 ns)
0.987 R² (0.979 R² .. 0.996 R²)
mean 640.6 ns (626.7 ns .. 665.6 ns)
std dev 58.35 ns (40.63 ns .. 87.82 ns)
variance introduced by outliers: 88% (severely inflated)
benchmarking myDouble/User3237465
time 630.4 ns (622.9 ns .. 638.5 ns)
0.997 R² (0.994 R² .. 0.999 R²)
mean 637.8 ns (625.4 ns .. 659.8 ns)
std dev 53.15 ns (33.46 ns .. 78.36 ns)
variance introduced by outliers: 85% (severely inflated)
benchmarking myDouble/User3237465 -- folding variant see comments
time 398.1 ns (380.7 ns .. 422.0 ns)
0.988 R² (0.980 R² .. 0.996 R²)
mean 400.6 ns (389.1 ns .. 428.6 ns)
std dev 55.83 ns (28.94 ns .. 103.6 ns)
variance introduced by outliers: 94% (severely inflated)
Benchmark addNums: FINISH
Completed all 2 actions.
如评论中所述 - 使用 import Data.Foldable (foldl')
和 addNums' = foldl' (+) 0
的另一种变体明显更快(感谢@用户 3237465!!)
关于algorithm - 求和树的高效折叠,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/34406541/
我在一本书(Interview Question)中读到这个问题,想在这里详细讨论这个问题。请点亮它。 问题如下:- 隐私和匿名化 马萨诸塞州集团保险委员会早在 1990 年代中期就有一个绝妙的主意
我最近接受了一次面试,面试官给了我一些伪代码并提出了相关问题。不幸的是,由于准备不足,我无法回答他的问题。由于时间关系,我无法向他请教该问题的解决方案。如果有人可以指导我并帮助我理解问题,以便我可以改
这是我的代码 public int getDist(Node root, int value) { if (root == null && value !=0) return
就效率而言,Strassen 算法应该停止递归并应用乘法的最佳交叉点是多少? 我知道这与具体的实现和硬件密切相关,但对于一般情况应该有某种指南或某人的一些实验结果。 在网上搜索了一下,问了一些他们认为
我想学习一些关于分布式算法的知识,所以我正在寻找任何书籍推荐。我对理论书籍更感兴趣,因为实现只是个人喜好问题(我可能会使用 erlang(或 c#))。但另一方面,我不想对算法进行原始的数学分析。只是
我想知道你们中有多少人实现了计算机科学的“ classical algorithms ”,例如 Dijkstra's algorithm或现实世界中的数据结构(例如二叉搜索树),而不是学术项目? 当有
我正在解决旧编程竞赛中的一些示例问题。在这个问题中,我们得到了我们有多少调酒师以及他们知道哪些食谱的信息。制作每杯鸡尾酒需要 1 分钟,我们需要使用所有调酒师计算是否可以在 5 分钟内完成订单。 解决
关闭。这个问题是opinion-based .它目前不接受答案。 想要改进这个问题? 更新问题,以便 editing this post 可以用事实和引用来回答它. 关闭 8 年前。 Improve
我开始学习 Nodejs,但我被困在中间的某个地方。我从 npm 安装了一个新库,它是 express -jwt ,它在运行后显示某种错误。附上代码和错误日志,请帮助我! const jwt = re
我有一个证书,其中签名算法显示“sha256rsa”,但指纹算法显示“sha1”。我的证书 SHA1/SHA2 的标识是什么? 谢谢! 最佳答案 TL;TR:签名和指纹是完全不同的东西。对于证书的强度
我目前在我的大学学习数据结构类(class),并且在之前的类(class)中做过一些算法分析,但这是我在之前的类(class)中遇到的最困难的部分。我们现在将在我的数据结构类(class)中学习算法分
有一个由 N 个 1x1 方格组成的区域,并且该区域的所有部分都是相连的(没有任何方格无法到达的方格)。 下面是一些面积的例子。 我想在这个区域中选择一些方块,并且两个相邻的方块不能一起选择(对角接触
我有一些多边形形状的点列表,我想将其包含在我页面上的 Google map 中。 我已经从原始数据中删除了尽可能多的不必要的多边形,现在我剩下大约 12 个,但它们非常详细以至于导致了问题。现在我的文
我目前正在实现 Marching Squares用于计算等高线曲线,我对此处提到的位移位的使用有疑问 Compose the 4 bits at the corners of the cell to
我正在尝试针对给定算法的约束满足问题实现此递归回溯函数: function BACKTRACKING-SEARCH(csp) returns solution/failure return R
是否有包含反函数的库? 作为项目的一部分,我目前正在研究测向算法。我正在使用巴特利特相关性。在 Bartlett 相关性中,我需要将已经是 3 次矩阵乘法(包括 Hermitian 转置)的分子除以作
关闭。这个问题不符合Stack Overflow guidelines .它目前不接受答案。 这个问题似乎与 help center 中定义的范围内的编程无关。 . 关闭 8 年前。 Improve
问题的链接是UVA - 1394 : And There Was One . 朴素的算法是扫描整个数组并在每次迭代中标记第 k 个元素并在最后停止:这需要 O(n^2) 时间。 我搜索了一种替代算法并
COM 中创建 GUID 的函数 (CoCreateGUID) 使用“分散唯一性算法”,但我的问题是,它是什么? 谁能解释一下? 最佳答案 一种生成 ID 的方法,该 ID 具有一定的唯一性保证,而不
在做一个项目时我遇到了这个问题,我将在这个问题的实际领域之外重新措辞(我想我可以谈论烟花的口径和形状,但这会使理解更加复杂).我正在寻找一种(可能是近似的)算法来解决它。 我有 n 个不同大小的容器,
我是一名优秀的程序员,十分优秀!