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

একটি নিয়মিত ভাষা দেওয়া বর্ণমালার উপর , তার ন্যূনতম নির্ণায়ক যন্ত্রমানব ধ্রুবক সঙ্গে একটি নির্দেশ সংযুক্ত multigraph হিসেবে দেখা যেতে পারে আউট-ডিগ্রীএবং একটি চিহ্নিত প্রাথমিক অবস্থা (রূপান্তরের লেবেলগুলি ভুলে গিয়ে, চূড়ান্ত রাজ্যগুলি)) আমরা প্রাথমিক অবস্থাটি রাখি কারণ প্রতিটি ভার্টেক্স এটি থেকে অ্যাক্সেসযোগ্য।এলএলLএকজনএকজনA| ক ||A||A| কথাটি কি সত্য? অর্থাৎ একটি নির্দেশিত …

9 graph-theory  automata-theory 

ডিএফএকে সমতুল্য ন্যূনতম-রাষ্ট্রীয় ডিএফএতে রূপান্তর করার জন্য ব্রাজোভস্কির অ্যালগরিদম উল্লেখযোগ্যভাবে সহজ: যদি আর ( ডি )আর(ডি)R(D) ডিএফএ-তে সমস্ত প্রান্তকে বিপরীত করে গঠিত এনএফএকে বোঝায় ডিডিD, পুরানো শুরু রাষ্ট্রকে একটি গ্রহণযোগ্য রাষ্ট্র হিসাবে তৈরি করা, এবং পুরানো গ্রহণযোগ্য রাষ্ট্রকে রাষ্ট্রগুলি শুরু করা এবং যদি হয় পি( এন)পি(এন)P(N) এনএফএতে সাবসেট নির্মাণ প্রয়োগের …

9 automata-theory  minimization 

আমি বিশ্বাস করি যে এই প্রশ্নের উত্তরগুলি এমন একটি ক্লাস দেয় যা সমস্ত বহুপদী জন্যপিpp, শ্রেণিতে একটি সমস্যা রয়েছে যার আকারের সার্কিট নেইপি ( এন )p(n)p(n)। তবে আমি সার্কিটের আকার সম্পর্কে জিজ্ঞাসা করছিω( এন )ω(n)\omega \hspace{.02 in}(n)। (⟨00,11,22,31,44,51,66,71,88,91, । । ।⟩(⟨00,11,22,31,44,51,66,71,88,91,...⟩\big(\hspace{-0.07 in}\left\langle \hspace{-0.04 in}0^{\hspace{.02 in}0}\hspace{-0.03 in},\hspace{-0.04 in}1^{\hspace{-0.03 in}1}\hspace{-0.03 in},2^{\hspace{.02 in}2}\hspace{-0.04 …

9 circuit-complexity  lower-bounds 

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

9 proof-theory  automated-theorem-proving  program-verification 

আমি যদি সঠিকভাবে বুঝতে পারি তবে সেই সমস্যাটি প্রমাণ করতে AAA এনপি হার্ড, আপনার সমস্ত সম্ভাব্য সমস্যা বাছাই করা দরকার BiBiB_{i} যা এনপিতে রয়েছে এবং তারপরে প্রমাণ করুন যে তারা কমেছে AAA একটি বহুবর্ষীয় সময় গণনাযোগ্য ফাংশন ব্যবহার করে, যা প্রত্যেকের উদাহরণ ম্যাপ করে BiBiB_{i} উদাহরণস্বরূপ AAA। একবার আপনি প্রথম …

9 soft-question  ho.history-overview  cook-levin 

দিন জিGG এবং এইচHH দুই হতে Rrrআকারের নিয়মিত সংযুক্ত গ্রাফ এনnn। দিনএকজনAA আদেশের সেট হতে পিPP যেমন যে পিজিপি- 1= এইচPGP−1=HPGP^{-1}=H। যদিজি = এইচG=HG=H তারপর একজনAA এর স্বয়ংচালিত সংস্থার সেট জিGG। এর আকারের উপরের সর্বাধিক সর্বাধিক পরিচিত bound একজনAA? নির্দিষ্ট গ্রাফ শ্রেণীর (সম্পূর্ণ / চক্রের গ্রাফগুলি অন্তর্ভুক্ত নয়) এর জন্য …

9 reference-request  graph-theory  co.combinatorics  graph-isomorphism  gr.group-theory 

যদি আমরা কেবল পি তে সমস্যাগুলি বিবেচনা করি তবে বিশেষ সমস্যার জন্য দ্রুততম ज्ञিত শব্দ-র‌্যাম অ্যালগরিদম এবং দ্রুততম পরিচিত টুরিং মেশিন অ্যালগরিদমের মধ্যে কোনও বড় ব্যবধান রয়েছে? সাধারণ আগ্রহের প্রাকৃতিক সমস্যার জন্য যদি বিস্তৃত ফাঁক থাকে তবে আমি বিশেষভাবে আগ্রহী।

9 cc.complexity-theory  ds.algorithms 

আমি ভাবছি যে নিম্নলিখিত সমস্যাটি এনপি-হার্ড কিনা। ইনপুট: G=(V,E)G=(V,E)G = (V,E)একটি সাধারণ গ্রাফ এবং একটি রঙিন প্রান্তগুলির (( কোনও নির্দিষ্ট সম্পত্তি যাচাই করে না)।f:E→{1,2,3}চ:ই→{1,2,3}f : E \to \{1,2,3\}fচf প্রশ্ন: কে ত্রিভুজগুলিতে ভাগ করা সম্ভব , যেমন প্রতিটি ত্রিভুজের প্রতিটি রঙের একটি প্রান্ত থাকে?EইE|E|/3|ই|/3|E|/3 আমি জানি যে রঙগুলি ছাড়াই কে-এন- কোনও …

9 graph-theory  np-hardness 

মান সমস্যা 1-ইন-3 স্যাট (অথবা XSAT বা X3SAT) হল: ইন্সটান্স : ধারণকারী ঠিক 3 লিটারেল প্রত্যেক দফা সঙ্গে একটি CNF সূত্র প্রশ্ন সেখানে পরিতৃপ্ত নিয়োগ অবিকল 1 দফা প্রতি আক্ষরিক সত্য সেটিং: সমস্যাটি এনপি-সম্পূর্ণ এবং কোনও পরিবর্তনশীল অবহেলিত না হওয়া সত্ত্বেও শক্ত থেকে যায়। আমি ভাবছি যে এই সমস্যাটি সহজ …

9 cc.complexity-theory  np-hardness  sat 

নিম্নলিখিত সমস্যা বিবেচনা করুন: ইনপুট: একটি সাধারণ (পুনর্নির্দেশিত) গ্রাফ G=(V,E)G=(V,E)G=(V,E)। প্রশ্ন: এর কোন দিক রয়েছে? GGG সম্পত্তি সন্তুষ্ট যে প্রতিটি জন্য s,t∈Vs,t∈Vs,t \in V সর্বাধিক এক আছে (নির্দেশিত) sss-ttt পদব্রজে ভ্রমণ? এটি সমানভাবে বর্ণিত হতে পারে: ইনপুট: একটি সাধারণ (পুনর্নির্দেশিত) গ্রাফ G=(V,E)G=(V,E)G=(V,E)। প্রশ্ন: এর অ্যাসাইক্লিক ওরিয়েন্টেশন আছে কি? GGG সম্পত্তি …

9 graph-theory  directed-acyclic-graph 

এমন একটি গ্রাফ দেওয়া যাক যা একটি চক্র এবং একটি স্বতন্ত্র সেটের বিভাজন ইউনিয়ন, যেমন জিজিGজি =কেএন1+ +কেএন2¯¯¯¯¯¯¯¯=কেএন1+ +আমিএন2।জি=কেএন1+ +কেএন2¯=কেএন1+ +আমিএন2।G = K_{n_1} + \overline{K_{n_2}} = K_{n_1} + I_{n_2} . এই জাতীয় সমস্ত গ্রাফের গ্রাফ শ্রেণিটি নিষিদ্ধ সাবগ্রাফিক্স সেট দ্বারা চিহ্নিত করা হয় এবং এইভাবে একটি ক্লাস্টার গ্রাফ এবং একটি …

9 reference-request  graph-theory  graph-classes 

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

9 grammars 

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

9 computability  reductions  kolmogorov-complexity 

দিন G=(V,E)G=(V,E)G=(V,E)একটি গ্রাফ হতে একটি ভার্টেক্স সেটX⊆VX⊆VX\subseteq Vবলা হয় সমালোচনা হয়X≠∅X≠∅X\neq\emptyset এবং কোন প্রান্তবিন্দু নেই V∖XV∖XV\setminus X একেবারে একটি ভার্টেক্সের সাথে সংলগ্ন XXX। সমস্যাটি হ'ল একটি ভার্টেক্স সেট সেট করাS⊆VS⊆VS\subseteq V ন্যূনতম আকারের যে S∩X≠∅S∩X≠∅S\cap X\neq\emptyset প্রতিটি সমালোচনামূলক সেট জন্য XXX। সমস্যাটির নিম্নলিখিত গুজব ছড়িয়ে দেওয়ার ব্যাখ্যা রয়েছে: ভার্টেক্স iii …

9 cc.complexity-theory  graph-theory  co.combinatorics  optimization 

দৃষ্টান্ত: দুটি স্বতন্ত্র শীর্ষে , এবং একটি পূর্ণসংখ্যা সহ একটি অনির্দেশিত গ্রাফ ।জিGGs ≠ ts≠ts\neq tকে ≥ 0k≥0k\geq 0 প্রশ্ন: সেখানে একটা অস্তিত্ব আছে মধ্যে পাথ সর্বাধিক, যেমন যে পথ ছেদ করে ত্রিভুজ? (এই সমস্যার জন্য কোনও পথে ত্রিভুজটি ছেদ করতে বলা হয় যদি সেই পথে ত্রিভুজ থেকে কমপক্ষে একটি …

9 cc.complexity-theory  graph-algorithms