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

আমি একটি সূত্রের সন্তুষ্টিযোগ্যতার জটিলতা খুঁজছি বা একটি সূত্রের যেখানে হল ফর্মুলার সূত্র: কোথায় মধ্যে ধ্রুবক হয় , এবং ভেরিয়েবল ডোমেইন হয় ।∀Y1, … ,Yএন, ∃এক্স1, … ,এক্সমি, ϕ∀y1,…,yn,∃x1,…,xm,ϕ\forall y_1, \dots,y_n, \exists x_1,\dots,x_m, \phi∃এক্স1, … ,এক্সমি∀Y1, … ,Yএন, ϕ∃x1,…,xm∀y1,…,yn,ϕ \exists x_1,\dots,x_m \forall y_1, \dots,y_n,\phiφϕ\phi। : = ϕ ∧ ϕ | …

9 cc.complexity-theory  reference-request  lo.logic 

এখানে দুটি পরিবারে হ্যাশ ফাংশন রয়েছে এক্স⃗ = ⟨এক্স0এক্স1এক্স2...এক্সমি⟩x→=⟨x0x1x2…xm⟩\vec{x} = \langle x_0 x_1 x_2 \dots x_m \rangle: জন্য পিpp প্রধান এবং এক্সআমি∈জেডপিxi∈Zpx_i \in \mathbb{Z_p}, জ1একটি(এক্স⃗ ) = ∑একটিআমিএক্সআমিmod pha1(x→)=∑aiximodph^1_{a}(\vec{x}) = \sum a^i x_i \bmod pজন্য । ডায়েটফেল্বিংগার এট আল। "বহুবর্ষীয় হ্যাশ ফাংশনগুলি নির্ভরযোগ্য" এ দেখানো হয়েছে যে ।a∈Zpa∈Zpa \in \mathbb{Z}_p∀x≠y,Pa(h1a(x)=h1a(y))≤m/p∀x≠y,Pa(ha1(x)=ha1(y))≤m/p\forall …

9 ds.data-structures  randomness  hash-function 

নিম্নলিখিত দুটি অতিরিক্ত বিধিনিষেধযুক্ত একটি মনোোটোন 3 সিএনএফ সূত্র বিবেচনা করুন: প্রতিটি পরিবর্তনশীল হুবহু প্রদর্শিত হয় 222 ক্লজ। কোন দেওয়া 222 ধারা, তারা সর্বাধিক ভাগ 111 পরিবর্তনশীল। আমি জানতে চাই যে এই জাতীয় সূত্রের সন্তোষজনক দায়িত্বগুলি গণনা করা কতটা কঠিন। আপডেট 06/04/2013 12:55 সন্তোষজনক কার্যভারের সংখ্যার সমতা কতটা নির্ধারণ করা …

9 cc.complexity-theory  sat  counting-complexity 

সমস্ত প্রান্তের ইউনিট ক্ষমতা সহ একটি গ্রাফ বিবেচনা করুন। একাধিক সময়ে ন্যূনতম কাটা পাওয়া যায়। মনে করুন যে আমি কারওর সক্ষমতা বাড়ানোর অনুমতি পেয়েছি টkkঅনন্তে প্রান্তগুলি (প্রান্তের উভয় পাশের নোডগুলিকে মার্জ করার সমতুল্য)। একটি অনুকূল সেট নির্বাচন করার সর্বোত্তম উপায় কীটkk প্রান্তগুলি (যার সক্ষমতা অনন্ততায় বৃদ্ধি পাবে) সর্বনিম্ন কাটা কাটা?

9 ds.algorithms  graph-theory  co.combinatorics  max-flow-min-cut 

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

9 cc.complexity-theory  ds.algorithms  algebra  algebraic-complexity  polynomials 

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

9 cc.complexity-theory  reference-request  complexity-classes  quantum-computing  quantum-information 

আমরা সেটা জানি । স্যাভিচের উপপাদ্য থেকে, সাবটেক ম্যাথকল , এবং, স্পেস হায়ারার্কি টিওরেম থেকে, ম্যাথ্যাকাল নেখ ম্যাথ্যাকাল । সুতরাং, যেহেতু আমরা জানি না , আমরা জানি না , বা আমরা কি জানি যে ? কেউ কি prove mathcal L ^ 2 \ subteq \ mathcal P প্রমাণ করার চেষ্টা …

9 reference-request  complexity-classes  open-problem  hierarchy-theorems 

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

9 co.combinatorics  soft-question 

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

9 pl.programming-languages  algebra  monoid 

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

9 computability  lower-bounds 

আমি দেখেছি কিছু লোক ক্রিকুইনের স্বরলিপিটি ফাংশন প্রয়োগের জন্য ব্যবহার করে যখন এর জন্য সিনট্যাক্স উপস্থাপন করে λλ\lambda-calculus। উদাহরণস্বরূপ, মধ্যম (সাধারণ কনভেনশন সহ যা অ্যাপ্লিকেশনটি বামে সংযুক্ত করে, তাই এর প্রকৃত অর্থ ) is (একই ধরণের কনভেনশনের সাথে এর প্রকৃত অর্থ )। আমি অন্তরতম প্রায় প্রথম বন্ধনী আরেকটি জুটি থাকার …

9 lo.logic  lambda-calculus 

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

9 ds.algorithms  co.combinatorics  optimization  tsp  heuristics 

বন্ধ থাকে। এই প্রশ্নটি অফ-টপিক । এটি বর্তমানে উত্তর গ্রহণ করছে না। এই প্রশ্নটি উন্নত করতে চান? প্রশ্নটি আপডেট করুন যাতে এটি তাত্ত্বিক কম্পিউটার সায়েন্স স্ট্যাক এক্সচেঞ্জের বিষয়বস্তু । 7 বছর আগে বন্ধ ছিল । প্রথম অর্ডার সূত্র হিসাবে আমরা কীভাবে " " প্রকাশ করতে পারি ?পি= পিএসপিএ সিইP=PSPACEP=PSPACE পাটিগণিত …

9 cc.complexity-theory  lo.logic  descriptive-complexity 

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

9 cr.crypto-security  quantum-computing  gr.group-theory 

আমি বিভ্রান্ত আমি প্রমাণ করতে চাই যে একটি বাছাইয়ের সমস্যাএনnn দ্বারা এনnn ম্যাট্রিক্স অর্থাৎ সারি এবং কলামগুলি আরোহী ক্রমে হয় Ω (এন2লগএন )Ω(n2log⁡n)\Omega(n^2\log n)। আমি এটি ধরে নিয়ে কাজটি আরও দ্রুত সম্পন্ন করা যেতে পারে বলে ধরে এগিয়ে চলেছিএন2লগএনn2log⁡nn^2\log n এবং লঙ্ঘন করার চেষ্টা করুন লগ( মি ! )log⁡(m!)\log(m!) মি …

9 time-complexity  lower-bounds  matrices  sorting  asymptotics