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

বিভাজন সমস্যা হিসাবে পরিচিত আনুষ্ঠানিক ভাষাগুলিতে একটি ওপেন সমস্যা রয়েছে; দৈর্ঘ্য এর দুটি স্বতন্ত্র স্ট্রিং হিসাবে সংক্ষেপে বলা হয়েছে , ডিএফএর কতগুলি বড় তাদের "পৃথক" করতে হয়, যার অর্থ একটি স্ট্রিং গ্রহণ করে তবে অন্যটি প্রত্যাখ্যান করে।nnn এখানে কিছু প্রাসঙ্গিক কাগজপত্র 1 , 2 । (আমার আরও কিছু আছে তবে …

10 fl.formal-languages  automata-theory 

প্রশ্নঃ । মাত্রায়হাইপারপ্লেনেরবিন্যাসে সর্বাধিক ভলিউম বাউন্ডেড সেলটি আবিষ্কার করার জটিলতা কী ?nnnddd আমি মনে করি এটি আমার জানা উচিত ... তবে আমি একটি নির্দিষ্ট রেফারেন্স খুঁজে পাচ্ছি না। এটি কি ? সম্পর্কে কীভাবে : লাইনগুলির বিন্যাসে সবচেয়ে বড় ক্ষেত্রটি সীমাবদ্ধ সেল?Ω(nd)Ω(nd)\Omega(n^d)d=2d=2d{=}2

10 computational-geometry  high-dimensional-geometry  arrangements 

যাক k > 0k>0k>0 একটি নির্দিষ্ট ধ্রুবক হও। একটি পূর্ণসংখ্যার এনnn , আমরা একটি ক্রমান্বন σ। এসএনσ∈Sn\sigma \in S_n মতো নির্মাণ করতে চাই যে: নির্মাণে ধ্রুবক সময় এবং স্থান ব্যবহার করে (অর্থাত্ প্রিপ্রোসেসিং ধ্রুবক সময় এবং স্থান নেয়)। আমরা এলোমেলোভাবে ব্যবহার করতে পারি। দেওয়া আমি ∈ [ n ]i∈[n]i\in[n] , …

10 cc.complexity-theory  ds.algorithms  cr.crypto-security  derandomization  k-wise-independence 

সম্ভবত হাস্কেলের পারফরম্যান্স সমস্যার মূল উত্স হ'ল যখন কোনও প্রোগ্রাম অসাবধানতার সাথে সীমাহীন গভীরতার একটি অংশ তৈরি করে - মূল্যায়ন করার সময় এটি মেমরি ফাঁস এবং সম্ভাব্য স্ট্যাক উভয় প্রবাহকে কারণ করে। ক্লাসিক উদাহরণটি sum = foldr (+) 0হ্যাসকেলে সংজ্ঞায়িত করছে। অলস ভাষাটি ব্যবহার করে কোনও প্রোগ্রামে এমন কোনও থানকের …

10 type-theory  functional-programming  program-verification 

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

10 cc.complexity-theory  complexity-classes  computability  dynamic-algorithms 

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

10 cc.complexity-theory  graph-algorithms  parameterized-complexity  fixed-parameter-tractable 

এটি মোটামুটি সুপরিচিত একটি সত্য যে মার্টিন-লয়েফ টাইপের তত্ত্বের একটি বৈষম্য (উদাহরণস্বরূপ, ) থেকে একটি বৈপরীত্য প্রাপ্ত জন্য একটি মহাবিশ্বের প্রয়োজন।(0=1)→⊥(0=1)→⊥(0=1) \to \bot প্রমাণ মোটামুটি সহজবোধ্য - বিশ্বজগতের অনুপস্থিতিতে, আমরা কোনো নির্ভরশীল ধরণ থেকে নির্ভরতা নিশ্চিহ্ন একটি সহজ টাইপ তার আকৃতি, এবং যাতে প্রতিপাদন পেতে পারেন বোঝা আমরা প্রমাণ করতে …

10 reference-request  lo.logic  pl.programming-languages  type-theory  dependent-type 

গ্রাফ আইসোমর্ফিজম সমস্যাটি দীর্ঘস্থায়ী সমস্যাগুলির মধ্যে একটি যা বা কমপ্লিট সমস্যাগুলিতে শ্রেণিবিন্যাসকে প্রতিহত করে । আমাদের প্রমাণ রয়েছে যে এটি অসম্পূর্ণ হতে পারে না । প্রথমত, বহিরাগত শ্রেণিবিন্যাস [1] দ্বিতীয় স্তরে পতিত না হলে গ্রাফ আইসোমর্ফিজম কমপ্লিট হতে পারে না । এছাড়াও, জিআই-র গণনা [2] সংস্করণটি বহু-সময়কালীন টুরিং এর সিদ্ধান্ত …

10 cc.complexity-theory  graph-isomorphism 

প্রুফ জটিলতা গণনা জটিলতার তত্ত্বের একটি সর্বাধিক প্রাথমিক ক্ষেত্র। এই ক্ষেত্রের একটি চূড়ান্ত উদ্দেশ্য প্রমাণ করা , যে কোনও প্রবক্তা প্রদত্ত ইনপুট সূত্রটি অসন্তুষ্টির প্রমাণ দিতে পারে না। NP≠coNPNP≠coNPNP\neq coNP একটি গ্রাফ প্রমাণের আনুষ্ঠানিক মডেলগুলির মধ্যে একটি। আমার প্রশ্ন এই মডেলটির আরও বাধা সম্পর্কে। একটি প্রমাণ একটি ডিএজি হিসাবে উপস্থাপন …

10 cc.complexity-theory  reference-request  graph-theory  np  proof-complexity 

1965 নিবন্ধটি "এ আলগোরিদিম গণনীয় জটিলতার উপর Hartmanis এবং স্টার্ন দ্বারা", লেখক অনুমান যে যদি একটি রিয়েল-টাইম টুরিং মেশিন নির্ণয় বাস্তব সংখ্যার মধ্যে, উদাহরণস্বরূপ, বেস 10, তারপর দ হয় একটি মূলদ সংখ্যা বা একটি হল ট্রান্সসিডেন্টাল নম্বর।rrrrrr এমন কোনও গণনাযোগ্য ট্রান্সসেন্টেন্টাল নম্বর রয়েছে যা রিয়েল-টাইম টুরিং মেশিন দ্বারা উদাহরণস্বরূপ, বেস …

10 cc.complexity-theory  reference-request  examples 

সমানভাবে, সম্ভাব্য উচ্চতর অর্ডার কার্যকরী প্রোগ্রামিং ভাষাগুলির জন্য একটি জ্ঞাত ডেনোটেশনাল শব্দার্থবিজ্ঞান কি আছে? বিশেষ করে, সেখানে বিশুদ্ধ untyped একটি ডোমেন মডেল -calculus একটি প্রতিসম র্যান্ডম বাইনারি পছন্দ অপারেশন প্রসারিত।λλ\lambda প্রেরণা কার্টেসিয়ান বন্ধ বিভাগগুলি উচ্চতর-অর্ডার -ক্যালকুলিতে একটি শব্দার্থবিজ্ঞান সরবরাহ করে । সম্ভাব্য পাওয়ারডোমাইনগুলি স্টোকাস্টিক প্রোগ্রামগুলিকে শব্দার্থ সরবরাহ করে। একটি সম্ভাব্য …

10 pr.probability  lambda-calculus  ct.category-theory  denotational-semantics  domain-theory 

পটভূমি: লেনদেনের তত্ত্বে লেনদেন প্রক্রিয়াজাতকরণ একটি traditionalতিহ্যবাহী গবেষণা বিষয়। আজকাল বিতরণ লেনদেনগুলি বড় আকারের বিতরণ স্টোরেজ সিস্টেমগুলির দ্বারা জনপ্রিয় হয় যা সাধারণত ডেটা পার্টিশনকে জড়িত (এটি শারডিংও বলা হয়) এবং তথ্য প্রতিলিপি জড়িত । বিতরণ লেনদেনের প্রধান গবেষণা বিষয়গুলি কী কী? সেখানে কি সুপরিচিত তত্ত্ব এবং সমাধানগুলির প্রয়োজন যা (তাত্ত্বিক) …

10 reference-request  big-list  dc.distributed-comp  db.databases 

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

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

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

10 fl.formal-languages  automata-theory 

আমার প্রশ্নটি সূক্ষ্ম কাঠামোর ধ্রুবকগুলির সাথে সম্পর্কিত কিউইডি (কোয়ান্টাম ইলেক্ট্রোডাইনামিক্স) গণনার জন্য কোয়ান্টাম অ্যালগরিদম সম্পর্কে। এ জাতীয় গণনা টেলর-জাতীয় সিরিজের যেখানে সূক্ষ্ম কাঠামো ধ্রুবক (প্রায় ) এবং কে লুপগুলির সাথে ফেনম্যান ডায়াগ্রামের অবদান । ∑ গটαট,Σগটαট,\sum c_k\alpha^k,αα\alphaগটগটc_kটটk এই প্রশ্নটি আমার ব্লগে কোয়ান্টাম কম্পিউটার সম্পর্কিত আলোচনায় পিটার শোরের মন্তব্যে (কিউইডি এবং …

10 cc.complexity-theory  quantum-computing  physics