সার্কিট মূল্যায়ন সমস্যার জন্য ছোট সার্কিট


14

যাক ফাংশন যা মানচিত্র হতে গুলি -gate বর্তনী সি তে এন বিট এবং একটি এন -বিট স্ট্রিং এক্স থেকে সি ( এক্স ) । ধরে নিন যে সার্কিটগুলি অ্যাসাইসিলিক ক্রম হিসাবে এনকোড করা আছে : k : = g ( i , j ) যেখানে i , j , k তারের লেবেল।সিআমিRতোমার দর্শন লগ করাআমিটিবনামএকটিগুলি,এনগুলিসিএনএনএক্সসি(এক্স): =(আমি,)আমি,,

আমি জানি এটি একটি মজার প্রশ্ন, তবে এই সমস্যার সার্কিট জটিলতায় সবচেয়ে বেশি পরিচিত ওপরের আবদ্ধটি কী? একটা হল ফিশার-Pippenger সিমুলেশন দ্বারা একক টেপ টি এম এই ফাংশন কম্পিউটিং, এবং তাই, আকার হে ( ( গুলি + + N ) 2 লগ ( গুলি + + N ) ) চলা উচিত নয়। চতুর্ভুজটি পিছনে পিছনে সন্ধান করা থেকে আসে। এটা কি আরও ভাল করা সম্ভব? O ( s + n ) আকারে করা কি সম্ভব ?হে((গুলি+ +এন)2)হে((গুলি+ +এন)2লগ(গুলি+ +এন))হে(গুলি+ +এন)

উত্তর:


16

রায়ান উইলিয়ামসের সাথে কথা বলার মাধ্যমে আমি শিখেছি (যিনি আমার এই উত্তরটি পোস্ট করতে পেরেছেন তার কৃতিত্বের দাবিদার) যে পল এবং পিপ্পেঞ্জারের কাছ থেকে জানা গেছে যে সার্কিট এভালটি একটি কোসিলাইনার টাইম মাল্টিট্যাপ টিএম সিদ্ধান্ত নিতে পারে এবং এটিও যে মাল্টিট্যাপ থেকে হ্রাস রয়েছে that টিএমএস সার্কিটগুলিতে যা কেবল একটি ক্যাসিলিনিয়ার আকারের ব্লুআপ দেয়। এটি হ'ল সার্কিট এভালটিতে আপনার সূচনা অনুসারে আকারের সার্কিট রয়েছে ।(এন+ +গুলি)লগহে(1)(এন+ +গুলি)

এই একটি প্রমাণ এখানে পৃষ্ঠা 6 (উপপাদ্য 3.1 (লোকাচারবিদ্যা) দেখুন) উপর।


এই নিখুঁত, ধন্যবাদ! এবং রায়ানকে ধন্যবাদ!
ইজাক মেকলার
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.