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

গ্রাফ Isomorphism সমস্যা (জি আই) তর্কসাপেক্ষে একটি জন্য শ্রেষ্ঠ পরিচিত প্রার্থী দ্বারা NP-মধ্যবর্তী সমস্যা। সব থেকে বহুল পরিচিত অ্যালগরিদম রান সময়ের সাথে সাথে উপ-সূচকীয় আলগোরিদিম । জানা গেছে যে শ্রেণিবিন্যাসের পতন না হলে জিআই সম্পূর্ণ নয় ।2O(nlogn√)2O(nlog⁡n)2^{O(\sqrt{n \log n})}NPNP\mathsf{NP} গ্রাফ আইসোমরফিজম সমস্যার জন্য আধ-বহু-কালীন অ্যালগরিদমের জটিলতা তাত্ত্বিক পরিণতি কী হবে? …

40 cc.complexity-theory  ds.algorithms  graph-theory  graph-isomorphism 

একটি অ্যালগরিদমিক কাজ হতে দিন । (এটা একটা সিদ্ধান্ত সমস্যা বা একটি অপ্টিমাইজেশান সমস্যা বা অন্য কোন টাস্ক হতে পারে।) আমাদের কল করা যাক এক্স "বহুপদী দিকে" যদি অভিমানী যে এক্স এন পি-কঠিন হয় বহুপদী hieararchy ভেঙে পরোক্ষভাবে পরিচিত হয়। যাক আমাদের কল এক্স "দ্বারা NP-সাইড এ" যদি অভিমানী যে …

40 cc.complexity-theory 

আমি সিআইএস 500 এ কোর্স নোটগুলি অতিক্রম করছি : সফ্টওয়্যার ফাউন্ডেশন এবং অনুশীলনগুলি অনেক মজাদার। আমি কেবল তৃতীয় অনুশীলনের সেটে রয়েছি তবে যখন আমি কৌশলগুলি ব্যবহার করার মতো কৌশলগুলি ব্যবহার করি তখন কী ঘটছে সে সম্পর্কে আমি আরও জানতে চাইforall (n m : nat), n + n = m + …

40 lo.logic  type-theory  proof-assistants  proof-theory  coq 

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

40 soft-question  advice-request 

ক্যান যে ফাংশন ঐ সময়ের মধ্যে গণনীয় হয় T একটি একক টেপ মেশিন টুরিং আকারের বর্ণমালা ব্যবহার করে ট = হে ( 1 ) সময় নির্ণিত করা হে ( T ) উপর একটি একক টেপ টুরিং মেশিন আকারের বর্ণমালা ব্যবহার 3 (বলুন, 0 , 1 , এবং ফাঁকা)?চ: { 0 …

40 computability  turing-machines 

আমার প্রশ্নটি সহজ: খারাপ-কেস একটি কম্পিউটিং জন্য শ্রেষ্ঠ পরিচিত আলগোরিদিম সময় চলমান কি eigendecomposition একটি এর ম্যাট্রিক্স?n×nn×nn \times n আইজেন্ডেকম্পোজিশন কি ম্যাট্রিক্সের গুণায় হ্রাস পাচ্ছে বা সবচেয়ে খারাপ ক্ষেত্রে সর্বাধিক পরিচিত অ্যালগরিদম ( এসভিডি এর মাধ্যমে ) হয়?O(n3)O(n3)O(n^3) দয়া করে মনে রাখবেন যে আমি একটি খারাপ কেস বিশ্লেষণের জন্য জিজ্ঞাসা …

40 ds.algorithms  time-complexity  matrices  linear-algebra  na.numerical-analysis 

এটি সার্কিট জটিলতা সম্পর্কে একটি প্রশ্ন। (সংজ্ঞাগুলি নীচে রয়েছে)) ইয়াও এবং Beigel-Tarui দেখিয়েছেন যে যে আকারের বর্তনী পরিবার গুলি আকারের একটি সমতুল্য সার্কিট পরিবার আছে গুলি পি ণ ঠ Y ( লগ গুলি ) গভীরতা দুই , যেখানে আউটপুট গেট একটি প্রতিসম ফাংশন এবং দ্বিতীয় স্তর গঠিত এর একটি এন …

40 cc.complexity-theory  circuit-complexity  upper-bounds 

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

40 cc.complexity-theory  cg.comp-geom  computing-over-reals  computable-analysis 

১৯৮০ এর দশকে, রাজবরোভ বিখ্যাতভাবে দেখিয়েছিলেন যে স্পষ্ট মনোোটোন বুলিয়ান ফাংশন রয়েছে (যেমন ক্লিক্যু ফাংশন) যার জন্য গণনা করার জন্য তাত্পর্যপূর্ণভাবে অনেকগুলি এবং এবং গেটের প্রয়োজন হয়। তবে, বুলিয়ান ডোমেনের উপরে {এবং, বা} ভিত্তিতে {0,1 একটি আকর্ষণীয় গেট সেটটির একটি উদাহরণ যা সর্বজনীন হতে পারে না। এটি আমার প্রশ্নের দিকে …

40 lower-bounds  circuit-complexity  circuit-families 

অ্যান্ড্রু চি-চিহ ইয়াওর ক্লাসিক 1979 এর গবেষণাপত্রে তিনি "এমও রবিন এবং এসি ইয়াও, প্রস্তুতিতে" উল্লেখ করেছেন। এটি ফলাফলের জন্য যে সমতা ফাংশন EQ -ত্রুটি যোগাযোগের জটিলতা ( থেকে সীমাতে দুটি পূর্ণসংখ্যা সমান কিনা) হ'ল । 0 এন - 1 হে ( লগ লগ এন )NN_N000N−1N−1N-1O(loglogN)O(log⁡log⁡N)O(\log\log N) অ্যান্ড্রু চি-চিহ ইয়াও, বিতরণযোগ্য …

40 ho.history-overview  communication-complexity 

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

40 computability  lo.logic  proofs 

এটি সাধারণত বিশ্বাস করা হয় যে সমস্ত ϵ > 0ϵ>0\epsilon > 0 জন্য ও ( এন 2 + ϵ ) সময়ে দুটি n × nn×nn \times n ম্যাট্রিককে গুণ করা সম্ভব । কিছু আলোচনা এখানে ।ও ( এন)2 + + ε)O(n2+ϵ)O(n^{2 + \epsilon}) আমি এমন কিছু লোককে জিজ্ঞাসা করেছি যারা …

39 cc.complexity-theory  linear-algebra  big-picture  matrices  matrix-product 

যাক primes (ওরফে primality পরীক্ষামূলক ) সমস্যা হতে: একটি প্রাকৃতিক নম্বর দেওয়া , হয় একটি মৌলিক সংখ্যা?nnnnnn যাক ফ্যাক্টরিং সমস্যা হতে: প্রাকৃতিক সংখ্যাগুলি দেওয়া , সাথে , দিয়ে ফ্যাক্টর থাকে ?nnnmmm1≤m≤n1≤m≤n1 \leq m \leq nnnnddd1&lt;d&lt;m1&lt;d&lt;m1 < d < m এটি কি প্রাইমস পি-হার্ড কিনা তা জানা যায়? কীভাবে ফ্যাক্টরিং? এই …

39 cc.complexity-theory  lower-bounds  factoring  primes  p-hardness 

নেটওয়ার্কগুলি বাছাইয়ের ক্ষেত্রে হ্রাস না করে এমন কোনও পরিচিত তুলনা বাছাই করা অ্যালগরিদম যেমন প্রতিটি উপাদানকে বারের সাথে তুলনা করা হয় ?O(logn)O(log⁡n)O(\log n) যতদূর আমি জানি, প্রতিটি উপাদানের সাথে তুলনা বাছাই করার একমাত্র উপায় হ'ল ইনপুটগুলির জন্য একটি এসএস বাছাই নেটওয়ার্ক তৈরি করা এবং বাছাইকরণ নেটওয়ার্কে ইনপুট চালানো।O(logn)O(log⁡n)O(\log n)nnn একেএস …

39 ds.algorithms  sorting  sorting-network 

এডলম্যান এর প্রমাণ মধ্যে অন্তর্ভুক্ত করা হয় পি / পি ণ ঠ Y শো যদি একটি সমস্যার জন্য একটি এলোমেলোভাবে অ্যালগরিদম হয় ঐ সময়ের মধ্যে রান করে টি ( এন ) আকারের ইনপুট উপর এন , তারপর সেখানে সমস্যার জন্য একটি নির্ণায়ক আলগোরিদিম ঐ সময়ের মধ্যে রানে Θ ( T …

39 randomized-algorithms