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

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

9 graph-theory  co.combinatorics  planar-graphs 

অস্তিত্ব আছে একাধিক বিন্যাসন কি এবং বহুপদী আকার (মধ্যে ) প্রসঙ্গ বিনামূল্যে ব্যাকরণ যে সসীম ভাষা বর্ণনা বর্ণমালা ধরে ?π1,π2π1,π2\pi_1,\pi_2|w|=n|w|=n|w|=n{wπ1(w)π2(w)}{wπ1(w)π2(w)}\{w \pi_1(w) \pi_2(w)\}{0,1}{0,1}\{0,1\} আপডেট: এক ক্রমানুসারে এটি সম্ভব। হল বিপরীতটির বিপরীত বা অপেক্ষাকৃত ছোটখাট পরিবর্তন।ππ\piππ\pi

9 fl.formal-languages  grammars  context-free 

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

9 cc.complexity-theory  gt.game-theory  ce.computational-finance 

এটি ইউপি এর ফলাফলগুলি এনপি এর সমান থেকে পৃথক করা একটি পোস্ট এবং সেমেন্টিক বনাম সিন্ট্যাকটিক কমপ্লেক্সেস ক্লাসগুলির কাছে একটি ফলো-আপ প্রশ্ন । উপরের পোস্টে আমরা শব্দার্থবিদ্যা এবং সিনট্যাকটিক ক্লাস সম্পর্কে শিখেছি । সংক্ষেপে বলা হয়েছে, যখন কোনও শ্রেণি পাতাগুলির শ্রেণি হিসাবে চিহ্নিত হতে পারে L[L1|L2]L[L1|L2]\mathsf{L}[L_1|L_2], তারপরে একটি শ্রেণি সিনট্যাক্টিক …

9 cc.complexity-theory  complexity-classes  big-picture 

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

9 cr.crypto-security  circuit-complexity  homomorphic-encryption 

প্রাকৃতিক ঘটনা দ্বারা অনুপ্রাণিত গণনার সুপরিচিত উদাহরণগুলি হ'ল কোয়ান্টাম কম্পিউটার এবং ডিএনএ কম্পিউটার। ম্যাক্সওয়েলের আইন বা মহাকর্ষের সাথে কম্পিউটিংয়ের সম্ভাব্য এবং / বা সীমাবদ্ধতা সম্পর্কে কী জানা যায়? অর্থাত, ম্যাক্সওয়েলের সমীকরণের প্রকৃতির "দ্রুত" সমাধানগুলি বা এন-বডি সমস্যাটিকে সরাসরি একটি সাধারণ-উদ্দেশ্য অ্যালগরিদমের সাথে অন্তর্ভুক্ত করা?

9 computability  machine-models  physics  natural-computing 

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

9 ds.algorithms  implementation 

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

9 computability  fl.formal-languages  automata-theory 

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

9 reference-request  sat  survey 

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

9 ds.algorithms  reference-request  cg.comp-geom 

দিন VVV একটি সেট হতে DDDআয়তক্ষেত্রাকার আকার। জন্যd∈{1,...,D}d∈{1,...,D}d \in \{1,...,D\} এবং v∈Vv∈Vv \in V, wd(v)∈Q+wd(v)∈Q+w_d(v) \in \mathbb{Q}^{+} দৈর্ঘ্য বর্ণনা করে vvv মাত্রা মধ্যে ddd। একই স্বরলিপিটি ধারকটির জন্য ব্যবহৃত হয়CCC। দ্যDDD-মাত্রিক অরথোগোনাল প্যাকিং সমস্যা (ওপিপি-DDD) যদি সিদ্ধান্ত নিতে হয় VVV ধারক মধ্যে ফিট CCCওভারল্যাপিং ছাড়াই। সাধারণভাবে বলতে গেলে সমস্যাটি কিনা …

9 cc.complexity-theory  reference-request  np-hardness  packing 

যে প্রকল্পে আমি কাজ করছি তার জন্য, আমার আবদ্ধ উচ্চতাযুক্ত এলোমেলোভাবে গাছ উত্পন্ন করা উচিত। মূলত আমি নিম্নলিখিতটি করি: 1) বিস্তৃত গাছ উত্পন্ন করুন 2) সম্ভাব্যতা পরীক্ষা করুন, যদি সম্ভব হয় তবে তা রাখুন। 1) ন্যূনতম বিস্তৃত গাছ থেকে শুরু করে (প্রাইমস বা ক্রুসকলের) আমি একটি অ-বিদ্যমান প্রান্ত যুক্ত করি …

9 ds.algorithms  graph-algorithms  random-walks 

আমি অবাক হয়েছি তারা যদি স্যাট / এসএমটি উদাহরণ হিসাবে টাইম-উইন্ডোজ ( ভিআরপিটিডাব্লু ) (সিদ্ধান্তগত সমস্যা হিসাবে) এর সাথে কোনও যানবাহন-রাউটিং-সমস্যা তৈরির কোনও পদ্ধতির হয় ? (বিকল্প: টিএসপি) উদাহরণস্বরূপ: "সমস্ত গ্রাহককে এন টাইম উইন্ডোতে এন = 10 যানবাহন দিয়ে তাদের সাথে দেখা করার কোনও বৈধ সমাধান আছে?" এই সিদ্ধান্তের সমস্যাটি …

9 ds.algorithms  reference-request  sat  reductions  tsp 

আমার পূর্ববর্তী প্রশ্নটির অনুসরণ হিসাবে , যা সিসিয়ান-চিহ চ্যাং সমাধান করেছিলেন, এখানে রামসির উপপাদ্যটির যথাযথ সাধারণীকরণের জন্য আরও একটি প্রচেষ্টা করা হয়েছে। (আপনার আগের প্রশ্নটি পড়ার দরকার নেই; এই পোস্টটি স্বয়ংসম্পূর্ণ) পরামিতি: পূর্ণসংখ্যা 1 ≪ d≪ k ≪ n1≪d≪k≪n1 \ll d \ll k \ll n দেওয়া হয়, এবং তারপর এনNNযথেষ্ট …

9 reference-request  co.combinatorics  ramsey-theory 

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

9 cr.crypto-security  one-way-function