- 博客(2)
- 收藏
- 关注
原创 可满足性工具求解西瓜视频个性化题目的应用
2018年的新风口是各大平台的答题赢奖金活动,其中今日头条旗下的西瓜视频算是用户量非常不错的一个平台。当时头条为了防止模拟器多开自动答题情况(还有组团答题),推出了个性化题。所谓的个性化题就是不同的用户看到的题目相同,当时每个人的选项不同或者选项位置不同,这样实现了一题多解的效果。 对于令人棘手的个性化题目,我们使用已有的研究知识,可以用可满足性工具(SAT)求解正确答案...
2018-03-06 23:47:53 2064
原创 Lintcode-K个最近的点(#612)
Lintcode-K个最近的点(#612)描述: 给定一些 points 和一个 origin,从 points 中找到 k 个离 origin 最近的点。按照距离由小到大返回。如果两个点有相同距离,则按照x值来排序;若x值也相同,就再按照y值排序。样例 给出 points = [[4,6],[4,7],[4,4],[2,5],[1,1]], origin = [0, 0], k = 3
2017-07-18 10:17:08 1466
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人