<s>[INST]Bir soyutlama seviyesini sürdürme çabasında, hangi seçenek tipik olarak bağımsız bırakılır?[/INST]Bazı karmaşıklık-teorik teoremlerin kanıtları düzenli olarak bazı girdi kodlama seçimleri olsa bile, tartışma kodlama seçiminden bağımsız olacak şekilde tartışmayı soyut tutmaya çalışır. Bu, farklı gösterimlerin verimli bir şekilde birbirlerine dönüştürülebilmesini sağlayarak başarılabilir.</s>