发简信
IP属地：山西
-
容易引起问题的隐式精度转换
最近项目中有需求对存有 ARGB8888 数据的 Bitmap 进行基于原值的透明度（alpha 值）调整，要对每个像素的 alpha byte...
-
2D 绘画中的 View, Drawable, Canvas, Bitmap在 Android UI 开发中，View 作为其基本元素，必定被大家接触过，而改变 View 图形显示的 2D 绘画有 2 种方法。 调用 V...
-
算法的正确性证明方法二: 结构归纳法在上一篇文章中谈到在使用循环的算法中，可以利用循环不变量证明算法的正确性，那如果是使用递归的算法呢。 递归的算法在计算中会形成某种递归结构，因此...
-
有符号数在计算机中的表达方式
有符号数的主要用途是表示负数。 在某些语言里数值类型可标志为有符号或无符号，如 c 语言的整数类型 int 默认是有符号，加上 unsigned...
-
算法的正确性证明方法一: 循环不变量
在之前的一篇文章里写到算法的正确性的概念以及它的作用，下面就来写写循环不变量在算法的正确性证明中的用法。 循环不变量（loop invarian...
-
算法的正确性
我们面对一个 Problem，如排序问题时，我们会想到相应的候选算法如快速排序（Quicksort），归并排序（Merge sort）和堆排序（...