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

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

18 cc.complexity-theory  circuit-complexity  lower-bounds  natural-proofs  hierarchy-theorems 

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

18 ds.algorithms  approximation-algorithms  linear-programming  integrality-gap 

ধরা যাক, আমাদের কাছে বহুবর্ষীয় ডিগ্রি সর্বাধিক , , যেমন ননজারো সহগের মোট সংখ্যা (যেমন, বহুভুজগুলি বিচ্ছিন্ন)। বহুবর্ষটি গণনার জন্য আমি একটি দক্ষ অ্যালগরিদমে আগ্রহী: এন এন > মি এনp1,...,pmp1,...,pmp_1,...,p_mnnnn>mn>mn>mnnn ∑ipi(x)2∑ipi(x)2\sum_i p_i(x)^2 যেহেতু এই বহুবর্ষের সর্বাধিক ডিগ্রি রয়েছে , তাই ইনপুট এবং আউটপুট উভয়ই ও । ক্ষেত্রে ক্ষেত্রে আমরা এফএফটি …

18 ds.algorithms  algebra  polynomials 

এটি কি সত্য যে সময়ে (বহুবর্ষীয় স্তরক্রমের কিছু স্তরে একটি বিকল্প ট্যুরিং মেশিন দ্বারা) সমাধানযোগ্য যে বহুত্বীয় শ্রেণিবিন্যাসে সমস্যা আছে যা O ( n কে - 1 ) এর যে কোনও স্তরে দ্রবণযোগ্য নয় বহুবর্ষীয় শ্রেণিবিন্যাস? অন্য কথায় - বহিরাগত শ্রেণিবিন্যাসের জন্য কি পি এবং এনপি-র মতো একটি সময়ক্রমক্রমের উপপাদ্য …

18 cc.complexity-theory  reference-request  polynomial-hierarchy  time-hierarchy 

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

18 reference-request  cg.comp-geom  algebra 

এই পৃষ্ঠাটি দৃser়ভাবে জানায় অনেক ভাষা অন্তর্নিহিত সাব টাইপিং (কাঠামোগত সমতা) ব্যবহার করে না আমি বেশিরভাগ প্রোগ্রামিং ভাষা ব্যবহার করেছি যা সুস্পষ্ট সাবটাইপিং ব্যবহার করে । উপরোক্ত নোটগুলিতে বর্ণিত হিসাবে অন্তর্নিহিত সাব টাইপিংয়ের সুবিধাগুলি কী কী।

18 pl.programming-languages  type-theory 

এটি সুপরিচিত যে এখানে প্রচুর পরিমাণে অপেশাদার রয়েছে - আমার অন্তর্ভুক্ত - যারা পি বনাম এনপি সমস্যার প্রতি আগ্রহী in এছাড়াও অনেক অ্যামাচুয়ার রয়েছে - আমি এখনও অন্তর্ভুক্ত - যারা সমস্যা সমাধানের চেষ্টা করেছেন। আমার মনে হয় টিসিএস সম্প্রদায় যে সমস্যায় ভুগছে তা হ'ল অপেক্ষাকৃত উচ্চ আগ্রহী-অপেশাদার-থেকে-বিশেষজ্ঞ অনুপাত; এটি বিশেষজ্ঞরা …

18 soft-question 

আমি কী বুঝতে পারছি যে কোনও সমস্যা এনপি সম্পূর্ণ প্রমাণ করা একটি গবেষণা সাফল্য? যদি তাই হয় কেন?

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

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

18 reference-request  fl.formal-languages  parsing 

জটিলতা তত্ত্ব মহাবিশ্বের কাঠামো সম্পর্কে মৌলিক কিছু ক্যাপচার বলে মনে হয়, এটি স্বজ্ঞাত ধারণাটিকে আনুষ্ঠানিকভাবে রূপ দেয় যে কিছু সমস্যা অন্যদের তুলনায় শক্ত are স্কট অ্যারনসন ভবিষ্যদ্বাণী করেছিলেন , "এনপি হার্ডনেস অ্যাসপশন অবশেষে থার্মোডিনামিক্সের দ্বিতীয় আইন বা অতিমানবিক সংকেতের অসম্ভবতার সাথে সমান হিসাবে দেখা যাবে।" তথাকথিত "কঠিন সমস্যা" হ'ল আধুনিক …

18 cc.complexity-theory  soft-question  big-picture 

খুব প্রায়ই, যদি অ্যালগরিদমের চলমান সময়টি একটি জটিল ভাব থাকে তবে অ্যালগরিদম নিজেও জটিল এবং অবৈধ হয়। অ্যাসিপটোটিক চলমান সময়ে প্রতিটি কিউব শিকড় এবং ফ্যাক্টরগুলি অ্যালগোরিদমের সাথে জটিলতা যুক্ত করে এবং চলমান সময়ে লুকানো ধ্রুবক কারণগুলিও প্রবণ করে।loglognlog⁡log⁡n\log \log n থাম্বের এই নিয়মটি ব্যর্থ হয় বলে আমাদের কী উল্লেখযোগ্য উদাহরণ …

18 ds.algorithms  soft-question  recreational 

সম্প্রতি, ওয়াটারস এট আল প্রমাণ করেছে যে কিউআইপি (3) = পিএসপিএসি একটি উল্লেখযোগ্য ফলাফল। এটি আমার কাছে অবাক করার মতো ফলাফল ছিল যা আমি কম বলেছি এবং এটি আমাকে চিন্তাভাবনা থেকে সরিয়ে দিয়েছে ... আমি ভাবলাম যে কোয়ান্টাম কম্পিউটারগুলি ক্লাসিকাল কম্পিউটারগুলি দ্বারা দক্ষতার সাথে অনুকরণ করা যায়। এটি কি আইপি …

18 cc.complexity-theory  quantum-computing  space-bounded  conditional-results  interactive-proofs 

সর্বোচ্চ ডিগ্রি 3 এর প্ল্যানার দ্বিপক্ষীয় গ্রাফের শ্রেণিতে সীমাবদ্ধ গ্রাফগুলিতে ডমিনিটিং SET সমস্যার জন্য এনপি-সম্পূর্ণতার ফলাফল সম্পর্কে কেউ কি জানেন? আমি জানি যে এটি সর্বোচ্চ ডিগ্রি 3 (গ্যারি এবং জনসন বইটি দেখুন) এর প্ল্যানার গ্রাফের জন্য NP- সম্পূর্ণ, পাশাপাশি সর্বোচ্চ ডিগ্রি 3 এর দ্বিপক্ষীয় গ্রাফের জন্য দেখুন (এম। Chleb andk …

18 cc.complexity-theory  graph-theory 

ক্লাসিকাল প্রপোজিশনাল লজিকের প্রুফ সিস্টেমে যদি কেউ দেখায় যে একটি নির্দিষ্ট সূত্র উপার্জনযোগ্য নয় তবে একটি সহজভাবে দেখায় যে প্রাপ্ত করা যেতে পারে (যদিও অন্যান্য কৌশল অবশ্যই সম্ভব)। অ-উদ্দীপনা প্রুফ সিস্টেমের সাবলীলতা এবং সম্পূর্ণতা থেকে মূলত অনুসরণ করে।ψψ\psi¬ ψ¬ψ\neg\psi দুর্ভাগ্যক্রমে অ-শাস্ত্রীয় লজিকস এবং আরও বহিরাগত প্রুফ সিস্টেমগুলির জন্য (যেমন ক্রিয়াকলাপ …

18 lo.logic 

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

18 ds.algorithms  space-bounded  data-streams