问题解决
千灵域
腾讯WXG数据开发,主要进行golang、C++程序的开发,并协助维护Spark和Flink任务。博客会在工作之余侧重其他内容,主要集中在编程知识上。
个人博客的gitpage:https://www.challengefilter.com/
展开
-
如何证明SAT问题可以规约到3SAT问题
本文为OpenDSA项目,允许转载,证书我看到了一个幻灯片,相当的容易理解。地址在这里,相当清晰易懂的讲解了如何把一个规范的SAT问题(布尔可满足性问题)转换成3SAT问题。这样的形式实在是非常的好,我觉得以后我也可以做一个网站像这样来展示我的观点,甚至可以把一些结果给直接做出来,伪装成命令行的形式。...转载 2020-10-11 18:43:22 · 1268 阅读 · 0 评论 -
如何离线定时发送流量
仓库地址,对于crontab的介绍还不够详细,后面会考虑再写两篇,一篇为crontab快速入门+快速复习,一篇为对crontab的详细介绍与原理解析以及替代品对比。如何离线定时发送流量在流量实验的时候(benchmark/ press test/ simulation),我们经常遇到需要长时间发送流量的情况。这时候如果让人呆在机器旁边按时启动的话,一个是非常折磨人的精神(必须要定闹钟严格按时),另外一个方面也不能够明确地保证实验能够按时进行按时结束。虽然经过多次实验后,在早期还是建议人工介入,这样如果原创 2020-10-05 12:15:42 · 265 阅读 · 0 评论