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

একটি পঠিত একবার সিদ্ধান্ত গাছ নীচে হিসাবে সংজ্ঞায়িত করা হয়: এবং এফ একটি ঠ গুলি ই পাঠযোগ্য একবার সিদ্ধান্ত গাছ হয়।টিR তোমার দর্শন লগ করা ইTrueTrueএফa l s eFalseFalse যদি এবং বি একবারে সিদ্ধান্ত গৃহীত গাছ হয় এবং x একটি পরিবর্তনশীল হয় যা A এবং B তে ঘটে না , …

11 cc.complexity-theory  lo.logic  decision-trees  boolean-formulas 

সীমাবদ্ধ বিপরীতমুখী সেমিগ্রুপ আইসোমরফিজম সমস্যা জিআই-সম্পূর্ণ ? এখানে সসীম বিপরীতমুখী সেমিগ্রুপগুলি তাদের গুণ টেবিল দ্বারা দেওয়া বলে ধরে নেওয়া হয়।

11 cc.complexity-theory  graph-isomorphism 

একটি ভেক্টর সংযোজন সিস্টেম (VAS) হ'ল ক্রিয়াকলাপগুলির একটি সীমাবদ্ধ সেট । সমীকরণ হল চিহ্ন । একটি রান হ'ল চিহ্নগুলির একটি খালি খালি শব্দ নয় stA⊂ZdA⊂ZdA \subset \mathbb{Z}^dNdNd\mathbb{N}^dm0m1…mnm0m1…mnm_0 m_1\dots m_n∀i∈{0,…,n−1},mi+1−mi∈A∀i∈{0,…,n−1},mi+1−mi∈A\forall i \in \{0, \dots, n-1\}, m_{i+1}-m_i \in A । এই ধরনের একটি শব্দ বিদ্যমান আমরা বলে যে যদি mnmnm_n হয় পৌঁছানো …

11 fl.formal-languages  decidability 

গোল্ডরিচ এট আল এর প্রমাণ যে তিনটি রঙিনযোগ্যতা শূন্য জ্ঞানের প্রমাণ রয়েছে প্রতিটি রাউন্ডে গ্রাফের সম্পূর্ণ বর্ণের জন্য কিছুটা প্রতিশ্রুতি ব্যবহার করে [1]। যদি কোনও গ্রাফের শিখর এবং প্রান্ত থাকে তবে একটি সুরক্ষিত হ্যাশ বিটস রয়েছে এবং আমরা ত্রুটির সম্ভাবনা , মোট যোগাযোগের ব্যয় হ'লই বি পিnnneeebbbppp O(benlog(1/p))O(benlog⁡(1/p))O(ben \log(1/p)) ওভার …

11 communication-complexity  zero-knowledge 

নিম্নলিখিত সমস্যা বিবেচনা করুন: দুটি স্ট্রিং x, y দেওয়া হয়েছে তা স্থির করে নিন যে সেখানে স্ট্রিং হোমোমর্ফিজম f রয়েছে যা f (x) = y। এটি সহজেই দেখানো যায় যে এই সমস্যাটি । এই সমস্যা সম্পর্কে আমরা বলতে পারি এমন আরও কিছু জিনিস রয়েছে? যেমন এটি সি ও এন পি …

11 cc.complexity-theory  reference-request  fl.formal-languages 

কিছু ক্ষেত্র হতে দিন । যথারীতি, আমরা সংজ্ঞায়িত করিkkkf∈k[x1,x2,…,xn]f∈k[x1,x2,…,xn]f\in k[x_{1},x_{2},\ldots,x_{n}]L(f)L(f)L(f) সরল-রৈখিক জটিলতা হতে fff উপর kkk । যাক FFF এর monomials সেট হতে fff , যথা monomials যা প্রদর্শিত fff নন-জিরো সহগ সঙ্গে। এটা কি সত্য যে ∀m∈F:L(m)≤L(f)∀m∈F:L(m)≤L(f) \forall m\in F:L(m)\le L(f) ? এমনকি জন্য কিছু দুর্বল ওপেন বাউন্ডও L(m)L(m)L(m)জানা …

11 cc.complexity-theory  algebraic-complexity  arithmetic-circuits 

ধরুন যে আমাদের ইনপুট একটি বাইনারি হয় এবং আমরা আউটপুট আছে ⌊ এক্স / গ ⌋ , যেখানে গ কিছু ধ্রুবক পূর্ণসংখ্যা। এটি কেবলমাত্র একটি শিফট যদি গ এর দুটি শক্তি হয় তবে অন্য সংখ্যার কী হবে? আমরা এটা প্রত্যেক জন্য একটি ধ্রুবক গভীরতা বর্তনী দিয়ে কি পারবেন গ ? …

11 cc.complexity-theory  circuit-complexity  ac0 

আমি সঠিক কোয়ান্টাম অ্যালগরিদম সম্পর্কে ধারণা বিবেচনা করছি। বিশেষত, আমি এর সম্ভাব্য সীমাবদ্ধতাগুলি বিবেচনা করছি E Q Pইপ্রশ্নঃপি\mathsf{EQP}, যেগুলি বহুবিধ-ইউনিফর্ম কোয়ান্টাম সার্কিট পরিবারগুলিকে একটি স্বেচ্ছাসেবী সীমাবদ্ধ গেট সেট দ্বারা ঠিক ঠিক সিদ্ধান্ত নিয়েছে consists এফ এন = 1 দ্বারা প্রদত্ত কোয়ান্টাম ফুরিয়ার ট্রান্সফর্ম (কিউএফটি) এফএন= 1এন--√⎡⎣⎢⎢⎢⎢⎢⎢⎢⎢⎢⎢1111⋮11ωω2ω3⋮ωএন- 11ω2ω4ω6⋮ωএন- 21ω3ω6ω9⋮ωএন- 3⋯⋯⋯⋯⋱⋯1ωএন- 1ωএন- …

11 quantum-computing  circuit-families 

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

11 cc.complexity-theory  np  board-games  pspace 

যেমনটি আমরা জানি, অ্যালগরিদমের গণনামূলক জটিলতার সংজ্ঞা প্রায় কোনও বিতর্ক ছাড়াই, তবে রিয়েলগুলির গণনা জটিলতার সংজ্ঞা বা বাস্তবের তুলনায় গণনা মডেলগুলি এ জাতীয় ক্ষেত্রে নয়। আমরা কম্পেটেবল অ্যানালাইসিস বইতে ব্লাম এবং স্মেলসের মডেল এবং মডেল জানি। এবং আপাতদৃষ্টিতে, গণনাযোগ্য বিশ্লেষণের মডেলটি ক্লাসিক মডেলের সাথে সামঞ্জস্যপূর্ণ, কিন্তু বাস্তবগুলির গণ্য জটিলতার সংজ্ঞা …

11 cc.complexity-theory  reference-request  computability  computing-over-reals  computable-analysis 

বিভাজন গাছগুলি কি কখনও কার্যকর করা হয়েছে? এখানে, আমি গণনা জ্যামিতি থেকে পার্টিশন গাছ সম্পর্কে কথা বলছি। প্রাচীনতম (নিকটতম) সর্বোত্তম সংস্করণগুলি যার ফলে মাতোউসেক এবং অন্যদের কারণে হয়েছিল এবং অতি সম্প্রতি টিমোথি চ্যান: https://cs.uwaterloo.ca/~tmchan/optpt_2_10.pdf আমার কাছে এটি পাগল মনে হয় যে এগুলি কখনই কার্যকর করা হয়নি , তবে গুগলিং এমন …

11 ds.data-structures  implementation  computational-geometry 

সহজভাবে টাইপ করা ল্যাম্বদা ক্যালকুলাস এবং উচ্চতর অর্ডার যুক্তির মধ্যে কী সম্পর্ক? কারি-হাওয়ার্ডের অধীনে দেখে মনে হয় যে কেবল টাইপ করা ল্যাম্বদা ক্যালকুলাস প্রজেক্টাল যুক্তির সাথে মিল রাখে। এটি কীভাবে উচ্চতর অর্ডার যুক্তির সাথে সম্পর্কিত? জিউভার্সের এই টিউটোরিয়াল অনুসারে: http://typessummerschool07.cs.unibo.it/courses/geuvers-1.pdf এইচএল এর ভাষাটি এসটিটি বলে মনে হচ্ছে। এটি কি প্রোপ …

11 lo.logic  typed-lambda-calculus  curry-howard 

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

11 reference-request  gt.game-theory  implementation  board-games  combinatorial-game-theory 

আমি জানতে চাই ( যদি এই অন্যান্য প্রশ্নের সাথে সম্পর্কিত ) নীচের সীমাটি নিম্নলিখিত পরীক্ষামূলক সমস্যার জন্য পরিচিত হত: একটিকে অ-নেতিবাচক সংখ্যা এবং a এর অনুক্রমের জন্য ক্যোয়ারী অ্যাক্সেস দেওয়া হবে , প্রতিশ্রুতি দিয়ে যে either বা । ε ∈ ( 0 , 1 ) Σ এন ট = 1 …

11 reference-request  randomized-algorithms  property-testing 

GGGMGMGM_GGGGMG[i,j]MG[i,j]M_G[i, j]iiijjjGGG+++maxmax\max আমি যে একটি subgraph এর (একই প্রান্তবিন্দু সেট দিয়ে) হল SP-সমতুল্য করার যদি । অন্য কথায়, থেকে তে যাওয়ার জন্য প্রান্তগুলি সরিয়ে ফেলা স্বল্পতম পাথের দৈর্ঘ্য পরিবর্তন করে না; সরানো প্রান্তগুলি কোনও সংক্ষিপ্ততম পথের জন্য প্রয়োজন ।G′G′G'GGGGGGMG=MG′MG=MG′M_G = M_{G'}GGGG′G′G' সাধারণভাবে অন্তর্ভুক্তির জন্য এর কোনও একক এসপি সমতুল্য সাবগ্রাফার …

11 ds.algorithms  reference-request  graph-algorithms  shortest-path