• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>IEEE Transactions on Information Theory >Computing Binary Combinatorial Gray Codes Via Exhaustive Search With SAT Solvers
【24h】

Computing Binary Combinatorial Gray Codes Via Exhaustive Search With SAT Solvers

机译：使用SAT解算器通过穷举搜索计算二进制组合格雷码

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The term binary combinatorial Gray code refers to a list of binary words such that the Hamming distance between two neighboring words is one and the list satisfies some additional properties that are of interest to a particular application, e.g., circuit testing, data compression, and computational biology. New distance-preserving and circuit codes are presented along with a complete list of equivalence classes of the coil-in-the-box codes for codeword length $6$ with respect to symmetry transformations of hypercubes. A Gray-ordered code composed of all necklaces of the length $9$ is presented, improving the known result with length $7$.
机译：术语“二进制组合格雷码”是指二进制单词的列表，以使两个相邻单词之间的汉明距离为1，并且该列表满足特定应用程序感兴趣的一些其他属性，例如，电路测试，数据压缩和计算生物学。提出了新的距离保持和电路代码，以及关于超立方体对称变换的码字长度为$ 6 $的盒装线圈等价类的完整列表。给出了由长度为$ 9 $的所有项链组成的灰度排序代码，改进了长度为$ 7 $的已知结果。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号