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

এমন সমস্যা আছে যার গড় ক্ষেত্রে জটিলতা তাদের নিকৃষ্টতম জটিলতার সমান? এই সমস্যাগুলির অন্তর্নিহিত বৈশিষ্ট্যগুলি কী কী গড় ক্ষেত্রে সবচেয়ে খারাপ পরিস্থিতি হ্রাস করে তোলে?

11 cc.complexity-theory  reductions  average-case-complexity 

কোনও ডিজাইনাইজেশন থেকে কোনও রেখাংশের slাল পুনরুদ্ধার করার জন্য কোনও কাজ হয়েছে? নিখুঁত নির্ভুলতার সাথে কেউ এটি করতে পারে না, অবশ্যই; যেটি চায় তা হ'ল ডিজিটাইজড লাইন থেকে সম্ভাব্য opালু ব্যবস্থার অন্তর অন্তর্ভুক্ত করার একটি পদ্ধতি। (আমি যে ডিজিটালাইজড লাইনের ব্যবহার করছি তা হ'ল রোজেনফিল্ডের: জোড়ার সেট যেখানে আমি পূর্ণসংখ্যার …

11 reference-request  cg.comp-geom  cv.computer-vision  image-processing 

এই প্রশ্নের একটি সুস্পষ্ট উত্তর থাকতে পারে ... তবে যাইহোক প্রশ্ন এখানে's স্বজ্ঞাতভাবে, এটি নিম্নোক্ত কারণযুক্ত বক্তব্য - "সাব্রুটিন এ-এর একটি মেশিন যার পরিবর্তে সাবরুটিন বি রয়েছে এমন একটি মেশিন যেমন একটি সাব্রুটিন এ রয়েছে যা সাব্রুটিন বিতে অ্যাক্সেস পায়" " এই সমস্যাটিকে আনুষ্ঠানিকভাবে সংজ্ঞায়িত করতে, আমি কিছু অপ্রচলিত স্বরলিপি …

11 complexity-classes  oracles 

আমি ভাবছি যদি এনপিসি ক্লাসগুলি বহু-এক হ্রাস এবং ট্যুরিং হ্রাস দ্বারা নির্ধারিত হয় তবে এটি সমান হয়। সম্পাদনা: আরেকটি প্রশ্ন হলো, শুধুমাত্র কিছু সি জন্য C এবং সহ-সি শ্রেণীর ধ্বসে কমানোর টুরিং বা একটা ক্লাস হয় সেখানে একটা সমস্যা হয় না বিদ্যমান এমন সি ∪ গ ণ - সি Karp …

11 cc.complexity-theory  np-hardness  reductions 

সাহিত্যে কি নিম্নলিখিত সমস্যাটির নিকটে কিছু রয়েছে: ভারসাম্য বিভাজন a সহ একটি দ্বিদলীয় গ্রাফ , এমন কি একটি নিখুঁত মিলে যাওয়া রয়েছে যা প্রতি 2 প্রান্তে , একটি প্রান্ত বা প্রান্ত রয়েছে (বা উভয়) ?G(V,E)G(V,E)G(V,E){U,W}{U,W} \{U,W\}MM M GG G u1w1,u2w2∈Mu1w1,u2w2∈Mu_1w_1, u_2w_2\in M u1w2u1w2u_1w_2u2w1u2w1u_2w_1GG G অন্য কথায়, একটি নিখুঁত মেলা যেমন …

11 matching 

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

11 ds.algorithms  reference-request  approximation-algorithms  optimization 

অ নেতিবাচক প্রান্ত ওজন সঙ্গে একটি সংযুক্ত undirected গ্রাফ বিবেচনা করুন এবং দুটি বিশিষ্ট ছেদচিহ্ন s,ts,ts,t । নীচে কয়েকটি পথের সমস্যাগুলি নীচে দেওয়া সমস্ত রূপ রয়েছে: একটি s−ts−ts-t পাথ সন্ধান করুন, যেমন পথের প্রান্তের ওজনের কিছু কাজ ন্যূনতম। এই অর্থে তারা সবাই সংক্ষিপ্ত পথ সমস্যার "আত্মীয়"; পরবর্তীকালে ফাংশনটি কেবল যোগফল …

10 graph-theory  graph-algorithms  np-complete  polynomial-time 

রবিন গাণ্ডি অ্যালান টুরিংয়ের ছাত্র ছিলেন । গ্যাণ্ডি ব্যাবেজের অ্যানালিটিক্যাল ইঞ্জিন বিশ্লেষণ করেছেন (দেখুন 'গ্যান্ডি - ১৯৩36 সালে আইডিয়াসের মিশ্রণ' 'হেরকেন, রল্ফ - দ্য ইউনিভার্সাল ট্যুরিং মেশিন Hal একটি অর্ধ-শতাব্দী জরিপ । স্প্রঞ্জার ভার্লাগ') -তে উদ্ধৃত হয়েছে এবং বলেছে যে এটি (সিএফ। পৃষ্ঠা 52-55): পাটিগণিত ফাংশন +, -, ×, যেখানে …

10 turing-machines  universal-computation  charles-babbage 

গ্রাফ জি 1, জি 2 এবং জি 3 দেওয়া, আমরা জি 1 এবং জি 2 এর পাশাপাশি জি 1 এবং জি 3 এর মধ্যে আইসোমর্ফিজম পরীক্ষা F করতে চাই। যদি জি 2 এবং জি 3 এর অনুরূপ হয় তবে জি 3 একটি নোড মুছে ফেলে এবং জি 2 থেকে একটি …

10 graph-theory  graph-algorithms  graph-isomorphism 

দ্বি-সমৃদ্ধ নিখুঁত মিলের সমস্যাটি সিদ্ধান্ত নেওয়া হয় যে কোনও গ্রাফের দুটি রঙের সাথে রঙ হয় যেহেতু প্রতিটি নোডের ঠিক একই প্রতিবেশী নিজের মতো রঙ করে। সমস্যা দ্বারা NP-সম্পূর্ণ দ্বারা প্রমাণিত হয় স্কেফের । এমনকি প্ল্যানার কিউবিক গ্রাফের জন্য এটি এনপি-সম্পূর্ণ থেকে যায়। আমি একটি বৈকল্পিকের প্রতি আগ্রহী যেখানে আমরা সিদ্ধান্ত …

10 cc.complexity-theory  np-hardness 

আমরা জানি অধীনে আমরা সময় কোনও ফাংশন অধীনে (সাধারণত ) সুম সমাধান করতে পারি না ।ETHETHETHKKKf(K)poly(nK)f(K)poly(nK)f(K)poly(nK)f(K)f(K)f(K)2O(K)2O(K)2^{O(K)} এমন কোনও অনুমান যা একটি জটিলতা (এই হিসাবে সম্ভাবনার সাথে পুরোপুরি সামঞ্জস্যপূর্ণ আমাদের সাবসেটের যোগফলের জন্য ক্ষতিকারক সময় প্রয়োজন) বা এই জাতীয় সম্ভাবনা অনুমোদিত?(logn)O(K)(log⁡n)O(K)(\log n)^{O(K)}K=Ω(n)K=Ω(n)K=\Omega(n)

10 cc.complexity-theory  subset-sum 

জটিলতা চিড়িয়াখানায় এটি বলেছে [ ১ ] যে বর্ণনামূলক জটিলতায় তিনটি ভিন্ন ধরণের সূত্র, দ্বারা সংজ্ঞায়িত করা যায় যা , এবং হিসাবেও রয়েছে ।PPPFO(LFP)FO(LFP)FO(LFP)FO(nO(1))FO(nO(1))FO(n^{O(1)})SO(HORN)SO(HORN)SO(HORN) তবে কিছু ব্যতিক্রম রয়েছে, উদাহরণস্বরূপ, এফপি দ্বারা প্রকাশ করা যায় না (এলএফপি সহ একই অভিব্যক্তি ক্ষমতা)। এবং প্রথম-আদেশের যুক্তি দ্বারা নির্ধারিত নয়। কিছু সমস্যা এমনকি সীমাবদ্ধতা …

10 lo.logic  polynomial-time  descriptive-complexity 

আমি ভাবছি যদি কেউ আমাকে ইনডাকটিভ ডেটা ধরণের কঠোর ইতিবাচকতা দৃ strong় স্বাভাবিককরণের গ্যারান্টি দেয় তার পিছনে অন্তর্দৃষ্টি দিতে পারে কিনা। স্পষ্টতই, আমি দেখতে পাচ্ছি যে নেতিবাচক ঘটনাগুলি কীভাবে বিবর্তনের দিকে পরিচালিত করে, অর্থাত্ সংজ্ঞা দিয়ে: data X where Intro : (X->X) -> X আমরা একটি বিচ্ছিন্ন ফাংশন লিখতে পারি। …

10 reference-request  pl.programming-languages  type-theory  type-systems  dependent-type 

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

10 cc.complexity-theory  complexity-classes  gt.game-theory 

বর্গ বর্গক্ষেত্রযুক্ত ফ্যান-ইন, আকার এবং গভীরতার সার্কিট পরিবারগুলির দ্বারা ক্লাস ফাংশন । -hierarchy ঐ শ্রেণীর ইউনিয়নের।এনসিআমিএনসিআমি\textrm{NC}^iএনও ( 1 )এনহে(1)n^{O(1)}ও ( লগআমি( ঢ ) )হে(লগআমি⁡(এন))O(\log^i(n))এনসিএনসি\textrm{NC} এই শ্রেণিবিন্যাসের রৈখিক-আকারের বৈকল্পিক কোনও গবেষণা আছে কি? এটি কি সীমাবদ্ধ ফ্যান-ইন, পলিগ গভীরতা এবং লিনিয়ার আকারের সার্কিট পরিবারগুলি? আমি জানি যে তাদের উপস্থিতিগুলি লিনিয়ার- এসি0এসি0\textrm{AC}^0 …

10 cc.complexity-theory  circuit-complexity