红蜻蜓双色球是集选球、过滤缩水、大底整合、即开即查为一体的分析缩水软件。软件的核心理念是动态守株待兔。红蜻蜓双色球2017 版本是业界唯一使用动态算法围堵6红大奖的软件。

　　开奖记录测试表明，双色球开奖号码的动态特征有别于静态特征，有着一定的重复性，红蜻蜓双色球正是利用这种动态特征的重复性“动态守株待兔”。

　　软件集选球、缩水、大底整合、即开即查为一体，是综合性分析缩水软件。2017版大幅度改进了软件的界面，使之清晰易懂，操作也更加流畅。其中，新增的动态大底推荐更是可圈可点，虽然不是期期i都有推荐结果，但在有推荐结果的情况下可以以平均27万注获得60%的6红成功率。软件在开发过程中，广泛采纳了彩民朋友的建议，也是集体智慧的结晶。

　　《红蜻蜓双色球》2017版，提供了15天的免费试用，祝运气好的彩民朋友在试用期内喜中大奖。

　　该软件是业界唯一以动态算法作为缩水依据的软件；容许用户自定义条件库以避免选注扎堆；部分采用了神经网络实现智能推荐；软件也是操作最傻瓜的软件之一。

　　该软件于2016年6月获得国家版权局颁发的《计算机软件著作权登记证书》。软件开发中，除了本工作室自己的思路外也广泛采纳了资深彩民的想法和建议，是集体智慧的结晶，无论在功能上、性能上、易操作度上和软件工程层面都达到了同类软件的顶级水平。

　　软件开发团队由伊利诺伊州立大学硕士领衔，奋斗多年，竭力为彩民朋友打造最给力的彩票软件。　　

软件功能

　　选球

　　托胆复式--选出自认为可能出现的红球号码做托，选出自认为一定出现的红球做胆，由软件算出所有组合。

　　定位选球--选出1-6位每位可能出现的红球号码，由软件算出所有组合。

　　出球数量--选出一组可能出现的红球号码，并定出这组号码可能出现的红球个数，由软件算出所有组合。

　　区间选球--用户自定义相互交叉的横纵三区，择区选出可能出现的红球号码，和数量，由软件交叉算出所有组合。

　　012路--选出可能出现红球号码的初三余数，由软件算出所有组合。

　　尾数选球--选出可能出现红球号码的尾数，由软件算出所有组合。

　　智能推荐--软件采用自创的算法，推荐出不同数量的红球号码供选球参考。

　　数据导入--导入外部一个或多个数据（.txt文件，数据格式智能辨识）。

　　过滤缩水

　　精细删除--即分析K-值走向，删除一个或多个K-值；对于任意类，可选单个或号码组合删除。

　　自动过滤--即同时选好多个项目的K-值，一次性批量删除。删除时可设置容错范围。

　　特征值--即找出当期和前N期形成偶发或罕发形状（如超长连金、K-线对称等）的K-值（特征值），将其删除。

　　动态跟踪--即保留当期一个或多个与前期K-值存在一定 位置关系 的K-值，删除其余。

　　模板通杀--即将非楼层类的一个或多个项目设成模板，每期施用。

　　楼层扫边--即将楼层类的一个或多个项目设成模板，每期施用。

　　条件胆组--条件胆组实际上是成批量的出球数量，通过导入或键入红球号码和出球范围，由软件算出容错或交差补集的结果。

　　大底整合

　　多级容错--即将多个大底，或本软件的缩水结果，或外部导入数据，做最多5级的容错计算。

　　集合运算--即将多个大底，或本软件的缩水结果，或外部导入数据，做交差并补的集合运算。

　　辅助功能

　　容错悔棋--每个缩水操作都会被软件自动记录下来，用户可以通过上一步做单步悔棋，也可以做全部缩水操作的容错悔棋。

　　结果排序--一些彩民朋友对缩水结果排序颇有心得，软件可以对缩水的结果按号码出现次数降序排序。

　　历史回溯--用于回溯练兵，积累心得。

　　硬盘管理--一些彩民朋友的计算机比较老旧，硬盘空间有限，可以通过硬盘管理限制保存数据的期数，防止硬盘溢出。