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

আমি ম্যাথওভারফ্লোতে এই সমস্যাটি জিজ্ঞাসা করেছি , কোনও সন্তোষজনক উত্তর ছাড়াই। নিম্নলিখিত দুই খেলোয়াড়ের খেলাটি বিবেচনা করুন, যা বিজয়ী নামক কার্ড গেমটির সরলীকরণ । (ম্যাথওভারফ্লোতে গিলিয়াম ব্রুনেরির একটি মন্তব্য থেকে নিম্নলিখিত সূত্রটি নেওয়া হয়েছিল)) এ এবং বি দুটি খেলোয়াড় রয়েছে প্রতিটি খেলোয়াড়ের কার্ডের সেট থাকে (একটি উপসেট) { 1 , …

9 gt.game-theory  card-games 

আমি এমন একটি উপপাদ্য সন্ধান করছি যা এই জাতীয় কিছু বলে: যদি কোনও বিপরীতমুখী মার্কভ চেইনের প্রচ্ছদ সময়টি ছোট হয় তবে বর্ণালীর ফাঁক বড় is এখানে বর্ণালী ফাঁক মানে1 - |λ2|1-|λ2|1-|\lambda_2|, যা, আমরা চেইনের ক্ষুদ্রতম এগেনুয়ালুটিকে উপেক্ষা করি। এই দিকটিতে আমি যে ফলাফলটি খুঁজে পেতে পেরেছি তা হ'ল কভার টাইম …

9 ds.algorithms  pr.probability  random-walks 

এই নিবন্ধে নিলাম তত্ত্ব সম্পর্কিত একটি প্রমাণের প্রযুক্তিগত বিবরণ নিয়ে আমি সংগ্রাম করছি: http : //users.eecs.northw Western.edu/~hartline/omd.pdf বিশেষত, উপপাদ্য 2.5: সত্যবাদী ব্যবস্থার জন্য প্রয়োজনীয় এবং পর্যাপ্ত শর্ত। আরও সুনির্দিষ্টভাবে, প্রমাণের অগ্রবর্তী দিক, পৃষ্ঠা the এ দেওয়া, হিসাবে সত্যবাদী মান এবং একটি সাধারণ, সম্ভবত মিথ্যা, মান (উদাহরণস্বরূপ, একটি বিড) কে হিসাবে …

9 gt.game-theory 

সম্পাদনা করুন: এই পোস্ট সম্পর্কিত এখন একটি ফলো আপ প্রশ্ন আছে। সংজ্ঞা যাক এবং পূর্ণসংখ্যার হতে। আমরা স্বরলিপি ব্যবহার ।ccckkk[i]={1,2,...,i}[i]={1,2,...,i}[i] = \{1,2,...,i\} একটি ম্যাট্রিক্স বলা হয় যে যদি টু রঙিন ম্যাট্রিক্স থাকে তবে নিম্নলিখিতগুলি থাকে:c×cc×cc \times cM=(mi,j)M=(mi,j)M = (m_{i,j})ccckkk আমাদের সকলের জন্য ,mi,j∈[k]mi,j∈[k]m_{i,j} \in [k]i,j∈[c]i,j∈[c]i, j \in [c] সবার জন্য …

9 co.combinatorics  lower-bounds  dc.distributed-comp 

ধরুন আমাদের কাছে নোডের গ্রাফ রয়েছে । আমরা প্রতিটি নোডকে একটি বা একটি নির্ধারণ করতে চাই । এটিকে configuration এ একটি কনফিগারেশন Call বলুন । আমাদের যে টি নির্ধারণ করতে হবে তা হ'ল (অতএব s এর সংখ্যা )) একটি কনফিগারেশন , আমরা প্রতিটি নোড এবং তার প্রতিবেশীদের জন্য নির্ধারিত মানগুলি …

9 graph-theory  co.combinatorics  optimization 

সাধারণ উদ্দেশ্যে এলপি সলভার ব্যবহার ব্যতীত শিরোনাম অনুসারে, ভেরিয়েবলের তুলনায় বৈষম্যের ব্যবস্থা সমাধানের জন্য কি কোনও পদ্ধতির উপস্থিতি রয়েছে? xi,…,xkxi,…,xkx_i, \ldots, x_k যেখানে অসমতার ফর্ম রয়েছে ∑i∈Ixi&lt;∑j∈Jxj∑i∈Ixi&lt;∑j∈Jxj\sum_{i \in I} x_i < \sum_{j \in J} x_j? অসমতার বিশেষ ক্ষেত্রে যেটি পাওয়ার সেট এর সদস্যদের মোট অঙ্কের উপরে মোট অর্ডার দেয়{xi,…,xk}{xi,…,xk}\{x_i, \ldots, …

9 ds.algorithms  linear-algebra  linear-programming 

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

9 pl.programming-languages  semantics  formal-modeling  set-theory  object-oriented 

(কিছু দ্বারা NP-সম্পূর্ণ সমস্যা আছে , , ইত্যাদি) পরিচিত হতে । সাব-লিনিয়ার স্পেসগুলি সম্পর্কে কী?এস এ টিএসএকজনটি \mathsf{SAT} এস ইউ বি এস ই টি এস ইউ এমএসইউবিএসইটিএসইউএম \mathsf{SUBSETSUM} ডি এস পি এ সি ই ( এন )ডিএসপিএকজনসিই(এন) \mathsf{DSPACE(n)} সাবলাইনার ননডেটারিস্টিনিস্টিক স্পেসে কোনও এনপি-কমপ্লিট (বা এনপি-ইন্টারমিডিয়েট) সমস্যা আছে কি?

9 cc.complexity-theory  np-hardness  nondeterminism  np-intermediate 

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

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

দিন এসSSইউনিট বর্গ হতে। একটি কাজ হিসাবেββ\beta, সর্বাধিক সংখ্যা কি ββ\betaকমপক্ষে 1 টি ছেদ করতে পারে এমন ব্যাসের সাথে অঞ্চলগুলি পৃথক করে নিন ointএসSS? নীচে, আমরা যে চিত্র দেখাচ্ছে একটি চিত্র দিন β= 1β=1\beta=1, সর্বাধিক সংখ্যা 7.. কী জন্য? β= 2 , 3 , … , এনβ=2,3,…,n\beta = 2, 3, …

9 cg.comp-geom 

দিন GGG জেনাসের একটি প্রাচ্যযোগ্য কমপ্যাক্ট পৃষ্ঠে এম্বেড থাকা গ্রাফ হতে হবে gggযাতে এম্বেডিং সেলুলার হয়। গ্রাফের দ্বৈত বিবেচনা করুনG∗G∗G^*। দিনC1C1C_1 এবং C2C2C_2 চক্র থেকে বিরত থাকুন G∗G∗G^* যে একে অপরের homotopic এবং যাক E1E1E_1 এবং E2E2E_2 তাদের সংশ্লিষ্ট প্রান্ত সেট করুন GGGযথাক্রমে। কিG∖(E1∪E2)G∖(E1∪E2)G \setminus (E_1 \cup E_2) একটি সংযোগ …

9 graph-theory  co.combinatorics  topological-graph-theory 

আমি নীচের সমস্ত পোস্টে ক্ষমা চাইতে চাই। এটি মূলত পোস্ট করতে ভুল ফোরাম বেছে নিয়েছে। তবে এটিকে সম্পূর্ণ বর্জ্য না করে আমি প্রশ্নটিকে সত্য "তাত্ত্বিক কম্পিউটার বিজ্ঞান" হিসাবে চিহ্নিত করেছি। সমস্যা: এমন একটি অ্যালগরিদম তৈরি করুন যা 2 ডি বিমানের এন অর্ডার পয়েন্টগুলির একটি সেট নেয় যা একটি সাধারণ বহুভুজ …

9 ds.algorithms  cg.comp-geom  polygon 

আমি নিম্নলিখিত সেট সিস্টেমের ভিসি-মাত্রা অনুসন্ধান করছি। বিশ্ব ইউ= {পি1,পি2, … ,পিমি}ইউ={পি1,পি2,...,পিমি}U=\{p_1,p_2,\ldots,p_m\} যেমন যে ইউ⊆আর3ইউ⊆আর3U\subseteq \mathbb{R}^3। সেট সিস্টেমেআরআর\mathcal{R} প্রতিটি সেট এস। আরএস∈আরS\in \mathcal{R} একটি গোলকের সাথে সম্পর্কিত আর3আর3\mathbb{R}^3 যেমন সেট এসএসS মধ্যে একটি উপাদান রয়েছে ইউইউU যদি এবং কেবলমাত্র যদি संबंधित ক্ষেত্রটি এতে থাকে আর3আর3\mathbb{R}^3। আমি ইতিমধ্যে জানি যা বিবরণ। …

9 cg.comp-geom  machine-learning  vc-dimension 

ইন গ্রাফিক টিএসপি , আপনি একটি unweighted undirected গ্রাফ দেওয়া হয় ও লক্ষ্য একটি সংক্ষিপ্ত সফর খুঁজে পেতে যে ভিজিট প্রত্যেক প্রান্তবিন্দু অন্তত একবার । মনে রাখবেন যে এটি হ্যামিল্টোনীয় সার্কিটের সন্ধানের মতো নয় । আমার প্রশ্নগুলি হ'ল:জিজিGজিজিGজিজিG সীমানা গাছপালার গ্রাফগুলিতে গ্রাফিক টিএসপির জটিলতা কী? গ্রাফিক টিএসপি-এর অ-তুচ্ছ বহু-কাল-অ্যালগরিদমের কোনও …

9 ds.algorithms  treewidth  tsp 

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

9 ds.algorithms  graph-theory  graph-algorithms