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

নীচের সমস্যার জন্য কি অ্যালগরিদম জানা আছে যা নিষ্পাপ অ্যালগরিদমকে পরাজিত করে? ইনপুট: ম্যাট্রিক্স এবং ভেক্টরগুলি , যেখানে এর সমস্ত এন্ট্রিগুলি নননেজিটিভ পূর্ণসংখ্যা হয়।AAAb,cb,cb,cA,b,cA,b,cA,b,c আউটপুট: একটি সন্তোষজনক সমাধান থেকে ।x∗x∗x^*max{cTx:Ax≤b,x∈{0,1}n}max{cTx:Ax≤b,x∈{0,1}n}\max \{ c^T x : Ax \le b, x \in \{ 0,1\}^n \} এই প্রশ্নটি আমার পূর্ববর্তী প্রশ্নের 0-1 প্রোগ্রামিংয়ের জন্য …

9 np-hardness  integer-programming  exp-time-algorithms 

যেহেতু উভয় প্রমাণই তির্যক যুক্তি ব্যবহার করে, তাই আমি ভাবছি যে অগণিত সীমাহীন সেটগুলির উপস্থিতি এবং থামানো সমস্যার অনস্বীকার্যতার মধ্যে কোনও অস্পষ্ট লিঙ্ক আছে কিনা। সমস্ত সেট গণনাযোগ্য হলে কি থামানো সমস্যাটি সিদ্ধান্তযোগ্য?

9 halting-problem 

ধরুন আমি পয়েন্ট । এগুলি একটি ভোরোনাই চিত্র চিত্রিত করে। যদি আমি প্রতিটি - একটি লেবেল নির্দেশ করি, এগুলি বাইনারি ফাংশন প্ররোচিত করে । প্রশ্ন: কিছু পয়েন্ট এবং এই পয়েন্টগুলির কিছু লেবেলিং দ্বারা प्रेरित এমন সমস্ত সম্ভাব্য বাইনারি ফাংশনের ভিসি-মাত্রা কী?টkkআরঘRd\mathbb{R}^dটkk±±\pmআরঘRd\mathbb{R}^dটkk

9 cg.comp-geom  machine-learning  lg.learning  convex-geometry  high-dimensional-geometry 

আমি ওভারল্যাপিং চিত্রগুলির "ব্লেন্ডিং" সেটগুলির একটি সমস্যা সমাধান করছি। এই সেটগুলি এই যেমন একটি অপরিবর্তিত ওজনিত গ্রাফ দ্বারা প্রতিনিধিত্ব করা যেতে পারে: প্রতিটি নোড একটি চিত্র প্রতিনিধিত্ব করে। ওভারল্যাপিং চিত্রগুলি একটি প্রান্ত দ্বারা সংযুক্ত থাকে। প্রান্তের ওজন ওভারল্যাপ ক্ষেত্রের আকারের প্রতিনিধিত্ব করে (আরও বৃহত্তর ওভারল্যাপটি মিশ্রন করা শীঘ্রই আরও ভাল …

9 ds.algorithms  graph-theory  graph-algorithms  directed-acyclic-graph  parallel 

আমি আমার পড়াশুনার জন্য এই বৈশিষ্ট্যগুলি সহ একটি গ্রাফ সন্ধান করার চেষ্টা করছি, তবে দুর্ভাগ্যক্রমে আমি এই ধরনের গ্রাফটি খুঁজে পাচ্ছি না। যে গ্রাফ আছে তা কি কেউ জানেন, বা কেন এটির অস্তিত্ব অসম্ভব?

9 graph-theory  graph-classes 

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

9 reference-request  shannon-entropy  succinct 

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

9 computability  decidability  undecidability 

ন্যাশ ইক্যুইলিবিরিয়া সাধারণভাবে আপত্তিজনক। একটিεϵ\epsilon-ন্যাশ ভারসাম্য কৌশলগুলির একটি সেট যেখানে প্রতিপক্ষের কৌশলগুলি দেওয়া, প্রতিটি খেলোয়াড়ের মধ্যেই প্রাপ্ত হয় εϵ\epsilonসর্বাধিক সম্ভাব্য প্রত্যাশিত পরিশোধের একটি সন্ধান করাεϵ\epsilon-ন্যাশ ভারসাম্য, দেওয়া εϵ\epsilon এবং একটি খেলা, হয় পি পি এ ডিPPAD\mathsf{PPAD}-complete। সংজ্ঞাগুলি দ্বারা কঠোরভাবে যেতে, বিশ্বাস করার কোনও বিশেষ কারণ বলে মনে হয় যে প্রদত্ত …

9 reference-request  gt.game-theory  ppad 

এটি সুপরিচিত যে অনেকগুলি ক্রিপ্টোগ্রাফির জন্য ডিজিটাল স্বাক্ষর, সিউডোর্যান্ডম জেনারেটর, প্রাইভেট-কী এনক্রিপশন ইত্যাদির জন্য ওয়ান-ওয়ে ফাংশনের অস্তিত্ব প্রয়োজনীয় এবং পর্যাপ্ত। আমার প্রশ্ন হ'ল: একমুখী ফাংশনের অস্তিত্বের জটিলতা-তাত্ত্বিক পরিণতিগুলি কী কী ? উদাহরণস্বরূপ, ওডাব্লুএফগুলি এটি বোঝায়NP≠PNP≠P\mathsf{NP}\ne\mathsf{P}, BPP=PBPP=P\mathsf{BPP}=\mathsf{P}, এবং CZK=IPCZK=IP\mathsf{CZK}=\mathsf{IP}। অন্যান্য জ্ঞাত পরিণতি আছে কি? বিশেষত, ওডাব্লুএফএফগুলি কি বোঝায় যে বহুবচনীয় শ্রেণিবিন্যাস …

9 cc.complexity-theory  reference-request  complexity-classes  cr.crypto-security  one-way-function 

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

9 circuit-complexity  algebraic-complexity  permanent  arithmetic-circuits  determinant 

ধরুন পি! = এনপি। আমরা জানি যে আমরা যে কোনও সময় 3-SAT এর সহজ দৃষ্টান্ত তৈরি করতে পারি। আমরা শক্ত উদাহরণস্বরূপ যা বিশ্বাস করি তা উত্পন্ন করতে পারি (কারণ আমাদের অ্যালগরিদমগুলি সেগুলি দ্রুত সমাধান করতে পারে না)। কঠোর উদাহরণস্বরূপ ছোট হওয়া থেকে কোনও শক্ত পরিস্থিতি সেটকে প্রতিরোধ করার মতো কিছু …

9 np-hardness  p-vs-np 

লিনিয়ার ডায়োফান্টাইন মূল্যায়ন (প্রাকৃতিক সংখ্যার , সেখানে কি প্রাকৃতিক সংখ্যা এবং যেমন বর্গক্ষেত্রের সংখ্যা রয়েছে ) বহুবর্ষীয় সময়ে দ্রবণীয় হয়?ক , খ , গএকটি,খ,গa, b, cএক্সএক্সxYYya x + b y+ সি = 0একটিএক্স+ +খY+ +গ=0ax + by + c = 0 চতুষ্কোণ ডায়োফান্টাইন মূল্যায়ন ( ) হ'ল এনপি-সম্পূর্ণ ( চতুর্ভুজ …

9 reference-request 

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

9 ds.algorithms  ds.data-structures  sorting 

আসুন একটি সীমাবদ্ধ মহাবিশ্ব এর এলিমেন্ট সাবসেটের একটি পরিবার হোক । একটা পরিবার এর এর -element সাব-সেট নির্বাচন , সঙ্গে , একটি হয় - আঘাত-সেট এর প্রত্যেকের জন্য যদি অস্তিত্ব আছে অন্তত এক সেট যেমন যে ।এফFFঘddইউUUএইচHHটkkইউUU1 ≤ কে &lt; ডি1≤k&lt;d1 \le k < d( কে , ডি))(k,d)(k,d)এফFFভী। চV∈FV \in …

9 cc.complexity-theory  reference-request  approximation-hardness  parameterized-complexity 

এই কাগজটি অবশেষে লিনিয়ারাইজেবল শেয়ার্ড অবজেক্টস (পিওডিসি 10) প্রবর্তনের সময় লেখকরা রেফারেন্স ছাড়াই নিম্নলিখিত বিবৃতিটি উপস্থাপন করেছেন: লিনিয়ারাইজিবিলিটি, তবে, যদি কেবলমাত্র conক্যমত্য সমাধান করা যায় তবেই অর্জন করা যায়। এখানে লিনিয়ারাইজিবিলিটি হ'ল শেয়ার্ড অবজেক্টের শক্তিশালী জ্ঞাত ধারাবাহিকতা সম্পত্তি যা কাগজে লাইনারিাইজিবিলিটি: কনকোয়ার্ট অবজেক্টের জন্য একটি নির্ভুলতার শর্ত । নিম্নলিখিত যুক্তিগুলির …

9 reference-request  dc.distributed-comp