วิทยาศาสตร์คอมพิวเตอร์

มีคำถามที่ Stack Overflow ( ที่นี่ ): ได้รับจำนวนเต็ม , พิมพ์ออกมารวมกันเป็นไปได้ทั้งหมดของค่าจำนวนเต็มของและซึ่งการแก้สมการNA , B , C D A 2 + B 2 + C 2 + D 2 = Nยังไม่มีข้อความNNA , B , CA,B,CA,B,CDDDA2+ B2+ C2+ D2= NA2+B2+C2+D2=NA^2+B^2+C^2+D^2 = N คำถามนี้แน่นอนว่าเกี่ยวข้องกับทฤษฎีการคาดเดาของ Bachetในทฤษฎีจำนวน (บางครั้งเรียกว่าทฤษฎีบท Four Square ของ Lagrange เพราะหลักฐานของเขา) มีเอกสารบางฉบับที่พูดถึงวิธีการหาทางออกเดียว แต่ฉันไม่สามารถหาอะไรที่พูดถึงความเร็วที่เราสามารถหาวิธีแก้ปัญหาทั้งหมดสำหรับเฉพาะเจาะจง(นั่นคือการรวมกันทั้งหมดไม่ใช่การเปลี่ยนลำดับทั้งหมด)ยังไม่มีข้อความNN ฉันคิดอยู่นิดหน่อยและดูเหมือนว่าฉันสามารถแก้ไขได้ในเวลาและสถานที่โดยที่คือผลรวมที่ต้องการ อย่างไรก็ตามหากขาดข้อมูลก่อนหน้านี้ในเรื่องนี้ฉันไม่แน่ใจว่านี่เป็นข้อเรียกร้องที่มีนัยสำคัญในส่วนของฉันหรือเพียงแค่ผลลัพธ์เล็กน้อยที่เห็นได้ชัดหรือเป็นที่รู้จักแล้วNO ( …

12 complexity-theory  time-complexity  number-theory  enumeration 

จากการแจกแจงองศาเราจะสร้างกราฟที่ตามหลังการแจกแจงปริญญาได้เร็วแค่ไหน? ลิงค์หรืออัลกอริทึมร่างจะดี อัลกอริทึมควรรายงานกรณี "ไม่" ไม่สามารถสร้างกราฟและตัวอย่างใด ๆ ก็ได้หากสามารถสร้างกราฟได้หลายกราฟ

12 algorithms  graphs  graph-theory 

ฉันต้องการแปลงผู้ใช้ที่ป้อนนิพจน์ทั่วไปให้เป็น NFA เพื่อที่ฉันจะสามารถเรียกใช้ NFA กับสตริงสำหรับวัตถุประสงค์ในการจับคู่ เครื่องจักรขั้นต่ำที่สามารถใช้ในการแยกวิเคราะห์นิพจน์ปกติคืออะไร ฉันคิดว่ามันจะต้องเป็นแบบกดลงอัตโนมัติเพราะ presense ของวงเล็บหมายถึงความจำเป็นในการนับและ DFA / NFA ไม่สามารถทำการนับโดยพล สมมติฐานนี้ถูกต้องหรือไม่ ตัวอย่างเช่นนิพจน์ a (bc *) d อาจต้องการ PDA เพื่อให้การจัดการนิพจน์ย่อยในวงเล็บถูกต้อง

12 formal-languages  parsers  regular-expressions  pushdown-automata 

คลาสความซับซ้อนหมายถึงอะไร ฉันรู้ว่า⊕ Pเป็นคลาสที่ซับซ้อนซึ่งมีภาษาAซึ่งมีพหุนามเวลา n พม. กำหนดด้วยเครื่องจักรทัวริงMซึ่งx ∈ Aถ้าจำนวนของการยอมรับสถานะของเครื่องMในอินพุตxนั้นแปลก⊕ P⊕ P⊕P⊕P\oplus P^{\oplus P}⊕ P⊕P\oplus PAAAMMMx ∈ Ax∈Ax \in AMMMxxx แต่หมายถึงอะไร ฉันไม่สามารถติดตามสิ่งที่มันทำจริง :)⊕ P⊕ P⊕P⊕P\oplus P^{\oplus P} อะไรคือผลกระทบในทางปฏิบัติของระดับความซับซ้อนดังกล่าวและวิธีการที่จะเป็นไปได้ที่จะแสดงให้เห็นว่า ?⊕ P⊕ P= ⊕ P⊕P⊕P=⊕P\oplus P^{\oplus P} = \oplus P

12 complexity-theory  terminology  complexity-classes 

จะพิสูจน์ได้อย่างไรว่า ? ฉันแค่กำลังมองหา oracle TM Mและภาษาแบบเรียกซ้ำL ( M ) = Lสำหรับสิ่งนี้NPA≠coNPANPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMMML(M)=LL(M)=LL(M) = L ฉันรู้ว่าหลักฐานที่คุณแสดงให้เห็นว่ามีการพยากรณ์ดังกล่าวว่าP ≠ N Pและ oracle ดังกล่าวว่าP = N P ฉันมีคำใบ้ว่าฉันควรหา oracle Aดังกล่าวโดยขยายการพิสูจน์ของP A ≠ N P Aแต่ทุกที่ที่ฉันค้นหาและอ่านมันคือ "ชัดเจน" หรือ "ตรงไปตรง" ทุกที่ แต่ฉันไม่เห็นว่ามันพิสูจน์ได้อย่างไร .AAAPA≠NPAPA≠NPA\mathsf{P}^A \neq \mathsf{NP}^AAAAPA=NPAPA=NPA\mathsf{P}^A = \mathsf{NP}^AAAAPA≠NPAPA≠NPA\mathsf{P}^A \neq \mathsf{NP}^A

12 complexity-theory  relativization 

กล่าวอีกนัยหนึ่งข้อดีของการทำเธรดไฮบริดมีมากกว่า 1: 1 (เคอร์เนลเท่านั้น) และการทำเธรด N: 1 (ผู้ใช้เท่านั้น) นี่คือการติดตามเพื่อเธรดระดับผู้ใช้และเธรดระดับเคอร์เนลแตกต่างกันอย่างไร

12 operating-systems  concurrency  os-kernel 

มีภาษาที่ไม่สามารถตัดสินใจได้หรือไม่ว่าภาษาของสหภาพ / ทางแยก / ภาษาที่ต่อกันนั้นสามารถถอดรหัสได้หรือไม่? อะไรคือการตีความทางกายภาพของตัวอย่างดังกล่าวเพราะโดยทั่วไปภาษาที่ไม่สามารถตัดสินใจได้จะไม่ถูกปิดในการดำเนินการเหล่านี้ เราจะพูดอะไรเกี่ยวกับการปิดคีลีน เรามีตัวอย่างสำหรับมันด้วยหรือไม่ คือการปิดภาษาที่ไม่สามารถตัดสินใจได้นั้นสามารถตัดสินใจได้หรือไม่? นอกจากนี้เราสามารถพูดคุยกับคลาสที่ไม่สามารถตัดสินใจได้เช่นกันหรือไม่

12 formal-languages  undecidability  closure-properties 

อัลกอริธึมของ Coddแปลงนิพจน์ในแคลคูลัสเชิงสัมพันธ์ tuple เป็นพีชคณิตเชิงสัมพันธ์ มีการใช้อัลกอริทึมแบบมาตรฐานหรือไม่? อัลกอริทึมนี้ถูกใช้งานทุกที่หรือไม่? (ดูเหมือนว่าอุตสาหกรรมต้องการเพียง SQL และตัวแปรเท่านั้นฉันไม่แน่ใจเกี่ยวกับทฤษฎีฐานข้อมูลในสถาบันการศึกษา) ความซับซ้อนของการลดคืออะไร? สิ่งนี้ถูกโพสต์บนSOเมื่อกว่าปีที่แล้ว แต่มันไม่ได้รับคำตอบที่ดี

12 algorithms  database-theory 

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

12 cryptography  computer-networks  encryption  security 

กราฟกำกับกล่าวจะunipathicถ้าสองจุดและในกราฟมีที่มากที่สุดเส้นทางหนึ่งที่ง่ายจากจะวีuuuvvvG=(V,E)G=(V,E)G=(V,E)uuuvvv สมมติว่าฉันได้รับกราฟ unipathicซึ่งขอบแต่ละด้านมีน้ำหนักเป็นบวกหรือลบ แต่ไม่มีวงจรน้ำหนักเชิงลบGGG จากนี้ผมต้องการที่จะหาอัลกอริทึมที่พบทุกเส้นทางที่สั้นที่สุดเพื่อโหนดทั้งหมดจากแหล่งโหนดsO(|V|)O(|V|)O(|V|)sss ฉันไม่แน่ใจว่าฉันจะไปเกี่ยวกับปัญหานี้ได้อย่างไร ฉันพยายามที่จะดูว่าฉันสามารถใช้ความจริงที่ว่ามันไม่มีน้ำหนักรอบเชิงลบและแน่นอนที่เส้นทางที่ง่ายที่สุดระหว่างโหนดใด ๆไปวีuuuvvv

12 algorithms  graphs 

ฉันเจอตัวเลขนี้ซึ่งแสดงว่าภาษาที่ไม่มีบริบทและภาษาปกติเป็นเซตย่อยของปัญหาที่มีประสิทธิภาพ (สมมุติว่า ) ฉันเข้าใจอย่างถ่องแท้ว่าปัญหาที่มีประสิทธิภาพเป็นส่วนย่อยของปัญหาที่ตัดสินใจได้ทั้งหมดเพราะเราสามารถแก้ปัญหาได้ แต่อาจใช้เวลานานมากPP\mathrm{P} ทำไมทุกบริบทฟรีและปกติภาษา decidable ได้อย่างมีประสิทธิภาพ? มันหมายถึงการแก้ปัญหาพวกเขาจะไม่ใช้เวลานาน (ฉันหมายถึงเรารู้โดยไม่มีบริบท)

12 formal-languages  regular-languages  context-free  efficiency 

Windows NT ใช้โปรโตคอลแบบจุดต่อจุดที่ลูกค้าสามารถติดต่อสื่อสาร "ปลอดภัย" กับเซิร์ฟเวอร์โดยใช้ตัวเลขกระแสการเข้ารหัสอาร์เรย์ของข้อความที่มีบางส่วนที่สำคัญkเซิร์ฟเวอร์เข้ารหัสการตอบกลับด้วยคีย์เดียวกัน แต่จะรู้ได้อย่างไรเกี่ยวกับกุญแจนี้kkkkkk ทั่วไปมากขึ้น: ถ้า Alice และ Bob ใช้อัลกอริทึมการเข้ารหัส / ถอดรหัสที่ทำงานบนคีย์ส่วนตัวเดียวกันวิธีที่ปลอดภัยในการแลกเปลี่ยนคีย์นี้คืออะไร (ไม่ใช้หลักสูตรที่แตกต่าง)kkk นี่คือสิ่งที่ฉันถามตัวเองเสมอเมื่อเรียนการเข้ารหัสคีย์ส่วนตัว

12 cryptography  encryption 

ฉันกำลังศึกษาทฤษฎี SMN และแนวคิดทำให้ฉันนึกถึงการแกง จากบทความวิกิพีเดียเกี่ยวกับทฤษฎีบท smn : ทฤษฎีบทกล่าวว่าสำหรับภาษาการเขียนโปรแกรมที่กำหนดและจำนวนเต็มบวก m และ n มีอัลกอริทึมเฉพาะที่ยอมรับว่าเป็นอินพุตซอร์สโค้ดของโปรแกรมที่มีตัวแปรอิสระ m + n พร้อมกับค่า m อัลกอริธึมนี้สร้างซอร์สโค้ดที่สามารถทดแทนค่าสำหรับตัวแปรอิสระ m ตัวแรกได้อย่างมีประสิทธิภาพโดยปล่อยให้ส่วนที่เหลือของตัวแปรว่าง จากบทความเกี่ยวกับการแกง : โดยสังเขป currying บอกว่า "ถ้าคุณแก้ไขข้อโต้แย้งบางอย่างคุณจะได้รับฟังก์ชั่นของข้อโต้แย้งที่เหลืออยู่" ดูเหมือนความคิดเดียวกันกับฉัน เหตุผลเดียวที่ฉันไม่แน่ใจคือวัสดุที่ฉันพบใน smn ไม่ได้กล่าวถึงการแกง (และในทางกลับกัน) ดังนั้นฉันจึงต้องการปรึกษาเพื่อให้แน่ใจว่าฉันได้รับจริง

12 computability 

ได้มีการกล่าวว่าในส่วนเติมเต็มของ 2 มีเพียงค่าเดียวในขณะที่ส่วนเสริมของ 1 ทั้ง +0 และ -0 มีค่าแยกกัน พวกเขาคืออะไร

12 arithmetic 

ปัญหาการโปรแกรมเชิงเส้น: ค้นหาอัลกอริธึมเวลาพหุนามอย่างยิ่งสำหรับเมทริกซ์ A ∈ Rm × n และ b ∈ Rm กำหนดว่ามี x ∈ Rn กับ Ax ≥ b หรือไม่ ฉันรู้ว่า Steve Smale's แสดงปัญหาที่ยังไม่ได้แก้ในวิชาคณิตศาสตร์ แต่ปัญหาการเขียนโปรแกรมเชิงเส้นดังกล่าวเป็นจนถึงตอนนี้ไม่สามารถแก้ไขได้?

12 algorithms  polynomial-time  linear-programming