তাত্ত্বিক কম্পিউটার বিজ্ঞানে উন্মুক্ত সমস্যা সমাধানের জন্য প্রচুর অনলাইন সহযোগিতা

Question

পলিম্যাথ প্রকল্পগুলিতে একটি বিশাল গ্রুপ একটি মুক্ত সমস্যা নিয়ে কাজ করে।

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

Comments

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

— সাশো নিকোলভ

ভালো বুদ্ধি! তবে স্ট্যাকেক্সচেঞ্জ এফএমটি-তে খুব একটা ভাল ফিট করে না। তবে চ্যাট রুমগুলি সংগঠিত করার জন্য প্রাকৃতিক / কার্যকর জায়গা হতে পারে এবং এর মধ্যে কয়েকটি উদ্দেশ্যে ইতিমধ্যে ব্যবহৃত হয়েছে been টিসিএস গ্রুপের মাঝে মাঝে কিছু কাজ হয়েছে যেমন, দেওলালীকার প্রুফ রিভিউ ইত্যাদিরউপর।অনলাইন / উন্মুক্ত বিজ্ঞানের একটি বড় চ্যালেঞ্জ উত্সাহ বলে মনেহয় নিলসেন তাঁর দুর্দান্ত বই নেটওয়ার্কড বিজ্ঞান

— vzn

আমি মনে করি এইচটিটি প্রকল্পটি তার উত্সর্গীকৃত ব্লগ, বেশ কয়েকটি গিটহাব সংগ্রহস্থল, সামনাসামনি বৈঠক (এবং সর্বজনীন প্রতিষ্ঠা) পলিম্যাথ প্রকল্পগুলির তুলনায় সহযোগিতামূলক তাত্ত্বিক কম্পিউটার বিজ্ঞান গবেষণার জন্য আরও আশাব্যঞ্জক মডেল।

— থমাস ক্লিম্পেল

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

— মার্টিন বার্গার

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

— জিতেন

Answer 1

পলিম্যাথ প্রকল্পগুলি যখন কোনও ব্রেকথ্রু ঘটে তখন সফল হতে পারে বলে মনে হয় এবং একটি সফলতার ফলাফলটিকে অনুকূল করে তোলার চেষ্টা করছে বা সহজ বা আরও ভাল প্রমাণ নিয়ে আসে with Https://en.wikedia.org/wiki/Polymath_Project#Problems_solve দেখুন । এর মতো, আপনাকে সিএসে এই প্রকৃতির কোনও সমস্যা বাছাই করতে হবে। একমাত্র অবিলম্বে মাথায় আসার বিষয়টি হ'ল ম্যাট্রিক্স গুণে https://en.wikedia.org/wiki/Matrix_m Multiplication#Algorithms_for_efficient_matrix_m Multiplication , যা বর্তমানে ২.৪-এ রয়েছে ধ্রুবক উন্নতি করছে ... তবে সত্যই, আমি নিশ্চিত না যে যথেষ্ট লোকেরা যত্নশীল এটি যথেষ্ট কাজ ...

যে প্রশ্নগুলির জন্য আমি পলিম্যাথটি খারাপভাবে ব্যর্থ হবে আশা করব: পি = এনপি, অনলাইন অনুকূলতা, ইউজিসি ইত্যাদি

Comments

ভাল, কিছু সময় আগে, পি = এনপি-র একটি ঘোষিত প্রমাণ বিশ্লেষণ করার জন্য এক ধরণের পলিম্যাথ প্রকল্প ছিল, যা ভুল হিসাবে প্রমাণিত হয়েছিল ...

— জে.-ই।

ম্যাট্রিক্সের গুণটি সম্প্রতি জনপ্রিয় হয়েছে ...

— যুবাল ফিল্মাস

পিসিপি উপপাদ্যের প্রমাণগুলির ক্লিনার সংস্করণগুলি সন্ধান করা তাদের পক্ষে কার্যকর কার্যকর প্রচেষ্টা হতে পারে।

— ফিলিইদা

@ জে.ই.পিন: সুতরাং প্রকল্পটি সফল হয়েছিল!

— কোডি

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

— vzn

Answer 2

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

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

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