Bukti Ketiadaan Beberapa Kode Linear Kuaterner

Abstract

Dengan menggunakan program linear, di dalam artikel ini dibuktikan bahwa beberapa kode linear kuaterner (quaternary linear codes) dengan parameter tertentu tidak ada. Hal ini dicapai dengan menambahkan beberapa kendala baru pada program linear standar. Kendala-kendala itu diturukan dari distribusi bobot kode biner Reed-Muller berorder rendah