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

আমি ইন্টিউশনিস্টিক টাইপ থিওরি (আইটিটি) পড়ছি এবং এটি অর্থবোধ করে। তবে আমি যা বোঝার জন্য লড়াই করছি তা হ'ল "কেন" এটি প্রথম স্থানে তৈরি হয়েছিল? Intuitionistic লজিক (আইএল) এবং কেবলমাত্র টাইপ -calculus (STLC) এবং টাইপ সাধারণ চেয়েও পুরনো মধ্যে তত্ত্ব মার্টিন-Löf নিজে খুব অস্তিত্ব! দেখে মনে হচ্ছে যে কেউ এসটিএলসিতে …

13 lo.logic  soft-question  type-theory  big-picture  ho.history-overview 

একদল দেওয়া উপর একাধিক বিন্যাসন [ এন ] = { 1 , ⋯ , এন } এবং দুটি ভেক্টর তোমার দর্শন লগ করা , বনাম ∈ Γ এন যেখানে Γ একটি নির্দিষ্ট বর্ণমালা যা এখানে বেশ প্রাসঙ্গিক নয়, প্রশ্ন কিছু অস্তিত্ব আছে কিনা তা ব্যবহারকারীকে পাইয়ের মান ∈ জি যেমন …

13 cc.complexity-theory  graph-isomorphism  permutations 

ভিডিওটি নিমবলার এবং সাপের জটিলতায় একটি ছোট পোস্ট লেখার সময় ; আমি দেখেছি যে তারা উভয়ই প্ল্যানার গ্রাফগুলিতে পুনর্গঠন সমস্যা হিসাবে মডেল করা যেতে পারে; এবং এটি অসম্ভব বলে মনে হয় যে এই জাতীয় সমস্যাগুলি গতি পরিকল্পনা অঞ্চলে ভালভাবে অধ্যয়ন করা হয়নি (উদাহরণস্বরূপ লিঙ্কযুক্ত গাড়ি বা রোবটের একটি শৃঙ্খল কল্পনা …

13 cc.complexity-theory  reference-request  np-hardness  planar-graphs 

আমি লেসলি ল্যাম্পোর্টের "ফাস্ট পাক্সোস" কাগজটি পড়ছি এবং ক্লাসিক প্যাক্সোস এবং ফাস্ট প্যাক্সো উভয়ের যথার্থতার প্রমাণ সহ আটকে যাচ্ছি । দৃঢ়তা জন্য, মান পর্যায়ে সমন্বয়কারী দ্বারা বাছাই 2 একটি রাউন্ডে আমি সন্তুষ্ট উচিতvvv2a2a2aiii যে কোনও রাউন্ড জ < i i এর জন্য , ভি ছাড়া অন্য কোনও মানরাউন্ড জে নির্বাচিত …

13 ds.algorithms  dc.distributed-comp  proofs 

-hierarchy জটিলতা ক্লাস একটি অনুক্রমের হয় স্থিতিমাপ জটিলতা মধ্যে দেখতে জটিলতা চিড়িয়াখানা সংজ্ঞা। একটি বিকল্প সংজ্ঞা প্রথম অর্ডার যুক্তির ফর্মুলাগুলির জন্য ফাগিন সংজ্ঞা ব্যবহার করে ফ্লুম এবং গ্রোহের পাঠ্যপুস্তকটি সংজ্ঞায়িত করে ।ডব্লু [ টি ] ডব্লু [ টি ] Π টিWW\mathsf{W}W[t]W[t]\mathsf{W}[t]W[t]W[t]\mathsf{W}[t]ΠtΠt\Pi_t সর্বনিম্ন শ্রেণীর জন্য এবং অনেক প্রাকৃতিক সম্পূর্ণ সমস্যার পরিচিত, …

13 cc.complexity-theory  parameterized-complexity 

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

13 cc.complexity-theory  reference-request  graph-theory  np-hardness 

আপনি কি কোনও সমস্যা জানেন (প্রায় কমপক্ষে কিছুটা সুপরিচিত), যেখানে ব্যবহারিক সমস্যার আকারের জন্য , কোনও ক্ষতিকারক অ্যালগরিদম সর্বাধিক পরিচিত বহু-কালীন অংশের তুলনায় অনেক দ্রুত চলে faster উদাহরণ স্বরূপ, ধরুন কোন সমস্যা হওয়ার বাস্তবসম্মত আকার * আছে এবং দুটি পরিচিত আলগোরিদিম আছেন: এক 2 এন এবং অন্যান্য হয় এন গ …

13 time-complexity  polynomial-time  exp-time-algorithms 

টাইম চলমান একটি অ্যালগরিদম দেওয়া , আমরা একে একে tri t ( n ) লগ টি ( এন ) এর আকারের একই সমস্যার জন্য "তুচ্ছ" ইউনিফর্ম সার্কিট পরিবারে রূপান্তর করতে পারি ।t(n)t(n)t(n)≈t(n)logt(n)≈t(n)log⁡t(n)\approx t(n)\log t(n) অন্যদিকে, এটি হতে পারে যে সমস্যাটির জন্য আমাদের অনেক কম ইউনিফর্ম সার্কিট রয়েছে, এমনকি যদি একটি …

13 cc.complexity-theory  circuit-complexity  uniformity 

আমি একটি নির্দিষ্ট সময়সূচী সমস্যার সাথে নিম্নলিখিত পার্টিশন সমস্যার হ্রাস পেয়েছি: ইনপুট: একটি তালিকা a1⩽⋯⩽ana1⩽⋯⩽ana_1\leqslant\cdots\leqslant a_n অ কমে অনুক্রমে ধনাত্মক পূর্ণসংখ্যা হয়। প্রশ্ন: সেখানে কি ভেক্টর রয়েছে (x1,…,xn)∈{−1,1}n(x1,…,xn)∈{−1,1}n(x_1,\ldots,x_n)\in\{-1,1\}^n যেমন ∑i=1naixi=0and∑i=1naixi=0and\sum_{i=1}^na_ix_i=0\qquad\text{and} ∑i=1kaixi⩾0for all k∈{1,…,n}∑i=1kaixi⩾0for all k∈{1,…,n}\sum_{i=1}^ka_ix_i\geqslant 0\quad\text{for all }k\in\{1,\ldots,n\} দ্বিতীয় শর্ত ছাড়াই এটি কেবল পার্টিশন, সুতরাং এনপি-হার্ড। তবে দ্বিতীয় শর্তটি অনেকগুলি …

13 cc.complexity-theory  reference-request  partition-problem  subset-sum 

পটভূমি: সিদ্ধান্ত গাছ জটিলতা বা ক্যোয়ারী জটিলতা নিম্নোক্তভাবে সংজ্ঞায়িত গণনার একটি সাধারণ মডেল। যাক একটি বুলিয়ান ফাংশন হবে। এর নির্ণায়ক ক্যোয়ারী জটিলতা চ , প্রকাশ ডি ( চ ) , সর্বনিম্ন ইনপুটের বিট সংখ্যা এক্স ∈ { 0 , 1 } এন পড়তে হবে একটি নির্ণায়ক আলগোরিদিম দ্বারা যে হবে …

13 cc.complexity-theory  reference-request  query-complexity  decision-trees 

এটা সর্বজনবিদিত যে পার্থক্য জটিলতা একটি ন্যায্য এক থেকে পক্ষপাতমূলক মুদ্রা θ ( ε - 2 ) । একটি পার্থক্য আছে ফলাফল নেই পি A থেকে মুদ্রা পি + + ε মুদ্রা? আমি দেখতে পাচ্ছি যে পি = 0 এর বিশেষ ক্ষেত্রে জটিলতাটি হবে ϵ - 1 । আমার একটা …

13 reference-request  time-complexity 

তাত্ত্বিক কম্পিউটার বিজ্ঞানীদের (তাত্ত্বিক কম্পিউটার বিজ্ঞানে স্নাতক ডিগ্রিধারী লোক) জন্য সাধারণ ক্যারিয়ারগুলি কী কী? কোন ধরণের শিল্প ও প্রতিষ্ঠান তাত্ত্বিক কম্পিউটার বিজ্ঞানের জ্ঞানের সন্ধান করে? তাত্ত্বিক কম্পিউটার বিজ্ঞানীরা সাধারণত কোন ক্যারিয়ার ব্যবহার করেন?

13 soft-question  career 

প্রশ্নটি পড়ার উদাহরণগুলির সমাধানগুলির স্বতন্ত্রতা যেখানে এটি সন্ধান করা আরও সহজ করে তোলে , সেখানে একটি নতুন (সহজ?) প্রশ্ন আমার মনে এসেছিল: আসলে গ্রাফ আইসোমর্ফিিজম ( ) সমস্যাটি পি তে আছে কিনা তা আমরা জানি না ।GIGIGIPPP তবে যদি আমরা ধরে নিই যে এবং জি 2 উভয়ই অসমमित (যেমন উভয়েরই …

13 reference-request  graph-isomorphism 

শিরোনামটি কিছুটা বিভ্রান্তিকর: তবে আশা করি প্রশ্নটি এটি নয়: Grønlund এবং Pettie এর নতুন ফলাফলের দেখাচ্ছে যে 3SUM হয়েছে শুধুমাত্র সিদ্ধান্ত গাছ জটিলতা আমাকে হতাশ করেছেন:ও ( এন)3 / 2)O(n3/2)O(n^{3/2}) সেখানে একটা সিদ্ধান্ত গাছ জটিলতা কোন সমস্যা হওয়ার একটি সহজ উদাহরণ কিন্তু যে একটি কম আবদ্ধ স্বীকার (আরো বিস্তারিত মডেল) …

13 cc.complexity-theory  machine-models  decision-trees 

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

13 computability