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

আমি সমস্যার জন্য একটি দক্ষ অ্যালগরিদম চাই: ইনপুট : কিছু পূর্ণসংখ্যা জন্য ধনাত্মক পূর্ণসংখ্যা (বিট হিসাবে সঞ্চিত) ।3n3n3^nn≥0n≥0n \geq 0 আউটপুট : সংখ্যা ।nnn প্রশ্ন : আমরা গনা পারি এর বিট থেকে মধ্যে সময়?nnn3n3n3^nO(n)O(n)O(n) এটি একটি গণিতের উত্তর থেকে উত্সাহিত একটি তাত্ত্বিক প্রশ্ন SEএসই প্রশ্ন এই দ্বিপক্ষের জন্য একটি সূত্র …

11 ds.algorithms  time-complexity 

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

11 np-hardness  proofs  p-vs-np 

FOCS2013 থেকে এই সাম্প্রতিক কাগজ, বেষ্টিত Treewidth SAT এর স্ট্রং backdoors মধ্যে সংযোগ সম্পর্কে Gaspers এবং Szeider কথাবার্তায় treewidth স্যাট দফা গ্রাফ এবং উদাহরণস্বরূপ কঠোরতা করুন। এলোমেলো 3-স্যাট অর্থাত্ এলোমেলোভাবে বেছে নেওয়া 3-স্যাট দৃষ্টান্তের জন্য, ক্লজ গ্রাফের গাছের প্রস্থ এবং উদাহরণস্বরূপ কঠোরতার মধ্যে সম্পর্ক কী? "উদাহরণস্বরূপ কঠোরতা "টিকে" একটি সাধারণ …

11 graph-algorithms  sat  treewidth  random-k-sat  hard-instances 

প্ল্যানার বিভাজক, বৃক্ষ বিভাজক, চৌম্বক গাছের প্রস্থের গ্রাফ, সীমানা জেনাসের গ্রাফ, ইত্যাদি ইত্যাদি থেকে গ্রাফগুলিতে বিভাজকগুলির ফলাফলের পর্বত এখন রয়েছে etc.

11 reference-request  graph-algorithms  survey 

এই সমস্যা আগে পড়াশোনা করা হয়েছে? একটি মেট্রিক অপরিবর্তিত গ্রাফ জি দেওয়া হয়েছে (প্রান্ত দৈর্ঘ্য ত্রিভুজ বৈষম্য পূরণ করে), এমএসটি (জি [এস]) সর্বাধিক করা হয়েছে এমন একটি শীর্ষ শিখার সন্ধান করুন, যেখানে এমএসটি (জি [এস]) উপগ্রহের সর্বনিম্ন বিস্তৃত গাছ এস এই সমস্যাটি আগেও অধ্যয়ন করা হয়েছে? এটা কি এনপি-হার্ড? অনেক …

11 ds.algorithms  graph-algorithms  np-hardness  approximation-algorithms 

এটি একটি খুব সাধারণ প্রশ্ন হতে পারে। তবে প্রকার ও প্রকারের মধ্যে পার্থক্য কী? আমার বর্তমান উপলব্ধিটি হ'ল আপনার কাছে টাইপ বিধি সহ একটি টাইপ তত্ত্ব রয়েছে যা একটি ভাল-টাইপযুক্ত স্টেটমেন্টের ধারণা দেয় তবে বিভিন্ন ধরণের প্রতীকগুলিতে চিহ্নকে আলাদা করে ফাংশন অ্যাপ্লিকেশন সম্পর্কিত প্রাথমিক বিধি প্রবর্তন ইত্যাদি ধরণের আরও মৌলিক …

11 type-theory 

আমার কয়েকটি মিলিয়ন 32-বিট মান রয়েছে। প্রতিটি মানের জন্য, আমি 5 এর হাতুড়ি দুরত্বের মধ্যে অন্যান্য সমস্ত মান সন্ধান করতে চাই the নিষ্পাপ পদ্ধতির জন্য, এটি তুলনা প্রয়োজন, যা আমি এড়াতে চাই।ও ( এন)2)হে(এন2)O(N^2) আমি বুঝতে পেরেছিলাম যে আমি যদি এই 32-বিট মানগুলিকে কেবল পূর্ণসংখ্যার হিসাবে বিবেচনা করি এবং একবারে …

11 ds.algorithms  co.combinatorics  approximation-algorithms 

মনে করে দেখুন ব্যাস গ্রাফ এর একটি দীর্ঘতম সবচেয়ে কম পথের দৈর্ঘ্য হল জি । গ্রাফ দেওয়া, কম্পিউটিং জন্য একটি সুস্পষ্ট অ্যালগরিদম Diam ( জি ) অল-জোড়া সংক্ষিপ্ততম পথ সমস্যা (APSP) এবং আয় দীর্ঘতম পথের দৈর্ঘ্য পাওয়া solves।GGGGGGdiam(G)diam(G)\text{diam}(G) এটি জানা যায় যে বেশ কয়েকটি গ্রাফ ক্লাসের জন্য অনুকূল সময়ে এপিএসপি …

11 graph-theory  graph-algorithms  shortest-path 

আমার জানা সমস্ত # এসএটি সলভার, যেমনঃ রিলস্যাট, সি 2 ডি, কেবলমাত্র সন্তুষ্টযোগ্য উদাহরণগুলির সংখ্যারই ফিরিয়ে দেয়। কিন্তু আমি কি সেই উদাহরণগুলির প্রতিটি জানতে চাই? এমন কোনও # স্যাট সমাধানকারী আছে বা এটি করার জন্য আমার কীভাবে একটি উপলভ্য # এসএটি সলভার পরিবর্তন করতে হবে? ধন্যবাদ.

11 lo.logic  sat  software 

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

11 turing-machines 

এই সমস্যাটি সম্পর্কে আরও সন্ধান করার অসুবিধার অংশটি হ'ল গ্রাফের সাথে মিলানোর সমস্যাটি তার বিখ্যাত খালাতো বোন, ম্যাচিংয়ের সমস্যা থেকে পৃথক, তবে অনুসন্ধান ইঞ্জিনগুলি ব্যবহার করার সময় এর থেকে পৃথক হওয়া শক্ত। দুটি গ্রাফ দেওয়া হয়েছে G=(V,E)G=(V,E)G=(V,E) এবং G′=(V′,E′)G′=(V′,E′)G'=(V',E') যেমন যে |V|=|V′||V|=|V′||V| = |V'|, টাস্কের একটি bijection খুঁজে পেতে π:V→V′π:V→V′\pi …

11 reference-request  graph-theory  graph-isomorphism 

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

11 soft-question 

জানা যায় যে কিছু (অ-relativized) মধ্যে অন্বিত জটিলতা শ্রেণীর PP{\bf P} এবং PSPACEPSPACE{\bf PSPACE} নিম্নলিখিত সম্পত্তি, P⊆CoNP⊆US⊆C=P⊆PP⊆PSPACEP⊆CoNP⊆US⊆C=P⊆PP⊆PSPACE{\bf P} \subseteq {\bf CoNP} \subseteq {\bf US} \subseteq {\bf C_=P} \subseteq {\bf PP} \subseteq {\bf PSPACE} । আমি অবাক হচ্ছি একটি (অ-relativized) অন্বিত জটিলতা বর্গ অস্তিত্ব আছে যদি XX{\bf X} যেমন যে PP⊆X⊆PSPACEPP⊆X⊆PSPACE{\bf …

11 cc.complexity-theory  complexity-classes 

যাক একটি সংযুক্ত গ্রাফ গড় দূরত্ব হতেজি ।একটি ডি ( জি )ad(G)\rm{ad}(G)জি ।G.G. ওয়ান ওয়ে গনা উপাদান সাতরে হয় দূরত্ব ম্যাট্রিক্স এবং উপযুক্তভাবে সমষ্টি স্কেলিং।D ( G ) , জিএকটি ডি ( জি )ad(G)\rm{ad}(G)ডি ( জি ) ,D(G),D(G),জিGG যদি আউটপুট গ্রাফটি একটি গাছ হয় তবে এটি জানা যায় যে গড় …

11 cc.complexity-theory  graph-theory  graph-algorithms 

এটি আমার আগের প্রশ্নের অনুসরণ: এনপি-র প্রাকৃতিক সমস্যার জন্য সর্বাধিক পরিচিত ডিটারমিনিস্টিক টাইম জটিলতা কম আমি এটি বিস্ময়কর মনে করি যে আমরা যে কোনও আকর্ষণীয় এনপি সমস্যার জন্য লোকেদের যত্ন নিতে এবং এর জন্য আরও ভাল অ্যালগরিদম ডিজাইনের চেষ্টা করার জন্য কোনও চতুষ্কোণিক নির্বিচারকালীন সময়কে কম বেঁধে প্রমাণ করতে পারিনি। …

11 cc.complexity-theory  lower-bounds  big-picture  barriers