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

Http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf দ্বারা যদি একটি PSPACE-সম্পূর্ণ ভাষা হল, ।পি এ = এন পি এএকজনAAপিএকজন= এনপিএকজনPA=NPAP^{A}=NP^{A} তাহলে একটি নির্ণায়ক বহুপদী টাইম ওরাকল, হয় (অভিমানী )।পি বি ≠ এন পি বি পি ≠ এন পিবিBBপিবি। এনপিবিPB≠NPBP^{B}\ne NP^{B}পি। এনপিP≠NPP\ne NP # পি পি ⊆ পি পি ⊆ পি এস পি এ সি ইপিপিPPPP হ'ল …

12 cc.complexity-theory  complexity-classes  counting-complexity  open-problem  oracles 

আমি প্রমাণ প্রচেষ্টার অংশ আছে । প্রুফ প্রয়াসটিতে com-পরিপূর্ণ সমস্যা 3-নিয়মিত ভার্টেক্স কভারটি স্যাট থেকে কর্প হ্রাস রয়েছে ।⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP}⊕P⊕P\oplus \mathbf{P}⊕⊕\oplus একটি ঘন গ্রাফ , হ্রাস একটি সিএনএফ সূত্র দুটি নিম্নলিখিত বৈশিষ্ট্য রয়েছে:GGGFFF FFF সর্বাধিক সন্তোষজনক কার্য রয়েছে।111 FFF কেবলমাত্র এর ভার্টেক্স কভারের সংখ্যাটি বিজোড় হলেই সন্তুষ্ট হয়।GGG …

12 cc.complexity-theory  graph-theory  complexity-classes  sat  counting-complexity 

রিড-দু'বার বিপরীত সিএনএফ সূত্রে প্রতিটি চলক দু'বার প্রদর্শিত হয়, একবার ইতিবাচক এবং একবার নেতিবাচক। আমি সমস্যাটিতে আগ্রহী, যা সিএনএফ সূত্রের বিপরীতে একটি পঠন-বারের বিপরীতে সন্তুষ্টিত কার্যভার সংখ্যার সমতা গণনা করে।⊕Rtw-Opp-CNF⊕Rtw-Opp-CNF\oplus\text{Rtw-Opp-CNF} আমি এ জাতীয় সমস্যার জটিলতা সম্পর্কে কোনও রেফারেন্স খুঁজে পাইনি। নিকটতম আমি এটির সন্ধান করতে পেরেছি যে গণনা সংস্করণ হল …

11 cc.complexity-theory  ds.algorithms  counting-complexity 

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

11 cc.complexity-theory  counting-complexity  gt.game-theory 

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

11 cc.complexity-theory  complexity-classes  counting-complexity  pspace 

# পি-কমপ্লিট সমস্যাগুলির মধ্যে পর্যায় স্থানান্তর সম্পর্কে কী জানা যায়? বিশেষত, # ডিএনএফ-কে-স্যাট এবং # সিএনএফ-কে-স্যাট-এর জন্য কি আলাদা ধাপের স্থানান্তর রয়েছে? আপডেট: যেমনটি আমরা জানি, র্যান্ডম কে-স্যাট-এ একটি পর্যায়ের রূপান্তর রয়েছে যেখানে সমস্যা সমাধান করা সহজ থেকে শক্ত হয়ে আবার সহজেই ফিরে যায়। আমি জানতে চাই # পি-কমপ্লিট সমস্যাগুলির …

11 cc.complexity-theory  counting-complexity  phase-transition 

সংক্ষিপ্ত প্রশ্ন: এমএজে -3 সিএনএফ হ'ল একাধিক-হ্রাসের আওতায় পিপি-সম্পূর্ণ সমস্যা? দীর্ঘতম সংস্করণ: এটি সুপরিচিত যে MAJSAT (প্রস্তাবিত বাক্যটির বেশিরভাগ কার্যভার বাক্যটি সন্তুষ্ট করে কিনা তা নির্ধারণ করে) বহু-একক হ্রাসের আওতায় পিপি-সম্পূর্ণ এবং # স্যাট পার্সিমোনিয়াস হ্রাসের অধীনে # পি-সম্পূর্ণ। এটাও স্পষ্ট যে # 3CNF (অর্থাৎ, #SAT 3-CNF সূত্রে সীমাবদ্ধ) # …

10 counting-complexity  complexity  probabilistic-complexity 

আমি নিম্নলিখিত সমস্যাটিতে আগ্রহী। আমাদের ইনপুট হিসাবে একটি "টার্গেট পারমিটেশন" , পাশাপাশি সূচিগুলির তালিকাভুক্ত তালিকা i 1 , … , i m ∈ [ n - 1 ] । এর পরে, তালিকা দিয়ে শুরু এল = ( 1 , 2 , ... , এন ) (অর্থাত, পরিচয় বিন্যাস), প্রতিটি সময় …

10 np-hardness  counting-complexity  permutations  sorting-network  disjoint-paths 

আমি লেস ভ্যালিয়েন্টের সেমিনাল পেপারটি দিয়ে যাচ্ছিলাম এবং কাগজের 10 পৃষ্ঠায় প্রস্তাবটি 4.3 নিয়ে আমার খুব কষ্ট হয়েছিল। আমি দেখতে পারছি না কেন এটা ক্ষেত্রে যে যদি সেখানে নির্দিষ্ট মান জেনারেটরের হয় ভিত্তি সঙ্গে { ( একটি 1 , খ 1 ) ... ( একটি দ , খ দ ) …

10 ds.algorithms  counting-complexity  survey 

আমার প্রশ্নটিতে মনোোটোন -2 সিএনএফ সূত্রের গণনা সমাধানের আগের প্রশ্নটিতে অ্যান্ড্রেস সালামন এবং কলিন ম্যাককিলার অবদানগুলি পড়ে আমার মনে এই প্রশ্নটি জাগে । সম্পাদনা 30 তম মার্চ 2011 যোগ করা হয়েছে প্রশ্ন এন ° 2. সম্পাদনা 29 তম অক্টোবর 2010 প্রশ্নটি ধারণা মাধ্যমে এটি ডিক্রী András প্রস্তাব পর পুনরায় তৈরি …

10 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

একজন homomorphism গ্রাফ থেকে গ্রাফ থেকে একটি ম্যাপিং হয় থেকে করতে যেমন যে যদি এবং মধ্যে সংলগ্ন হয় তারপর এবং এর সাথে সংলগ্ন । একটি endomorphism গ্রাফ এর থেকে একটি homomorphism হয় নিজেই; এটি ফিক্সড পয়েন্ট-ফ্রি যদি মতো কোনও এবং এটি অ-তুচ্ছ হয় যদি এটি পরিচয় না থাকে।G=(V,E)G=(V,E)G = (V, …

9 cc.complexity-theory  graph-algorithms  counting-complexity  graph-isomorphism  homomorphism 

ক্লাসিকাল # পি-সম্পূর্ণ সমস্যাটি বিবেচনা করুন # 3 এস্যাট, অর্থাত্, ভেরিয়েবলগুলি সন্তুষ্টিকর সাথে 3 সিএনএফ করার জন্য মূল্যায়নের সংখ্যা গণনা করতে । আমি অ্যাডিটিভ আনুমানিকতা আগ্রহী । স্পষ্টতই, 2 ^ {n-1 er -ররর অর্জনের জন্য তুচ্ছ একটি অ্যালগরিদম রয়েছে তবে কে <2 ^ {n-1} , যদি একটি কার্যকর আনুমানিক অ্যালগরিদম …

9 approximation-algorithms  sat  counting-complexity  approximation-hardness 

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

9 cc.complexity-theory  sat  counting-complexity 

যাক গ্রাফ দেখুন। কেএকটি পূর্ণসংখ্যা হতে যাক প্রান্ত প্ররোচক subgraphs সংখ্যা হতে না থাকার ছেদচিহ্ন এবং প্রান্ত একটি বিজোড় সংখ্যা। যাক প্রান্ত প্ররোচক subgraphs সংখ্যা হতে না থাকার ছেদচিহ্ন এবং প্রান্ত একজন জোড় সংখ্যা। আসুন । জোড় বিজোড় প্রায় DELTA সমস্যা কম্পিউটিং মধ্যে রয়েছে দেওয়া এবং ।জি = ( ভ, …

9 ds.algorithms  graph-theory  graph-algorithms  counting-complexity 

পূর্ববর্তী একটি প্রশ্নে বিকলিকস সন্ধানের জন্য প্যারামিট্রাইজড অ্যালগরিদম , আমি অনুসন্ধান করেছিলাম যে কোনও সন্ধানের জন্য দ্রুত প্যারামিটারাইজড অ্যালগরিদম রয়েছে কিনা?কে × কেk×kk\times k-বিক্লিক ইন এ এনnn ভার্টেক্স গ্রাফ এবং শিখেছে যে এটি এফপিটি আর্ট হিসাবে প্রকাশিত ছিল open টkk। একই সত্য বেড়ে চলেছেকে × কেk×kk\times k-বিক্লিক, বা এটি #ওয়াট\ …

9 cc.complexity-theory  graph-theory  counting-complexity  parameterized-complexity