Questions tagged «error-correcting-codes»

维基百科以及我发现的其他来源都将C的void类型列为单位类型，而不是空类型。我觉得这很混乱，因为在我看来，它void更适合于空/底类型的定义。 void据我所知，没有价值观存在。 返回类型为void的函数指定该函数不返回任何内容，因此只能执行某些副作用。 类型的指针void*是所有其他指针类型的子类型。同样，void*在C中进行来回转换是隐式的。 我不确定最后一点是否可以作为void空类型的参数，void*或多或少是与无关的特例void。 另一方面，void它本身不是所有其他类型的子类型，据我所知，这是将类型作为底部类型的要求。

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

在用于解码Reed-Solomon码的Welch-Berlekamp算法中，给出了一个点列表，该点（一个一世，b一世）(ai,bi)(a_i, b_i)表示未知位置b i上有Ëee错误的消息（并且将e赋给该算法）。输出是通过所有给定点（发生错误的点除外）的多项式。b一世bib_iËee 该方法涉及求解形式为的线性方程组 b一世Ë（一个一世）= Q （a一世）biE(ai)=Q(ai)b_i E(a_i) = Q(a_i) 所有一世ii这里ËEE有度Ëee和问QQ具有至多度Ë + ke+ke+k。变量是ËEE和的系数问QQ。 为了确保ËEE具有度Ëee通常会在上述线性系统中加上的系数XËxex^e为1 的约束。但是，实际上并不一定知道Ëee。一个低效的（但仍多项式时间）的方式来解决这个问题是尝试Ëee所有值开始（n + k − 1 ）/ 2 − 1（ñ+ķ-1个）/2-1个(n+k-1)/2 - 1，直到找到一个解下去。 我的问题是：确定方法是否更有效ËËe？或者，是否对线性系统进行了修改，以允许使用的上限ËËe而不是精确值？ 特别是我想将此特定的解码器用于Reed-Solomon码，而不是基于其他技术的完全不同的算法。 为了回应DW的回答，这是我的工作示例。一切都以7为模。 plain message is: [2, 3, 2] polynomial is: 2 + 3 t^1 + 2 t^2 encoded message is: [[0, 2], [1, 0], …

9 algorithms  error-correcting-codes