作者CindyLinz (Cindy Wang)
看板PLT
标题Re: [情报] Functional Thursday #35
时间Sat Jan 30 16:12:12 2016
※ 引述《CindyLinz (Cindy Wang)》之铭言:
: --
:
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 112.121.78.5
: ※ 文章网址: https://webptt.com/cn.aspx?n=bbs/PLT/M.1453965707.A.105.html
: 推 appleway: 有没有录影之类的,每次都想参加但是人在 01/28 15:53
: → appleway: 国外 01/28 15:53
: → CindyLinz: 我我我..考虑考虑 <囧> 01/28 23:00
: 推 FRAXIS: 这技巧可以用在 deque 上吗? 01/29 00:03
: → CindyLinz: 理论上应该可以. 应该会更复杂些.. 01/29 02:35
: 推 FRAXIS: 我想知道你中间会用到几条 list? 依赖 lazy-evaluation? 01/29 09:08
: → FRAXIS: 因为这问题我常常看到 好像会需要 6 个 list 才能办到 01/29 09:08
: → CindyLinz: 那就不知道了~ 因为我没实际作过 deque ^^| 01/29 11:53
: 推 FRAXIS: 喔 我其实想问 queue 需要几条 list 帮忙 才能O(1) 01/29 19:02
我看了一下程式码, 我的写法总共有用到 6 个 list
不过.. 是这样子的 6 个:
[a] ([a] [a] | [a] [a] [a])
同一时间会有 3 或 4 个, 不是同时有 6 个.
: 推 suhorng: 把 amortized 变成 real time 好猛@@ 听起来好威 01/29 21:01
: 推 emind: 国外+1 想参加 01/30 03:35
: → xcycl: 在 Okasaki 书中学到的吗? 01/30 06:53
对. 「schedule」就是他书中用的词, 也许就是他发明的..
(书名 Purely Functional Data Structures)
不过他书中的例子写一半, 另一半是用大量的文字话唬烂的..
(好像是类似这样, 以前读的时候的印象,
虽然也有可能是我那时没看懂wwww
不过他那本书真的在举例的时候会把难写的部分跳过不写,
例如说他举例二元平衡搜寻树, 写了插入与查询的部分,
然後就说删除的部分也很简单请读者自行练习..
((最好是删除很简单啦.... 删除是最难写的好吗wwww
光是删除的 code 就比其他全部加起来还多吧wwww)))
总之, 我这次是应用他的想法, 重新作一个(练习一个)完整例子就是了~
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 112.121.78.5
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/PLT/M.1454141534.A.3B2.html
1F:推 c225: 因为是lazy 所以amortized的东东才会变real time吗? 01/30 16:49
2F:推 FRAXIS: 我会这样问 是因为我看到庄庭瑞老师的论文上面有写 01/30 18:49
3F:→ FRAXIS: 说如果没有 lazy evaluation 的话需要 6 个 list 01/30 18:49
4F:→ FRAXIS: 不过那已经是 93 年的 论文了 想知道最近有没有突破 01/30 18:51
5F:推 FRAXIS: 说错了.. 论文上没写有几个 list 但是网路上有人说要 6 个 01/30 18:54
7F:→ FRAXIS: 论文上是写怎样作 real-time 的 deque 01/30 18:55
8F:→ CindyLinz: 嗯我是用 lazy eval 的 Haskell, 写 queue 不是 deque 01/30 20:00
9F:→ CindyLinz: 然後, 我没有去想怎麽省 list 个数, 所以如果不是最佳 01/30 20:01
10F:→ CindyLinz: 解, 应该是正常的 (? XD 01/30 20:01
11F:→ CindyLinz: 不过.... list 的个数很重要吗? 不考虑各 list的长度吗 01/30 20:02
12F:推 FRAXIS: 我想全部 list 长度总和就是原本 queue 里面的元素个数吧 01/30 20:11
13F:→ CindyLinz: 那既然长度总和一样, 那为什麽需要在意 list 个数呢? 01/31 01:53
14F:推 FRAXIS: 理论上看是没什麽差别 反正都是 real-time 01/31 02:24
15F:推 FRAXIS: 只是想知道有没有比较好的实作方式而已 01/31 02:26
16F:推 dryman: 看到删除自己做的时候我也是觉得很想骂脏话XD 02/15 14:08
17F:推 scwg: 那本书是人家的博士论文啊... 刻论文的时候当然太麻烦的跳过 02/23 10:57
18F:推 suhorng: 印象里博士论文跟後来出的书好像有点差? 有重新整理过 02/23 16:32