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

যাক t(G)t(G)t(G) একটি গ্রাফে spanning গাছের সংখ্যা বোঝাতে GGG সঙ্গে nnn ছেদচিহ্ন। একটা অ্যালগরিদম যে নির্ণয় t(G)t(G)t(G) মধ্যে O(n3)O(n3)O(n^3) গাণিতিক অপারেশন। এই অ্যালগরিদমটি হ'ল গণনা 1n2det(J+Q)1n2det(J+Q)\frac{1}{n^2} \det(J + Q), যেখানেQQQহলGএর LaplacianGGGএবংJJJহ'ল ম্যাট্রিক্স সম্পূর্ণ111এরসমষ্টি নিয়ে গঠিত। এই অ্যালগরিদমের আরও তথ্যের জন্যবিগস - বীজগণিত গ্রাফিক তত্ত্ববাএই গণিত এসইপ্রশ্নটি দেখুন। আমি অবাক হই …

19 graph-theory  graph-algorithms  counting-complexity  spectral-graph-theory 

অ্যাডিয়াব্যাটিক কোয়ান্টাম কম্পিউটেশন (একিউসি) তে, কেউ একজন [সমস্যা] হ্যামিলটোনিয়ান এর স্থল অবস্থায় একটি অপ্টিমাইজেশন সমস্যার সমাধান এনকোড করে । এই স্থল অবস্থানে পৌঁছতে, আপনি হ্যামিলটোনিয়ান এইচ আই এবং "অ্যানিয়াল" (অ্যাডিয়্যাব্যাটিকালি পার্টবার্ট) এর সাথে এইচ পি এর দিকে সহজেই শীতলযোগ্য প্রাথমিক (স্থল) অবস্থায় শুরু করুন , অর্থাৎHpHpH_pHiHiH_iHpHpH_p H(s)=sHi+(1−s)HpH(s)=sHi+(1−s)Hp H(s) = s …

19 reference-request  quantum-computing  physics  topology 

কোয়ান্টাম গণনা এবং কোয়ান্টাম ইন নায়লসন এবং চুয়াং তথ্যতে তারা বলেছে যে কোয়ান্টাম ফুরিয়ার ট্রান্সফর্মের উপর ভিত্তি করে অনেকগুলি অ্যালগোরিদম ফুরিয়ার ট্রান্সফর্মের কোসেট ইনভেরিয়েন্স সম্পত্তির উপর নির্ভর করে এবং পরামর্শ দেয় যে অন্যান্য রূপান্তরগুলির এয়াররিয়েন্স বৈশিষ্ট্যগুলি নতুন অ্যালগোরিদম পেতে পারে। অন্যান্য রূপান্তর সম্পর্কে কোন ফলপ্রসূ গবেষণা হয়েছে?

19 quantum-computing  quantum-information 

আমি আলেসেলসন এবং গ্লুক (২০১১) দ্বারা সংজ্ঞায়িত হিসাবে "আর-টিউরিং সম্পূর্ণতা" ধারণার প্রতি আগ্রহী । কোনও সিস্টেম "আর আবর্জনা" উপাত্ত তৈরি না করেই বিপরীতমুখী টুরিং মেশিনের মতো একই ফাংশনের গণনা করতে পারলে কোনও সিস্টেম আর-টুরিং সম্পূর্ণ । এটি উভয় (ক) গণনাযোগ্য এবং (খ) ইনজেকশনযুক্ত প্রতিটি ফাংশন গণনা করতে সক্ষম হ'ল। আমি …

19 lambda-calculus 

অসম্পূর্ণ গ্রাফের পরীক্ষা সংক্রান্ত জটিলতার কথা চিন্তা করার সময় ( সিস্টেরিতে আমার সম্পর্কিত প্রশ্নটি দেখুন ), আমার মনে একটি পরিপূরক প্রশ্ন এসেছিল। ধরুন যে আমরা একটি বহুপদী সময় টুরিং মেশিন আছে যে ইনপুট উপর 1 এন গ্রাফ উত্পন্ন জি এম , এন সঙ্গে এন নোড।এমMM1এন1n1^nজিএম, এনGM,nG_{M,n}এনnn আমরা সমস্যার বর্ণনা করতে …

19 graph-isomorphism 

পটভূমি: যোগাযোগ জটিলতার স্বাভাবিক দ্বি-পক্ষীয় মডেলটি বিবেচনা করুন যেখানে অ্যালিস এবং ববকে বিট স্ট্রিং এবং এবং কিছু বুলিয়ান ফাংশন গণনা করতে হবে , যেখানে ।x ynnnxxxyyyf(x,y)f(x,y)f(x,y)f:{0,1}n×{0,1}n→{0,1}f:{0,1}n×{0,1}n→{0,1}f:\{0,1\}^n \times \{0,1\}^n \to \{0,1\} আমরা নিম্নলিখিত পরিমাণগুলি সংজ্ঞায়িত করি: f f ( x , y )D(f)D(f)D(f) (এর নির্ণায়ক যোগাযোগ জটিলতা ): বিট যে এলিস …

19 lower-bounds  communication-complexity 

আমি নিম্নলিখিত অনুমানটি প্রমাণ করতে (বা অস্বীকার) করতে চাই: অনুমান : একটি দুটি পাল্টা অটোমেটা (2 সিএ) নিম্নলিখিত ভাষাটি সিদ্ধান্ত নিতে পারে না: L={n∣L={n∣L = \{ n \mid এর তিন ও বাইনারি উপস্থাপনাnnn উভয় এমনকি দৈর্ঘ্য বা বিজোড় দৈর্ঘ্য আছে}}\} একটি 2 সিএ সহজেই যাচাই করতে পারে বাইনারি উপস্থাপনার সমান …

19 automata-theory 

(যাচাই করা হয়নি) historicalতিহাসিক বিবরণ অনুসারে, কলমোগোরভ ভেবেছিলেন PP\mathsf{P} এর প্রতিটি ভাষারই লিনিয়ার সার্কিট জটিলতা রয়েছে। (আগে প্রশ্ন দেখতে পাবেন Kolmogorov এর অনুমান যে রৈখিক আকার সার্কিট হয়েছেPPPপি ≠ এন পি ।) মনে রাখবেন যে বোঝা ।P≠NPP≠NP\mathsf{P}\neq \mathsf{NP} কোলমোগোরভের অনুমানটি অবশ্য ব্যর্থ হতে পারে বলে মনে হচ্ছে। উদাহরণস্বরূপ, রায়ান উইলিয়ামস …

19 cc.complexity-theory  circuit-complexity  ho.history-overview 

গ্রোভারের অ্যালগরিদমের সময় জটিলতা (কোয়েরি জটিলতা নয়) কী? এটি আমার কাছে স্পষ্ট বলে মনে হয় যে এটি যেহেতু পুনরাবৃত্তি রয়েছে এবং প্রতিটি পুনরাবৃত্তির প্রতিবিম্ব ক্রিয়াকলাপের প্রয়োজন যা ফলস্বরূপ সময় নেয় সর্বজনীন গেটগুলির কোনও মানক সেট ব্যবহার করে।Ω(log(N)N−−√)Ω(log⁡(N)N)\Omega(\log(N) \sqrt{N})Ω(N−−√)Ω(N)\Omega(\sqrt{N})Ω(log(N))Ω(log⁡(N))\Omega(\log(N)) সমস্যাটি হ'ল, আমি এমনকি একটি একক রেফারেন্সও খুঁজে পাই না যা বলে …

19 reference-request  quantum-computing  time-complexity 

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

19 pr.probability 

প্রতিক্রিয়া ভার্টেক্স সেটটি সাধারণ গ্রাফের জন্য এনপি-সম্পূর্ণ। এটি ভার্টেক্স কভার থেকে হ্রাসের কারণে ডিগ্রি -8 বাউন্ডেড গ্রাফের জন্য এনপি-সম্পূর্ণ হিসাবে পরিচিত। Wikipedia নিবন্ধটি বলছেন যে এটা ডিগ্রী -3 বেষ্টিত গ্রাফ জন্য বহু-টাইম সমাধেয় এবং ডিগ্রী -4 বেষ্টিত গ্রাফ জন্য দ্বারা NP-সম্পূর্ণ। তবে আমি এর জন্য কোথাও কোনও প্রমাণ খুঁজে পাইনি। …

19 cc.complexity-theory  graph-theory  graph-algorithms  np-hardness  bounded-degree 

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

19 reference-request  big-picture  dc.distributed-comp 

এটি সুপরিচিত যে এস এবং কে সংযুক্তকারীগুলি টুরিং সম্পূর্ণ। এমন কি সংযুক্তকারী রয়েছে যা আদিম পুনরাবৃত্ত ফাংশনগুলি সরবরাহ করতে পারে?

19 lo.logic  computability 

আমরা কি বহু-আকারের (আনবাউন্ডেড ফ্যান-ইন) গভীরতার সার্কিট দ্বারা একটি বিট প্রান্তিক গেটটি গণনা করতে পারি ? বিকল্পভাবে, আমরা কি এই সার্কিটগুলি ব্যবহার করে ইনপুট বিটগুলিতে 1s নম্বর গণনা করতে পারি?lg nএনএনnএলজিএনএলজিএলজিএনএলজি⁡এনএলজি⁡এলজি⁡এন\frac{\lg n}{\lg \lg n} Is ?টি সি0⊆ এ l টি টি আই এম ই ( ও ( এলজি)এনএলজিএলজিএন) , ও …

19 cc.complexity-theory  circuit-complexity  circuit-depth 

ভেক্টর স্পেস একটি মৌলিক সম্পত্তি যে একটি ভেক্টর স্থান মাত্রা এর এন - ঘ দ্বারা চিহ্নিত করা যেতে পারে ঘ সুসংগত স্বাধীন রৈখিক সীমাবদ্ধতার - যে বিদ্যমান আছে ঘ সুসংগত স্বাধীন ভেক্টর W 1 , ... , W ঘ ∈ এফ এন 2 যা V এর অর্থেগোনাল ।ভী। চএন2V⊆F2nV \subseteq …

19 co.combinatorics  linear-algebra  boolean-functions  fourier-analysis