প্রতিটি আইটেমের প্রতিবেশীর সাথে তুলনা করে একটি সাইটম তালিকাটি বাছাই হিসাবে যাচাই করা যেতে পারে। আমার অ্যাপ্লিকেশনটিতে, আমি প্রতিটি আইটেমকে তার প্রতিবেশীর সাথে তুলনা করতে সক্ষম হবো না : পরিবর্তে, তুলনাগুলি কখনও কখনও দূরবর্তী উপাদানের মধ্যে থাকতে পারে। এই তালিকায় তিনটিরও বেশি আইটেম রয়েছে এবং তুলনাটি একমাত্র সমর্থিত অপারেশন, এমন কি কখনও তুলনা করার একটি "নেটওয়ার্ক" উপস্থিত রয়েছে যা প্রমাণ করবে যে তালিকাটি সাজানো হয়েছে তবে কমপক্ষে একটি প্রত্যক্ষ প্রতিবেশী থেকে প্রতিবেশী নিখোঁজ রয়েছে তুলনা?
আনুষ্ঠানিকভাবে, উপাদানগুলির ক্রমগুলির জন্য , আমার কাছে কয়েকটি সূচক এর একটি সেট রয়েছে যার জন্য আমি জানি যে , , বা । একটি জুড়ি রয়েছে যা তুলনার সেট থেকে অনুপস্থিত। তাহলে কি ক্রমটি সাজানো হয়েছে তা প্রমাণ করা কি কখনও সম্ভব?