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

উপাদানগুলির তালিকাগুলির দক্ষ সঞ্চয় করার জন্য চেষ্টা করে। উপসর্গগুলি ভাগ করা তাই এটি স্থান দক্ষ efficient আমি দক্ষতার সাথে গাছ সংরক্ষণের জন্য একই ধরণের সন্ধান করছি। আমি সদস্যতা যাচাই করতে এবং উপাদান যুক্ত করতে সক্ষম হতে চাই, জেনেছি যে প্রদত্ত গাছটি কিছু সঞ্চিত গাছের একটি সাবট্রি কিনা বা সেখানে যদি …

10 ds.data-structures  tree  model-checking 

সাধারণ গ্রাফ মধ্যে অদ্ভুত সেট সমস্যা বিবেচনা করে দেখুন এবং দিন একটি গ্রাফে ছেদচিহ্ন সংখ্যা হতে হবে। একটি লোভী সান্নিধ্যে অ্যালগরিদম ফ্যাক্টর 1 + লগ এন এর একটি আনুমানিক গ্যারান্টি দেয় , অর্থাত্ বহু-কালীন সময়ে একটি সমাধান এস এর সমাধান পাওয়া যায় | এস | ≤ ( 1 + + …

10 cc.complexity-theory  approximation-algorithms  approximation-hardness 

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

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

"কম্পিউটিং দ্বারা কী কী সমস্যাগুলি সমাধান করা যেতে পারে" এর উত্তর দেওয়ার জন্য, আমরা গণনা তত্ত্বটি বিকাশ করেছি। গণনাযোগ্য সমস্যাগুলির জন্য, "আমি যে প্রোগ্রামটি সবচেয়ে সহজ পেয়েছি" সে প্রশ্নের উত্তর দেওয়ার জন্য কোনও তত্ত্ব আছে? আমি গণনা জটিলতার প্রশ্নের উত্তর মনে করি না। আমি মনে করি এটি বিবেচনা করে আমাদের …

10 big-picture  kolmogorov-complexity 

f,gf,gf,gf(n)logf(n)=o(g(n))f(n)log⁡f(n)=o(g(n))f(n) \log f(n) = o(g(n))DTIME(f(n))⊊DTIME(g(n))DTIME(f(n))⊊DTIME(g(n)) DTIME(f(n)) \subsetneq DTIME(g(n))f,gf,gf,gf(n+1)=o(g(n))f(n+1)=o(g(n))f(n+1)=o(g(n))এটি NTIME(f(n))⊊NTIME(g(n)).NTIME(f(n))⊊NTIME(g(n)). NTIME(f(n)) \subsetneq NTIME(g(n)). অনেকগুলি (পুরানো এবং বর্তমান) ফলাফল রয়েছে যা নিম্ন সীমানা প্রমাণ করার জন্য সময়ক্রমক্রমের তত্ত্বগুলি ব্যবহার করে। আমার প্রশ্নগুলি এখানে: আমরা যদি ডিস্ট্রিমেন্টিক বা ননডেটেরিস্টেমিক কেসের জন্য আরও ভাল ফলাফল প্রমাণ করতে পারি তবে কী হবে? যদি আমরা প্রমাণ …

10 cc.complexity-theory  lower-bounds  big-picture  time-complexity  time-hierarchy 

যাক একটি সংযুক্ত গ্রাফ হতে নোড সঙ্গে এবং প্রান্ত । যাক বোঝাতে গ্রাফ (পূর্ণসংখ্যা) ওজন সঙ্গে, গ্রাফ মোট ওজন। তারপরে নোডের গড় ওজন হ'ল । যাক বোঝাতে নোডের বিচ্যুতি গড় থেকে। আমরা কল করিভারসাম্যহীনতা নোডের ।GGGG=(V,E)G=(V,E)G = (V,E)V=1…nV=1…nV = 1 \dots nEEEwiwiw_iGGG∑iwi=m∑iwi=m\sum_i w_i = mw¯=m/nw¯=m/n\bar w = m/nei=wi−w¯ei=wi−w¯e_i = w_i …

10 graph-theory  co.combinatorics  spectral-graph-theory 

পোস্ট সম্পর্কিত: /mathpro/59631/lovasz-theta-function-and-ind depend depend-number-of-prompct-of-simple-odd-cycles লোভাস নিয়মিত গ্রাফের শূন্য-ত্রুটি ক্ষমতা থেকে কতটা দূরে? এমন কোনও উদাহরণ রয়েছে যেখানে লোভাস বেঁধে রাখা নিয়মিত গ্রাফের শূন্য-ত্রুটির ক্ষমতার সমান নয় বলে জানা যায়? (এটি নীচে ওলেকসান্ডার বোন্ডারেনকো উত্তর দিয়েছিলেন।) বিশেষ করে কোনো কঠোর বৈষম্য চেয়ে বা সমান পক্ষের তদ্বুর্ধ্ব বিজোড় চক্র জন্য পরিচিত …

10 graph-theory  it.information-theory 

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

10 graph-theory  co.combinatorics  hypergraphs 

আমি গ্রাফের স্পষ্ট উদাহরণগুলিতে আগ্রহী, যার জন্য Gomans এবং উইলিয়ামসন অ্যালগরিদম প্রয়োগের জন্য সর্বাধিক কাট ফলাফলগুলি প্রায় 0.878… -প্রক্রিমিকেশন ফ্যাক্টরের ফলস্বরূপ। এই জাতীয় দৃষ্টান্ত তৈরি করার জন্য অ্যালগরিদম নিখুঁত হবে, স্পষ্ট উদাহরণ এবং উল্লেখ সন্তোষজনক।

10 ds.algorithms  approximation-algorithms  max-cut  hard-instances 

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

10 reference-request  big-list  derandomization  pr.probability 

যাক একটি প্রেক্ষাপটে মুক্ত ভাষা হতে। নির্ধারণ এর প্রাক এবং পোস্টসাফিক্স অবসান হতে , অন্য কথায়, সব রয়েছে এর উপসর্গ এবং postfixes, তাই নিজেই। আমার প্রশ্ন: যদি প্রসঙ্গমুক্ত হয় এবং একটি দ্বি-দ্বিবিজ্ঞান ব্যাকরণ থাকে তবে কি একই সত্য ?এলএলLপি পি সি ( এল )পিপিগ(এল)ppc(L)এলএলLপি পি সি ( এল )পিপিগ(এল)ppc(L)এলএলLএলএলLএলএলLপি পি …

10 fl.formal-languages  automata-theory  grammars  context-free-languages 

আমরা বিতরণ করা কম্পিউটারগুলিতে কাজ করছি এবং আমরা একটি জটিল সমস্যা নিয়ে এসেছি যা ন্যূনতম পথের আচ্ছাদন সমস্যা হ্রাস করে। এটি বর্তমানে কীভাবে সমাধান করা যায় তা আমরা জানি না। সমস্যাটি নিম্নরূপ: যাক কিছু পূর্ণসংখ্যা হতে, এবং দিন ধারণকারী একটি গ্রাফ হতে ছেদচিহ্ন। আমরা প্রতিটি ভার্টেক্সকে একটি দম্পতি দিয়ে লেবেল …

10 graph-theory  co.combinatorics  application-of-theory 

আমি খুব আকর্ষণীয় এবং এখনও খোলা প্রশ্ন দিয়ে খেলছি " একক টেপ টুরিং মেশিনের বর্ণমালা " (ইমানুয়েল ভায়োলা দ্বারা) এবং নিম্নলিখিত ভাষাটি নিয়ে এসেছি: এল = { x এর ∈ { 0 , 1 }এন st | এক্স | = এন = 2মি এবং সি ও ইউ এন টি 1 …

10 cc.complexity-theory  turing-machines  time-complexity 

ভেক্টর two এর দুটি সেটের মিনকোভস্কি যোগফলএ , বি ∈ আরঘA,B∈RdA, B \in R^d প্রদান করেছে একজন ⊕ বি = { একটি + + খ | একটি ∈ একজন , খ ∈ বি }A⊕B={a+b∣a∈A,b∈B} A \oplus B = \{ a + b \mid a \in A, b \in B \} …

10 cg.comp-geom 

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

10 optimization  ai.artificial-intel  board-games