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

ওজনযুক্ত প্রান্তযুক্ত একটি গ্রাফ দেওয়া, আমরা কীভাবে একটি নেতিবাচক চক্র খুঁজে পেতে পারি যাতে প্রদত্ত সেট কমপক্ষে একটি ? ধন্যবাদ।{ ভি1, ভি2, … , ভিট}{V1,V2,…,Vk}\{V_1, V_2, \ldots, V_k\}

11 ds.algorithms  graph-theory 

আমি একটি সর্বনিম্ন আয়তক্ষেত্র সহ একটি সাধারণ অবতল বহুভুজ coverেকে দেওয়ার চেষ্টা করছি। আমার আয়তক্ষেত্রগুলি যে কোনও দৈর্ঘ্য হতে পারে তবে তাদের সর্বোচ্চ প্রস্থ রয়েছে এবং বহুভুজের কখনও তীব্র কোণ থাকবে না। আমি আমার অবতল বহুভুজকে ত্রিভুজগুলিতে বিভক্ত করার চেষ্টা করেছি যা ন্যূনতমভাবে ওভারল্যাপিং আয়তক্ষেত্রগুলির একটি সেট তৈরি করে যা …

11 co.combinatorics  cg.comp-geom 

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

11 ds.algorithms 

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

11 cc.complexity-theory  np-hardness 

কোয়ান্টাম রাষ্ট্র প্রদত্ত একটি সেট থেকে এলোমেলোভাবে অবিশেষে মনোনীত মিশ্র রাজ্যের সঠিকভাবে চিহ্নিতকরণের সর্বোচ্চ গড় সম্ভাব্যতা কি ? এন ρ 1 । । । । এন এρএকজনρA\rho_AএনNNρ1। । । ρএনρ1...ρN\rho_1 ... \rho_NএকজনAA থেকে পার্থক্য করার সমস্যা বিবেচনা করে এই সমস্যাটিকে দুটি রাষ্ট্রের পার্থক্য সমস্যা হিসাবে রূপান্তরিত করা যেতে পারে ।ρ …

11 quantum-computing  it.information-theory  quantum-information  st.statistics 

আমি এলআইএসপি- তে একটি বই অনুবাদ করছি এবং স্বাভাবিকভাবেই এটি -ক্যালকুলাসের কিছু উপাদানকে স্পর্শ করে । সুতরাং, extensionality একটি ধারণা কিছু মডেলের পাশাপাশি সেখানে উল্লেখ করা হয় λ -calculus, যথা: পি ω এবং ডি ∞ (হ্যাঁ, উপরের অনন্ত সহ)। এবং এটা বলা হয় যে পি ω এক্সটেনশনাল থাকাকালীন ডি ∞ …

11 lo.logic  lambda-calculus  formal-modeling  extensionality 

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

11 cc.complexity-theory  complexity-classes  circuit-complexity  oracles  relativization 

আমাদের একটি ম্যাট্রয়েড দেওয়া হয়। আমাদের লক্ষ্যটি ন্যূনতম আকারের উপাদানগুলির একটি সেট সন্ধান করা যেখানে ম্যাট্রয়েডের প্রতিটি বেসের সাথে খালি খালি ছেদ রয়েছে। সমস্যা কি আগে পড়াশোনা করা হয়? এটা কি পি? উদাহরণস্বরূপ, একটি বিস্তৃত ট্রি ম্যাট্রয়েডে, সর্বনিম্ন হিটিং সেটটি ন্যূনতম কাটা উচিত। ধন্যবাদ।

11 co.combinatorics  approximation-algorithms  optimization 

আমি সমীকরণের লিনিয়ার সিস্টেমের জন্য হ্যারো, হাসিদিম এবং লয়েডের কাগজ কোয়ান্টাম অ্যালগরিদমগুলি পড়ছি । সেই কাগজের তৃতীয় পৃষ্ঠায় তারা লিখেন এরপরে আমরা শর্তসাপেক্ষ হ্যামিলটোনীয় বিবর্তন উপর| Ψ 0 ⟩ সি ⊗ | খ ⟩ ...Σটি- 1τ= 0| τ⟩ ⟨ Τ|সি⊗ ইi এ τটিণ/ টিΣτ=0টি-1|τ⟩⟨τ|সি⊗ইআমিএকজনτটিণ/টি\sum_{\tau=0}^{T-1} \left|\tau\right>\left<\tau\right|^{C}\otimes e^{iA\tau t_{o}/T}| Ψ0⟩সি⊗ | খ …

11 quantum-computing  notation 

"ভেরিয়েবলের একটি স্থির সংখ্যার সাথে ইন্টিজার প্রোগ্রামিং" পত্রিকায় এটি প্রদর্শিত হয়েছিল যে ধ্রুবক সংখ্যক (বা ভেরিয়েবল) সংখ্যার পূর্ণসংখ্যার প্রোগ্রামিংগুলি বহুবচনীয়ভাবে সমাধানযোগ্য are এটি কি 0-1 প্রোগ্রামিংয়ের জন্য ধারণ করে?

11 cc.complexity-theory  integer-programming 

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

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

কলামগুলির যে কোনও সংগ্রহ পুরো র‌্যাঙ্কের সম্পত্তি সহ একটি আসল ( ) ম্যাট্রিক্স Let যাক ।k ≤ n এ কেk×nk×nk\times nk≤nk≤nk\le nAA{\bf A}kkk প্রশ্ন: সেখানে একটা কার্যকর উপায় deterministically একটি ভেক্টর খুঁজে পেতে যেমন যে উদ্দীপ্ত ম্যাট্রিক্স হিসাবে একই সম্পত্তি অপরিবর্তিত : কোনও কলামগুলি পুরো র‌্যাঙ্কযুক্ত।এ ′ = [ এaa{\bf …

11 ds.algorithms  linear-algebra  matrices  coding-theory 

ডানা অ্যাংলুইন ( 1987 ; পিডিএফ ) সদস্যতা প্রশ্ন এবং তত্ত্বের প্রশ্নের (প্রস্তাবিত ফাংশনের প্রতিবিম্ব) সহ একটি শিক্ষণ মডেলকে সংজ্ঞায়িত করে। তিনি দেখান যে একটি নিয়মিত ভাষা যা রাজ্যের ন্যূনতম ডিএফএ দ্বারা প্রতিনিধিত্ব করা হয় বহনীয় সময়ে (যেখানে প্রস্তাবিত ফাংশনগুলি ডিএফএ হয়) সদস্যতা-কোয়েরি এবং সর্বাধিক তত্ত্ব-প্রশ্নগুলি ( টিউটর কর্তৃক প্রদত্ত …

11 cc.complexity-theory  machine-learning  lower-bounds  lg.learning  query-complexity 

উত্তর: জানা নেই যারা এই প্রশ্ন এবং এর সাথে যুক্ত সংজ্ঞাগুলি সংশোধন করতে সহায়তা করেছেন তাদের সবাইকে অনেক ধন্যবাদ। এই উইকির সংজ্ঞাগুলি আরও সাম্প্রতিক টিসিএস উইকির জন্য প্রারম্ভিক বিন্দু সরবরাহ করেছিল " P কী ভাষাগুলি ধারণ করে যার অস্তিত্ব PA বা ZFC এর থেকে পৃথক? (টিসিএস সম্প্রদায় উইকি) "। সাম্প্রতিক …

11 cc.complexity-theory  complexity-classes  turing-machines  decidability 

3-উপদল দেশভাগের সমস্যা নির্ণয় গ্রাফ ছেদচিহ্ন বলে কিনা সমস্যা , 3 চক্রের বিভক্ত করা যেতে পারে। এই সমস্যাটি এনপি-হার্ড 3-রঙের সমস্যা থেকে সাধারণ হ্রাস দ্বারা। ডায়াম ( জি ) = 1 বা ডায়াম ( জি ) &gt; 5 এ এই সমস্যার উত্তর সহজে পাওয়া যায় তা দেখতে অসুবিধা হয় না …

11 cc.complexity-theory  graph-theory  np-hardness  clique