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

আমি সীমানা ডিগ্রি সহ গ্রাফের ভার্টেক্স রঙিন করার জন্য কঠোরতার ফলাফল খুঁজছি। একটি গ্রাফ , আমরা জানি যে কোনও ϵ > 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 

এইচ। লেনস্ট্রা ইন্টিজার প্রোগ্রামিং উইন্ডোজের একটি নির্দিষ্ট সংখ্যক ভেরিয়েবলের বিখ্যাত 1983 এর পেপারে বলা হয়েছে যে একটি নির্দিষ্ট সংখ্যক ভেরিয়েবল সহ পূর্ণসংখ্যার প্রোগ্রামগুলি ডেটা দৈর্ঘ্যের ক্ষেত্রে বহু বহুবর্ষে সমাধানযোগ্য। আমি নীচে যে ব্যাখ্যা। সাধারণভাবে ইন্টিজার প্রোগ্রামিংটি এখনও এনপি-সম্পূর্ণ, তবে যদি আমার সাধারণ সমস্যাটির আকারটি (প্রায় ১০,০০০ ভেরিয়েবল, একটি স্বেচ্ছাসেবী সংখ্যার …

12 co.combinatorics  linear-programming  integer-programming 

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

12 cc.complexity-theory  np-hardness  puzzles 

আমি একটি ছোট গ্রাফ খুঁজছি যার ভেক্টর ক্রোম্যাটিক সংখ্যা ক্রোমাটিক সংখ্যার চেয়ে ছোট, ।χ ভি ( জি ) &lt; χ ( জি )GGGχv(G)&lt;χ(G)χv(G)&lt;χ(G)\chi_v(G)<\chi(G) ( তে ভ্যাক্টর ক্রোম্যাটিক সংখ্যা থাকে যদি একটি অ্যাসাইনমেন্ট থাকে , যেখানে স্বজ্ঞাতভাবে পার্শ্ববর্তী কোণগুলির সাথে সম্পর্কিত ভেক্টরগুলি অনেক দূরে থাকে requirement । উদাহরণস্বরূপ, , একটি ত্রিভুজের …

12 ds.algorithms  graph-theory  co.combinatorics  graph-algorithms  graph-colouring 

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

12 ds.algorithms  reference-request  optimization  linear-programming  na.numerical-analysis 

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

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

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

12 automata-theory  lg.learning  regular-expressions  dfa 

পাওয়ারসেট 2 | এর উপরে একঘেয়েমিক শিকারী বিবেচনা করুন এন | (অন্তর্ভুক্তি দ্বারা আদেশ) "একঘেয়ে" দ্বারা আমি বোঝাতে চাইছি: ∀ x , y ∈ 2 | এন | যেমন যে x ⊂ y , যদি পি ( এক্স ) হয় তবে পি ( ওয়াই ) । আমি পি এর সমস্ত …

12 ds.algorithms  ds.data-structures  partial-order  order-theory  search-problem 

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

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

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

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

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

12 graph-theory  graph-classes 

ওয়েজফিলার-লেহম্যান (ডাব্লুএল) পদ্ধতির মাধ্যমে গ্রাফ আইসোমর্ফিজমের জন্য বিখ্যাত পাল্টা উদাহরণে নিম্নলিখিত গ্যাজেটটি এই কাগজে কাই, ফুরার এবং ইমারম্যান দ্বারা নির্মিত হয়েছিল। তারা প্রদত্ত একটি গ্রাফ করেXk=(Vk,Ek)Xk=(Vk,Ek)X_k = (V_k, E_k) Vk=Ak∪Bk∪Mk where Ak={ai∣1≤i≤k},Bk={bi∣1≤i≤k}, and Mk={mS∣S⊆{1,2,…,k}, |S| is even}Ek={(mS,ai)∣i∈S}∪{(mS,bi)∣i∉S}Vk=Ak∪Bk∪Mk where Ak={ai∣1≤i≤k},Bk={bi∣1≤i≤k}, and Mk={mS∣S⊆{1,2,…,k}, |S| is even}Ek={(mS,ai)∣i∈S}∪{(mS,bi)∣i∉S}V_k = A_k \cup B_k \cup M_k …

12 graph-theory  graph-algorithms  graph-isomorphism  algebraic-complexity 

আইসোমর্ফিক নয় এমন ন্যূনতম অ-নিরস্তক অটোমেটা (এনএফএ) কে দুটি সমতুল্য (একই ভাষা স্বীকৃতি দেওয়ার) উদাহরণ দিতে পারে?

12 fl.formal-languages  automata-theory