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

বিশেষ করে আমি উপরন্তু দ্বারা বলতে চাচ্ছি, আমরা সংজ্ঞায়িত করা হয় বর্ণমালা হতে । কিছু বর্ণমালার অধীনে নিয়মিত ভাষা এবং দেওয়া , দেখুন । { 0 , 1 , 2 , । । । , i } A B Σ i A × BΣiΣi\Sigma_i{0,1,2,...,i}{0,1,2,...,i}\{0, 1, 2, ..., i\}AAABBBΣiΣi\Sigma_iA×BA×BA\times B প্রতিটি …

10 automata-theory 

Babai এবং Seress প্রমাণিত করে একটি উপদলের দেওয়া এবং একটি উৎপাদিত সেট এস এর জি , যে কোন বিন্যাস জি জেনারেটরের একটি পণ্য এবং দৈর্ঘ্য তাদের inverses হিসেবে লেখা যেতে পারে ই ( 1 + + ণ ( 1 ) ) √জি ≤ এসএনজি≤এসএনG \leq S_nএসএসSজিজিGজিজিG । এই বাউন্ডটি অনুকূল, …

10 gr.group-theory 

ধরা যাক, আমরা থেকে একটি বুলিয়ান ফাংশন আছে । এটা পরিষ্কার যে একটি বাস্তব বহুচলকীয় বহুপদী পি ( এক্স ) যেমন যে চ ( এক্স ) = P ( X ) উপর এক্স ∈ { 0 , 1 } এন multilinear হতে পারে। বুলিয়ান ফাংশনগুলির জন্য কয়েকটি আকর্ষণীয় শ্রেণীর কী …

10 boolean-functions 

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

10 cc.complexity-theory  computing-over-reals 

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

10 graph-theory  graph-isomorphism  automorphism 

বহুবর্ষীয় সময়ে কেবলমাত্র P! = NP এবং অন্যথায় (বলুন) এ দ্রবণযোগ্য এমন কোনও সমস্যা রয়েছে কি? সময়?O(2n)O(2n)O(2^n) একটি সাধারণ উদাহরণ হবে: যদি পি! = এনপি, একটি এলোমেলো এন-বিট সংখ্যার জন্য একটি প্রাথমিক পরীক্ষা গণনা করুন, অন্যথায়, প্রতিটি পাশের 2n টুকরা সহ একটি এনএক্সএন বোর্ডের সাধারণ দাবাতে একটি র্যান্ডম সবচেয়ে খারাপ-পরিস্থিতি …

10 cc.complexity-theory  reference-request 

প্ল্যানার 3-স্যাট এর স্ট্যান্ডার্ড সংজ্ঞাটি কী? আমি বিভিন্ন সংজ্ঞা দেখতে পেয়েছি। মূল কাগজটি কী ছিল যা এটি সংজ্ঞায়িত করেছিল এবং এটি এনপি-সম্পূর্ণ হিসাবে প্রমাণিত হয়েছিল?

10 cc.complexity-theory  reference-request  np-hardness  sat  planar-graphs 

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

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

আসুন NP এ একটি ভাষা call কল করুন খুব কম শংসাপত্রযুক্ত যদি এবং কেবল যদি:L∈L∈L \in একটি বহুপদী বিদ্যমান যেমন যে প্রত্যেক ইনপুট জন্য আকার , যদি তারপর সেট শংসাপত্রগুলির যা যাচাই মধ্যে বহুবর্ষীয় আকার, অর্থাত্ ।p:N→Np:N→Np : \mathbb{N} \rightarrow \mathbb{N}x∈Σ∗x∈Σ∗x \in \Sigma^*nnnx∈Lx∈Lx \in LUxUxU_xuuux∈Lx∈Lx \in L|Ux|≤p(n)|Ux|≤p(n)|U_x| \leq p(n) সংক্ষিপ্ত …

10 cc.complexity-theory  complexity-classes 

আমি ডেভিড এপস্টিনের উদ্ভূত একটি উন্মুক্ত সমস্যায় হোঁচট খেয়েছি এবং আমি এর জটিলতার স্থিতিতে আগ্রহী। তিনি অনুমান করেছিলেন যে এটি এনপি-সম্পূর্ণ। ইনপুট: দ্বারা 0 এবং 1 এর, ক্রম ম্যাট্রিক্স 0 এবং 1 এরnnnnnnn2n2n^2 প্রশ্ন: প্রদত্ত অনুক্রমের সাথে মানগুলি মিলে প্রতিটি ম্যাট্রিক্স এন্ট্রি ঠিক একবার সংলগ্ন, সংলগ্ন ম্যাট্রিক্স এন্ট্রিগুলির মধ্য দিয়ে …

10 cc.complexity-theory  graph-theory 

আমি nnn এলোমেলো ভেক্টরগুলির উপর একটি বিতরণ সন্ধান করার চেষ্টা করছি , মাত্রিক ইউনিট গোলকের (যেখানে ) যা \ সর্বোচ্চ_ {i \ neq জে \ \ ম্যাথর্ম {ভার} (x_i) ^ টি x_j) বাধা subject mathbb {E} [x_i ^ Tx_j] = 0 এর সাপেক্ষে ।x1,…,xnx1,…,xnx_1,\ldots, x_nkkkn>kn>kn > kmaxi≠jVar(xTixj)maxi≠jVar(xiTxj)\max_{i\neq j} \mathrm{Var}(x_i^T x_j)E[xTixj]=0E[xiTxj]=0\mathbb{E}[x_i^Tx_j]=0 …

10 reference-request  randomized-algorithms 

প্রদত্ত দুটি polyhedra এবং কিউ , পি এবং কিউ যদি সেখানে polyhedra নির্দিষ্ট টি সেট রয়েছে equidecomposable হয় পি 1 , ... , পি এন এবং প্রশ্নঃ 1 , ... , প্রশ্ন এন যেমন যে পি আমি এবং প্রশ্নঃ আমি সবার জন্য সর্বসম আমি , পি = । N i …

10 ds.algorithms  computational-geometry  polygon 

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

10 cc.complexity-theory  type-theory  lambda-calculus 

কোন চমৎকার গ্রাফ শ্রেণীর, যার জন্য গাছ-চওড়া হয় উপদল সংখ্যা একটি ফাংশন দ্বারা উপরের বেষ্টিত ω ( জি ) , অর্থাত্ টি W ( জি ) ≤ চ ( ω ( জি ) ) ?tw(G)tw(G)tw(G)ω(G)ω(G)\omega(G)tw(G)≤f(ω(G))tw(G)≤f(ω(G))tw(G)\leq f(\omega(G)) উদাহরণস্বরূপ, এটি একটি ক্লাসিক আসলে কোনো স্বরসমন্বয়ঘটিত গ্রাফের জন্য যে , আমরা টি W …

10 graph-theory  treewidth 

আমি জিএপি প্যাকেজটিতে সীমাবদ্ধ গ্রুপগুলির জন্য অ্যালগরিদমগুলিতে আগ্রহী। দেখে মনে হয় যে এই ক্ষেত্রের সমস্ত পরিচিত অ্যালগরিদমগুলি ক্রমশক্তি গ্রুপ / ম্যাট্রিক্স গ্রুপগুলির সাথে ডিল করে; দুটি মৌলিক বিষয় হ'ল স্রেইয়ার-সিমস [১৯ 1970০] এবং বাটলার [১৯৯]], উদাহরণস্বরূপ এলিস নিমিমারের একটি সম্ভাব্য রেফারেন্স (?) হিসাবে 'পারমিশন গ্রুপগুলির জন্য অ্যালগোরিদম' দেখুন ( অতএব, …

10 permutations  gr.group-theory