1
MSO गुण, प्लेनर रेखांकन और लघु-मुक्त रेखांकन
कौरसल की प्रमेय में कहा गया है कि हर दूसरे ग्राफ लॉरेज में निश्चित मानदण्ड निश्चित रूप से तय की जा सकती है। । यह सबसे प्रसिद्ध एल्गोरिथम मेटा-प्रमेयों में से एक है। कौरसल की प्रमेय द्वारा प्रेरित, मैंने निम्नलिखित अनुमान लगाया: अनुमान : Let किसी भी एमएसओ-definable संपत्ति हो। …