«coding-theory» 태그된 질문

모든 Morse 코드 문자열은 고유하게 해독 할 수 있습니까? 공백이 없으면 ......-...-..---.-----.-..-..-.. 될 수 Hello World있지만, 아마도 첫 글자가입니다 5- 실제로는 고유의 번역을해야 점과 대시 매우 가능성이 임의의 순서를 보인다. 크래프트 불평등을 사용할 수도 있지만 접두사 코드 에만 적용됩니다 . 공백 이있는 모스 코드 는 메시지를 항상 고유하게 디코딩 할 …

54 information-theory  coding-theory 

Wikipedia와 내가 찾은 다른 소스 void는 빈 유형이 아닌 C 유형을 단위 유형으로 나열 합니다. 나는 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 

" 코드 : 컴퓨터 하드웨어 및 소프트웨어의 숨겨진 언어 "라는 책을 읽었으며 2 장에서는 다음과 같이 말합니다. 모스 부호는 코드의 구성 요소가 점과 대시의 두 가지로만 구성되므로 이진 (문자 적으로 2 x 2를 의미) 코드라고합니다. 반면에 위키 백과 는 말합니다 : 엄밀히 말하면 다섯 가지 기본 요소가 있기 때문에 이진이 …

27 information-theory  coding-theory  encoding-scheme 

Char Code ==== ==== E 0000 i 0001 y 0010 l 0011 k 0100 . 0101 space 011 e 10 r 1100 s 1101 n 1110 a 1111 원문 : 호수 근처에서 본 섬뜩한 눈 인코딩 : 0000101100000110011100010101101101001111101011111100011001111110100100101 허프만 인코딩에서 구분 기호가 필요하지 않은 이유는 무엇입니까?

17 coding-theory  encoding-scheme  huffman-coding 

현재 이진 데이터를 생성하는 코드를 작성 중입니다. 특정 수의 세트 비트로 64 비트 숫자를 생성해야합니다. 보다 정확하게, 프로시 저는 취하고 0&lt;n&lt;640&lt;n&lt;640 < n < 64정확히 nnn 비트가 111 설정되고 나머지는 0으로 설정된 의사 난수 64 비트 숫자를 반환해야합니다 . 내 현재 접근 방식은 다음과 같습니다. 의사 난수 64 비트 숫자 …

12 algorithms  information-theory  coding-theory  pseudo-random-generators 

직장에서 나는 동적 언어에 대한 몇 가지 유형 정보를 유추하는 임무를 맡았습니다. 다음 let과 같이 일련의 명령문을 중첩 된 표현식 으로 다시 작성합니다 . return x; Z =&gt; x var x; Z =&gt; let x = undefined in Z x = y; Z =&gt; let x = y in Z …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

허프만 코딩, 산술 코딩 및 범위 코딩 간의 관계를 이해하려고 노력하면서 허프만 코딩의 단점이 소수 비트 패킹 문제와 관련이 있다고 생각하기 시작했습니다 . 즉, 기호에 대해 240 개의 가능한 값이 있고이를 비트로 인코딩해야한다고 가정하면 8은 256 개의 가능한 값을 표현할 수 있기 때문에 "전체"8이 필요하지 않더라도 기호 당 8 비트가 …

11 information-theory  data-compression  coding-theory  entropy  huffman-coding 

코딩 이론에서 '코드가 얼마나 좋은가'는 코드가 처리 할 수있는 최대 노이즈 레벨을 수정하거나 더 잘 설명 할 수있는 채널 오류 수를 의미합니다. 더 나은 코드를 얻기 위해 이진 코드가 아닌 큰 알파벳을 사용하여 코드를 설계합니다. 그리고 잘못된 코드 "심볼"을 처리 할 수 ​​있다면 코드가 좋습니다. 왜 부정 행위를 고려하지 않습니까? …

10 information-theory  coding-theory 

문제는 , st, 의 존재를 증명하거나 반증하는 것입니다 ; ; . ( 는 해밍 거리를 나타냄)CCC|c|=6,∀c∈C|c|=6,∀c∈C|c| = 6,\forall c\in C|C|=32|C|=32|C| = 32d(ci,cj)≥2,1≤i&lt;j≤32d(ci,cj)≥2,1≤i&lt;j≤32d(c_i,c_j)\geq2,1\leq i<j\leq32ddd 만족스러운 코드를 만들려고했습니다. 내가 얻을 수있는 최선의 방법은 , 의 크기를 16으로 는 이론적으로 크기의 상한입니다. 문제를 해결하기 위해 다음에 무엇을해야할지 모르겠습니다.C=C′×C′C=C′×C′C = C'\times C'C′={000,011,110,101}C′={000,011,110,101}C' = \{000,011,110,101\}

9 information-theory  coding-theory  encoding-scheme 

각 심볼의 빈도를 알면 허프만 알고리즘을 적용하지 않고 트리의 최대 높이를 결정할 수 있습니까? 이 트리 높이를 제공하는 수식이 있습니까?

9 trees  coding-theory