<s>[INST]Bir karar probleminde kullanılan bir girdi örneği nasıl bir grafiktir?[/INST]Bir karar sorununa bir örnek aşağıdadır. Girdi bir keyfi grafiğidir. Sorun, verilen grafiğin bağlı olup olmadığına karar vermekten ibarettir. Bu karar problemiyle ilişkilendirilen biçimsel dil o zaman tüm bağlı grafiklerin setidir - tabii ki, bu dilin kesin bir tanımını elde etmek için, grafiklerin ikili dizeler olarak nasıl kodlandığına karar verilmelidir.</s>