গ্রাফ সম্পত্তি পরীক্ষামূলক, একটি অ্যালগরিদম কিনা তা নির্ধারণ করতে লক্ষ্য হয় একটি নির্দিষ্ট সম্পত্তি আছে বা নেই উপস্থিতি বা প্রান্ত এবং চাহিদা না থাকায় জন্য একটি লক্ষ্য গ্রাফ অনুসন্ধান করে সম্পত্তি থাকার থেকে -far। (একটি অ্যালগরিদম 1 একতরফা বা 2 একতরফা ত্রুটি সহ সফল করতে বলা হতে পারে।) একটি গ্রাফ হয় ε -far কোন একটি সম্পত্তি থাকার থেকে প্রান্ত যোগ করা যেতে পারে / বিয়োগ করতে চান সম্পত্তি আছে।
কোনও সম্পত্তিটিকে উপ-লিনিয়ার সংখ্যার কোয়েরিতে উপরে উল্লিখিত পদ্ধতিতে পরীক্ষা করা যেতে পারে, তবে আরও ভাল (তবে ) এর বেশ কয়েকটি ক্যোয়ারিতে পরীক্ষিত হতে পারে । কী কী সম্পত্তি রয়েছে তার ধারণাটিও আনুষ্ঠানিকভাবে করা যেতে পারে তবে এটি পরিষ্কার হওয়া উচিত।
প্রাকৃতিক টেস্টেবল বৈশিষ্ট্যগুলির অনেক উদাহরণ সহ বৈশিষ্ট্যগুলি কী কী পরীক্ষণযোগ্য তা বৈশিষ্ট্যযুক্ত অনেকগুলি ফলাফল রয়েছে। তবে, আমি অনেক প্রাকৃতিক বৈশিষ্ট্য সম্পর্কে অবগত নই যা পরীক্ষামূলকভাবে অযোগ্য বলে জানা যায় (ক্রমাগত প্রশ্নের মধ্যে বলুন) - যার সাথে আমি পরিচিত সেগুলি হল একটি প্রদত্ত গ্রাফের জন্য আইসোমর্ফিজমের পরীক্ষা করা।
সুতরাং, আমার প্রশ্নটি: কোন প্রাকৃতিক গ্রাফের বৈশিষ্ট্যগুলি পরীক্ষণযোগ্য না বলে জানা যায় ?