প্রশ্ন ট্যাগ «sat»

একটি 3CNF সূত্রের জন্য CCC দিন M(C)M(C)M(C) কোনো কার্যভার সন্তুষ্ট ক্লজ সর্বোচ্চ সংখ্যা হতে CCC । জানা যায় ম্যাক্স-3SAT (পি ≠ দ্বারা NP সাপেক্ষে), অর্থাৎ কোন polytime অ্যালগরিদম যার ইনপুট একটি 3CNF সূত্র হয় আনুমানিক কঠিন CCC , যার আউটপুট হলে সংখ্যা M′M′M' যেমন যে M(C)M(C)M(C) একটি মধ্যে গুণনশীল ফ্যাক্টর …

26 cc.complexity-theory  sat 

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

26 reference-request  lo.logic  sat 

একটি সুপরিচিত চরিত্রগত -SAT দৃষ্টান্ত ক্লজ সংখ্যা অনুপাত ভেরিয়েবল সংখ্যা বেশি , অর্থাত্, ভাগফল । প্রতিটি , জন্য একটি প্রান্তিক মান সেন্ট is থাকে , বেশিরভাগ দৃষ্টান্তটি সন্তুষ্ট হয় এবং বেশিরভাগ ক্ষেত্রে অসন্তুষ্টি পাওয়া যায় না। যেখানে এবং পর্যাপ্ত পরিমাণে ছোট , সমস্যা রয়েছে তার জন্য অনেক গবেষণা হয়েছে forএম …

25 cc.complexity-theory  sat  random-k-sat  phase-transition 

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

25 ds.algorithms  sat 

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

25 cc.complexity-theory  np-hardness  sat  unique-solution 

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

24 ds.algorithms  reference-request  lo.logic  sat 

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

23 cc.complexity-theory  sat 

ভেরিয়েবলগুলি । দুটি ভেরিয়েবলের মধ্যে দূরত্বকে হিসাবে সংজ্ঞায়িত করা হয় । দুটি আক্ষরিকের মধ্যে দূরত্ব হ'ল সংশ্লিষ্ট দুটি ভেরিয়েবলের মধ্যে দূরত্ব।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 

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

22 cc.complexity-theory  sat  lower-bounds  space-bounded  space-complexity 

আমি প্রায় পুরোটা স্যাট সলভার ডিএনএফের পরিবর্তে সিএনএফ কেন ব্যবহার করি তা আমি বুঝতে পারি না। আমার কাছে মনে হচ্ছে ডিএনএফ ব্যবহার করে স্যাট সমাধান করা সহজ। সর্বোপরি, আপনাকে কেবল ইমপ্লিটেন্টসগুলির সেটটি স্ক্যান করতে হবে এবং চেক করতে হবে যেগুলির মধ্যে একটিতে ভেরিয়েবল এবং এর অবজ্ঞা উভয়ই নেই। সিএনএফ এর …

22 ds.algorithms  sat 

যে কেউ দয়া করে একটি বা একাধিক ওয়েবসাইটের দিকে ইঙ্গিত করতে পারবেন যেখানে # এসএটি সলভারের কার্যকরী বাস্তবায়ন ডাউনলোড করা সম্ভব? আমি সঠিক সমাধান গণনা প্রত্যাবর্তনকারীদের সাথে আগ্রহী, প্রায় না।

21 ds.algorithms  sat  software 

আমি বর্তমানে 3-সিএনএফ সূত্রগুলি অর্জন করতে (বা নির্মাণ করা) এবং অধ্যয়ন করতে আগ্রহী যাগুলি সন্তুষ্টিজনক নয় এবং ন্যূনতম আকারের। এটি হ'ল, তাদের অবশ্যই যথাসম্ভব কয়েকটি ক্লজ (এম = 8) থাকতে হবে এবং যতটা সম্ভব স্বতন্ত্র ভেরিয়েবল (এন = 4 বা তার বেশি) যেমন কমপক্ষে একটি ধারা মুছে ফর্মুলাকে সন্তুষ্টযোগ্য করে …

19 cc.complexity-theory  sat 

সিএনএফ-স্যাট সিদ্ধান্তের সমস্যাটি নীচে বর্ণিত হতে পারে: ইনপুট: একটি বুলিয়ান সূত্র ϕϕ\phi স্বাভাবিক আকারে। প্রশ্ন: সন্তুষ্ট একটি পরিবর্তনীয় অ্যাসাইনমেন্ট আছে কি ϕϕ\phi? আমি সিএনএফ-স্যাট সমাধানের জন্য একটি নন-ডিস্ট্রিমেন্টিক টু-টেপ ট্যুরিং মেশিনের সাথে বিভিন্ন পদ্ধতির বিষয়টি বিবেচনা করছি । আমি বিশ্বাস করি যে এমন একটি এনটিএম রয়েছে যা সিএনএফ-স্যাটকে n⋅poly(log(n))n⋅poly(log⁡(n))n \cdot …

19 time-complexity  sat  turing-machines  np  nondeterminism 

ম্যাক্স-স্যাট সমস্যাটি আপনাকে একটি সিএনএফ সূত্রের একটি অ্যাসাইনমেন্ট সন্ধান করতে বলবে যা যথাসম্ভব অনেকগুলি ধারা পূরণ করে। স্যাটেল সমস্যাটির জন্য স্যাট এমন বহু পরিচিত বিশেষ কেস রয়েছে যা বহুবর্ষের সময়ে সমাধান করা যায়, যেমন আমরা বহু-কালীন সময়ে 2-স্যাট সমাধান করতে পারি। ম্যাক্স-স্যাট-এর ক্ষেত্রে পরিস্থিতি আলাদা কারণ ম্যাক্স-স্যাট এনপি-হার্ড এমনকি 2-সিএনএফ …

18 sat  treewidth  max2sat 

কে ভেরিয়েবল এবং ক্লজ সহ একটি সন্তুষ্ট সিএনএফ সূত্র হতে দিন । যাক সমাধান স্থান হতে ।F1F1F_1মি এস এফ 1 এফ 1nnnmmmSF1SF1S_{F_1}F1F1F_1 নির্ধারণের সমস্যা, প্রদত্ত বিবেচনা , অন্য CNF ফর্মুলা যেমন ভেরিয়েবল একই সেট দিয়ে F_1 , সঙ্গে S_ {F_2} = S_ {F_1} (হিসাবে একই সমাধান ক্ষেত্র F_1 ), কিন্তু …

18 cc.complexity-theory  co.combinatorics  sat  formulas