সেমিরিং হয়ে
উঠুক । এর পলিনোমিয়ালের একটি সিকোয়েন্সের একটি শূন্য-প্যাটার্ন হ'ল একটি উপসেট যার জন্য রয়েছে exist এবং যে সমস্ত , , iff । অর্থাৎ ঠিক সেই polynomials এর গ্রাফ সঙ্গে স্থানে আঘাত আবশ্যক । ( "জিরো প্যাটার্ন" কারণ শর্ত দ্বারা প্রতিস্থাপিত হতে পারে দিন।)আর
মন্তব্য: সাধারণত, ভিসি মাত্রাটি একটি পরিবারের F
এম = ভিসি (এন, ডি) এর
উপর একটি তুচ্ছ উপরের আবদ্ধ m=VC(n,d)
উপপাদ্য 1: এর বেশী কোনো ক্ষেত্র Rমিলানোর , হিন্টজ এবং ওয়ারেনের দ্বারা অনুরূপ উপরের সীমানা প্রমাণিত হয়েছিল ; তাদের প্রমাণগুলি বাস্তব বীজগণিত জ্যামিতি থেকে ভারী কৌশল ব্যবহার করে। বিপরীতে, রোনাই, বাবাই এবং গণপতি দ্বারা থিয়েরেম 1 এর অর্ধ পৃষ্ঠার প্রমাণ (যা আমরা নীচে দিই) লিনিয়ার বীজগণিতের একটি সহজ প্রয়োগ।R , আমরা Z(m)≤(md+nn)Z(m)≤(md+nn) ।
ছোট খুঁজছেন দ্বারা 'এর পরিতৃপ্ত , আমরা প্রাপ্ত যে কোন উপর ঝুলিতে ক্ষেত্র । পরিপ্রেক্ষিতে বনাম / এখানে গুরুত্বপূর্ণ মাত্রা শুধুমাত্র হয় লগারিদমিক ডিগ্রী । এটি গুরুত্বপূর্ণ কারণ বহুতল আকারের সার্কিটগুলি তাত্পর্যপূর্ণ ডিগ্রির বহুবচনগুলি গণনা করতে পারে, এবং পিএসি শেখার ক্ষেত্রে হসলারের ফলাফল ( এই কাগজের ১১৪ পৃষ্ঠায় করোলারি ২ ) নিম্নলিখিতটি প্রদান করে (যেখানে আমরা ধরে নিই যে নির্বিচারক সার্কিটগুলি সংখ্যাগরিষ্ঠ ভোটের ব্যবহারের অনুমতি দেয়) তাদের মান আউটপুট)।
m
উপপাদ্য 2: BPP⊆P/polyএখানে হসলারের ফলাফলটি উপপাদ্য 2 কে কীভাবে বোঝায় তা এখানে দেখুন ।BPP⊆P/poly কোনও সেমিরিং আর এর উপরের সার্কিটের জন্য ধারণ করে RR , যেখানে VC(n,d)VC(n,d) কেবল nn এবং \ লগ ডি-তে বহুবর্ষীয় logdlogd ।
বিশেষত, থিয়েরেম 1 এর মাধ্যমে, কোনও ক্ষেত্রকে ধরে রাখে। (আকর্ষণীয় এখানে কেবল অসীম ক্ষেত্রগুলির ক্ষেত্রে: সীমাবদ্ধ ক্ষেত্রগুলির জন্য, অনেক সহজ যুক্তিগুলি কাজ করে: চেরনোফ তখন কাজটি আবদ্ধ করে)) তবে ক্ষেত্র নয় এমন কি (অসীম) সেমিরিংগুলি কী? ডায়নামিক প্রোগ্রামিং দ্বারা পরিচালিত, আমি মূলত ক্রান্তীয় এবং সেমিরিংগুলিতে আগ্রহী, তবে অন্যান্য "নন-ফিল্ড" (অসীম) সেমিরিংগুলিও আকর্ষণীয়। মনে রাখবেন, যে ওভার semiring, একটি বহুপদী
সঙ্গে
এবংBPP⊆P/poly
প্রশ্ন: ডিগ্রী ভিসি মাত্রা Is polynomials উপর গ্রীষ্মমন্ডলীয় semirings মধ্যে বহুপদী ? ≤dnlogd
আমি স্বীকার করি, দ্রুত উত্তর আশা করা এটি একটি কঠিন প্রশ্ন হতে পারে: ক্রান্তীয় বীজগণিত বরং "পাগল"। তবে সম্ভবত কারও কারও সম্পর্কে কিছু ধারণা রয়েছে যে কেন (যদি থাকে) ক্রান্তীয় বহুবর্ষগুলি বাস্তব বহুত্বের চেয়ে শূন্য-নিদর্শন তৈরি করতে পারে? বা কেন তাদের "উচিত নয়"? বা সম্পর্কিত কিছু রেফারেন্স।
বা, সম্ভবত, বাবাই, রোনাই এবং গণপতি (নীচে) এর প্রমাণটি গ্রীষ্মমন্ডলীয় সেমিরিংয়ের জন্য কোনওভাবে "বাঁকা" হতে পারে? অথবা অন্য কোনও অসীম সেমিরিংয়ের (যা ক্ষেত্র নয়)?
উপপাদ্য 1 এর প্রমাণ: ধরুন যে একটি অনুক্রমের এর বিভিন্ন শূন্য-নিদর্শন রয়েছে এই শূন্য-নিদর্শনগুলির সাক্ষী হতে দিন। যাক শূন্য প্যাটার্ন দ্বারা সাক্ষী হতে -th ভেক্টর , এবং বিবেচনা polynomials । আমরা দাবি করি যে এই বহুবর্ষগুলি আমাদের ক্ষেত্রের তুলনায় রৈখিকভাবে স্বতন্ত্র। এই দাবিটি তাত্ত্বিকতার প্রমাণটি সম্পূর্ণ করে যেহেতু প্রতিটি তে সর্বাধিক এবং সর্বাধিক ডিগ্রি পলিনোমিয়ালের স্পেসের মাত্রা হ'ল(f1,…,fm)pv1,…,vp∈RnSi={k:fk(vi)≠0}ivigi:=∏k∈SifkgiD:=mdD(n+DD)। দাবি প্রমাণ করার জন্য, এটা যে খেয়াল করা যথেষ্ট যদি এবং কেবল যদি । অনুমান করুন যে এর লিনিয়ার সম্পর্ক বিদ্যমান। যেমন একটি সাবস্ক্রিপ্ট হতে দিন মধ্যে সহ ন্যূনতম । সম্পর্কে বিকল্প প্রতিস্থাপন । যদিও , আমাদের কাছে সমস্ত , একটি বৈপরীত্য। gi(vj)≠0Si⊆Sjλ1gi(x)+⋯+λpgp(x)=0j|Sj|Siλi≠0vjλjgj(vj)≠0λigi(vj)=0i≠j◻