প্রশ্ন ট্যাগ «counting-complexity»

যাক t(G)t(G)t(G) একটি গ্রাফে spanning গাছের সংখ্যা বোঝাতে GGG সঙ্গে nnn ছেদচিহ্ন। একটা অ্যালগরিদম যে নির্ণয় t(G)t(G)t(G) মধ্যে O(n3)O(n3)O(n^3) গাণিতিক অপারেশন। এই অ্যালগরিদমটি হ'ল গণনা 1n2det(J+Q)1n2det(J+Q)\frac{1}{n^2} \det(J + Q), যেখানেQQQহলGএর LaplacianGGGএবংJJJহ'ল ম্যাট্রিক্স সম্পূর্ণ111এরসমষ্টি নিয়ে গঠিত। এই অ্যালগরিদমের আরও তথ্যের জন্যবিগস - বীজগণিত গ্রাফিক তত্ত্ববাএই গণিত এসইপ্রশ্নটি দেখুন। আমি অবাক হই …

19 graph-theory  graph-algorithms  counting-complexity  spectral-graph-theory 

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

18 graph-theory  co.combinatorics  counting-complexity 

# 2-SAT এর এলোমেলো উদাহরণগুলির জটিলতা কীভাবে ঘনত্বের ঘনত্বের সাথে পরিবর্তিত হয় তা নিয়ে কোনও কাজ করা হয়েছে ? তা হ'ল: ক্লজ ঘনত্বের পরিবর্তিত হওয়ার কারণে, 2-স্যাট এলোমেলোভাবে উত্পন্ন উদাহরণের সন্তোষজনক সমাধানগুলি গণনা করতে অসুবিধা কীভাবে পৃথক হয়? বিশেষত, সমালোচনামূলক প্রান্তিকের সাথে জড়িত কোনও কঠোর ফলাফল রয়েছে কি? অবশ্যই, কারণ …

18 cc.complexity-theory  counting-complexity  random-k-sat 

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

17 cc.complexity-theory  sat  counting-complexity 

আমি দেওয়া শুরু প্রান্তবিন্দু থেকে একটি নির্দেশ গ্রাফে সহজ পাথ সংখ্যা approximating জন্য কিছু ভাল বহুপদী সময় আলগোরিদিম আছে বলা হয়েছে দেওয়া শেষ প্রান্তবিন্দু টি । কেউ কি এই বিষয়ে ভাল রেফারেন্স সম্পর্কে জানেন?গুলিগুলিsটিটিt পটভূমি: একটি সাধারণ গ্রাফে পাথের সঠিক সংখ্যা গণনা করা হয় # পি-সম্পূর্ণ তবে সমস্যার জন্য বহুপদী …

17 ds.algorithms  reference-request  graph-algorithms  approximation-algorithms  counting-complexity 

যাক একটি digraph (অগত্যা একটি DAG) হতে হবে এবং দিন । সহজ পাথের সংখ্যা গণনা করার জটিলতা কী । জিজিGs , t ∈ V( ছ )গুলি,টি∈ভী(জি)s,t \in V(G) s - tগুলি-টিs-tজিজিG আমি সমস্যাটি # হওয়ার আশা করব তবে সঠিক রেফারেন্সটি সনাক্ত করতে সক্ষম হইনি। পিপি{\mathsf P} এছাড়াও লক্ষ করুন যে …

16 ds.algorithms  reference-request  counting-complexity 

একটি প্রান্ত কভার একটি গ্রাফের প্রান্তগুলির একটি উপসেট যা গ্রাফের প্রতিটি শীর্ষবিন্দুটি কভারের কমপক্ষে একটি প্রান্তের সাথে সংলগ্ন থাকে। নিম্নলিখিত দুটি কাগজপত্র বলে যে কাউন্টিং প্রান্ত কভার হয় #P -complete: এজ কভার গণনা করার এক সহজ FPTAS এবং পথ গ্রাফ জেনারেট এজ কভার । তবে, আমি যদি কিছু মিস না …

16 reference-request  graph-algorithms  counting-complexity  proofs 

অ-নেতিবাচক পূর্ণসংখ্যার মধ্যে রৈখিক ডায়োফ্যান্টাইন সমীকরণ সমাধানের এনপি-সম্পূর্ণ সমস্যা সম্পর্কে আমি খুব কম তথ্যই পাই। অর্থাৎ, সেখানে অ নেতিবাচক একটি সমাধান পাওয়া যাবে x1,x2,...,xnx1,x2,...,xnx_1,x_2, ... , x_n সমীকরণ থেকে a1x1+a2x2+...+anxn=ba1x1+a2x2+...+anxn=ba_1 x_1 + a_2 x_2 + ... + a_n x_n = b , যেখানে সমস্ত ধ্রুবক ধনাত্মক? আমি জানি এই সমস্যার …

16 cc.complexity-theory  reference-request  np-hardness  counting-complexity 

এটা ঘন হ্যামিল্টনিয়ান গ্রাফ দীর্ঘতম চক্র একটি ধ্রুবক ফ্যাক্টর পড়তা এটি -hard। কিউবিক হ্যামিল্টোনীয় গ্রাফগুলিতে কমপক্ষে দুটি হ্যামিল্টোনীয় চক্র থাকে।এনপিএনপিNP কিউবিক হ্যামিল্টোনীয় গ্রাফগুলিতে হ্যামিল্টোনীয় চক্রের সংখ্যার উপরের সর্বাধিক পরিচিত ওপেন বাউন্ড এবং নিম্ন সীমাটি কী? কিউবিক হ্যামিল্টোনীয় গ্রাফ দেওয়া হয়েছে, হ্যামিল্টোনীয় চক্রের সংখ্যা খুঁজে বের করার জটিলতা কী? এটা কি …

15 cc.complexity-theory  counting-complexity 

Σএক্সΠi j ∈ Eচ( এক্সআমি, এক্সঞ)Σএক্সΠআমিঞ∈ইচ(এক্সআমি,এক্সঞ)\sum_x \prod_{ij \in E} f(x_i,x_j)সর্বোচ্চএক্সΠi j ∈ Eচ( এক্সআমি, এক্সঞ)সর্বোচ্চএক্সΠআমিঞ∈ইচ(এক্সআমি,এক্সঞ)\max_x \prod_{ij \in E} f(x_i,x_j) যেখানে বা সমস্ত লেবেলিংয়ের উপরে সর্বাধিক বা যোগফল নেওয়া হয় , সেখানে গ্রাফ for এবং একটি স্বেচ্ছাসেবী কর্ম হিসাবে পণ্যটি সমস্ত প্রান্ত ধরে নেওয়া হয় । সীমিত গাছের প্রস্থের গ্রাফগুলির জন্য …

15 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms  counting-complexity 

আমি একটি polytope আছে দ্বারা সংজ্ঞায়িত ।PPP{x:Ax≤b,x≥0}{x:Ax≤b,x≥0}\{ x : Ax \leq b, x \geq 0\} প্রশ্ন: একটি প্রান্তবিন্দু দেওয়া এর , সেখানে প্রতিবেশীদের থেকে অবিশেষে নমুনা করার জন্য একটি বহুপদী সময় আলগোরিদিম এর গ্রাফে ? (মাত্রার বহুমাত্রিক, সমীকরণের সংখ্যা এবং এর উপস্থাপনা । আমি ধরে নিতে পারি যে সমীকরণের সংখ্যাটি …

15 reference-request  np-hardness  counting-complexity  linear-programming  polytope 

সমস্যা: প্রদত্ত একটি বুলিয়ান বর্তনী দ্বারা প্রতিনিধিত্ব, একটি এলোপাথারি উৎপন্ন এক্স ∈ { 0 , 1 } এন যেমন যে φ ( এক্স ) = 1 (অথবা আউটপুট ⊥ কোন ধরনের এক্স বিদ্যমান)। φ : { 0 , 1 }এন→ { 0 , 1 }φ:{0,1}এন→{0,1}\phi : \{0,1\}^n \to \{0,1\}এক্স ∈ …

14 np-hardness  counting-complexity  reductions 

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

14 cc.complexity-theory  counting-complexity  search-problem 

থিম: ধরে নেওয়া যাক ETA-সমানতা আমরা যে আছে (\x -> ⊥) = ⊥ :: A -> B। প্রুফ: ⊥ = (\x -> ⊥ x)এটা-সমতা এবং (\x -> ⊥ x) = (\x -> ⊥)ল্যাম্বদার নীচে হ্রাস দ্বারা। হাস্কেল 2010 রিপোর্ট, বিভাগ 6.2 seqদুটি সমীকরণ দ্বারা ফাংশন নির্দিষ্ট করে : seq :: …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

বেন-ডোর / হালেভি [1] এর গবেষণাপত্রে এটি আরও একটি প্রমাণ দেওয়া হয়েছে যে স্থায়ী অসম্পূর্ণ। কাগজের পরবর্তী অংশে, তারা হ্রাস শৃঙ্খলাটি স্থায়ী মান শৃঙ্খলে বরাবর সংরক্ষণ করা হয়। যেহেতু একটা 3SAT সূত্রের বরাদ্দকরণ satiesfying সংখ্যা স্থায়ী মান থেকে প্রাপ্ত করা যাবে, এটা চূড়ান্ত স্থায়ী গনা যথেষ্ট -matrix। এ পর্যন্ত সব …

14 cc.complexity-theory  counting-complexity  permanent