2015 年 1月 12 日随笔档案 - 真感慨

命题逻辑&&一阶逻辑的表示和推导

摘要：以下是关于《人工智能：一种现代方法》命题逻辑和一阶逻辑篇章的知识点索引：------------------------------------CHAPTER 7 命题逻辑------------------------------------------------基本语法蕴含与推理真值表枚举推理算法逻辑表达式变换法则推理模式归结算法定义算法[*]关于使用归结算法进行推理的理解：“归结”算法对于... 阅读全文

posted @ 2015-01-12 21:18 真感慨阅读(910) 评论(0) 推荐(0)

关于最少VC号数目的猜想

摘要： [事先说明，实际的虚拟电路的实际物理链路可能同时具有多个VC号，但每段逻辑链路仅有一个VC号，一条完整虚拟路径由多个段组成]问题描述：在一个虚拟电路交换网络中，每个路由器的直连链路都有一个独一无二的VC号，即连接在同一个路由器上的链路VC号不会冲突。现已知整个网络中一个路由器最多有M条直连链路，但具体有多少台路由器未知，那么在考虑一切可能情形的前提下，最少要使用多少种VC号？（可以知道，需要求的是... 阅读全文

posted @ 2015-01-12 03:53 真感慨阅读(431) 评论(0) 推荐(0)

2015年1月12日

公告