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