Installation
Pick a client and clone the repository into its skills directory.
Installation
About this skill
Problem-solving strategies for source coding in information theory
How to use
Zainstaluj umiejętność w swoim środowisku Claude, dodając ją do katalogu skills projektu Continuous-Claude.
Zidentyfikuj typ problemu kodowania źródła, z którym pracujesz: czy dotyczy on kodowania Huffmana dla znanego rozkładu prawdopodobieństwa, weryfikacji nierówności Krafta dla kodów bezprefiksowych, kodowania arytmetycznego dla rozkładów adaptacyjnych, czy teorii szybkości-zniekształcenia dla kompresji stratnej.
Dla kodowania Huffmana uruchom narzędzie Scipy_Huffman, które oblicza optymalne kody dla symboli o znanych prawdopodobieństwach. Narzędzie zwraca przypisania bitów minimalizujące średnią długość kodu.
Aby zweryfikować nierówność Krafta dla kodu bezprefiksowego, użyj narzędzia Sympy_Kraft z poleceniem simplify, podając długości kodów l1, l2, l3, l4. Narzędzie sprawdza, czy suma 2^(-li) nie przekracza 1.
W przypadku problemów wymagających dowodu teoretycznego, takich jak Shannon bound lub relacja między długością kodu a entropią, skorzystaj z narzędzia Z3_Shannon_Bound z poleceniem prove, które formalnie weryfikuje nierówności informacyjne.
Dla problemów kodowania arytmetycznego lub teorii szybkości-zniekształcenia skonsultuj się z dokumentacją dotyczącą minimalizacji szybkości transmisji przy ograniczeniach zniekształcenia, stosując odpowiednie narzędzia do obliczeń symbolicznych.