ไม่หมายความว่า?


19

เป็นไปได้หรือไม่ที่และความสำคัญของเหมือนกับ cardinality ของ ? หรือหมายความว่าและต้องมีความแตกต่างกันหรือไม่PNPPNPPNPPNP


เห็นได้ชัดว่าในภาษาที่ซับซ้อนมีจำนวนมากกว่าภาษาที่ซับซ้อนน้อยกว่า แต่ดูเหมือนจะไม่ได้รับการศึกษามากนัก มีตัวอย่างเช่นทฤษฎีบทลำดับชั้นของเวลาและอวกาศ ....
vzn

คำตอบ:


69

เป็นที่ทราบกันดีว่า P NP R โดยที่ R คือชุดของภาษาแบบเรียกซ้ำ เนื่องจาก R สามารถนับได้และ P ไม่มีที่สิ้นสุด (เช่นภาษา{ n }สำหรับn Nอยู่ใน P) เราจึงได้รับ P และ NP นั้นนับได้ทั้งคู่{n}nN


R ถูกกำหนดอย่างไร?
saadtaame

เป็นชุดของทุกภาษาที่ยอมรับโดยโปรแกรม C
Yuval Filmus

7
ก่อนอื่นผมขอแก้ไขคำนิยาม: คือชุดของทุกภาษาได้รับการยอมรับโดยโปรแกรมซีที่มักจะหยุดชะงัก เราไม่ต้องการคำจำกัดความที่เป็นทางการมากขึ้นเนื่องจากโปรแกรม C เป็นสายอักขระที่มี จำกัด และมีจำนวนมากเท่านั้น ทฤษฎีการเรียกซ้ำขึ้นอยู่กับข้อมูลเชิงลึกนี้โปรแกรมสามารถระบุได้อย่างละเอียด (เป็นตัวเลข) และสามารถป้อนเป็นอินพุตสำหรับโปรแกรมอื่น ๆ R
Yuval Filmus

1
ผลิตภัณฑ์ที่นับได้ของเซตที่นับได้จะนับได้ก็ต่อเมื่อทั้งหมด แต่มีขอบเขตจำนวนมากเป็นซิงเกิลตันหรืออย่างน้อยหนึ่งชุดนั้นว่างเปล่า ฉันขอแนะนำให้คุณถามคำถามเพิ่มเติมเกี่ยวกับ cardinality ใน math.stackexchange ที่พวกเขาอยู่
Yuval Filmus

1
@ernab ชุดย่อยของชุดย่อยที่นับได้มี จำกัด หรือนับได้
Yuval Filmus

1

หากคุณกังวลเกี่ยวกับขนาดของสองชุด P และ NP ขนาดของทั้งสองชุดนี้จะไม่มีที่สิ้นสุดและเท่ากัน

หากทั้งสองชุดเท่ากันขนาดก็จะเท่ากัน หากพวกเขาไม่เท่ากันเนื่องจากพวกเขานับได้ความสำคัญของพวกเขาจะเท่ากับจำนวนความเป็นจริงของตัวเลขและเท่ากัน

ดังนั้นไม่ว่าในกรณีใดความเป็นหัวใจของพวกเขาก็เท่ากัน


3
คันทอร์เกิดขึ้นพร้อมวิธีการเปรียบเทียบขนาดของฉากอนันต์ในศตวรรษที่ 19
Yuval Filmus

ดังนั้นความสำคัญของจำนวนธรรมชาติมากกว่าความเป็นจริงของจำนวนธรรมชาติหรือไม่
orezvani

1
ไม่พวกเขามีความเป็นหัวใจเดียวกัน คุณสามารถตรวจสอบหนังสือใด ๆ เกี่ยวกับทฤษฎีเซต (หรือ Wikipedia) สำหรับคำจำกัดความที่จำเป็น สองชุดถูกกล่าวว่ามีความสำคัญเชิงเดียวกันหากมีความเอนเอียงระหว่างพวกเขา ชุดจะกล่าวว่ามีที่มากที่สุด cardinality ของBถ้ามีการฉีดจากไปB สมมติความจริงที่เลือกไว้สำหรับทุก ๆ ชุดAและBABABABทั้งมีที่มากที่สุด cardinality ของBหรือในทางกลับกัน เราบอกว่าAมีค่าความเป็น cardinality น้อยกว่าBถ้าส่วนใหญ่มีความเป็น cardinality ของBABABBแต่ไม่ cardinality เดียวกับBB
Yuval Filmus

P และ NP นับได้ดังนั้นทุกองค์ประกอบจึงถูกจับคู่กับจำนวนธรรมชาติจริงไหม?
orezvani

ด้านขวา P และ NP มีความสำคัญเชิงเดียวกับเซตของจำนวนธรรมชาติ
Yuval Filmus

0

ฉันทำงานในวิชาคณิตศาสตร์เป็นหลักและมีความคุ้นเคยเพียงเล็กน้อยกับปัญหาประเภทนี้ อย่างไรก็ตามทฤษฎีเซตเป็นหนึ่งในสาขาที่ฉันชอบในการศึกษาและนี่เป็นคำถามทฤษฎีเซต

ดังนั้นเพื่อเริ่มต้นด้วยทั้ง P และ NP นับไม่ถ้วนเช่นเดียวกับที่คนอื่น ๆ ได้ชี้ให้เห็นก่อนหน้านี้ ดังนั้นจึงไม่มีเหตุผลที่จะพูดถึงความสำคัญของ P และ NP อีกต่อไป

อย่างไรก็ตามโดยทั่วไป:

Set inequality ไม่ได้บอกขนาดของเซต Take เช่น= { 1 , 2 , 3 }และB = { 4 , 5 , 6 } A Bแต่| A | = | B | . ยังพิจารณา, C = { 1 , 2 , 3 }และD = { 4 , 5 } C A={1,2,3}B={4,5,6}AB|A|=|B|C={1,2,3}D={4,5}และ | C | | D | .CD|C||D|

อย่างไรก็ตามตามคำจำกัดความความเท่าเทียมกันที่ตั้งไว้ได้แจ้งให้เราทราบเกี่ยวกับความสำคัญเชิงหัวใจ ถ้าดังนั้น| A | = | B | . พิจารณากรณีของ= { 1 , 2 , 3 }และB = { 1 , 2 , 3 } A = Bและ| A | = | B | .A=B|A|=|B|A={1,2,3}B={1,2,3}A=B|A|=|B|

หากทั้งสองเซตนั้นมีจำนวนอนันต์นับจากนั้นพวกเขาจะแบ่งปันความเป็นคาร์ดินัลเดียวกัน P และ NP มีจำนวนอนันต์นับไม่ถ้วน


7
Re "ทั้ง P และ NP นับไม่ถ้วนนับตั้งแต่ที่คนอื่น ๆ ได้ชี้ให้เห็นมาก่อนดังนั้นจึงเหมาะสมที่จะพูดถึงความสำคัญของ P และ NP": ฉันไม่เห็นด้วย เนื่องจากพวกเขาทั้งคู่ไม่มีที่สิ้นสุดนับไม่มีอะไรจะพูดเกี่ยวกับความสำคัญของพวกเขาอีกต่อไป

@DavidEppstein คุณคิดถูกต้อง ฉันจะแก้ไขคำตอบเพื่อแก้ไข อย่างไรก็ตามฉันจะปล่อยให้การสนทนาบางอย่างเกี่ยวกับ cardinality โดยทั่วไป (กล่าวถึง cardinality ของชุดอนันต์นับไม่ได้)

โดยมีรายละเอียดที่เกี่ยวข้องที่คุณกำลังหายไปที่นี่ในแง่ของตัวอย่างที่มีและBคือP N P ABPNP
jmite
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.