টিসিএস প্রমাণ কৌশল সম্পর্কিত রেফারেন্স


38

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

সুতরাং উদাহরণস্বরূপ, বিষয়গুলির মধ্যে তির্যক অন্তর্ভুক্ত থাকতে পারে, ব্যবহৃত নির্মাণের ধরণের মাধ্যমে আরও ভেঙে দেওয়া; গণনা ইতিহাস দ্বারা প্রমাণ; ঝালর নির্মাণ; সংকোচনের যুক্তি ইত্যাদি I আমি মনে করি যে আমি কেবল গণনা পাঠের একটি প্রমিত তত্ত্বটি কাটাতে এবং বিভাগগুলি পুনর্বিন্যস্ত করতে পারি তবে এটি খুব ভাল হবে যদি সেখানে কিছু থাকে যা কিছু অতিরিক্ত ভাষ্য সরবরাহ করে এবং দেখায় যে কৌশলগুলির মধ্যে কোথায় মিল রয়েছে ব্যবহার করা হয়েছে।

কেবল স্পষ্ট করেই বলা যায় যেহেতু যে কোনও পাঠ্য প্রমাণ ব্যবহার করতে চলেছে , তাই আমি যা খুঁজে পেতে আগ্রহী তা হ'ল একটি প্রসঙ্গ যেখানে প্রমাণ কৌশলগুলিই প্রকৃত বিষয়।

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


এই বইটি গণনামূলক জটিলতার জন্য দুর্দান্ত cs.princeton.edu/theory/complexity
মার্কোস ভিলাগ্রা

এটি এমন বিস্তৃত প্রশ্ন যা এর ক্ষেত্রটি সমস্ত ক্ষেত্র! এটি উল্লেখযোগ্যভাবে সংকীর্ণ না করা হলে বন্ধ করার পক্ষে ভোটদান। এছাড়াও, এটির সম্প্রদায়ের উইকি হওয়ার সম্ভাবনা সবচেয়ে বেশি, কারণ এর একটিও নির্দিষ্ট উত্তর নেই itive
সুরেশ ভেঙ্কট

1
আমি প্রমাণ কৌশলগুলির একটি তালিকা খুঁজছি না; আমি আশা করছিলাম যে ইতিমধ্যে কোথাও কোথাও এই প্রকৃতির একটি রেফারেন্স উপস্থিত ছিল যাতে কেউ আমাকে নির্দেশ করতে পারে। আরও চোখ এটি দেখার সুযোগ না পাওয়া পর্যন্ত কেন এটিকে আরও কিছুক্ষণ খোলা রাখবেন না?
কর্ট

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

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

উত্তর:


36

Hemaspaandra এবং Ogihara দ্বারা জটিলতা তত্ত্ব কম্প্যানিয়ন । এটি কৌশলগত দিক থেকে সম্পূর্ণ নয় (আমি ধারণা করি যে এরকম কোনও বই নেই) তবে আমি মনে করি এটি আপনার প্রশ্নের উত্তর হিসাবে যোগ্যতা অর্জন করেছে। এখানে অধ্যায়গুলির শিরোনাম:

  • স্ব-হ্রাসযোগ্যতা প্রযুক্তি।
  • ওয়ানওয়ে ফাংশন টেকনিক।
  • টুর্নামেন্ট ডিভাইড এবং কনকয়ের প্রযুক্তি।
  • বিচ্ছিন্ন প্রযুক্তি।
  • সাক্ষী হ্রাস প্রযুক্তি
  • পলিনোমিয়াল ইন্টারপোলেশন প্রযুক্তি।
  • ননসোলভেবল গ্রুপ টেকনিক।
  • র্যান্ডম সীমাবদ্ধকরণ কৌশল।
  • বহুপদী প্রযুক্তি।

1
ধন্যবাদ! প্রকাশকের ধোঁয়াশা থেকে, "... বইটি --- জটিলতার উপর অন্যান্য গ্রন্থের মতো নয় --- টপিকের পরিবর্তে কৌশল দ্বারা সংগঠিত" অবশ্যই আমার মনে যা ছিল তা মনে হচ্ছে। (আমাকে স্বীকার করতে হবে যে আমি এই অধ্যায়ে শিরোনামগুলির অনেকগুলিই স্বীকৃতি দিচ্ছি না - এই বইটি আমার পক্ষে সম্ভবত কিছুটা রুক্ষ হবে))
কুর্ট

25

এখানে আরও একটি বই রয়েছে যেখানে অধ্যায়গুলি প্রুফ কৌশলগুলিতে বেশি মনোযোগী।

"কম্পিউটার বিজ্ঞানের সাথে অ্যাপ্লিকেশনগুলির সাথে এক্সট্রিমাল সম্মিলন", স্ট্যাসিস জুকনা দ্বারা। এটি একটি দুর্দান্ত বই এবং টিসিএসে আপনার প্রয়োজন হতে পারে এমন অনেকগুলি সংমিশ্রণকে কভার করে। অবশ্যই এর বিষয়বস্তুতে তির্যককরণ, টেবিলগুলি ইত্যাদি অন্তর্ভুক্ত নয়, তবে এটি একটি অ্যাপ্লিকেশন অনুসন্ধানের জন্য ঝরঝরে সমন্বয়মূলক কৌশলগুলির একটি সংগ্রহ (এবং পাঠ্যের বিভিন্ন স্থানে অ্যাপ্লিকেশনগুলি বানানযুক্ত)।

দ্বিতীয় সংস্করণের একটি "প্রাথমিক খসড়া" এখানে উপলব্ধ


ধন্যবাদ, এটি দেখতে সত্যিই একটি দরকারী পাঠ্যের মতো - আমি এগিয়ে গিয়ে নিজেকে একটি অনুলিপি অর্ডার করেছি।
কুর্ট

19

সঞ্জীব অরোড়ার নোটগুলির একটি ভাল সেট রয়েছে তিনি "একটি তাত্ত্বিকের টুলকিট" বলেছেন


এই ক্লাসটি কয়েক বছর ধরে গ্রেড শিক্ষার্থীদের তত্ত্বের জন্য প্রিন্সটনে শেখানো হয়েছিল। ২০০৩ সালের কোর্সের অবতার (বক্তব্য নোটগুলির আপডেট সংস্করণ এখানে রয়েছে ) ( সিএস.প্রিন্সটন.ইডু
~রোরা

15

"তাত্ত্বিক কম্পিউটার বিজ্ঞানের রত্ন" বইটি প্রচুর বিভিন্ন কৌশল শেখার একটি ভাল উপায় (যদিও আপনি প্রত্যেকে কেবল একবার প্রয়োগ করেছেন তা দেখতে:)

http://www.calvin.edu/~rpruim/publications/gems/


এটি একটি আকর্ষণীয় পাঠ্যের মতো শোনাচ্ছে, তবে আমি কেবল এটি অ্যামাজনে দেখার চেষ্টা করেছি (অ্যামাজন / গেমস-থিয়োরিটিক্যাল -কম্পিউটার কম্পিউটার- বিজ্ঞান- বিদ্যুৎসিটি ৯০ বিবিজ্ঞান / ডিপি / ২ ) এবং আমাকে একটি ডাবল- টিক নিতে হয়েছিল! অবশ্যই মুদ্রণের বাইরে এবং অত্যন্ত মূল্যবান হওয়া উচিত।
কুর্ট

15

বিভিন্ন প্রমাণ প্রমাণের জন্য একটি উইকি উত্সর্গীকৃত রয়েছে: http://www.tricki.org/ (টিমোথি গওয়ার্স দ্বারা অনুপ্রাণিত বলে মনে হয়)।


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

আপনি এই বিভাগগুলি উন্নত করতে পারেন, আমি মনে করি।
ilaraz

আসলে, আমি সম্ভবত একটি বিদ্যমান একটি পড়া ... একটি দীর্ঘ দীর্ঘমেয়াদী প্রকল্প সম্ভবত পড়া ছাড়া একটি নতুন এন্ট্রি লিখে ভাল একটি বিষয় শিখতে হবে।
কুর্ট

13

তাত্ত্বিক কম্পিউটার বিজ্ঞানের বিভিন্ন অংশে দরকারী অন্য কৌশল টম:

নোগা অ্যালন এবং জোয়েল এইচ। স্পেন্সার, সম্ভাব্য পদ্ধতি (তৃতীয় সংস্করণ), উইলি, আইএসবিএন 0470170204।


12

এস ফেনার, এল ফোর্টনউ, এস কুর্তজ এবং এল লি। একটি ওরাকল নির্মাতার সরঞ্জামকিট। তথ্য এবং গণনা, 182 (2): 95-136, 2003. ( ল্যান্সের হোমপেজ থেকেও উপলব্ধ )।

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


7

আমরা সিএসএসই সম্পর্কে কিছু রেফারেন্স প্রশ্নগুলি টিপিক্যাল (এখনও অবধি সূচনা) টিসিএস সমস্যাগুলি কভার করার বিষয়ে শুরু করছি । সাধারণ প্রাসঙ্গিকতার পাশাপাশি কিছু উত্তরে এমন পদ্ধতি রয়েছে যা প্রতিটি গবেষকের কাছে জানা নাও যায়, যেমন:

আমাদের কাছে পি = এনপি কীভাবে সমাধান করবেন না? যা অ্যান্টি-টেকনিক সম্পর্কে আরও বেশি।


1

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

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