তাত্ত্বিক কম্পিউটার বিজ্ঞান

বৈধ ইউটিলিটির কয়েকটি অ্যালগরিদম কী কী যা বাস্তবায়নের জন্য খুব জটিল? আমাকে পরিষ্কার করে দেওয়া যাক: আমি বর্তমান অ্যাসিম্পটোটিক অনুকূল ম্যাট্রিক্সের গুণ গুণ অ্যালগরিদম (কপারস্মিথ-উইনোগ্রেড) এর মতো অ্যালগরিদম খুঁজছি না, যা বাস্তবায়নের পক্ষে যুক্তিযুক্ত তবে এর একটি ধ্রুবক রয়েছে যা বাস্তবে এটি অকেজো করে তোলে। আমি এমন অ্যালগরিদমগুলির সন্ধান করছি …

67 ds.algorithms  ds.data-structures  big-list  implementation 

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

67 reference-request  big-list  big-picture  algebra 

গণিতবিদরা কখনও কখনও অ্যাক্সিয়াম অফ চয়েস (এসি) এবং নির্ধারিত অক্ষের অক্ষর (AD) সম্পর্কে উদ্বেগ প্রকাশ করেন। চয়েস এর সবর্জনবিদিত : প্রদত্ত যেকোন সংগ্রহে nonempty সেট, একটি ফাংশন চ করে একটি সেট দেওয়া এস এ সি , একজন সদস্য ফেরৎ এস ।CC{\cal C}fffSSSCC{\cal C}SSS নির্ধারণের অক্ষ : আসুন লম্বা বিট স্ট্রিংগুলির …

67 cc.complexity-theory  lo.logic  pl.programming-languages  big-picture  set-theory 

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

66 soft-question  big-list  advice-request  career 

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

66 cc.complexity-theory  np-hardness  big-picture 

আমি পিসিপি উপপাদ্য (মূলত অ্যালগরিদমের সান্নিধ্যে) ব্যবহার করে এমন অনেকগুলি ফলাফলের সাথে পরিচিত , তবে আমি পিসিপি উপপাদ্যটির স্পষ্ট ব্যাখ্যা পাই নি (যেমন, )।এন পি = পি সি পি (ও(লগ( এন ) ) , ও ( 1 ) )এনপি=পিসিপি(হে(লগ ইন করুন⁡(এন)),হে(1))\mathsf{NP} = \mathsf{PCP}(O(\log(n)),O(1)) এর জন্য পড়া ভাল কাগজপত্র / বই …

64 cc.complexity-theory  reference-request  pcp 

নিম্নলিখিত প্রশ্নটি সিদ্ধান্তগ্রহণযোগ্য কিনা তা জিজ্ঞাসিত প্রশ্নটি: সমস্যা একটি পূর্ণসংখ্যা দেওয়া এবং টুরিং মেশিন পি হতে প্রতিশ্রুত, এর রানটাইম হয় ইনপুট দৈর্ঘ্য সম্মান সঙ্গে ?এম এম ও ( এন কে ) এনটkkএমMMএমMM ও ( এন)ট)O(nk){O}(n^k)এনnn "হ্যাঁ", "না" বা "উন্মুক্ত" এর একটি সংকীর্ণ উত্তর গ্রহণযোগ্য (তথ্যসূত্র, প্রমাণ স্কেচ, বা বর্তমান জ্ঞানের …

64 cc.complexity-theory  approximation-hardness 

ক্লাস পিপিতে ক্লাস পিএইচ অন্তর্ভুক্ত ছিল কিনা তা জিজ্ঞাসা করে হাক বেনেটের সাম্প্রতিক একটি প্রশ্ন কিছুটা পরস্পরবিরোধী উত্তর পেয়েছে (সমস্ত সত্য, এটি মনে হচ্ছে)। একদিকে, বেশ কয়েকটি ওরাকল ফলাফল বিপরীতভাবে দেওয়া হয়েছিল, এবং অন্য দিকে স্কট বলেছিলেন যে টোডোর উপপাদ্যটি দেখায় যে উত্তরটি সম্ভবত পি.পি., পিপি-র মধ্যে রয়েছে পি.পি., পিপি …

63 cc.complexity-theory  counting-complexity  derandomization  relativization 

10/12/08 এডিট করুন: আমি প্রশ্নটি সংশোধন করার চেষ্টা করব যাতে এটি আরও বেশি লোকের মতামত জানাতে আগ্রহী হতে পারে। আমরা আপনার অবদানের প্রয়োজন! এই পোস্টটি এমও-র একটি দ্বারা অনুপ্রাণিত: গণিতে সাধারণ মিথ্যা বিশ্বাসের উদাহরণ । বড় তালিকাগুলি মাঝে মধ্যে প্রচুর উত্তর সরবরাহ করে যার গুণাবলী নিয়ন্ত্রণ করা শক্ত, তবে এমও …

62 big-list  examples 

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

62 soft-question  big-list  paper-review 

প্রায়শই, আমরা যখন টিসিএস সম্মেলনে অংশ নিই, তখন আমরা কিছুটা ছোট বিবরণ লক্ষ্য করি যে আমরা আশা করি সম্মেলন আয়োজকরা যত্ন নেতেন। এবং যখন আমরা সম্মেলনগুলি আয়োজন করি, আমরা ইতিমধ্যে এটি ভুলে গিয়েছি। সুতরাং প্রশ্ন: টিসিএস সম্মেলনগুলি উন্নত করার জন্য আমরা কোন ছোট পদক্ষেপগুলি সহজেই নিতে পারি ? আশা করি, …

61 soft-question  big-list  research-practice  conferences 

আমার আজ প্রশ্নটি (যথারীতি) কিছুটা নির্বোধ; তবে আমি আপনাকে দয়া করে এটি বিবেচনা করার জন্য অনুরোধ করব। আমি গাছের চত্বরের ধারণার পিছনে জেনেসিস এবং / বা অনুপ্রেরণা সম্পর্কে জানতে চেয়েছিলাম। আমি অবশ্যই বুঝতে পারি যে এটি এফপিটি অ্যালগরিদমে ব্যবহৃত হয়, তবে আমি মনে করি না যে এই কারণটি এই ধারণাটি …

61 graph-theory  co.combinatorics  big-picture  ho.history-overview  treewidth 

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

61 reference-request  ho.history-overview  topology  survey 

আমি একটি সংখ্যা দ্বারা parametrized সমস্যার উদাহরণ খুঁজছি , যেখানে সমস্যা কঠোরতা হয় অ একঘেয়ে মধ্যে । বেশিরভাগ সমস্যার (আমার অভিজ্ঞতার সাথে) একটি একক পর্যায়ের ট্রানজিশন থাকে, উদাহরণস্বরূপ এসএটি from থেকে 2 2 (যেখানে সমস্যা পিতে রয়েছে ) তে (যেখানে সমস্যাটি এনপি-সম্পূর্ণ। আমি যে সমস্যাগুলিতে আগ্রহী সেখানে বাড়ার সাথে সাথে …

60 cc.complexity-theory  np-hardness  big-list  phase-transition 

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

60 reference-request  big-list