若猫和狗中至少有一个出现了$0$次,那么答案显然是$0$,否则若狮子出现了$0$次,那么显然无解. 那么现在至少有一个动物保持原地不同,其它动物恰好移动一次. 如果全部猫都不动而全部狗都动,那么可以贪心求出答案,最多移动一个狮子. 同理可以处理全部猫动而全部狗都不动的情况. 现在考虑同时存在猫和狗不动的情况,那么动的猫和狗一定是移动到不动的同类旁边,而狮子起到间隔作用. 设$f[i][j][k][S]$表示考虑前$i$个动物,目前手上剩余可以调控的狮子数为$j$(可以为负,表示后面的狮子往前动)…

在前面的几篇关于Free编程的讨论示范中我们均使用了基础类型的运算结果.但在实际应用中因为需要考虑运算中出现异常的情况,常常会需要到更高阶复杂的运算结果类型如Option.Xor等.因为Monad无法实现组合(monad do not compose),我们如何在for-comprehension中组合这些运算呢?假如在我们上一篇讨论里的示范DSL是这样的: trait Login[+A] case class Authenticate(uid: String, pwd: String) ext…

在上一节我们讨论了通过Coproduct来实现DSL组合:用一些功能简单的基础DSL组合成符合大型多复杂功能应用的DSL.但是我们发现:cats在处理多层递归Coproduct结构时会出现编译问题.再就是Free编程是一个繁复的工作,容易出错,造成编程效率的低下.由于Free编程目前是函数式编程的主要方式(我个人认为),我们必须克服Free编程的效率问题.通过尝试,发现freeK可以作为一个很好的Free编程工具.freeK是个开源的泛函组件库,我们会在这次讨论里用freeK来完成上次讨论中以失…

上篇我们介绍了Free类型可以作为一种嵌入式编程语言DSL在函数式编程中对某种特定功能需求进行描述.一个完整的应用可能会涉及多样的关联功能,但如果我们为每个应用都设计一套DSL的话,那么在我们的函数式编程中将会不断重复的功能相似的DSL.我们应该秉承函数式编程的核心思想:函数组合(compositionality)来实现DSL的组合:把DSL拆解成最基础语句ADT,然后用这些ADT来组合成适合应用功能要求的完整DSL.我们还是使用上篇那个Interact DSL,这次再增加一个Login功能:…

cats是scala的一个新的函数式编程工具库,其设计原理基本继承了scalaz:大家都是haskell typeclass的scala版实现.当然,cats在scalaz的基础上从实现细节.库组织结构和调用方式上进行了一些优化,所以对用户来说:cats的基础数据类型.数据结构在功能上与scalaz是大致相同的,可能有一些语法上的变化.与scalaz著名抽象.复杂的语法表现形式相比,cats的语法可能更形象.简单直白.在scalaz的学习过程中,我们了解到所谓函数式编程就是monadic Pro…

题目传送门 /* 题意:k次操作,g:i猫+1, e:i猫eat,s:swap 矩阵快速幂:写个转置矩阵,将k次操作写在第0行,定义A = {1,0, 0, 0...}除了第一个外其他是猫的初始值 自己讲太麻烦了,网上有人讲的很清楚,膜拜之 详细解释:http://www.cppblog.com/y346491470/articles/157284.html */ #include <cstdio> #include <cstring> #include <cmath>…

The Cats' Feeding Spots Time Limit: 1 Sec Memory Limit: 256 MB 题目连接 http://hihocoder.com/contest/acmicpc2015beijingonline/problem/1 Description In Yan Yuan, the Peking University campus, there are many homeless cats. They all live happy lives because…

Training little cats Time Limit: 2000MS   Memory Limit: 65536K Total Submissions: 9613   Accepted: 2296 Description Facer's pet cat just gave birth to a brood of little cats. Having considered the health of those lovely cats, Facer decides to make th…

Zxr960115 is owner of a large farm. He feeds m cute cats and employs p feeders. There's a straight road across the farm and n hills along the road, numbered from 1 to n from left to right. The distance between hill i and (i - 1) is di meters. The fee…

Training little cats Time Limit: 2000MS   Memory Limit: 65536K Total Submissions: 9299   Accepted: 2230 Description Facer's pet cat just gave birth to a brood of little cats. Having considered the health of those lovely cats, Facer decides to make th…