या निर्णय समस्येशी संबंधित औपचारिक भाषा
या निर्णय समस्येशी संबंधित औपचारिक भाषा म्हणजे सर्व कनेक्टेड ग्राफ्सचा संच-अर्थातच, या भाषेची अचूक व्याख्या प्राप्त करण्यासाठी, ग्राफ्स बायनरी स्ट्रिंग्स म्हणून कसे एनकोड केले जातात हे ठरवायचे आहे.
या निर्णय समस्येशी संबंधित सर्व कनेक्टेड ग्राफच्या संचासाठी शब्द काय आहे?