প্রশ্ন ট্যাগ «cc.complexity-theory»

আমি সীমানা ডিগ্রি সহ গ্রাফের ভার্টেক্স রঙিন করার জন্য কঠোরতার ফলাফল খুঁজছি। একটি গ্রাফ , আমরা জানি যে কোনও ϵ > 0 এর জন্য | এর একটি ফ্যাক্টরের মধ্যে আনুমানিক χ ( জি ) হওয়া শক্ত hard ভি | 1 - ε যদি না দ্বারা NP = ZPP [ 1 …

12 cc.complexity-theory  approximation-hardness  graph-colouring  hypergraphs  bounded-degree 

শেফারের দ্বৈতত্ত্বের উপপাদ্যটি দেখায় যে over এর উপরে প্রতিটি সিএসপি সমস্যা হয় বহুপক্ষীয় সময়ে সমাধানযোগ্য বা এনপি-সম্পূর্ণ। এটি কেবল স্যাট এবং হর্ন-স্যাট ব্যতীত বাউন্ডেড প্রস্থের সিএসপি সমস্যার জন্য প্রযোজ্য। আনবাউন্ডেড প্রস্থের জেনারেল সিএসপি সমস্যাগুলি খুব কঠিন হতে পারে (এমনকি সমাহারহীন), সুতরাং আসুন আমরা "প্রাকৃতিক" এবং এনপিতে থাকা সমস্যাগুলিতে নিজেকে সীমাবদ্ধ …

12 cc.complexity-theory  lo.logic  csp 

লিনিয়ার প্রোগ্রামিং এবং কে-মাধ্যমের মতো অনেক সমস্যার জন্য সঠিক অ্যালগরিদমের রানটাইম বোঝার জন্য স্মুটেড বিশ্লেষণ বহুবার প্রয়োগ করা হয়েছে। এই রাজ্যে মোটামুটি সাধারণ ফলাফল রয়েছে, উদাহরণস্বরূপ হাইকো রেগলিন এবং বার্থল্ড ভ্যাকিং, পূর্ণসংখ্যা প্রোগ্রামিংয়ের ধীরে ধীরে বিশ্লেষণ , 2005 these ধরে নিলে , এই কাগজটি এন পি- ওয়ার্ড সমস্যার জন্য মসৃণ …

12 cc.complexity-theory  approximation-algorithms  approximation-hardness  smoothed-analysis 

সুডোকু একটি সুপরিচিত ধাঁধা যা এনপি-সম্পূর্ণ। বাইনারি সুডোকু এমন একটি বৈকল্পিক যা কেবল এবং 1 নম্বরগুলিকে অনুমতি দেয় । নিয়মগুলি নিম্নরূপ:000111 প্রতিটি সারি এবং প্রতিটি কলামে সমান সংখ্যক শূন্য এবং একটি অবশ্যই থাকতে পারে। প্রতিটি সারি এবং প্রতিটি কলাম অনন্য। কোনও সারি বা কলামে জিরো বা বেশী ক্রমাগত ট্রিপল থাকে …

12 cc.complexity-theory  np-hardness  puzzles 

ব্যাপকভাবে মিথ্যা বলে অনুমান করা হয়।RP=NPRP=NPRP = NP তবে এক মুহুর্তের জন্য কল্পনা করুন যে এটি সত্য। এই ক্ষেত্রে, সম্ভবত যে হতে পারে ?P=NPP=NPP = NP অন্য কথায় রাখুন: যে পৃথিবীতে , আমাদের এখনও পি = এন পি বিশ্বাস করতে বাধা হিসাবে দেখা যেতে পারে ?RP=NPRP=NPRP = NPP=NPP=NPP = NP

12 cc.complexity-theory  complexity-classes  conditional-results 

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

12 cc.complexity-theory  time-complexity  p-vs-np 

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

12 cc.complexity-theory  graph-theory  graph-algorithms  graph-isomorphism 

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

12 cc.complexity-theory  dynamic-algorithms  edit-distance  space-time-tradeoff 

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

12 cc.complexity-theory  quantum-computing  query-complexity 

একটি "সমস্যা" define একটি আলগোরিদিম হতে স্বাভাবিক সংখ্যা গ্রহণ এবং ফিরে 0 বা 1 যা ফেরৎ 1 অন্তত এক এন ∈ এন । কোন ধরনের এন করার জন্য একটি "সমাধান" বলা হয় একজনএকজনAA111n∈Nn∈Nn \in \mathbb{N}nnnAAA একটি "সর্বজনীন সমস্যা সমাধানকারী" সংজ্ঞায়িত করুন অ্যালগোরিদম কোনও সমস্যা স্বীকার করে এবং এর সমাধানগুলির মধ্যে …

12 cc.complexity-theory  ai.artificial-intel 

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

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

একজন এমপিএ (multipebble যন্ত্রমানব) একটি 2DFA (দ্বিমুখী নির্ণায়ক সসীম যন্ত্রমানব) যে নুড়ি (আসলে সর্বাধিক স্বেচ্ছাচারী সংখ্যা ব্যবহার করতে পারেন একটি প্রদত্ত ইনপুটের নুড়ি W - ইনপুট দুই প্রান্তের টেপ লেখা যেমন -markers # W # )। গণনার সময়, এমপিএ সনাক্ত করতে পারে যে মাথার নীচে প্রতীকটি একটি নুড়ি রয়েছে কিনা …

12 cc.complexity-theory  reference-request  automata-theory  space-bounded 

অরোরার বারক শো যেমন প্রকাশ করা যেতে পারে বি পি ⋅ এন পি ভাষা 3SAT করার কমানোর এলোমেলোভাবে আছে সেট অর্থাৎ। এম এ হ'ল এন পি এর প্রাকৃতিক র্যান্ডমাইজড জেনারালাইজেশন যা আপনি এলোমেলোভাবে একটি দ্বারা ডিটারমিনিস্টিক ভেরিফায়ার প্রতিস্থাপন করেন।AMAM\mathsf{AM}BP⋅NPBP⋅NP\mathsf{BP}\cdot \mathsf{NP}MAMA\mathsf{MA}NPNP\mathsf{NP} "এনপি হ'ল পিপি-তে বিপিপির সাথে এইগুলির মধ্যে একটির আরও ঘনিষ্ঠ …

12 cc.complexity-theory  big-picture 

বলুন যে কারও কাছে একটি ভাষা , তবে কেউ জানেন না যে স্ট্রিংগুলি আসলে ভাষার অংশ। প্রত্যেকটি ভাষাতেই সীমাবদ্ধ দৃষ্টিভঙ্গি রয়েছে: ভাষার মধ্যে পরিচিত স্ট্রিং এর একটি সীমাবদ্ধ সেট এবং একটি সীমাবদ্ধ সেট যা পরিচিত ভাষায় না।L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^*A⊆LA⊆LA \subseteq LB⊆(Σ∗∖L)B⊆(Σ∗∖L)B \subseteq (\Sigma^* \setminus L) উদাহরণস্বরূপ, আসুন আমি আছে এবং …

12 cc.complexity-theory  fl.formal-languages  automata-theory 

সাধারণত ক্যালকুলাস সম্পর্কে যুক্তিযুক্ত কারণটি সীমাবদ্ধতা হ'ল "সময়ের বহুগুণে গণনাযোগ্য" এর মতো একটি প্রান্তিকের চেয়ে গণনার সুনির্দিষ্টতা reason উদাহরণস্বরূপ আনুষ্ঠানিক ভাষায় তত্ত্ব, বরং ব্যবহার করতে ∃ এন । এক্সn + 1= এক্সএন∃এন।এক্সএন+ +1=এক্সএন\exists n. x^{n+1} = x^n aperiodic monoïd বৈশিষ্ট্য, এটা profinite শব্দ ব্যবহার যাতে সহজ হয় এক্সω + 1= …

12 cc.complexity-theory  computability