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

কি দৈর্ঘ্যের কম্পিউট স্যাট ন্যূনতম সার্কিট যে খুঁজে বের করার জটিলতা সম্পর্কে পরিচিত হয় ? nnn আরও আনুষ্ঠানিকভাবে: কোনও ফাংশনের জটিলতা কী, যা দেওয়া হয় ইনপুট হিসাবে একটি ন্যূনতম সার্কিট সি যেমন কোনও সূত্রের জন্য φ সহ | φ | ≤ n , C ( φ ) = এস এ …

23 cc.complexity-theory  sat 

প্রদত্ত একটি ড্যাগ আপনি প্রতিটি নোডকে এ থেকে কতগুলি নোডে পৌঁছনীয় তা লেবেল করতে চান। একটি তুচ্ছ ওপরের আবদ্ধ; একটি নিম্ন সীমাবদ্ধ (আমার মনে হয়)। আরও ভাল অ্যালগরিদম আছে? নিম্ন সীমাটি উন্নত করা যায় বলে বিশ্বাস করার কোনও কারণ আছে (সম্পর্কিত: ট্রানজিটিভ বন্ধের জন্য নিম্ন সীমানা সম্পর্কে সঠিকভাবে কী জানা …

23 ds.algorithms  graph-theory 

ডি বেরা, এফ। গ্রিন এবং এস হোমার (জুন 2007 এর এসিএম সাইন্ট নিউজের খণ্ড 36, নং 2) দ্বারা "ছোট গভীরতা কোয়ান্টাম সার্কিট" সমীক্ষায় আমি নিম্নলিখিত বাক্যটি পড়েছি: ধ্রুপদী সংস্করণ (যেখানে এবং দরজা সবচেয়ে ধ্রুবক Fanout আছে) তুলনায় provably দুর্বল ।QAC0QAC0QAC^0ANDANDANDORORORAC0AC0AC^0 এই দাবির জন্য একটি রেফারেন্স অনুপস্থিত। আমি এই শ্রেণীর ডাকব …

23 cc.complexity-theory  circuit-complexity 

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

23 graph-theory  co.combinatorics  cliquewidth 

আমি গ্রাফ isomorphism এবং লুকানো সাবগ্রুপ সমস্যা মধ্যে সম্পর্ক বুঝতে চেষ্টা করছি। এর জন্য কি কোনও ভাল রেফারেন্স আছে?

23 cc.complexity-theory  reference-request  quantum-computing  graph-isomorphism 

পোস্টটি 31 আগস্ট আপডেট হয়েছে : আমি মূল প্রশ্নের নীচে বর্তমান উত্তরগুলির সংক্ষিপ্তসার যুক্ত করেছি। সব আকর্ষণীয় উত্তরের জন্য ধন্যবাদ! অবশ্যই, প্রত্যেকে যে কোনও নতুন অনুসন্ধান পোস্ট করা চালিয়ে যেতে পারে। ক্রোমাটিক সংখ্যা গণনা করার জন্য কোন গ্রাফ পরিবারগুলির জন্য বহু-কালীন অ্যালগরিদম রয়েছে ?χ(G)χ(G)\chi(G) Pol (দ্বিপক্ষীয় গ্রাফ) যখন বহুবচনীয় সময়ে …

23 ds.algorithms  graph-theory  co.combinatorics 

আমার যদি লিনিয়ার সীমাবদ্ধতার একটি সেট থাকে যাতে প্রতিটি প্রতিবন্ধে সর্বাধিক (বলুন) 4 ভেরিয়েবল থাকে (সমস্ত ননজিগেটভ এবং and 0,1} সহগ সহ একটি ভেরিয়েবল বাদে একটি -1 সহগ থাকতে পারে), সমাধান সম্পর্কে কী জানা যায় স্থান? ভেরিয়েবলের সংখ্যা এবং সীমাবদ্ধতার সংখ্যা, এবং প্রতি ভেরিয়েবলের সংখ্যার ফাংশন হিসাবে, উদ্দেশ্যগত কার্যের ন্যূনতমতম …

23 co.combinatorics  integer-programming 

তার জানুয়ারী 2017 এর প্রত্যাহার এবং সংশোধন করার পরে এক বছর পেরিয়ে গেছে। খবর আছে কি? বৈধকরণের জন্য এত দীর্ঘ সময় নেওয়া যদি সাধারণ হয় না? আমি আশা করি এটি প্রচুর মনোযোগ পাবে। আধিকারিক-বহুপদী ফলাফল সমর্থন / সন্দেহ করতে নোটের কেউ কথা বলেছে?

23 cc.complexity-theory  graph-isomorphism  proofs 

আমি ঠিক নিয়মিত ভাষা এলLL একটি বর্ণমালার উপর ΣΣ\Sigma এবং আমি নিম্নলিখিত সমস্যা বিবেচনা করুন যে আমি ফোন চিঠি সিডিউলিং জন্য এলLL । অনানুষ্ঠানিকভাবে, ইনপুটটি আমাকে প্রতিটি অক্ষরের জন্য এনnn অক্ষর এবং একটি অন্তর দেয় (যেমন, একটি ন্যূনতম এবং সর্বাধিক অবস্থান) এবং আমার লক্ষ্য প্রতিটি অক্ষরকে তার বিরতিতে এমনভাবে স্থাপন …

23 cc.complexity-theory  np-hardness  automata-theory  regular-language  scheduling 

আমার পোস্টে Fortnow এর মন্তব্য দ্বারা পরিচালিত হয়ে, প্রমাণ গ্রাফ Isomorphism সমস্যা হয় না যে NPNPNP -complete , এবং সত্য যে GIGIGI জন্য একটি মৌলিক প্রার্থী NPNPNP -intermediate সমস্যা (না NPNPNP -complete কিংবা এ PPP ), I am পরিচিত প্রমাণ আগ্রহী যে GIGIGI নেই PPP । এই ধরনের একটি প্রমাণ …

23 cc.complexity-theory  graph-isomorphism 

নোট অল ইকুয়াল -স্যাট সমস্যা (এনএই এস্যাট), বুলিয়ান ভেরিয়েবলের একটি সেট উপরে একটি ক্লাসের প্রদান করে যেমন প্রতিটি অনুচ্ছেদে বেশিরভাগ আক্ষরিক অন্তর্ভুক্ত থাকে, জিজ্ঞাসা করে যে ভেরিয়েবলগুলির সত্য নির্ধারিত রয়েছে কিনা? প্রতিটি অনুচ্ছেদে অন্তত একটি সত্য এবং কমপক্ষে একটি মিথ্যা আক্ষরিক থাকে।কে সি এক্স কেkkkkkkCCCXXXkkk প্ল্যানার Nae -SAT সমস্যা Nae …

23 cc.complexity-theory  reference-request  np-hardness  polynomial-time 

সুভাষ Khot এর একটি স্বতন্ত্র গেম অনুমান জটিলতা তত্ত্ব সক্রিয় গবেষণা এলাকায় এক। এর পক্ষে আমাদের কী প্রমাণ রয়েছে? এর বিরুদ্ধে আমাদের কী প্রমাণ রয়েছে?

23 cc.complexity-theory  unique-games-conjecture 

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

23 ds.algorithms  nt.number-theory 

জন্য বোঝাতে দ্বারা a_i আমি ^ {ম} এর ক্ষুদ্রতম উপাদান একটি ।A⊂[n]একজন⊂[এন]A\subset [n]aiএকটিআমিa_iithআমিটিজi^{th}AAA দুটি kkk এলিমেট সেটগুলির জন্য, A,B⊂[n]A,B⊂[n]A,B\subset [n] set সাবসেট [এন] , আমরা বলি যে A≤BA≤BA\le Bai≤biai≤bia_i\le b_iলে বি যদি প্রতি iii জন্য a_i \ le b_i । একটি kkk ইউনিফর্ম হাইপারগ্রাফ H⊂[n]H⊂[n]{\mathcal H}\subset [n] ম্যাথ্যাকাল এইচ} \ …

23 co.combinatorics  graph-colouring  hypergraphs 

ভেরিয়েবলগুলি । দুটি ভেরিয়েবলের মধ্যে দূরত্বকে হিসাবে সংজ্ঞায়িত করা হয় । দুটি আক্ষরিকের মধ্যে দূরত্ব হ'ল সংশ্লিষ্ট দুটি ভেরিয়েবলের মধ্যে দূরত্ব।x1,x2,x3...xnx1,x2,x3...xnx_1 , x_2 , x_3 ... x_nd(xa,xb)=|a−b|d(xa,xb)=|a−b|d(x_a , x_b) = |a-b| ধরুন আমার কাছে 3-স্যাট উদাহরণ রয়েছে যেমন প্রতি ক্লজের আমাদের fixed কিছু নির্দিষ্ট মান এন ।(xa,xb,xc)(xa,xb,xc)(x_a , x_b, x_c)d(xa,xb)≤N∧d(xa,xc)≤N∧d(xb,xc)≤Nd(xa,xb)≤N∧d(xa,xc)≤N∧d(xb,xc)≤Nd(x_a …

22 np-hardness  sat