গ্রাফিকের 'আকার' বর্ণনা করতে পারে এমন কোনও 'গ্রাফিকাল' বীজগণিত আছে?


9

গ্রাফ গণনার মূল সমস্যাগুলির মধ্যে একটি হ'ল গ্রাফের 'আকৃতি' নির্ধারণ করা, যেমন কোনও নির্দিষ্ট গ্রাফের আইসোমর্ফিিজম শ্রেণি। আমি পুরোপুরি সচেতন যে প্রতিটি গ্রাফকে প্রতিসম ম্যাট্রিক্স হিসাবে প্রতিনিধিত্ব করা যায়। তবে, আকারটি পেতে আপনার সারি / কলামের ক্রম সংকলনের প্রয়োজন যা ম্যাট্রিক্সকে একটু কম উপযোগী করে তোলে। গ্রাফটি একবার দেখতে 'ফর্ম' দেখতে কিছুটা শক্ত।

আমার প্রশ্ন হ'ল: গ্রাফিকের এমন কোনও 'বীজগণিত' আছে যা গ্রাফের 'আকৃতি' বর্ণনা করতে পারে?

আমি যা ভাবছি তা হ'ল বীজগণিত টপোলজিস্টরা কোন ধরণের প্রথাগত সিস্টেম নিয়ে আসে। বিশেষত, গিঁট আক্রমণকারীদের বীজগণিতের মতো জিনিসগুলি, বা অপেরাড বা পলিগ্রাফের মতো নোটেশনাল সিস্টেম । এই ধরণের 'ডুডল বীজগণিতগুলি' প্রায় তত উন্নত নয়, তাই সম্ভবত বিশ্বাস করার কারণ আছে যে গ্রাফগুলির জন্য এই জাতীয় কোনও বীজগণিত উপস্থিত নেই, তবে আমি অন্যথায় ধরে নেওয়ার আগে জিজ্ঞাসা করতাম যদিও।

হালনাগাদ:

আমার প্রশ্নটি সম্ভবত খুব সংকীর্ণ এবং 'হ্যাঁ' দিয়ে তাত্ক্ষণিকভাবে জবাবদিহী নয়, সুতরাং যদি মডারেটররা কিছু মনে করেন না, তবে আমি এটি জিজ্ঞাসা করে এটি আরও প্রশস্ত করব:

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

প্রেরণা

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

ব্যবহারিক উদাহরণ যেখানে এই জাতীয় ব্যবস্থা কার্যকর হবে

মনে করুন যে একটি ইউরোলিয়ান গ্রাফের অবশ্যই সমান ডিগ্রি হতে হবে এমন একটি প্রমাণ বর্ণনা করতে চাইছেন। একটি স্ট্যান্ডার্ড প্রমাণ সাধারণত ব্যবহৃত প্রকৃত প্রান্তগুলি উল্লেখ না করে সম এবং বিজোড় ডিগ্রি সম্পর্কে যুক্তি ব্যবহার করে। একজন সাধারণ ছাত্র প্রথমবারের মতো এই জাতীয় প্রমাণ খুঁজে পেতে পারে এবং সম্ভবত নিজেকে যুক্তি সম্পর্কে বোঝানোর চেষ্টা করে গ্রাফ আঁকতে শুরু করে। তবে সম্ভবত বিশুদ্ধ 'যৌক্তিক' যুক্তির চেয়ে আরও ভাল সরঞ্জামটি দেখাতে হবে যে এ জাতীয় ভাষা থেকে 'প্রতীক'গুলির যে কোনও সংগ্রহ কিছু' সম্পূর্ণতা 'শর্তটি পূরণ করতে পারে না।

হ্যাঁ, আমি জানি, আমি এই শেষ অংশে হ্যান্ড-ওয়েভি হয়ে যাচ্ছি .. যদি আমি না থাকি তবে আমি নিজেই সম্ভবত এমন একটি সিস্টেম তৈরি করা শুরু করতাম!

তবে এক মুহুর্তের জন্য আমার অস্পষ্টতা উপেক্ষা করে আমি বুঝতে পারি যে গ্রাফ তত্ত্বের অনেক পুরানো এবং সুপরিচিত তত্ত্বগুলি কঠিন নয় তবে কিছু ধারণা তৈরির প্রয়োজন যা সত্যিকারের একটি ভাল কাঠামো একটি সংযুক্ত দৃষ্টিভঙ্গিতে 'বেঁধে' রাখতে পারে এবং 'প্যাকেজ' তৈরি করতে পারে।


আমি মনে করি যেন এই প্রশ্নটি যদিও গ্রাফ আইসোমরফিজম সমস্যার সাথে সম্পর্কিত তবে এটি ম্যাথওভারফ্লো বা গণিতের জন্য আরও উপযুক্ত হতে পারে।
bbejot

3
যদিও এটি সম্ভব যে আপনি ম্যাথওভারফ্লো সম্পর্কে আরও ভাল উত্তর পেতে পারেন তবে আমাদের এখানে গ্রাফের উপস্থাপনা নিয়ে আলোচনা আছে এবং আমি এটিকে সরিয়ে নেওয়ার কারণ দেখছি না।
সুরেশ ভেঙ্কট

4
আপনি কি কক্সেটর-ডিনকিন ডায়াগ্রামের মতো কিছু খুঁজছেন তবে গ্রাফের জন্য?
আর্টেম কাজনাটচিভ

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

@ আর্টেম হ্যাঁ, এটি আমি যা ভাবছি তার খুব কাছে।
রবিনহোড

উত্তর:


6

গ্রাফের আকৃতি বর্ণনা করার জন্য অনেক লোক বীজগণিতীয় ভাষা আবিষ্কার করার চেষ্টা করেছেন। এই প্রশ্নটি মূলত স্ট্রাকচারাল গ্রাফ তত্ত্বকে উত্সাহিত করে ।

বিচ্ছিন্ন গণিতের এই অঞ্চলের কেন্দ্রবিন্দুতে গ্রাফের ক্ষয়গুলির অধ্যয়ন করা হয়। এই অঞ্চলে কর্মরত কিছু লোক হলেন নিল রবার্টসন, পল সেমুর, রবিন থমাস, মারিয়া চুদনভস্কি, ক্রিস্টিনা ভুভকোভিয় এবং তাদের সহযোগী, যদিও এই তালিকাটি আমার নিজের গবেষণার আগ্রহের দ্বারা পক্ষপাতদুষ্ট।

বিশেষ ধরণের গ্রাফ পচানোর ফলে গ্রাফ তত্ত্বের বেশিরভাগ সাধারণ ফলাফল দেখা দিয়েছে। উদাহরণস্বরূপ, গ্রাফ মাইনার্স প্রকল্পের জন্য বিকাশ করা অন্যতম প্রধান প্রযুক্তিগত সরঞ্জাম, যা রবার্টসন-সিউমোর উপপাদ্যকে নেতৃত্ব দেয় , এটি গ্রাফ কাঠামোর উপপাদ্য । এটি দেখায় যে কয়েকটি গ্রাফিককে বাদ দেয় এমন গ্রাফগুলি সহজ গ্রাফ থেকে তৈরি করা যেতে পারে built

ইন স্ট্রং পারফেক্ট গ্রাফ প্রমাণ উপপাদ্য একটি কিছুটা ভিন্ন পচানি ব্যবহার করা হয়েছিল। মূল ফলাফলটি: প্রতি বার্জে গ্রাফের জন্যজিহয়, হয় জি মৌলিক, বা একটি জি,জি¯ একটি যথাযথ 2 যোগ দিতে, বা জি ভারসাম্যযুক্ত স্কিউ বিভাজন স্বীকার করে।

আজ অবধি অচলিত পচনগুলি কিছু অর্থে অ-বীজগণিত। আমার ব্যক্তিগত অন্তর্নিহিততা হ'ল এমন ইঙ্গিত রয়েছে যে আপনি যে চাইছেন তেমন কোনও "সুন্দর" সিস্টেম নেই। এই গলিবের বিবৃতিটি সুনির্দিষ্ট করে তোলার জন্য সীমাবদ্ধ মডেল তত্ত্বের ক্ষেত্রে একটি অযৌক্তিক উদ্যোগ প্রয়োজন হতে পারে তবে আমি সন্দেহ করি যে এটি গ্রাফ তত্ত্বের আকর্ষণীয় নতুন ফলাফলের কারণ হতে পারে (সফল হোক বা না হোক)।


0

এই প্রশ্নটি কার্যকরী প্রোগ্রামিংয়ে গুরুত্বপূর্ণ কারণ গ্রাফের স্বাভাবিক প্রতিনিধিত্ব নিখুঁত কার্যকরী ভাষাগুলিতে ব্যবহার করা অকার্যকর এবং অদক্ষ।

আইসিএফপি-তে গত বছর একটি দুর্দান্ত দৃষ্টিভঙ্গি উপস্থাপন করা হয়েছিল: " আন্দ্রে মখভের " বীজগণিত গ্রাফস উইথ ক্লাস (ফাংশনাল পার্ল) "

আমি জানি না এটি আপনার প্রয়োজনের পুরোপুরি জবাব দেয় কিনা তবে এটি বীজগণিতভাবে বিভিন্ন ধরণের নির্দেশিত এবং পুনর্নির্দেশিত গ্রাফগুলির বিস্তৃত উপস্থাপন করতে পারে।

আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.