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

আমার কাছে মনে হয় বেশিরভাগ জটিলতা তাত্ত্বিকরা সাধারণত নিম্নলিখিত দার্শনিক নিয়মে বিশ্বাস করেন: আমরা যদি সমস্যার জন্য একটি দক্ষ অ্যালগরিদম চিন্তা করতে পারে না , এবং আমরা সমস্যা কমে যায় একটি সমস্যা বি , তারপর সেখানে সম্ভবত সমস্যার জন্য একটি দক্ষ অ্যালগরিদম নয় বি , হয়।AAAAAABBBBBB এ কারণেই, উদাহরণস্বরূপ, যখন …

14 cc.complexity-theory  big-picture  reductions 

এটি কি জানা যায় যে সার্কিট মূল্যায়ন সমস্যা ? কীভাবে (ইউনিফর্ম )? এন সি 1 এ এল ও জি টি আই এম ই এন সি 1NC1NC1\mathsf{NC^1}NC1NC1\mathsf{NC^1}ALogTimeALogTime\mathsf{ALogTime}NC1NC1\mathsf{NC^1} আমরা জানি যে গভীরতা সার্কিটগুলি গভীরতা সার্কিটের সাথে মূল্যায়ন করা যেতে পারে যেখানে সর্বজনীন ধ্রুবক। গভীরতা এই উপায়ে সার্কিট গভীরতা একটি বর্তনী দ্বারা মূল্যায়ন …

14 cc.complexity-theory  reference-request  circuit-complexity 

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

14 reference-request  gt.game-theory 

আমি ভাবছি এটি ঘের একটি বিক্ষিপ্ত undirected গ্রাফ। স্পার্স দ্বারা আমি বোঝাচ্ছি । সর্বোত্তম দ্বারা আমি সর্বনিম্ন সময়ের জটিলতা বলতে চাই।|E|=O(|V|)|E|=O(|V|)|E|=O(|V|) আমি অপ্রচলিত গ্রাফগুলির জন্য টারজানের অ্যালগরিদমটিতে কিছু সংশোধন করার কথা ভেবেছিলাম , তবে আমি ভাল ফলাফল পাইনি। প্রকৃতপক্ষে আমি ভেবেছিলাম যে যদি আমি 2-সংযুক্ত উপাদানগুলি খুঁজে পেতে পারি তবে …

14 ds.algorithms  graph-theory  open-problem 

জেএম সিসকিন্ডের গবেষণা বিবৃতিতে বলা হয়েছে: স্ট্যালিন হ'ল স্কিমের জন্য একটি অনুকূলকরণ সংকলক যা পুরো প্রোগ্রাম স্ট্যাটিক বিশ্লেষণ করে এবং সেই বিশ্লেষণের ফলাফলগুলিকে অত্যন্ত দক্ষ কোড তৈরি করতে ব্যবহার করে। স্ট্যালিন স্থির-বিশ্লেষণ কৌশলগুলির একটি বৃহত সংগ্রহ ব্যবহার করে। এটি বহুবিধ প্রবাহ বিশ্লেষণের একটি অভিনব রূপ সম্পাদন করে যা প্রবাহ-নির্দেশিত বিভাজন …

14 compilers 

আমি এটিতে কিছু অনুসন্ধান করেছি কিন্তু আমি কোনওভাবেই উত্তর খুঁজে পাচ্ছি না। হাক এর পুরো উত্তর দিয়েছিল। ধন্যবাদ :)

14 cc.complexity-theory  complexity-classes  time-complexity  space-complexity 

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

14 it.information-theory  data-streams 

যাক সঙ্গে একটি CNF সূত্র হতে এন ভেরিয়েবল এবং মি ক্লজ। যাক টি ∈ { 0 , 1 } এন একটি পরিবর্তনশীল নিয়োগ এবং প্রতিনিধিত্ব চ φ ( T ) ∈ { 0 , ... , মি } করার জন্য একটি পরিবর্তনশীল নিয়োগ সন্তুষ্ট ক্লজ সংখ্যা গণনা φ । তারপরে …

14 cc.complexity-theory  sat  counting-complexity 

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

14 cc.complexity-theory  reference-request  soft-question  big-picture 

এই সমস্যাটির জন্য আমি এটি তৈরি করেছি। আমি এর আগে কোথাও বর্ণিত দেখিনি। এই সমস্যার জন্য আমি এখনও এনপি-সম্পূর্ণতার প্রমাণ বা বহু-কালীন অ্যালগরিদমের প্রমাণ খুঁজে পাইনি। এটি কোনও হোমওয়ার্কের সমস্যা নয় - এটি আমার কাজের মধ্যে যে সমস্যাটি এসেছে তার সাথে সম্পর্কিত। নতুন ডিসক্রিমিনেটিং বিট ইনস্ট্যান্স: একটি সেট টিতে বিট …

14 cc.complexity-theory  np-hardness 

প্রশ্ন কি Okasaki যেহেতু বিশুদ্ধরূপে কার্মিক ডাটা স্ট্রাকচার নতুন? , এবং jbapple এর মহাকাব্য উত্তর, ফাংশনাল প্রোগ্রামিং (লজিক প্রোগ্রামিংয়ের বিপরীতে) এর মধ্যে পার্থক্য তালিকা ব্যবহার করে উল্লিখিত, যা এমন একটি বিষয় যা আমি সম্প্রতি আগ্রহী। এটি আমাকে হাস্কেলের জন্য পার্থক্য তালিকা বাস্তবায়নের সন্ধান করতে পরিচালিত করে । আমার দুটি প্রশ্ন …

14 reference-request  ds.data-structures  pl.programming-languages  functional-programming  logic-programming 

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

14 cr.crypto-security  algebra  algebraic-complexity 

উদ্দেশ্য : অনুমানটি স্থির করুন যে আদেশের 12 এর কোনও সম্ভাব্য বিমান নেই । 1989 সালে, একটি ক্রে কম্পিউটার অনুসন্ধান ব্যবহার করে লাম প্রমাণ করেছিল যে 10 আদেশের কোনও সম্ভাব্য বিমান নেই। এখন যখন রুবিকের কিউবের জন্য God'sশ্বরের সংখ্যাটি নির্ধারিত হয়েছে মাত্র কয়েক সপ্তাহের বৃহদাকার বাহিনী অনুসন্ধানের (সংশ্লেষের চতুর গণিত) …

14 open-problem 

বিবেচনা করুন , যেখানে lambda_i> 0 এবং Y_i একটি প্রমিত স্বাভাবিক হিসাবে বিতরণ করা হয়। (স্থির) সহগম্ভীর লাম্বদা_আইয়ের ক্রিয়া হিসাবে এক্সে কী ধরনের ঘনত্বের সীমা প্রমাণ করতে পারে?X=∑iλiY2iX=∑iλiYi2X = \sum_i \lambda_i Y_i^2 যদি সমস্ত ল্যাম্বদা_আই সমান হয় তবে এটি চেরনফের আবদ্ধ। আমি যে অন্য একমাত্র ফলাফল সম্পর্কে অবগত তা হ'ল …

14 chernoff-bound 

যদি স্যাটের সর্বাধিক সুস্পষ্টতীয় আনসট প্রমান বা আরও দৃ strongly়তার সাথে, স্যাটটির সুব্যাক্সোনশিয়াল-টাইম অ্যালগরিদম থাকে তবে তার কোনও বড় পরিণতি হবে?

14 cc.complexity-theory  sat  proof-complexity