সংখ্যা ক্ষেত্রে ফ্যাক্টরিং জটিলতা


25

সাধারণ সংখ্যা ক্ষেত্রগুলিতে ফ্যাক্টরিজ পূর্ণসংখ্যার গণ্য জটিলতা সম্পর্কে কী জানা যায়? আরো নির্দিষ্টভাবে:

  1. পূর্ণসংখ্যার উপরে আমরা তাদের বাইনারি সম্প্রসারণের মাধ্যমে পূর্ণসংখ্যার প্রতিনিধিত্ব করি। সাধারণ সংখ্যা ক্ষেত্রে পূর্ণসংখ্যার উপমা উপস্থাপনা কী?
  2. এটি কি জানা যায় যে সংখ্যা ক্ষেত্রগুলির উপর প্রাথমিক বা পি বা বিপিপিতে রয়েছে?
  3. সংখ্যা ক্ষেত্রগুলিতে ফ্যাক্টরিংয়ের জন্য সর্বাধিক পরিচিত অ্যালগরিদমগুলি কী কী? ( এবং (দৃশ্যত)মেপুঃএন 1 / 3 আলগোরিদিম থেকে প্রসারিতজেড?) এখানে, ফ্যাক্টরিং একটি সংখ্যা কিছু উপস্থাপনা খোঁজার বোঝায় (দ্বারা প্রতিনিধিত্বএনমৌলিক সংখ্যার একটি পণ্য হিসাবে বিট)।expnexpn1/3Zn
  4. একটি সংখ্যা ক্ষেত্রে একটি পূর্ণসংখ্যার সমস্ত কারণ নির্ণয়ের জটিলতা কী? এটির কতগুলি স্বতন্ত্র ফ্যাক্টরীকরণ রয়েছে তা গণনা করে?
  5. ওভার এটা জানা যায় সিদ্ধান্ত যদি একটি প্রদত্ত সংখ্যার একটি বিরতি একটা কারণ আছে [ একটি , ] দ্বারা NP-কঠিন। সংখ্যার ক্ষেত্রগুলিতে পূর্ণসংখ্যার রিংয়ের পরেও, এমন কি এমন কোনও প্রাথমিক উপাদান রয়েছে যেটির নিয়ম একটি নির্দিষ্ট ব্যবধানে ইতিমধ্যে এনপি-হার্ড রয়েছে তা সন্ধান করতে পারে? Z[a,b]
  6. বিকিউপিতে সংখ্যা ক্ষেত্রে ফ্যাক্টরিং হয়?

মন্তব্য, প্রেরণা এবং আপডেট।

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


আপনি কি একটি উদাহরণ দিতে পারেন? ক্ষেত্রগুলিতে ফ্যাক্টরিং কীভাবে সরাসরি সংখ্যার ফ্যাক্টরিংয়ের চেয়ে আলাদা?
vzn

2
(0) এর জন্য: আমি সাধারণত একটি সংখ্যা ক্ষেত্র অনুমান হিসাবে প্রতিনিধিত্ব করা হয় প্রশ্নঃ [ ξ ] /φ যেখানে φ একটি সরলীকরণযোগ্য বহুপদী হয়। তারপরে, কে এর একটি উপাদান হল জোড়ার একটি টিপল ( ( এন 0 , ডি 0 ) , ( এন 1 , ডি 1 ) , , ( এন δ - 1 , ডি δ - 1 ) ) যেখানে δ = ডিগ্রিKQ[ξ]/φφK((n0,d0),(n1,d1),,(nδ1,dδ1)) । এর অর্থ হল আপনার উপাদান এন 0 / 0 + + এন 1 ξ / 1 + + + + δ - 1 ξ δ - 1 / δ - 1δ=deg(φ)n0/d0+n1ξ/d1++nδ1ξδ1/dδ1
ব্রুনো

2
@ গিল আপনি কি এই বইটি আগে দেখেছেন? springer.com/mathematics/numbers/book/978-3-540-55640-4 আমার এই মুহুর্তে আমার অনুলিপিটিতে অ্যাক্সেস নেই (যদিও আমি কয়েক দিনের মধ্যে আবার করব, এবং এটি পরীক্ষা করব)। আমি দেখতে চাই যে (i) বীজগণিত সংখ্যা ক্ষেত্রগুলিতে, বা (ii) ডেডিকাইন্ড ডোমেনগুলিতে ক্লাস নম্বর> 1 সহ 1. সম্পর্কিত বিষয় সম্পর্কে কিছু লেখা আছে কিনা
ড্যানিয়েল আপন

4
@ ভিজেএন: গিলের মুখে শব্দ না রেখে আমি নিশ্চিত যে তার অর্থ যুক্তিগুলির সীমাবদ্ধ এক্সটেনশান (আপনি ঠিক কীভাবে যুক্ত ছিলেন)। তিনি যখন "এই জাতীয় ক্ষেত্রে ফ্যাক্টরিং" বলছেন তখন আমি নিশ্চিত যে তার অর্থ এই জাতীয় ক্ষেত্রের পূর্ণসংখ্যার কংগ্রে ফ্যাক্টরিং। আপনি যে উইকিপিডিয়া পৃষ্ঠায় লিঙ্ক করেছেন একই বীজগণিত নম্বর ক্ষেত্রে পূর্ণসংখ্যার রিংয়ের একটি বিভাগ রয়েছে।
জোশুয়া গ্রাচো

1
@vzn সংখ্যা-ক্ষেত্রের চালনা সংখ্যার ক্ষেত্রকে পূর্ণসংখ্যার ফ্যাক্টর ব্যবহার করে।
যুবাল ফিল্মাস

উত্তর:


14

নিম্নলিখিত উত্তরটি মূলত গিলের ব্লগে একটি মন্তব্য হিসাবে পোস্ট করা হয়েছিল

(1) আসুন একটি সংখ্যা ক্ষেত্র হতে পারে, যেখানে আমরা অনুমান α একটি monic ন্যূনতম বহুপদী হয়েছে জেড [ X ] । এরপরে কেউ inte বা অবিচ্ছেদ্য ভিত্তিতে বহুবচন হিসাবে পূর্ণসংখ্যার হে কে এর রিংয়ের উপাদানগুলির প্রতিনিধিত্ব করতে পারে - দুটি সমান।K=Q(α)αfZ[x]OKα

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

প্রতিটি যৌক্তিক প্রাইম পূর্বাভাস হিসাবে α এর বৈষম্যমূলক বিভাজন করে (এটি এর বৈষম্যমূলক ) পি এর উপরে থাকা কে এর সমস্ত প্রাইম সন্ধান করুন ।pαfOKp

(2) primality পরীক্ষার জন্য একটি আদর্শ দেওয়া দিন পি জেড যেমন হতে পারে, একটিজেড = P জেড (এই বহুপদী সময় নির্ণিত করা যেতে পারে এবং এর বিট সংখ্যা পি ইনপুটে বহুপদী যায়)। বহুপ্রথম সময়ে পরীক্ষা করুন যে পি প্রধান কিনা । যদি তা না হয় তাহলে একটি মৌলিক নয়। যদি হ্যাঁ হয় তবে কে এর প্রাইমগুলি পি উপরের শুয়ে আছে পূর্ববর্তী থেকে বা মোড পি । যাই হোক যদি একটি সেই মৌলিক সংখ্যার মধ্যে একটি হতে হবে মৌলিক নয়।aOKpZaZ=pZppaOKpfpa

(3a), (6A) মৌলিক মধ্যে ফ্যাক্টরিং জন্য একটি আদর্শ দেওয়া তার আদর্শ খুঁজে Y = এন কে প্রশ্ন ( একটি ) = [ হে কে : একটি ] । আবার এটি বহু বহু সময় পাওয়া যায় এবং ফলস্বরূপ খুব বড় হয় না। ফ্যাক্টর Y মধ্যে জেড (হয় ধ্রুপদী বা Shor, এর এলগরিদম ব্যবহার করে, হ্রাস আপনি চান উপর নির্ভর করে)। এটি y কে বিভাজক যুক্তিযুক্ত প্রাইমগুলির একটি তালিকা দেয় এবং তাই 2 হিসাবে আমরা কে বিভাজক y এর প্রাইমগুলির তালিকাটি পেতে পারি । যেহেতু একটি | YaOKy=NQK(a)=[OK:a]yZyOKy এই বিভাজক মৌলিক সংখ্যার তালিকা দেয় একটি । পরিশেষে নির্ধারিত আদর্শকে কোনও প্রধান ভাগ করে দেয় এমন ঘনঘনটি নির্ধারণ করা সহজ।a|yOKa

(3 বি), (6 বি) তবে গিল প্রাইমগুলিতে নয়, অদম্যতে ফ্যাক্টরীকরণ চায়। দেখা যাচ্ছে যে ফ্যাক্টরীকরণের ফলে কে এর অপরিবর্তনীয় উপাদানগুলিতে এক্স এর একটি ফ্যাক্টরীকরণ দক্ষতার সাথে তৈরি করা সম্ভব । এর জন্য এইচ কে কে শ্রেণীর নম্বর হতে দিন এবং নোট করুন যে কোনও নির্দিষ্ট আদর্শের আদর্শ শ্রেণীর দক্ষতার সাথে গুন করা সম্ভব। এখন একজন সরলীকরণযোগ্য ভাজক এটি এক্স নির্বাচন কে এর গুণকনির্ণয় থেকে (পুনরাবৃত্তি সঙ্গে সম্ভবত) মৌলিক আদর্শের এক্সxOKxOKhKxhKx। কবুতর-গর্তের নীতি অনুসারে শ্রেণীর গোষ্ঠীতে পরিচয়ের গুন বেড়ে যায়; এমন একটি ন্যূনতম উপসেটটি সন্ধান করুন। এর পণ্যটি তখন একটি অপরিবর্তনীয় উপাদান দ্বারা উত্পন্ন মূল আদর্শ। এই উপাদান দ্বারা ভাগ করুন , অনুষঙ্গ থেকে প্রাসঙ্গিক আদর্শ অপসারণ এবং পুনরাবৃত্তি। যদি অনুষ্কারে এইচ কে এর কম উপাদান থাকে তবে কেবলমাত্র সমস্ত কারণের একটি সংক্ষিপ্ত উপসেট গ্রহণ করুন।xhK

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

(5) আমার কোনও ধারণা নেই।


5

ড্যানিয়েল দ্বারা উল্লিখিত হিসাবে, আপনি কম্পিউটেশনাল বীজগণিত নম্বর তত্ত্ব ( লিঙ্ক ) বইটি মধ্যে কিছু তথ্য পেতে পারেন ।

বিশেষত, সংখ্যা ক্ষেত্রের উপাদানগুলি উপস্থাপনের বিভিন্ন উপায় রয়েছে। আসুন একটি সংখ্যা সঙ্গে ক্ষেত্র হতে φ একটি degree- এন এর monic সরলীকরণযোগ্য বহুপদী জেড [ ξ ] । যাক θ শেকড় হতে φ । তথাকথিত মান প্রতিনিধিত্ব একটি উপাদান এর α কে tuple হয় ( একটি 0 , ... , একটি এন - 1 , )K=Q[ξ]/φφnZ[ξ]θφαK(a0,,an1,d)aiZd>0gcd(a0,,an1,d)=1

α=1di=0n1aiθi.
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.