最新 最热

【计算理论】可判定性 ( 确定性有限自动机的接受问题 | 证明 “确定性有限自动机的接受问题“ 的可判定性 )

需要 构造一个图灵机 , 认识该语言 , 并且该图灵机一定是判定机 , 即可证明计算问题是可判定的 ;

2023-03-28
0

【计算理论】可判定性 ( 丘奇-图灵论题 | 可判定性引入 | 图灵机语言 | 图灵机结果 | 判定机 | 部分函数与全部函数 | 可判定性定义 )

所有的数学模型 都为算法提供了严格的数学模型 , 这些数学模型之间是相互等价的 , 这是一个论题 , 不需要证明 ;

2023-03-28
1

【计算理论】图灵机 ( 接受状态作用 | 格局 | 图灵机语言 | 图灵机设计复杂性 )

设置了 接受状态 概念 , 可以将字符串分为 接受字符串 , 非接受字符串 , 两部分 ;

2023-03-28
1

【计算理论】图灵机 ( 图灵机图示 | 图灵机形式定义 )

下图是图灵机的简单示意图 : 图灵机由 无穷长的带子 , 读头 , 状态 组成 ;

2023-03-28
0

【Android 安全】DEX 加密 ( Application 替换 | Android 应用启动原理 | LoadedApk 后续分析 )

dex 解密时 , 需要将 代理 Application 替换为 真实 Application ; 替换 Application 首先要理解系统如何注册应用的 Application 的 ;

2023-03-28
1

【数据挖掘】关联规则挖掘 Apriori 算法 ( 关联规则性质 | 非频繁项集超集性质 | 频繁项集子集性质 | 项集与超集支持度性质 )

文章目录一、 非频繁项集超集性质二、 频繁项集子集性质三、 项集与超集支持度性质参考博客 :【数据挖掘】关联规则挖掘 Apriori 算法 ( 关联规则简介 | 数据集 与 事物 Transaction 概念 | 项 Item 概念 | 项集 Item...

2023-03-28
1

【数据挖掘】关联规则挖掘 Apriori 算法 ( 关联规则简介 | 数据集 与 事物 Transaction 概念 | 项 Item 概念 | 项集 Item Set | 频繁项集 | 示例解析 )

如 : 购买商品时 , 啤酒 与 尿布 就有关联关系 , 这两个之间肯定没有因果关系 , 有一种未知的关联关系 ;

2023-03-28
1

【Android 异步操作】Handler 机制 ( MessageQueue 空闲任务 IdleHandler 机制 )

在上述如果取出的 mMessage 消息为空 mMessages == null , 则执行 IdleHandler ;

2023-03-28
1

【Android 异步操作】手写 Handler ( Message 消息 | ThreadLocal 线程本地变量 | Looper 中的消息队列 MessageQueue )

模仿 Android 中的 Message 基本功能 , 提供 what 与 obj 变量 , 提供一个回收方法 ;

2023-03-28
1

【组合数学】指数生成函数 ( 指数生成函数性质 | 指数生成函数求解多重集排列 )

将上述两个 指数生成函数 相乘 , 看做一个函数 , 可以展开成另外一个数列的级数形式 ,

2023-03-28
1