คำถามติดแท็ก independence

3
P มีภาษาที่ไม่มี PA หรือ ZFC หรือไม่? (วิกิชุมชน TCS)
คำตอบ: ไม่เป็นที่รู้จัก คำถามที่ถามนั้นเป็นเรื่องธรรมชาติเปิดเผยและยาก คำถามคือวิกิชุมชน ภาพรวม คำถามพยายามแบ่งภาษาที่เป็นของคลาสซับซ้อน - พร้อมกับเครื่องทัวริงตัดสินใจ (TM) ที่ยอมรับภาษาเหล่านี้ - เป็นคลาสย่อยเสริมที่สอง:PPP ภาษาที่มีความรู้และ TM (ซึ่งมีความเป็นไปได้ที่จะตรวจสอบ / ทำความเข้าใจ) เทียบกับ ภาษาที่คลุมเครือและ TM (ที่ไม่สามารถตรวจสอบ / เข้าใจได้) คำนิยาม: ภูมิปัญญา VS คลุมเครือตัวเลขหน่วยความจำและภาษา ภายในกรอบความจริงPAและZFCเราแยกแยะความรู้จากเครื่องทัวริงและภาษาที่เป็นความลับดังนี้: D0 เราพูดว่าrจำนวนจริงที่คำนวณได้ นั้นมีความหมายถ้ามันเกี่ยวข้องกับชุดที่ไม่ว่างเปล่าของ TMs โดยแต่ละ TM ที่ระบุใน PA เป็นรายการที่ชัดเจนของตัวเลขซึ่งประกอบด้วยรหัสที่ถูกต้องบน Universal TM เช่นนั้นเพื่อความถูกต้องϵ > 0ที่จัดเป็น input แต่ละ TM สรรพสิ่ง (ใน ZFC) หยุดที่มีจำนวนส่งออกoว่าสรรพสิ่ง (ใน …

1
จำเป็นต้องมีความอิสระในการผูกมัดแยกกันมากแค่ไหน?
หากมีการใส่ลูกบอลลูกลงในถังขยะnอย่างสม่ำเสมอถังที่บรรจุน้ำหนักมากที่สุดจะมีลูกบอลO ( lg n / lg lg n ) ที่มีความน่าจะเป็นสูง ใน"พลังแห่งการทำตารางง่าย ๆ " , Pătraşcuและ Thorup พูดถึงว่า"Chernoff-Hoeffding ขอบเขตสำหรับการใช้งานที่มีความเป็นอิสระ จำกัด " ( กระจก ) แสดงให้เห็นว่าสิ่งนี้ถูกผูกไว้กับประชากรของถังขยะที่โหลดหนักที่สุดเช่นกันΩ ( lg n / lg lg n ) -ฟังก์ชันแฮชอิสระnnnnnnO ( lgn / lgLGn )O(lg⁡n/lg⁡lg⁡n)O(\lg n/\lg \lg n)Ω ( lgn / lgLGn )Ω(lg⁡n/lg⁡lg⁡n)\Omega(\lg n/\lg \lg n) ใน"ลูกบอลและถังขยะ: …

1
การคำนวณการปิดสหภาพ
ป.ร. ให้ครอบครัวของที่มากที่สุดnย่อยของ{ 1 , 2 , ... , n } ปิดสหภาพFเป็นอีกหนึ่งครอบครัวชุดCที่มีการตั้งค่าที่สามารถสร้างขึ้นโดยการสหภาพ 1 ชุดขึ้นในทุกF โดย| C | เราแสดงว่าจำนวนชุดในCFF\mathcal Fnnn{ 1 , 2 , … , n }{1,2,…,n}\{ 1, 2, \dots, n \}FF\mathcal FคC\mathcal CFF\mathcal F|C||C||\mathcal C|CC\mathcal C วิธีที่เร็วที่สุดในการคำนวณการปิดสหภาพคืออะไร ฉันได้แสดงความเท่าเทียมกันระหว่างการปิดสหภาพและแสดงรายการชุดอิสระสูงสุดทั้งหมดในกราฟสองฝ่ายดังนั้นเราจึงรู้ว่าการตัดสินใจขนาดของการปิดสหภาพคือ # P-complete แต่มีวิธีที่จะแสดงรายการทั้งหมดสูงสุดอิสระชุด (หรือชมรมสูงสุด) ในเวลาสำหรับกราฟที่มีnโหนดและม.ขอบ Tsukiyama et al, 2520 แต่นี่ไม่ใช่เฉพาะสำหรับกราฟสองฝ่ายO(|C|⋅nm)O(|C|⋅nm)O(|\mathcal C| \cdot …
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.